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-3746659-1339100118/watcher-3746659-1339100118 -o /tmp/evaluation-result-3746659-1339100118/solver-3746659-1339100118 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746659-1339100118.opb 817308314 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: 2.02 2.00 1.73 3/178 30462
/proc/meminfo: memFree=26583064/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[startup+0.033522 s]
/proc/loadavg: 2.02 2.00 1.73 3/178 30462
/proc/meminfo: memFree=26583064/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.02 2.00 1.73 3/178 30462
/proc/meminfo: memFree=26583064/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.02 2.00 1.73 3/178 30462
/proc/meminfo: memFree=26583064/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700258 s]
/proc/loadavg: 2.02 2.00 1.73 3/178 30462
/proc/meminfo: memFree=26583064/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.02 2.00 1.73 3/180 30464
/proc/meminfo: memFree=26490444/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=165684 CPUtime=1.49 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) R 30462 30462 30107 0 -1 4202496 6149 0 0 0 146 3 0 0 20 0 1 0 376136197 169660416 30732 33554432000 4194304 6004724 140735726788016 140735726782616 4534749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30463/statm: 41421 30732 154 442 0 40975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174832
[startup+3.10026 s]
/proc/loadavg: 2.02 2.00 1.73 3/180 30464
/proc/meminfo: memFree=26343116/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=296756 CPUtime=3.08 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) R 30462 30462 30107 0 -1 4202496 6780 0 0 0 301 7 0 0 20 0 1 0 376136197 303878144 59404 33554432000 4194304 6004724 140735726788016 140735726782616 4534755 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 74189 59404 154 442 0 73743 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 305904
[startup+6.30026 s]
/proc/loadavg: 2.02 2.00 1.73 3/180 30464
/proc/meminfo: memFree=26172688/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=558900 CPUtime=6.28 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) R 30462 30462 30107 0 -1 4202496 7532 0 0 0 613 15 0 0 20 0 1 0 376136197 572313600 117260 33554432000 4194304 6004724 140735726788016 140735726782616 4534728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 139725 117260 154 442 0 139279 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 568048
[startup+12.7004 s]
/proc/loadavg: 2.02 2.00 1.73 3/182 30468
/proc/meminfo: memFree=25118620/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=7.52 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7854 0 0 0 664 88 0 0 20 0 1 0 376136197 544309248 118624 33554432000 4194304 6004724 140735726788016 140735726782480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118624 163 442 0 132442 0
[pid=30467] ppid=30463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30467/stat : 30467 (cp2_pre.sh) S 30463 30462 30107 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376136951 9367552 276 33554432000 4194304 5064252 140733202910912 140733202909616 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30467/statm: 2287 276 234 213 0 72 0
[pid=30468] ppid=30467 vsize=620976 CPUtime=5.14 cores=0,2,4,6
/proc/30468/stat : 30468 (coprocessor) R 30467 30462 30107 0 -1 4202496 17655 0 0 0 493 21 0 0 20 0 1 0 376136951 635879424 151883 33554432000 4194304 6586260 140735553139376 140735553136136 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/30468/statm: 155244 151883 137 584 0 154656 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1170824
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.74 3/182 30470
/proc/meminfo: memFree=24553048/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=7.52 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7854 0 0 0 664 88 0 0 20 0 1 0 376136197 544309248 118624 33554432000 4194304 6004724 140735726788016 140735726782480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118624 163 442 0 132442 0
[pid=30467] ppid=30463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30467/stat : 30467 (cp2_pre.sh) S 30463 30462 30107 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376136951 9367552 276 33554432000 4194304 5064252 140733202910912 140733202909616 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30467/statm: 2287 276 234 213 0 72 0
[pid=30468] ppid=30467 vsize=909128 CPUtime=17.57 cores=0,2,4,6
/proc/30468/stat : 30468 (coprocessor) R 30467 30462 30107 0 -1 4202496 19282 0 0 0 1668 89 0 0 20 0 1 0 376136951 930947072 194901 33554432000 4194304 6586260 140735553139376 140735553135128 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 37 0 0
/proc/30468/statm: 227282 194901 158 584 0 226694 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 1458976
[startup+51.1004 s]
/proc/loadavg: 2.11 2.03 1.75 3/181 30474
/proc/meminfo: memFree=24572664/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1183312 CPUtime=19.07 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 141549 0 0 0 1863 44 0 0 20 0 1 0 376139399 1211711488 267932 33554432000 4194304 5654031 140734844430416 140734844418232 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 295828 267932 141 357 0 295468 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 1724012
[startup+102.3 s]
/proc/loadavg: 2.13 2.04 1.76 3/181 30476
/proc/meminfo: memFree=24529152/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1405584 CPUtime=70.25 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 142777 0 0 0 6981 44 0 0 20 0 1 0 376139399 1439318016 273731 33554432000 4194304 5654031 140734844430416 140734844418232 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 351396 273731 141 357 0 351036 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 1946284
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.78 3/181 30478
/proc/meminfo: memFree=24444292/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1456536 CPUtime=130.23 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 146244 0 0 0 12978 45 0 0 20 0 1 0 376139399 1491492864 289962 33554432000 4194304 5654031 140734844430416 140734844418232 4233280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 364134 289962 141 357 0 363774 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 1997236
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 1.79 3/181 30480
/proc/meminfo: memFree=24441580/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1476344 CPUtime=190.22 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 147415 0 0 0 18976 46 0 0 20 0 1 0 376139399 1511776256 301486 33554432000 4194304 5654031 140734844430416 140734844418232 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 369086 301486 141 357 0 368726 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 2017044
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 1.80 3/181 30480
/proc/meminfo: memFree=24426904/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24142612/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1727364 CPUtime=1330.03 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 179430 0 0 0 132886 117 0 0 20 0 1 0 376139399 1768820736 366795 33554432000 4194304 5654031 140734844430416 140734844418232 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 431841 366795 142 357 0 431481 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 2268064
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24054244/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1732296 CPUtime=1390.02 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 180663 0 0 0 138884 118 0 0 20 0 1 0 376139399 1773871104 381825 33554432000 4194304 5654031 140734844430416 140734844418232 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 433074 381825 142 357 0 432714 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 2272996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30506
/proc/meminfo: memFree=24114492/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1738216 CPUtime=1450.01 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 182621 0 0 0 144876 125 0 0 20 0 1 0 376139399 1779933184 366233 33554432000 4194304 5654031 140734844430416 140734844428200 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 434554 366233 142 357 0 434194 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 2278916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 30510
/proc/meminfo: memFree=24074476/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1762460 CPUtime=1510 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 185215 0 0 0 150874 126 0 0 20 0 1 0 376139399 1804759040 376233 33554432000 4194304 5654031 140734844430416 140734844418232 4232968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 440615 376233 142 357 0 440255 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 2303160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30510
/proc/meminfo: memFree=24047764/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1762460 CPUtime=1569.99 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 185238 0 0 0 156872 127 0 0 20 0 1 0 376139399 1804759040 382912 33554432000 4194304 5654031 140734844430416 140734844418232 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 440615 382912 142 357 0 440255 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 2303160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30510
/proc/meminfo: memFree=24094312/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1774472 CPUtime=1629.98 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 186408 0 0 0 162865 133 0 0 20 0 1 0 376139399 1817059328 370700 33554432000 4194304 5654031 140734844430416 140734844418232 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 443618 370700 142 357 0 443258 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 2315172
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30554
/proc/meminfo: memFree=24090460/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1774472 CPUtime=1689.97 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 186420 0 0 0 168863 134 0 0 20 0 1 0 376139399 1817059328 376844 33554432000 4194304 5654031 140734844430416 140734844418232 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 443618 376844 142 357 0 443258 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 2315172
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30554
/proc/meminfo: memFree=23982176/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1780884 CPUtime=1749.97 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 186944 0 0 0 174863 134 0 0 20 0 1 0 376139399 1823625216 382478 33554432000 4194304 5654031 140734844430416 140734844418232 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 445221 382478 142 357 0 444861 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 2321584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30554
/proc/meminfo: memFree=23995680/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1789244 CPUtime=1768.46 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 186950 0 0 0 176712 134 0 0 20 0 1 0 376139399 1832185856 384528 33554432000 4194304 5654031 140734844430416 140734844418232 4215200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 447311 384528 142 357 0 446951 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2329944
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 30554
/proc/meminfo: memFree=23995680/32873844 swapFree=7628/7628
[pid=30462] ppid=30460 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (npSolver-pbo-It) S 30460 30462 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376136197 9367552 274 33554432000 4194304 5064252 140736385794048 140736385792960 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 2287 274 233 213 0 72 0
[pid=30463] ppid=30462 vsize=531552 CPUtime=31.58 cores=0,2,4,6
/proc/30463/stat : 30463 (npSolver-pbo) S 30462 30462 30107 0 -1 4202496 7872 20183 0 0 664 88 2272 134 20 0 1 0 376136197 544309248 118628 33554432000 4194304 6004724 140735726788016 140735726774296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30463/statm: 132888 118628 167 442 0 132442 0
[pid=30472] ppid=30463 vsize=1789244 CPUtime=1768.46 cores=0,2,4,6
/proc/30472/stat : 30472 (glucosInc) R 30463 30462 30107 0 -1 4202496 186950 0 0 0 176712 134 0 0 20 0 1 0 376139399 1832185856 384528 33554432000 4194304 5654031 140734844430416 140734844418232 4215200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30472/statm: 447311 384528 142 357 0 446951 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2329944
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30462 and gives
# childrusage.ru_utime.tv_sec=29
# childrusage.ru_utime.tv_usec=372534
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=238659
# CPU time returned by wait4() is 31.6112
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.81
CPU time (s): 1800.04
CPU user time (s): 1796.48
CPU system time (s): 3.56
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 2873972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3725
system time used= 2.23866
maximum resident set size= 941688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1854344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 67
runsolver used 2.72259 second user time and 7.10592 second system time
The end