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-3698092-1338060158/watcher-3698092-1338060158 -o /tmp/evaluation-result-3698092-1338060158/solver-3698092-1338060158 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698092-1338060158.opb 1655551780 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.01 2.00 2.00 3/178 1645
/proc/meminfo: memFree=28396568/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[startup+0.019497 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 1645
/proc/meminfo: memFree=28396568/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 1645
/proc/meminfo: memFree=28396568/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300221 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 1645
/proc/meminfo: memFree=28396568/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 1645
/proc/meminfo: memFree=28396568/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 1649
/proc/meminfo: memFree=28334224/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=13056 CPUtime=1.24 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) R 1645 1645 824 0 -1 4202496 4003 11836 0 0 18 5 98 3 20 0 1 0 272144352 13369344 2927 33554432000 4194304 5992684 140733653885968 140733653872232 5179696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 3264 2927 173 440 0 2820 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 22204
[startup+3.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1652
/proc/meminfo: memFree=28342160/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 32696
[startup+6.30031 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1654
/proc/meminfo: memFree=28158620/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=161888 CPUtime=3.64 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 31897 0 0 0 357 7 0 0 20 0 1 0 272144616 165773312 36735 33554432000 4194304 5654031 140737414974688 140737414972472 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 40472 36735 139 357 0 40112 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 194584
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 1654
/proc/meminfo: memFree=28197544/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=162152 CPUtime=10.04 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 31955 0 0 0 997 7 0 0 20 0 1 0 272144616 166043648 36793 33554432000 4194304 5654031 140737414974688 140737414972472 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 40538 36793 139 357 0 40178 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 194848
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 1654
/proc/meminfo: memFree=28196800/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=162800 CPUtime=22.83 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 32134 0 0 0 2276 7 0 0 20 0 1 0 272144616 166707200 36964 33554432000 4194304 5654031 140737414974688 140737414962504 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 40700 36964 140 357 0 40340 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 195496
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 1654
/proc/meminfo: memFree=28196552/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=162800 CPUtime=48.43 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 32157 0 0 0 4836 7 0 0 20 0 1 0 272144616 166707200 36987 33554432000 4194304 5654031 140737414974688 140737414962504 4214603 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 40700 36987 140 357 0 40340 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 195496
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1654
/proc/meminfo: memFree=28185572/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=185288 CPUtime=99.63 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 33569 0 0 0 9955 8 0 0 20 0 1 0 272144616 189734912 39374 33554432000 4194304 5654031 140737414974688 140737414962504 4214616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 46322 39374 140 357 0 45962 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 217984
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1655
/proc/meminfo: memFree=28177720/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=191344 CPUtime=159.59 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 35294 0 0 0 15949 10 0 0 20 0 1 0 272144616 195936256 41414 33554432000 4194304 5654031 140737414974688 140737414962504 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 47836 41414 140 357 0 47476 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 224040
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1655
/proc/meminfo: memFree=28167832/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=197456 CPUtime=219.58 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 37064 0 0 0 21946 12 0 0 20 0 1 0 272144616 202194944 43810 33554432000 4194304 5654031 140737414974688 140737414962504 4214483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 49364 43810 140 357 0 49004 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 230152
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1655
/proc/meminfo: memFree=28117880/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 1720
/proc/meminfo: memFree=27838560/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=340252 CPUtime=1299.41 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 65013 0 0 0 129893 48 0 0 20 0 1 0 272144616 348418048 70876 33554432000 4194304 5654031 140737414974688 140737414972472 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 85063 70876 140 357 0 84703 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 372948
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1720
/proc/meminfo: memFree=27842148/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=342652 CPUtime=1359.4 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 66806 0 0 0 135887 53 0 0 20 0 1 0 272144616 350875648 72020 33554432000 4194304 5654031 140737414974688 140737414962504 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 85663 72020 140 357 0 85303 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 375348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1721
/proc/meminfo: memFree=27840824/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=343856 CPUtime=1419.4 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 68306 0 0 0 141884 56 0 0 20 0 1 0 272144616 352108544 71338 33554432000 4194304 5654031 140737414974688 140737414962504 4215327 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 85964 71338 140 357 0 85604 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 376552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1721
/proc/meminfo: memFree=27831816/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=346028 CPUtime=1479.38 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 70040 0 0 0 147880 58 0 0 20 0 1 0 272144616 354332672 71912 33554432000 4194304 5654031 140737414974688 140737414962504 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 86507 71912 140 357 0 86147 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 378724
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1721
/proc/meminfo: memFree=27828268/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=350236 CPUtime=1539.37 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 71122 0 0 0 153876 61 0 0 20 0 1 0 272144616 358641664 71864 33554432000 4194304 5654031 140737414974688 140737414962504 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 87559 71864 140 357 0 87199 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 382932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1721
/proc/meminfo: memFree=27826892/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=301788 CPUtime=1599.36 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 71889 0 0 0 159873 63 0 0 20 0 1 0 272144616 309030912 71433 33554432000 4194304 5654031 140737414974688 140737414962504 4232755 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 75447 71433 140 357 0 75087 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 334484
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1724
/proc/meminfo: memFree=27826876/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=304048 CPUtime=1659.35 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 73652 0 0 0 165868 67 0 0 20 0 1 0 272144616 311345152 71011 33554432000 4194304 5654031 140737414974688 140737414962504 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 76012 71011 140 357 0 75652 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 336744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1725
/proc/meminfo: memFree=27797532/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=355888 CPUtime=1719.34 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 74945 0 0 0 171866 68 0 0 20 0 1 0 272144616 364429312 77896 33554432000 4194304 5654031 140737414974688 140737414972472 4233151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 88972 77896 140 357 0 88612 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 388584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1725
/proc/meminfo: memFree=27803356/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=357116 CPUtime=1779.33 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 76435 0 0 0 177861 72 0 0 20 0 1 0 272144616 365686784 76704 33554432000 4194304 5654031 140737414974688 140737414962504 4215124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 89279 76704 140 357 0 88919 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 389812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1725
/proc/meminfo: memFree=27790076/32873844 swapFree=7620/7620
[pid=1645] ppid=1643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (npSolver-pbo-It) S 1643 1645 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272144352 9367552 274 33554432000 4194304 5064252 140733229091744 140733229090656 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1645/statm: 2287 274 233 213 0 72 0
[pid=1646] ppid=1645 vsize=23548 CPUtime=2.63 cores=0,2,4,6
/proc/1646/stat : 1646 (npSolver-pbo) S 1645 1645 824 0 -1 4202496 9661 17629 0 0 103 33 122 5 20 0 1 0 272144352 24113152 5559 33554432000 4194304 5992684 140733653885968 140733653871800 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1646/statm: 5887 5559 182 440 0 5443 0
[pid=1654] ppid=1646 vsize=357652 CPUtime=1797.43 cores=0,2,4,6
/proc/1654/stat : 1654 (glucosInc) R 1646 1645 824 0 -1 4202496 76568 0 0 0 179671 72 0 0 20 0 1 0 272144616 366235648 78370 33554432000 4194304 5654031 140737414974688 140737414962504 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1654/statm: 89413 78370 140 357 0 89053 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 390348
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1645 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=258656
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=389940
# CPU time returned by wait4() is 2.6486
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1798.96
CPU system time (s): 1.1
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 469268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.25866
system time used= 0.38994
maximum resident set size= 135496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132
involuntary context switches= 16
runsolver used 2.68359 second user time and 7.14891 second system time
The end