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-3748330-1339158391/watcher-3748330-1339158391 -o /tmp/evaluation-result-3748330-1339158391/solver-3748330-1339158391 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748330-1339158391.opb 1886916974 HOME HOME
running on 4 cores: 1,3,5,7
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.86 2.11 2.08 3/172 1441
/proc/meminfo: memFree=24798208/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[startup+0.057492 s]
/proc/loadavg: 1.86 2.11 2.08 3/172 1441
/proc/meminfo: memFree=24798208/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 1.86 2.11 2.08 3/172 1441
/proc/meminfo: memFree=24798208/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300311 s]
/proc/loadavg: 1.86 2.11 2.08 3/172 1441
/proc/meminfo: memFree=24798208/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 1.86 2.11 2.08 3/172 1441
/proc/meminfo: memFree=24798208/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.86 2.11 2.08 3/180 1458
/proc/meminfo: memFree=24678420/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=126928 CPUtime=1.48 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) R 1441 1441 28683 0 -1 4202496 7153 16693 0 0 61 19 62 6 20 0 1 0 381906147 129974272 18070 33554432000 4194304 6004724 140736262590480 140736262582024 5056502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 31732 18070 177 442 0 31286 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 136076
[startup+3.10034 s]
/proc/loadavg: 1.86 2.11 2.08 3/180 1460
/proc/meminfo: memFree=24393016/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=128268 CPUtime=1.4 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 24833 0 0 0 133 7 0 0 20 0 1 0 381906315 131346432 28376 33554432000 4194304 5654031 140734652782560 140734651731864 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 32067 28376 141 357 0 31707 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 166040
[startup+6.30033 s]
/proc/loadavg: 1.87 2.11 2.08 3/182 1462
/proc/meminfo: memFree=23855780/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=128268 CPUtime=4.6 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 24837 0 0 0 453 7 0 0 20 0 1 0 381906315 131346432 28380 33554432000 4194304 5654031 140734652782560 140734652780344 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 32067 28380 141 357 0 31707 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 166040
[startup+12.7004 s]
/proc/loadavg: 1.88 2.10 2.08 3/181 1464
/proc/meminfo: memFree=24188844/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=129592 CPUtime=11 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 25196 0 0 0 1093 7 0 0 20 0 1 0 381906315 132702208 29250 33554432000 4194304 5654031 140734652782560 140734652780344 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 32398 29250 141 357 0 32038 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 167364
[startup+25.5004 s]
/proc/loadavg: 1.91 2.10 2.07 3/181 1464
/proc/meminfo: memFree=24175896/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=130412 CPUtime=23.8 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 25376 0 0 0 2373 7 0 0 20 0 1 0 381906315 133541888 29430 33554432000 4194304 5654031 140734652782560 140734652770376 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 32603 29430 141 357 0 32243 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 168184
[startup+51.1004 s]
/proc/loadavg: 2.02 2.11 2.08 3/181 1464
/proc/meminfo: memFree=24161940/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=133428 CPUtime=49.39 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 26051 0 0 0 4932 7 0 0 20 0 1 0 381906315 136630272 30616 33554432000 4194304 5654031 140734652782560 140734652770376 4209041 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 33357 30616 141 357 0 32997 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 171200
[startup+102.307 s]
/proc/loadavg: 2.01 2.09 2.07 3/181 1464
/proc/meminfo: memFree=24129556/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=156084 CPUtime=100.59 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 27170 0 0 0 10051 8 0 0 20 0 1 0 381906315 159830016 33779 33554432000 4194304 5654031 140734652782560 140734652770376 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 39021 33779 141 357 0 38661 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 193856
[startup+162.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/181 1464
/proc/meminfo: memFree=24127844/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=159084 CPUtime=160.58 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 28439 0 0 0 16048 10 0 0 20 0 1 0 381906315 162902016 33467 33554432000 4194304 5654031 140734652782560 140734652770376 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 39771 33467 141 357 0 39411 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 196856
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/182 1467
/proc/meminfo: memFree=24113804/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=160888 CPUtime=220.56 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 29337 0 0 0 22045 11 0 0 20 0 1 0 381906315 164749312 34788 33554432000 4194304 5654031 140734652782560 140734652770376 4215357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 40222 34788 141 357 0 39862 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 198660
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 1467
/proc/meminfo: memFree=24112608/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=24212872/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=170440 CPUtime=1240.4 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 33434 0 0 0 124019 21 0 0 20 0 1 0 381906315 174530560 40526 33554432000 4194304 5654031 140734652782560 140734652770376 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 42610 40526 141 357 0 42250 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 208212
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/180 1523
/proc/meminfo: memFree=24204564/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=202724 CPUtime=1300.39 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 33716 0 0 0 130018 21 0 0 20 0 1 0 381906315 207589376 42852 33554432000 4194304 5654031 140734652782560 140734652770376 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 50681 42852 141 357 0 50321 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 240496
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/181 1524
/proc/meminfo: memFree=24191400/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=202724 CPUtime=1360.38 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 33787 0 0 0 136016 22 0 0 20 0 1 0 381906315 207589376 45478 33554432000 4194304 5654031 140734652782560 140734652770376 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 50681 45478 141 357 0 50321 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 240496
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 2.00 3/182 1527
/proc/meminfo: memFree=24180408/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=202724 CPUtime=1420.37 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 33864 0 0 0 142015 22 0 0 20 0 1 0 381906315 207589376 48110 33554432000 4194304 5654031 140734652782560 140734652770376 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 50681 48110 141 357 0 50321 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 240496
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/181 1527
/proc/meminfo: memFree=24170924/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=252812 CPUtime=1480.36 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 34685 0 0 0 148013 23 0 0 20 0 1 0 381906315 258879488 50460 33554432000 4194304 5654031 140734652782560 140734652770376 4232715 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 63203 50460 141 357 0 62843 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 290584
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/181 1528
/proc/meminfo: memFree=24166952/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=28624 CPUtime=1.67 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 7707 17208 0 0 72 26 62 7 20 0 1 0 381906147 29310976 6567 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 7156 6567 178 442 0 6710 0
[pid=1460] ppid=1442 vsize=252812 CPUtime=1540.35 cores=1,3,5,7
/proc/1460/stat : 1460 (glucosInc) R 1442 1441 28683 0 -1 4202496 34687 0 0 0 154012 23 0 0 20 0 1 0 381906315 258879488 51484 33554432000 4194304 5654031 140734652782560 140734652770376 4215079 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1460/statm: 63203 51484 141 357 0 62843 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 290584
[startup+1602.3 s]
/proc/loadavg: 2.08 2.01 2.01 3/181 1530
/proc/meminfo: memFree=24282788/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=14456 CPUtime=1561.96 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 12727 52726 0 0 127 33 156002 34 20 0 1 0 381906147 14802944 3058 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 3614 3058 179 442 0 3168 0
[pid=1530] ppid=1442 vsize=121456 CPUtime=40.03 cores=1,3,5,7
/proc/1530/stat : 1530 (glucosInc) R 1442 1441 28683 0 -1 4202496 23629 0 0 0 3996 7 0 0 20 0 1 0 382062372 124370944 27428 33554432000 4194304 5654031 140737277852944 140737277840760 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1530/statm: 30364 27428 141 357 0 30004 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 145060
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 1530
/proc/meminfo: memFree=24280964/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=14456 CPUtime=1561.96 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 12727 52726 0 0 127 33 156002 34 20 0 1 0 381906147 14802944 3058 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 3614 3058 179 442 0 3168 0
[pid=1530] ppid=1442 vsize=124200 CPUtime=100.02 cores=1,3,5,7
/proc/1530/stat : 1530 (glucosInc) R 1442 1441 28683 0 -1 4202496 25331 0 0 0 9994 8 0 0 20 0 1 0 382062372 127180800 27811 33554432000 4194304 5654031 140737277852944 140737277840760 4214436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1530/statm: 31050 27811 141 357 0 30690 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 147804
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1530
/proc/meminfo: memFree=24242304/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=14456 CPUtime=1561.96 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 12727 52726 0 0 127 33 156002 34 20 0 1 0 381906147 14802944 3058 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 3614 3058 179 442 0 3168 0
[pid=1530] ppid=1442 vsize=175440 CPUtime=160.01 cores=1,3,5,7
/proc/1530/stat : 1530 (glucosInc) R 1442 1441 28683 0 -1 4202496 26770 0 0 0 15992 9 0 0 20 0 1 0 382062372 179650560 37423 33554432000 4194304 5654031 140737277852944 140737277850872 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1530/statm: 43860 37423 141 357 0 43500 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 199044
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 1536
/proc/meminfo: memFree=24290984/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=44708 CPUtime=1778.91 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 19141 108875 0 0 217 43 177573 58 20 0 1 0 381906147 45780992 10602 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 11177 10602 180 442 0 10731 0
[pid=1536] ppid=1442 vsize=87032 CPUtime=3.02 cores=1,3,5,7
/proc/1536/stat : 1536 (glucosInc) R 1442 1441 28683 0 -1 4202496 18202 0 0 0 298 4 0 0 20 0 1 0 382084073 89120768 19740 33554432000 4194304 5654031 140735185775872 140735185763688 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1536/statm: 21758 19740 141 357 0 21398 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 140888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 1538
/proc/meminfo: memFree=24286740/32873844 swapFree=7128/7128
[pid=1441] ppid=1439 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1441/stat : 1441 (npSolver-pbo-I.) S 1439 1441 28683 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381906147 9367552 275 33554432000 4194304 5064252 140737286469424 140737286468336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1441/statm: 2287 275 233 213 0 72 0
[pid=1442] ppid=1441 vsize=44708 CPUtime=1783.51 cores=1,3,5,7
/proc/1442/stat : 1442 (npSolver-pbo) S 1441 1441 28683 0 -1 4202496 21278 127714 0 0 255 48 177983 65 20 0 1 0 381906147 45780992 10602 33554432000 4194304 6004724 140736262590480 140736262575400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1442/statm: 11177 10602 180 442 0 10731 0
[pid=1538] ppid=1442 vsize=88856 CPUtime=16.53 cores=1,3,5,7
/proc/1538/stat : 1538 (glucosInc) R 1442 1441 28683 0 -1 4202496 18815 0 0 0 1649 4 0 0 20 0 1 0 382084532 90988544 20379 33554432000 4194304 5654031 140735173206064 140735173193880 4214996 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1538/statm: 22214 20379 142 357 0 21854 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 142712
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1798.88
CPU system time (s): 1.19082
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 339904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.19082
maximum resident set size= 251108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168185
page faults= 0
swaps= 0
block input operations= 8
block output operations= 349360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1186
involuntary context switches= 2448
runsolver used 3.20051 second user time and 8.42172 second system time
The end