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-3746908-1339109149/watcher-3746908-1339109149 -o /tmp/evaluation-result-3746908-1339109149/solver-3746908-1339109149 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746908-1339109149.opb 1941368838 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: 2.05 2.02 2.00 3/177 13652
/proc/meminfo: memFree=31672740/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[startup+0.0138999 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13652
/proc/meminfo: memFree=31672740/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13652
/proc/meminfo: memFree=31672740/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300288 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13652
/proc/meminfo: memFree=31672740/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700313 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13652
/proc/meminfo: memFree=31672740/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 13654
/proc/meminfo: memFree=31573572/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=85488 CPUtime=1.27 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 8871 0 0 0 112 15 0 0 20 0 1 0 377039986 87539712 19797 33554432000 4194304 6004724 140735844771056 140735844765520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13653/statm: 21372 19797 171 442 0 20926 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 94636
[startup+3.10044 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 13656
/proc/meminfo: memFree=31372700/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=85488 CPUtime=1.27 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 8871 0 0 0 112 15 0 0 20 0 1 0 377039986 87539712 19797 33554432000 4194304 6004724 140735844771056 140735844765520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13653/statm: 21372 19797 171 442 0 20926 0
[pid=13655] ppid=13653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13655/stat : 13655 (cp2_pre.sh) S 13653 13652 12469 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 377040113 9367552 277 33554432000 4194304 5064252 140734951089472 140734951088176 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13655/statm: 2287 277 234 213 0 72 0
[pid=13656] ppid=13655 vsize=356208 CPUtime=1.81 cores=1,3,5,7
/proc/13656/stat : 13656 (coprocessor) R 13655 13652 12469 0 -1 4202496 40267 0 0 0 169 12 0 0 20 0 1 0 377040114 364756992 80211 33554432000 4194304 6586260 140734337627936 140734337624200 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13656/statm: 89052 80211 166 584 0 88464 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 459992
[startup+6.30037 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 13656
/proc/meminfo: memFree=31099048/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=85488 CPUtime=1.27 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 8871 0 0 0 112 15 0 0 20 0 1 0 377039986 87539712 19797 33554432000 4194304 6004724 140735844771056 140735844765520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13653/statm: 21372 19797 171 442 0 20926 0
[pid=13655] ppid=13653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13655/stat : 13655 (cp2_pre.sh) S 13653 13652 12469 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 377040113 9367552 277 33554432000 4194304 5064252 140734951089472 140734951088176 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13655/statm: 2287 277 234 213 0 72 0
[pid=13656] ppid=13655 vsize=451108 CPUtime=5 cores=1,3,5,7
/proc/13656/stat : 13656 (coprocessor) R 13655 13652 12469 0 -1 4202496 58460 0 0 0 470 30 0 0 20 0 1 0 377040114 461934592 110009 33554432000 4194304 6586260 140734337627936 140734337623560 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13656/statm: 112777 110009 204 584 0 112189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 554892
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 13658
/proc/meminfo: memFree=31395104/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=89548 CPUtime=8.41 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) R 13652 13652 12469 0 -1 4202496 11214 59363 0 0 140 97 566 38 20 0 1 0 377039986 91697152 20821 33554432000 4194304 6004724 140735844771056 140735844765256 5190832 0 0 4096 0 0 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 22387 20821 180 442 0 21941 0
[pid=13658] ppid=13653 vsize=169960 CPUtime=3.98 cores=1,3,5,7
/proc/13658/stat : 13658 (glucosInc) S 13653 13652 12469 0 -1 4202496 32082 0 0 0 391 7 0 0 20 0 1 0 377040734 174039040 39023 33554432000 4194304 5654031 140733508664928 140733508663240 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13658/statm: 42490 39023 146 357 0 42130 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 268656
[startup+25.5004 s]
/proc/loadavg: 2.18 2.05 2.01 3/181 13662
/proc/meminfo: memFree=30882584/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=95996 CPUtime=16.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 19417 92480 0 0 380 221 958 56 20 0 1 0 377039986 98299904 22468 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 23999 22468 183 442 0 23553 0
[pid=13662] ppid=13653 vsize=543924 CPUtime=9.02 cores=1,3,5,7
/proc/13662/stat : 13662 (glucosInc) R 13653 13652 12469 0 -1 4202496 84308 0 0 0 877 25 0 0 20 0 1 0 377041632 556978176 120986 33554432000 4194304 5654031 140734358429440 140734358427128 4215340 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 135981 120986 141 357 0 135621 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 649068
[startup+51.1004 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 13662
/proc/meminfo: memFree=30863372/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=95996 CPUtime=16.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 19417 92480 0 0 380 221 958 56 20 0 1 0 377039986 98299904 22468 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 23999 22468 183 442 0 23553 0
[pid=13662] ppid=13653 vsize=548140 CPUtime=34.62 cores=1,3,5,7
/proc/13662/stat : 13662 (glucosInc) R 13653 13652 12469 0 -1 4202496 85206 0 0 0 3437 25 0 0 20 0 1 0 377041632 561295360 125972 33554432000 4194304 5654031 140734358429440 140734358417256 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 137035 125972 141 357 0 136675 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 653284
[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 13662
/proc/meminfo: memFree=30839276/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=95996 CPUtime=16.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 19417 92480 0 0 380 221 958 56 20 0 1 0 377039986 98299904 22468 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 23999 22468 183 442 0 23553 0
[pid=13662] ppid=13653 vsize=548140 CPUtime=85.82 cores=1,3,5,7
/proc/13662/stat : 13662 (glucosInc) R 13653 13652 12469 0 -1 4202496 86535 0 0 0 8552 30 0 0 20 0 1 0 377041632 561295360 123602 33554432000 4194304 5654031 140734358429440 140734358427288 4232544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 137035 123602 142 357 0 136675 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 653284
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 13663
/proc/meminfo: memFree=30756300/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=95996 CPUtime=16.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 19417 92480 0 0 380 221 958 56 20 0 1 0 377039986 98299904 22468 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 23999 22468 183 442 0 23553 0
[pid=13662] ppid=13653 vsize=629664 CPUtime=145.8 cores=1,3,5,7
/proc/13662/stat : 13662 (glucosInc) R 13653 13652 12469 0 -1 4202496 88509 0 0 0 14543 37 0 0 20 0 1 0 377041632 644775936 135662 33554432000 4194304 5654031 140734358429440 140734358427224 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 157416 135662 142 357 0 157056 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 734808
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 13663
/proc/meminfo: memFree=30724568/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=95996 CPUtime=16.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 19417 92480 0 0 380 221 958 56 20 0 1 0 377039986 98299904 22468 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 23999 22468 183 442 0 23553 0
[pid=13662] ppid=13653 vsize=630072 CPUtime=205.77 cores=1,3,5,7
/proc/13662/stat : 13662 (glucosInc) R 13653 13652 12469 0 -1 4202496 89818 0 0 0 20534 43 0 0 20 0 1 0 377041632 645193728 143451 33554432000 4194304 5654031 140734358429440 140734358427224 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13662/statm: 157518 143451 142 357 0 157158 0
Current children cumulated CPU time (s) 221.92
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 13702
/proc/meminfo: memFree=30672944/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=109344 CPUtime=1085.73 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 39513 301123 0 0 846 286 107112 329 20 0 1 0 377039986 111968256 25805 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 27336 25805 183 442 0 26890 0
[pid=13699] ppid=13653 vsize=758524 CPUtime=275.98 cores=1,3,5,7
/proc/13699/stat : 13699 (glucosInc) R 13653 13652 12469 0 -1 4202496 90518 0 0 0 27512 86 0 0 20 0 1 0 377148609 776728576 162516 33554432000 4194304 5654031 140736263472320 140736263460136 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 189631 162516 142 357 0 189271 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 877016
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13702
/proc/meminfo: memFree=30749052/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=109344 CPUtime=1085.73 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 39513 301123 0 0 846 286 107112 329 20 0 1 0 377039986 111968256 25805 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 27336 25805 183 442 0 26890 0
[pid=13699] ppid=13653 vsize=628852 CPUtime=335.98 cores=1,3,5,7
/proc/13699/stat : 13699 (glucosInc) R 13653 13652 12469 0 -1 4202496 91300 0 0 0 33506 92 0 0 20 0 1 0 377148609 643944448 143498 33554432000 4194304 5654031 140736263472320 140736263470104 4233464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 157213 143498 142 357 0 156853 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 747344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13707
/proc/meminfo: memFree=30839492/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=108372 CPUtime=1435.15 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 49131 394274 0 0 1064 316 141701 434 20 0 1 0 377039986 110972928 25562 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 27093 25562 183 442 0 26647 0
[pid=13704] ppid=13653 vsize=529668 CPUtime=46.55 cores=1,3,5,7
/proc/13704/stat : 13704 (glucosInc) R 13653 13652 12469 0 -1 4202496 77877 0 0 0 4631 24 0 0 20 0 1 0 377183558 542380032 123125 33554432000 4194304 5654031 140734137517232 140734137505048 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13704/statm: 132417 123125 141 357 0 132057 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 647188
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 13709
/proc/meminfo: memFree=30826716/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=108092 CPUtime=1505.54 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 58113 472838 0 0 1281 347 148456 470 20 0 1 0 377039986 110686208 25492 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 27023 25492 183 442 0 26577 0
[pid=13709] ppid=13653 vsize=530552 CPUtime=36.18 cores=1,3,5,7
/proc/13709/stat : 13709 (glucosInc) R 13653 13652 12469 0 -1 4202496 78622 0 0 0 3594 24 0 0 20 0 1 0 377190595 543285248 115373 33554432000 4194304 5654031 140733723424096 140733723421864 4214618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13709/statm: 132638 115373 141 357 0 132278 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 647792
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 13711
/proc/meminfo: memFree=30878592/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=106340 CPUtime=1579.85 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 66645 552584 0 0 1470 371 155639 505 20 0 1 0 377039986 108892160 25054 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26585 25054 183 442 0 26139 0
[pid=13711] ppid=13653 vsize=517276 CPUtime=21.83 cores=1,3,5,7
/proc/13711/stat : 13711 (glucosInc) R 13653 13652 12469 0 -1 4202496 75152 0 0 0 2161 22 0 0 20 0 1 0 377198031 529690624 107949 33554432000 4194304 5654031 140734732544912 140734732532728 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13711/statm: 129319 107949 142 357 0 128959 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 632764
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 13714
/proc/meminfo: memFree=30862792/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=105580 CPUtime=1610.87 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 75172 628604 0 0 1657 396 158496 538 20 0 1 0 377039986 108113920 24864 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26395 24864 183 442 0 25949 0
[pid=13713] ppid=13653 vsize=515712 CPUtime=50.84 cores=1,3,5,7
/proc/13713/stat : 13713 (glucosInc) R 13653 13652 12469 0 -1 4202496 75426 0 0 0 5062 22 0 0 20 0 1 0 377201130 528089088 110883 33554432000 4194304 5654031 140733616841712 140733616829528 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13713/statm: 128928 110883 142 357 0 128568 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 630440
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13714
/proc/meminfo: memFree=30843120/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=105580 CPUtime=1610.87 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 75172 628604 0 0 1657 396 158496 538 20 0 1 0 377039986 108113920 24864 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26395 24864 183 442 0 25949 0
[pid=13713] ppid=13653 vsize=519792 CPUtime=110.83 cores=1,3,5,7
/proc/13713/stat : 13713 (glucosInc) R 13653 13652 12469 0 -1 4202496 75675 0 0 0 11060 23 0 0 20 0 1 0 377201130 532267008 114709 33554432000 4194304 5654031 140733616841712 140733616829528 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13713/statm: 129948 114709 142 357 0 129588 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 634520
[startup+1782.3 s]
/proc/loadavg: 1.56 1.90 1.96 2/173 13739
/proc/meminfo: memFree=31163660/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=105580 CPUtime=1610.87 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 75172 628604 0 0 1657 396 158496 538 20 0 1 0 377039986 108113920 24864 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26395 24864 183 442 0 25949 0
[pid=13713] ppid=13653 vsize=519792 CPUtime=170.81 cores=1,3,5,7
/proc/13713/stat : 13713 (glucosInc) R 13653 13652 12469 0 -1 4202496 76134 0 0 0 17056 25 0 0 20 0 1 0 377201130 532267008 107842 33554432000 4194304 5654031 140733616841712 140733616839736 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13713/statm: 129948 107842 142 357 0 129588 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 634520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.40 1.84 1.94 2/173 13739
/proc/meminfo: memFree=31159408/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=105580 CPUtime=1610.87 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 75172 628604 0 0 1657 396 158496 538 20 0 1 0 377039986 108113920 24864 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26395 24864 183 442 0 25949 0
[pid=13713] ppid=13653 vsize=519792 CPUtime=189.22 cores=1,3,5,7
/proc/13713/stat : 13713 (glucosInc) R 13653 13652 12469 0 -1 4202496 76148 0 0 0 18897 25 0 0 20 0 1 0 377201130 532267008 108866 33554432000 4194304 5654031 140733616841712 140733616829528 4214494 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13713/statm: 129948 108866 142 357 0 129588 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 634520
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.40 1.84 1.94 2/173 13739
/proc/meminfo: memFree=31159408/32873844 swapFree=7124/7124
[pid=13652] ppid=13650 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13652/stat : 13652 (npSolver-pbo-It) S 13650 13652 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377039986 9367552 274 33554432000 4194304 5064252 140736909900736 140736909899648 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13652/statm: 2287 274 233 213 0 72 0
[pid=13653] ppid=13652 vsize=105580 CPUtime=1610.87 cores=1,3,5,7
/proc/13653/stat : 13653 (npSolver-pbo) S 13652 13652 12469 0 -1 4202496 75172 628604 0 0 1657 396 158496 538 20 0 1 0 377039986 108113920 24864 33554432000 4194304 6004724 140735844771056 140735844756904 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/13653/statm: 26395 24864 183 442 0 25949 0
[pid=13713] ppid=13653 vsize=519792 CPUtime=189.22 cores=1,3,5,7
/proc/13713/stat : 13713 (glucosInc) R 13653 13652 12469 0 -1 4202496 76148 0 0 0 18897 25 0 0 20 0 1 0 377201130 532267008 108866 33554432000 4194304 5654031 140733616841712 140733616829528 4214494 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13713/statm: 129948 108866 142 357 0 129588 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 634520
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13652 and gives
# childrusage.ru_utime.tv_sec=1601
# childrusage.ru_utime.tv_usec=535529
# childrusage.ru_stime.tv_sec=9
# childrusage.ru_stime.tv_usec=354577
# CPU time returned by wait4() is 1610.89
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1790.5
CPU system time (s): 9.59
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1438300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.54
system time used= 9.35458
maximum resident set size= 1165788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704150
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2590592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15581
involuntary context switches= 7455
runsolver used 3.16352 second user time and 8.31374 second system time
The end