runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inescp-1.0/huge1.cudf.cudf_set.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/cudf_set/huge1.cudf /home/misc2010/tmp/201007051233/inescp-1.0/huge1.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.84 0.94 0.90 2/37 4020 /proc/meminfo: memFree=937928/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2880 CPUtime=0 /proc/4020/stat : 4020 (runsolver) R 4019 4020 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 526310607 2949120 93 1283457024 134512640 134586868 4294836816 18446744073709551615 4158137386 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/4020/statm: 720 93 62 19 0 52 0 [startup+0.189729 s] /proc/loadavg: 0.84 0.94 0.90 2/37 4020 /proc/meminfo: memFree=937928/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.205711 s] /proc/loadavg: 0.84 0.94 0.90 2/37 4020 /proc/meminfo: memFree=937928/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.305736 s] /proc/loadavg: 0.84 0.94 0.90 2/37 4020 /proc/meminfo: memFree=937928/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.707818 s] /proc/loadavg: 0.84 0.94 0.90 2/37 4020 /proc/meminfo: memFree=937928/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.51051 s] /proc/loadavg: 0.84 0.94 0.90 2/48 4031 /proc/meminfo: memFree=920720/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 [pid=4022] ppid=4020 vsize=4008 CPUtime=0 /proc/4022/stat : 4022 (cudf-solver.py) S 4020 4020 3447 769 3447 4202496 750 0 1 0 0 0 0 0 25 0 1 0 526310608 4104192 645 1283457024 134512640 135539072 4290985840 18446744073709551615 4159621534 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4022/statm: 1002 645 348 251 0 303 0 [pid=4023] ppid=4022 vsize=865412 CPUtime=0.98 /proc/4023/stat : 4023 (java) S 4022 4020 3447 769 3447 4202496 5328 0 72 0 98 0 0 0 25 0 9 0 526310610 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159952018 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4023/statm: 216353 4448 1950 10 0 210691 0 [pid=4023/tid=4024] ppid=4022 vsize=865412 CPUtime=0.9 /proc/4023/task/4024/stat : 4024 (java) R 4022 4020 3447 769 3447 4202560 3030 0 65 0 90 0 0 0 25 0 9 0 526310613 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4124756769 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4023/tid=4025] ppid=4022 vsize=865412 CPUtime=0.02 /proc/4023/task/4025/stat : 4025 (java) S 4022 4020 3447 769 3447 4202560 798 0 0 0 2 0 0 0 16 0 9 0 526310613 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159966216 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4026] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4026/stat : 4026 (java) S 4022 4020 3447 769 3447 4202560 15 0 0 0 0 0 0 0 20 0 9 0 526310613 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4027] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4027/stat : 4027 (java) S 4022 4020 3447 769 3447 4202560 7 0 1 0 0 0 0 0 20 0 9 0 526310613 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4028] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4028/stat : 4028 (java) S 4022 4020 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526310614 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159973712 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4029] ppid=4022 vsize=865412 CPUtime=0.04 /proc/4023/task/4029/stat : 4029 (java) S 4022 4020 3447 769 3447 4202560 387 0 6 0 4 0 0 0 16 0 9 0 526310615 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4030] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4030/stat : 4030 (java) S 4022 4020 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526310615 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4031] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4031/stat : 4031 (java) S 4022 4020 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526310615 886181888 4448 1283457024 134512640 134550932 4293019792 18446744073709551615 4159966216 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 871804 Solver just ended. Dumping a history of the last processes samples [startup+1.61054 s] /proc/loadavg: 0.84 0.94 0.90 2/48 4031 /proc/meminfo: memFree=920720/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 [pid=4022] ppid=4020 vsize=4008 CPUtime=0 /proc/4022/stat : 4022 (cudf-solver.py) S 4020 4020 3447 769 3447 4202496 750 0 1 0 0 0 0 0 25 0 1 0 526310608 4104192 645 1283457024 134512640 135539072 4290985840 18446744073709551615 4159621534 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4022/statm: 1002 645 348 251 0 303 0 [pid=4023] ppid=4022 vsize=865412 CPUtime=1.08 /proc/4023/stat : 4023 (java) S 4022 4020 3447 769 3447 4202496 5360 0 72 0 108 0 0 0 25 0 9 0 526310610 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159952018 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4023/statm: 216353 4480 1950 10 0 210691 0 [pid=4023/tid=4024] ppid=4022 vsize=865412 CPUtime=1 /proc/4023/task/4024/stat : 4024 (java) R 4022 4020 3447 769 3447 4202560 3030 0 65 0 100 0 0 0 25 0 9 0 526310613 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4124661569 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4023/tid=4025] ppid=4022 vsize=865412 CPUtime=0.02 /proc/4023/task/4025/stat : 4025 (java) S 4022 4020 3447 769 3447 4202560 830 0 0 0 2 0 0 0 16 0 9 0 526310613 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159966216 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4026] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4026/stat : 4026 (java) S 4022 4020 3447 769 3447 4202560 15 0 0 0 0 0 0 0 20 0 9 0 526310613 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4027] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4027/stat : 4027 (java) S 4022 4020 3447 769 3447 4202560 7 0 1 0 0 0 0 0 20 0 9 0 526310613 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4028] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4028/stat : 4028 (java) S 4022 4020 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526310614 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159973712 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4029] ppid=4022 vsize=865412 CPUtime=0.04 /proc/4023/task/4029/stat : 4029 (java) S 4022 4020 3447 769 3447 4202560 387 0 6 0 4 0 0 0 15 0 9 0 526310615 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4030] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4030/stat : 4030 (java) S 4022 4020 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526310615 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159965424 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4023/tid=4031] ppid=4022 vsize=865412 CPUtime=0 /proc/4023/task/4031/stat : 4031 (java) S 4022 4020 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526310615 886181888 4480 1283457024 134512640 134550932 4293019792 18446744073709551615 4159966216 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 871804 [startup+2.40998 s] /proc/loadavg: 0.84 0.94 0.90 1/48 4032 /proc/meminfo: memFree=915568/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 [pid=4022] ppid=4020 vsize=4008 CPUtime=1.56 /proc/4022/stat : 4022 (cudf-solver.py) S 4020 4020 3447 769 3447 4202496 778 6849 1 96 0 0 155 1 18 0 1 0 526310608 4104192 645 1283457024 134512640 135539072 4290985840 18446744073709551615 4159621534 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4022/statm: 1002 645 348 251 0 303 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 6392 [startup+2.60784 s] /proc/loadavg: 0.84 0.94 0.90 1/48 4032 /proc/meminfo: memFree=915568/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 [pid=4022] ppid=4020 vsize=4008 CPUtime=1.78 /proc/4022/stat : 4022 (cudf-solver.py) S 4020 4020 3447 769 3447 4202496 806 8200 1 109 0 0 164 14 17 0 1 0 526310608 4104192 645 1283457024 134512640 135539072 4290985840 18446744073709551615 4159621534 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4022/statm: 1002 645 348 251 0 303 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 6392 [startup+2.70782 s] /proc/loadavg: 0.84 0.94 0.90 1/48 4032 /proc/meminfo: memFree=915568/1048576 swapFree=2091896/2097144 [pid=4020] ppid=4019 vsize=2384 CPUtime=0 /proc/4020/stat : 4020 (inescp-1.0) S 4019 4020 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526310607 2441216 261 1283457024 134512640 135191968 4287550496 18446744073709551615 4158941598 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4020/statm: 596 261 222 166 0 28 0 [pid=4022] ppid=4020 vsize=4008 CPUtime=1.78 /proc/4022/stat : 4022 (cudf-solver.py) S 4020 4020 3447 769 3447 4202496 806 8200 1 109 0 0 164 14 17 0 1 0 526310608 4104192 645 1283457024 134512640 135539072 4290985840 18446744073709551615 4159621534 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4022/statm: 1002 645 348 251 0 303 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 6392 Child status: 0 Real time (s): 2.75786 CPU time (s): 1.94812 CPU user time (s): 1.80011 CPU system time (s): 0.148009 CPU usage (%): 70.6389 Max. virtual memory (cumulated for all children) (KiB): 872124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.80011 system time used= 0.148009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12796 page faults= 125 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 955 involuntary context switches= 732 runsolver used 0 second user time and 0 second system time The end