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-3699659-1338063762/watcher-3699659-1338063762 -o /tmp/evaluation-result-3699659-1338063762/solver-3699659-1338063762 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699659-1338063762.opb 620752360 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.04 2.01 2.00 3/178 15917
/proc/meminfo: memFree=28303272/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[startup+0.0273281 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15917
/proc/meminfo: memFree=28303272/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100207 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15917
/proc/meminfo: memFree=28303272/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300202 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15917
/proc/meminfo: memFree=28303272/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700205 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15917
/proc/meminfo: memFree=28303272/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 15926
/proc/meminfo: memFree=28264532/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=4320 CPUtime=0.57 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 3274 5584 0 0 31 11 14 1 20 0 1 0 272501622 4423680 736 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 1080 736 179 440 0 636 0
[pid=15926] ppid=15918 vsize=34316 CPUtime=0.89 cores=1,3,5,7
/proc/15926/stat : 15926 (glucosInc) R 15918 15917 14700 0 -1 4202496 7371 0 0 0 88 1 0 0 20 0 1 0 272501682 35139584 7548 33554432000 4194304 5654031 140735139626720 140735139624488 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15926/statm: 8579 7548 131 357 0 8219 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47784
[startup+3.10034 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 15926
/proc/meminfo: memFree=28263888/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=4320 CPUtime=0.57 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 3274 5584 0 0 31 11 14 1 20 0 1 0 272501622 4423680 736 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 1080 736 179 440 0 636 0
[pid=15926] ppid=15918 vsize=34316 CPUtime=2.49 cores=1,3,5,7
/proc/15926/stat : 15926 (glucosInc) R 15918 15917 14700 0 -1 4202496 7430 0 0 0 248 1 0 0 20 0 1 0 272501682 35139584 7607 33554432000 4194304 5654031 140735139626720 140735139624488 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15926/statm: 8579 7607 131 357 0 8219 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47784
[startup+6.30033 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 15928
/proc/meminfo: memFree=28260724/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=3272 CPUtime=4.21 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 5453 13556 0 0 37 11 370 3 20 0 1 0 272501622 3350528 507 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 818 507 180 440 0 374 0
[pid=15928] ppid=15918 vsize=34396 CPUtime=2.06 cores=1,3,5,7
/proc/15928/stat : 15928 (glucosInc) R 15918 15917 14700 0 -1 4202496 7624 0 0 0 205 1 0 0 20 0 1 0 272502045 35221504 7611 33554432000 4194304 5654031 140735830233024 140735830230792 4219855 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15928/statm: 8599 7611 131 357 0 8239 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46816
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 15930
/proc/meminfo: memFree=28252104/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=3272 CPUtime=11.08 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 7637 22404 0 0 41 12 1050 5 20 0 1 0 272501622 3350528 507 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 818 507 180 440 0 374 0
[pid=15930] ppid=15918 vsize=34388 CPUtime=1.58 cores=1,3,5,7
/proc/15930/stat : 15930 (glucosInc) R 15918 15917 14700 0 -1 4202496 7612 0 0 0 157 1 0 0 20 0 1 0 272502733 35213312 7603 33554432000 4194304 5654031 140733307123584 140733307121352 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15930/statm: 8597 7603 131 357 0 8237 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46808
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15932
/proc/meminfo: memFree=28297276/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=3272 CPUtime=20.39 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 9875 31425 0 0 47 12 1973 7 20 0 1 0 272501622 3350528 507 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 818 507 180 440 0 374 0
[pid=15932] ppid=15918 vsize=38268 CPUtime=5.07 cores=1,3,5,7
/proc/15932/stat : 15932 (glucosInc) R 15918 15917 14700 0 -1 4202496 8245 0 0 0 506 1 0 0 20 0 1 0 272503664 39186432 8233 33554432000 4194304 5654031 140735516067184 140735516055000 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15932/statm: 9567 8233 140 357 0 9207 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 50688
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15938
/proc/meminfo: memFree=28249896/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=3896 CPUtime=50.02 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 16628 59663 0 0 71 14 4902 15 20 0 1 0 272501622 3989504 664 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 974 664 180 440 0 530 0
[pid=15938] ppid=15918 vsize=35072 CPUtime=1.03 cores=1,3,5,7
/proc/15938/stat : 15938 (glucosInc) R 15918 15917 14700 0 -1 4202496 7940 0 0 0 102 1 0 0 20 0 1 0 272506628 35913728 8062 33554432000 4194304 5654031 140734251674544 140734251672312 4232659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15938/statm: 8768 8062 140 357 0 8408 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 48116
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15940
/proc/meminfo: memFree=28265996/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=57368 CPUtime=27.54 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 13339 0 0 0 2751 3 0 0 20 0 1 0 272509097 58744832 13639 33554432000 4194304 5654031 140735594397136 140735594384952 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 14342 13639 142 357 0 13982 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79612
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 15940
/proc/meminfo: memFree=28202008/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=87648 CPUtime=87.52 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 14945 0 0 0 8748 4 0 0 20 0 1 0 272509097 89751552 18556 33554432000 4194304 5654031 140735594397136 140735594384952 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 21912 18556 142 357 0 21552 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 109892
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 15940
/proc/meminfo: memFree=28231208/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=92684 CPUtime=147.51 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 15954 0 0 0 14746 5 0 0 20 0 1 0 272509097 94908416 21492 33554432000 4194304 5654031 140735594397136 140735594384952 4233457 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 23171 21492 142 357 0 22811 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 114928
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=19845780/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=180504 CPUtime=1167.35 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 33705 0 0 0 116698 37 0 0 20 0 1 0 272509097 184836096 41631 33554432000 4194304 5654031 140735594397136 140735594395064 4233194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 45126 41631 142 357 0 44766 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 202748
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15990
/proc/meminfo: memFree=19833944/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=211324 CPUtime=1227.35 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 34926 0 0 0 122696 39 0 0 20 0 1 0 272509097 216395776 44514 33554432000 4194304 5654031 140735594397136 140735594384952 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 52831 44514 142 357 0 52471 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 233568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15990
/proc/meminfo: memFree=19882940/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=131184 CPUtime=1287.34 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 36072 0 0 0 128692 42 0 0 20 0 1 0 272509097 134332416 32141 33554432000 4194304 5654031 140735594397136 140735594395160 4232421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 32796 32141 142 357 0 32436 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 153428
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15990
/proc/meminfo: memFree=19883080/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=131184 CPUtime=1347.33 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 36959 0 0 0 134690 43 0 0 20 0 1 0 272509097 134332416 32141 33554432000 4194304 5654031 140735594397136 140735594384952 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 32796 32141 142 357 0 32436 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 153428
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15991
/proc/meminfo: memFree=19843440/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=180504 CPUtime=1407.32 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 38144 0 0 0 140686 46 0 0 20 0 1 0 272509097 184836096 42143 33554432000 4194304 5654031 140735594397136 140735594384952 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 45126 42143 142 357 0 44766 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 202748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15991
/proc/meminfo: memFree=19835140/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=180504 CPUtime=1467.3 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 39177 0 0 0 146682 48 0 0 20 0 1 0 272509097 184836096 44319 33554432000 4194304 5654031 140735594397136 140735594384952 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 45126 44319 142 357 0 44766 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 202748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15991
/proc/meminfo: memFree=19830876/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=211324 CPUtime=1527.3 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 40532 0 0 0 152679 51 0 0 20 0 1 0 272509097 216395776 45282 33554432000 4194304 5654031 140735594397136 140735594384952 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 52831 45282 142 357 0 52471 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 233568
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15994
/proc/meminfo: memFree=19883160/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=131184 CPUtime=1587.28 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 41424 0 0 0 158676 52 0 0 20 0 1 0 272509097 134332416 32141 33554432000 4194304 5654031 140735594397136 140735594384952 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 32796 32141 142 357 0 32436 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 153428
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 15994
/proc/meminfo: memFree=19883308/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=131184 CPUtime=1647.28 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 42314 0 0 0 164673 55 0 0 20 0 1 0 272509097 134332416 32141 33554432000 4194304 5654031 140735594397136 140735594384952 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 32796 32141 142 357 0 32436 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 153428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15995
/proc/meminfo: memFree=19848012/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=180504 CPUtime=1707.27 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 43502 0 0 0 170670 57 0 0 20 0 1 0 272509097 184836096 41119 33554432000 4194304 5654031 140735594397136 140735594395064 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 45126 41119 142 357 0 44766 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 202748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15995
/proc/meminfo: memFree=19835724/32873648 swapFree=7104/7104
[pid=15917] ppid=15915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (npSolver-pbo-I.) S 15915 15917 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272501622 9367552 275 33554432000 4194304 5064252 140734860630048 140734860628960 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15917/statm: 2287 275 233 213 0 72 0
[pid=15918] ppid=15917 vsize=13096 CPUtime=74.71 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-pbo) S 15917 15917 14700 0 -1 4202496 18001 72933 0 0 86 15 7350 20 20 0 1 0 272501622 13410304 2935 33554432000 4194304 5992684 140736168086816 140736168071720 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15918/statm: 3274 2935 180 440 0 2830 0
[pid=15940] ppid=15918 vsize=180504 CPUtime=1725.38 cores=1,3,5,7
/proc/15940/stat : 15940 (glucosInc) R 15918 15917 14700 0 -1 4202496 43565 0 0 0 172480 58 0 0 20 0 1 0 272509097 184836096 44246 33554432000 4194304 5654031 140735594397136 140735594384952 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15940/statm: 45126 44246 142 357 0 44766 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 202748
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.11
CPU user time (s): 1799.17
CPU system time (s): 0.945856
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 233568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.945856
maximum resident set size= 191368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 69592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 471
involuntary context switches= 1884
runsolver used 2.6296 second user time and 7.2509 second system time
The end