runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3702987-1338067357/watcher-3702987-1338067357 -o /tmp/evaluation-result-3702987-1338067357/solver-3702987-1338067357 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702987-1338067357.opb 1634195700 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.14 2.47 4/180 31330
/proc/meminfo: memFree=31299332/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[startup+0.100761 s]
/proc/loadavg: 1.92 2.14 2.47 4/180 31330
/proc/meminfo: memFree=31299332/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20021 s]
/proc/loadavg: 1.92 2.14 2.47 4/180 31330
/proc/meminfo: memFree=31299332/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 1.92 2.14 2.47 4/180 31330
/proc/meminfo: memFree=31299332/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700257 s]
/proc/loadavg: 1.92 2.14 2.47 4/180 31330
/proc/meminfo: memFree=31299332/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.93 2.14 2.47 3/183 31343
/proc/meminfo: memFree=31278396/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23032 CPUtime=0.28 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 5845 2993 0 0 14 0 13 1 20 0 1 0 272860524 23584768 5384 33554432000 4194304 5992684 140736783019024 140736783005288 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5758 5384 175 440 0 5314 0
[pid=31336] ppid=31331 vsize=7532 CPUtime=1.18 cores=0,2,4,6
/proc/31336/stat : 31336 (glucosInc) R 31331 31330 28504 0 -1 4202496 1739 0 0 0 118 0 0 0 20 0 1 0 272860555 7712768 1267 33554432000 4194304 5654031 140734215967648 140734215955464 4232495 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31336/statm: 1883 1267 137 357 0 1523 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39712
[startup+3.10027 s]
/proc/loadavg: 1.93 2.14 2.47 3/183 31343
/proc/meminfo: memFree=31274544/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23032 CPUtime=0.31 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 5950 3509 0 0 15 2 13 1 20 0 1 0 272860524 23584768 5406 33554432000 4194304 5992684 140736783019024 140736783011312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5758 5406 197 440 0 5314 0
[pid=31336] ppid=31331 vsize=9192 CPUtime=2.61 cores=0,2,4,6
/proc/31336/stat : 31336 (glucosInc) S 31331 31330 28504 0 -1 4202496 2040 0 0 0 261 0 0 0 20 0 1 0 272860555 9412608 1556 33554432000 4194304 5654031 140734215967648 140734215965960 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/31336/statm: 2298 1556 146 357 0 1938 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 41372
[startup+6.30027 s]
/proc/loadavg: 1.93 2.14 2.47 3/183 31360
/proc/meminfo: memFree=31277280/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6073 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5412 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5412 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=7812 CPUtime=2.31 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 1996 0 0 0 231 0 0 0 20 0 1 0 272860922 7999488 1428 33554432000 4194304 5654031 140736028334992 140736028332872 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31353/statm: 1953 1428 141 357 0 1593 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40160
[startup+12.7003 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31367
/proc/meminfo: memFree=31269032/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=8.71 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2665 0 0 0 871 0 0 0 20 0 1 0 272860922 13893632 2576 33554432000 4194304 5654031 140736028334992 140736028322808 4976752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2576 152 357 0 3032 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 45916
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31367
/proc/meminfo: memFree=31269032/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=8.81 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2666 0 0 0 881 0 0 0 20 0 1 0 272860922 13893632 2577 33554432000 4194304 5654031 140736028334992 140736028322808 4232431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2577 152 357 0 3032 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 45916
[startup+14.4065 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31367
/proc/meminfo: memFree=31267832/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=10.41 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2841 0 0 0 1041 0 0 0 20 0 1 0 272860922 13893632 2748 33554432000 4194304 5654031 140736028334992 140736028322808 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2748 152 357 0 3032 0
Current children cumulated CPU time (s) 14.37
Current children cumulated vsize (KiB) 45916
[startup+16.0003 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31374
/proc/meminfo: memFree=31269676/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=12.01 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2930 0 0 0 1201 0 0 0 20 0 1 0 272860922 13893632 2833 33554432000 4194304 5654031 140736028334992 140736028322808 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2833 152 357 0 3032 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 45916
[startup+16.4003 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31374
/proc/meminfo: memFree=31269676/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=12.41 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2930 0 0 0 1241 0 0 0 20 0 1 0 272860922 13893632 2833 33554432000 4194304 5654031 140736028334992 140736028322808 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2833 152 357 0 3032 0
Current children cumulated CPU time (s) 16.37
Current children cumulated vsize (KiB) 45916
[startup+16.8003 s]
/proc/loadavg: 1.94 2.13 2.46 3/183 31374
/proc/meminfo: memFree=31268096/32873844 swapFree=6600/6600
[pid=31330] ppid=31328 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31330/stat : 31330 (npSolver-pbo-It) S 31328 31330 28504 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272860524 9367552 275 33554432000 4194304 5064252 140733654201040 140733654199952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31330/statm: 2287 275 233 213 0 72 0
[pid=31331] ppid=31330 vsize=23200 CPUtime=3.96 cores=0,2,4,6
/proc/31331/stat : 31331 (npSolver-pbo) S 31330 31330 28504 0 -1 4202496 6149 10172 0 0 15 2 376 3 20 0 1 0 272860524 23756800 5425 33554432000 4194304 5992684 140736783019024 140736783004856 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31331/statm: 5800 5425 200 440 0 5356 0
[pid=31353] ppid=31331 vsize=13568 CPUtime=12.81 cores=0,2,4,6
/proc/31353/stat : 31353 (glucosInc) R 31331 31330 28504 0 -1 4202496 2930 0 0 0 1281 0 0 0 20 0 1 0 272860922 13893632 2833 33554432000 4194304 5654031 140736028334992 140736028322808 4244156 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31353/statm: 3392 2833 152 357 0 3032 0
Current children cumulated CPU time (s) 16.77
Current children cumulated vsize (KiB) 45916
Child status: 0
Real time (s): 16.8301
CPU time (s): 16.8224
CPU user time (s): 16.7535
CPU system time (s): 0.068989
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 55992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7535
system time used= 0.068989
maximum resident set size= 22224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 57
runsolver used 0.037994 second user time and 0.097985 second system time
The end