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-3748570-1339173878/watcher-3748570-1339173878 -o /tmp/evaluation-result-3748570-1339173878/solver-3748570-1339173878 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748570-1339173878.opb 226983052 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.65 3.60 3.43 2/179 20109
/proc/meminfo: memFree=16964692/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[startup+0.0221459 s]
/proc/loadavg: 2.65 3.60 3.43 2/179 20109
/proc/meminfo: memFree=16964692/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100146 s]
/proc/loadavg: 2.65 3.60 3.43 2/179 20109
/proc/meminfo: memFree=16964692/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 2.65 3.60 3.43 2/179 20109
/proc/meminfo: memFree=16964692/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700171 s]
/proc/loadavg: 2.65 3.60 3.43 2/179 20109
/proc/meminfo: memFree=16964692/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 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.65 3.60 3.43 3/183 20113
/proc/meminfo: memFree=16704552/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=97192 CPUtime=0.68 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 12251 0 0 0 61 7 0 0 20 0 1 0 383513797 99524608 22710 33554432000 4194304 6004724 140737385198848 140737385193312 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 24298 22710 164 442 0 23852 0
[pid=20112] ppid=20110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20112/stat : 20112 (cp2_pre.sh) S 20110 20109 19535 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383513867 9367552 276 33554432000 4194304 5064252 140734169714176 140734169712880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20112/statm: 2287 276 234 213 0 72 0
[pid=20113] ppid=20112 vsize=186968 CPUtime=0.79 cores=0,2,4,6
/proc/20113/stat : 20113 (coprocessor) R 20112 20109 19535 0 -1 4202496 31205 0 0 0 74 5 0 0 20 0 1 0 383513867 191455232 45090 33554432000 4194304 6586260 140734256185248 140734256181176 4770132 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20113/statm: 46742 45090 176 584 0 46154 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 302456
[startup+3.10024 s]
/proc/loadavg: 2.65 3.60 3.43 3/183 20113
/proc/meminfo: memFree=16600156/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=97192 CPUtime=0.68 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 12251 0 0 0 61 7 0 0 20 0 1 0 383513797 99524608 22710 33554432000 4194304 6004724 140737385198848 140737385193312 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 24298 22710 164 442 0 23852 0
[pid=20112] ppid=20110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20112/stat : 20112 (cp2_pre.sh) S 20110 20109 19535 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383513867 9367552 276 33554432000 4194304 5064252 140734169714176 140734169712880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20112/statm: 2287 276 234 213 0 72 0
[pid=20113] ppid=20112 vsize=212116 CPUtime=2.39 cores=0,2,4,6
/proc/20113/stat : 20113 (coprocessor) R 20112 20109 19535 0 -1 4202496 35225 0 0 0 221 18 0 0 20 0 1 0 383513867 217206784 51722 33554432000 4194304 6586260 140734256185248 140734256181160 5505954 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20113/statm: 53029 51722 204 584 0 52441 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 327604
[startup+6.3002 s]
/proc/loadavg: 2.67 3.59 3.43 3/182 20115
/proc/meminfo: memFree=16639348/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=179112 CPUtime=6.28 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) R 20109 20109 19535 0 -1 4202496 19990 53947 0 0 160 81 361 26 20 0 1 0 383513797 183410688 38669 33554432000 4194304 6004724 140737385198848 140737385191768 4535882 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 44778 38669 183 442 0 44332 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 188260
[startup+12.7003 s]
/proc/loadavg: 2.62 3.56 3.42 3/182 20118
/proc/meminfo: memFree=15814608/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=560140 CPUtime=4.07 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 83139 0 0 0 385 22 0 0 20 0 1 0 383514659 573583360 124423 33554432000 4194304 5654031 140734750745488 140734750743272 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20118/statm: 140035 124423 141 357 0 139675 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 682864
[startup+25.5003 s]
/proc/loadavg: 2.70 3.53 3.41 3/182 20118
/proc/meminfo: memFree=15417896/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=562032 CPUtime=16.86 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 83770 0 0 0 1664 22 0 0 20 0 1 0 383514659 575520768 130164 33554432000 4194304 5654031 140734750745488 140734750743272 4218708 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20118/statm: 140508 130164 141 357 0 140148 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 684756
[startup+51.1003 s]
/proc/loadavg: 2.65 3.46 3.39 3/180 20120
/proc/meminfo: memFree=18453448/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=563056 CPUtime=42.46 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 84522 0 0 0 4220 26 0 0 20 0 1 0 383514659 576569344 127854 33554432000 4194304 5654031 140734750745488 140734750743272 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20118/statm: 140764 127854 142 357 0 140404 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 685780
[startup+102.307 s]
/proc/loadavg: 2.28 3.23 3.31 3/181 20121
/proc/meminfo: memFree=16150824/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=574132 CPUtime=93.66 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 85814 0 0 0 9339 27 0 0 20 0 1 0 383514659 587911168 133745 33554432000 4194304 5654031 140734750745488 140734750733304 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20118/statm: 143533 133745 142 357 0 143173 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 696856
[startup+162.3 s]
/proc/loadavg: 2.10 3.00 3.23 3/181 20121
/proc/meminfo: memFree=16147496/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=574132 CPUtime=153.64 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 86368 0 0 0 15334 30 0 0 20 0 1 0 383514659 587911168 130716 33554432000 4194304 5654031 140734750745488 140734750733304 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20118/statm: 143533 130716 142 357 0 143173 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 696856
[startup+222.3 s]
/proc/loadavg: 2.04 2.82 3.15 3/181 20121
/proc/meminfo: memFree=16114468/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=113576 CPUtime=8.59 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 21930 54462 0 0 356 115 361 27 20 0 1 0 383513797 116301824 26826 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 28394 26826 184 442 0 27948 0
[pid=20118] ppid=20110 vsize=658656 CPUtime=213.64 cores=0,2,4,6
/proc/20118/stat : 20118 (glucosInc) R 20110 20109 19535 0 -1 4202496 87368 0 0 0 21332 32 0 0 20 0 1 0 383514659 674463744 135803 33554432000 4194304 5654031 140734750745488 140734750733304 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20118/statm: 164664 135803 142 357 0 164304 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/meminfo: memFree=16130704/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=541868 CPUtime=514.25 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 78571 0 0 0 51398 27 0 0 20 0 1 0 383592594 554872832 115814 33554432000 4194304 5654031 140736623253296 140736623241112 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 135467 115814 142 357 0 135107 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 672784
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/181 20156
/proc/meminfo: memFree=16117876/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=541868 CPUtime=574.23 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 78575 0 0 0 57396 27 0 0 20 0 1 0 383592594 554872832 117862 33554432000 4194304 5654031 140736623253296 140736623241112 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 135467 117862 142 357 0 135107 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 672784
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.29 3/181 20156
/proc/meminfo: memFree=16108296/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=541868 CPUtime=634.23 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 78644 0 0 0 63396 27 0 0 20 0 1 0 383592594 554872832 119464 33554432000 4194304 5654031 140736623253296 140736623241112 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 135467 119464 142 357 0 135107 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 672784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/181 20156
/proc/meminfo: memFree=16092820/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=546136 CPUtime=694.21 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 78951 0 0 0 69394 27 0 0 20 0 1 0 383592594 559243264 122837 33554432000 4194304 5654031 140736623253296 140736623241112 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 136534 122837 142 357 0 136174 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 677052
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.26 3/182 20159
/proc/meminfo: memFree=16080752/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=627524 CPUtime=754.2 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 79125 0 0 0 75392 28 0 0 20 0 1 0 383592594 642584576 125565 33554432000 4194304 5654031 140736623253296 140736623241112 4232651 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 156881 125565 142 357 0 156521 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 758440
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.24 3/181 20160
/proc/meminfo: memFree=16110576/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=546136 CPUtime=814.19 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 79512 0 0 0 81389 30 0 0 20 0 1 0 383592594 559243264 117861 33554432000 4194304 5654031 140736623253296 140736623241112 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 136534 117861 142 357 0 136174 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 677052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/181 20160
/proc/meminfo: memFree=16097552/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=546136 CPUtime=874.18 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 79520 0 0 0 87388 30 0 0 20 0 1 0 383592594 559243264 120935 33554432000 4194304 5654031 140736623253296 140736623241112 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20128/statm: 136534 120935 142 357 0 136174 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 677052
[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 2.20 3/181 20207
/proc/meminfo: memFree=27188964/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=546136 CPUtime=934.17 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 79622 0 0 0 93387 30 0 0 20 0 1 0 383592594 559243264 123592 33554432000 4194304 5654031 140736623253296 140736623241112 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20128/statm: 136534 123592 142 357 0 136174 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 677052
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 2.18 3/181 20207
/proc/meminfo: memFree=27169252/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=550280 CPUtime=994.16 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 80351 0 0 0 99383 33 0 0 20 0 1 0 383592594 563486720 119397 33554432000 4194304 5654031 140736623253296 140736623241112 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20128/statm: 137570 119397 142 357 0 137210 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 681196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.98 2.18 3/181 20207
/proc/meminfo: memFree=27139312/32873648 swapFree=7628/7628
[pid=20109] ppid=20107 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20109/stat : 20109 (npSolver-pbo-I.) S 20107 20109 19535 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383513797 9367552 275 33554432000 4194304 5064252 140734850840496 140734850839408 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20109/statm: 2287 275 233 213 0 72 0
[pid=20110] ppid=20109 vsize=121768 CPUtime=787.84 cores=0,2,4,6
/proc/20110/stat : 20110 (npSolver-pbo) S 20109 20109 19535 0 -1 4202496 30871 149470 0 0 601 144 77947 92 20 0 1 0 383513797 124690432 28875 33554432000 4194304 6004724 140737385198848 140737385183768 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 30442 28875 185 442 0 29996 0
[pid=20128] ppid=20110 vsize=550280 CPUtime=1012.25 cores=0,2,4,6
/proc/20128/stat : 20128 (glucosInc) R 20110 20109 19535 0 -1 4202496 80664 0 0 0 101192 33 0 0 20 0 1 0 383592594 563486720 120722 33554432000 4194304 5654031 140736623253296 140736623241112 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20128/statm: 137570 120722 142 357 0 137210 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 681196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20109 and gives
# childrusage.ru_utime.tv_sec=785
# childrusage.ru_utime.tv_usec=485588
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=374639
# CPU time returned by wait4() is 787.86
# 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.42
CPU time (s): 1800.09
CPU user time (s): 1797.4
CPU system time (s): 2.69
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 928300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.486
system time used= 2.37464
maximum resident set size= 741816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 814512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3117
involuntary context switches= 1101
runsolver used 4.05138 second user time and 10.0525 second system time
The end