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-3751044-1339112570/watcher-3751044-1339112570 -o /tmp/evaluation-result-3751044-1339112570/solver-3751044-1339112570 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751044-1339112570.opb 1370538430 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.85 2.44 1.83 3/178 13648
/proc/meminfo: memFree=23345976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[startup+0.105888 s]
/proc/loadavg: 2.85 2.44 1.83 3/178 13648
/proc/meminfo: memFree=23345976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200343 s]
/proc/loadavg: 2.85 2.44 1.83 3/178 13648
/proc/meminfo: memFree=23345976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300333 s]
/proc/loadavg: 2.85 2.44 1.83 3/178 13648
/proc/meminfo: memFree=23345976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700295 s]
/proc/loadavg: 2.85 2.44 1.83 3/178 13648
/proc/meminfo: memFree=23345976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.86 2.45 1.84 3/180 13650
/proc/meminfo: memFree=23225060/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=217392 CPUtime=1.48 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) R 13648 13648 11851 0 -1 4202496 25301 0 0 0 141 7 0 0 20 0 1 0 377383877 222609408 40061 33554432000 4194304 6004724 140736956559120 140736956554760 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13649/statm: 54348 40062 129 442 0 53902 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 226540
[startup+3.10035 s]
/proc/loadavg: 2.86 2.45 1.84 3/180 13650
/proc/meminfo: memFree=23106400/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=399928 CPUtime=3.09 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) R 13648 13648 11851 0 -1 4202496 73069 0 0 0 292 17 0 0 20 0 1 0 377383877 409526272 99632 33554432000 4194304 6004724 140736956559120 140736956555928 4228100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13649/statm: 99982 99632 139 442 0 99536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 409076
[startup+6.30034 s]
/proc/loadavg: 2.86 2.45 1.84 3/180 13650
/proc/meminfo: memFree=22774216/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=662072 CPUtime=6.28 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) R 13648 13648 11851 0 -1 4202496 74467 0 0 0 605 23 0 0 20 0 1 0 377383877 677961728 156633 33554432000 4194304 6004724 140736956559120 140736956553928 5055489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13649/statm: 165518 156633 147 442 0 165072 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671220
[startup+12.7003 s]
/proc/loadavg: 2.73 2.43 1.84 3/180 13650
/proc/meminfo: memFree=22304740/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=1448504 CPUtime=12.69 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) R 13648 13648 11851 0 -1 4202496 76095 0 0 0 1227 42 0 0 20 0 1 0 377383877 1483268096 270297 33554432000 4194304 6004724 140736956559120 140736956553720 4536305 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13649/statm: 362126 270297 147 442 0 361680 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1457652
[startup+25.5003 s]
/proc/loadavg: 2.62 2.42 1.84 3/180 13650
/proc/meminfo: memFree=19138476/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=4025440 CPUtime=25.49 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) R 13648 13648 11851 0 -1 4202496 78957 0 0 0 2346 203 0 0 20 0 1 0 377383877 4122050560 863874 33554432000 4194304 6004724 140736956559120 140736956554992 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13649/statm: 1006360 863874 157 442 0 1005914 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4034588
[startup+51.1004 s]
/proc/loadavg: 2.69 2.45 1.87 2/181 13652
/proc/meminfo: memFree=17123200/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=26.31 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78964 0 0 0 2346 285 0 0 20 0 1 0 377383877 2557124608 481818 33554432000 4194304 6004724 140736956559120 140736956553584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481818 163 442 0 623852 0
[pid=13651] ppid=13649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13651/stat : 13651 (cp2_pre.sh) S 13649 13648 11851 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377386514 9367552 277 33554432000 4194304 5064252 140736004396960 140736004395664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13651/statm: 2287 277 234 213 0 72 0
[pid=13652] ppid=13651 vsize=3156592 CPUtime=24.54 cores=1,3,5,7
/proc/13652/stat : 13652 (coprocessor) R 13651 13648 11851 0 -1 4202496 25318 0 0 0 2356 98 0 0 20 0 1 0 377386515 3232350208 642944 33554432000 4194304 6586260 140735035230064 140735035225816 5076001 0 0 4096 8404994 0 0 0 17 3 0 0 16 0 0
/proc/13652/statm: 789148 642944 157 584 0 788560 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 5672080
[startup+102.3 s]
/proc/loadavg: 2.35 2.40 1.88 3/181 13655
/proc/meminfo: memFree=19540608/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=714620 CPUtime=2.17 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 88216 0 0 0 197 20 0 0 20 0 1 0 377393889 731770880 147052 33554432000 4194304 5654031 140736447693056 140736446642408 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13655/statm: 178655 147052 108 357 0 178295 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 3220960
[startup+162.3 s]
/proc/loadavg: 2.12 2.32 1.89 3/181 13655
/proc/meminfo: memFree=16543156/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4309060 CPUtime=62.16 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 422414 0 0 0 6092 124 0 0 20 0 1 0 377393889 4412477440 895414 33554432000 4194304 5654031 140736447693056 140736447690840 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13655/statm: 1077265 895414 140 357 0 1076905 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 6815400
[startup+222.307 s]
/proc/loadavg: 2.04 2.26 1.89 3/181 13655
/proc/meminfo: memFree=16513276/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4335444 CPUtime=122.15 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 435989 0 0 0 12087 128 0 0 20 0 1 0 377393889 4439494656 902508 33554432000 4194304 5654031 140736447693056 140736447690840 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1083861 902508 140 357 0 1083501 0
Current children cumulated CPU time (s) 221.28
Current children cumulated vsize (KiB) 6841784
[startup+282.3 s]
/proc/loadavg: 2.01 2.21 1.90 3/181 13655
/proc/meminfo: memFree=16500940/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4340012 CPUtime=182.14 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 444140 0 0 0 18081 133 0 0 20 0 1 0 377393889 4444172288 903664 33554432000 4194304 5654031 140736447693056 140736447691128 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1085003 903664 140 357 0 1084643 0
Current children cumulated CPU time (s) 281.27
################
# More data... #
################
/proc/meminfo: memFree=16425976/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4380756 CPUtime=1201.98 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 552250 0 0 0 120026 172 0 0 20 0 1 0 377393889 4485894144 915864 33554432000 4194304 5654031 140736447693056 140736447690840 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1095189 915864 141 357 0 1094829 0
Current children cumulated CPU time (s) 1301.11
Current children cumulated vsize (KiB) 6887096
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/181 13688
/proc/meminfo: memFree=16423964/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4381272 CPUtime=1261.98 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 559416 0 0 0 126023 175 0 0 20 0 1 0 377393889 4486422528 916020 33554432000 4194304 5654031 140736447693056 140736447691128 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1095318 916020 141 357 0 1094958 0
Current children cumulated CPU time (s) 1361.11
Current children cumulated vsize (KiB) 6887612
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/181 13688
/proc/meminfo: memFree=16421960/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4381844 CPUtime=1321.97 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 563058 0 0 0 132021 176 0 0 20 0 1 0 377393889 4487008256 916658 33554432000 4194304 5654031 140736447693056 140736447690840 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1095461 916658 141 357 0 1095101 0
Current children cumulated CPU time (s) 1421.1
Current children cumulated vsize (KiB) 6888184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 13812
/proc/meminfo: memFree=23240588/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4381908 CPUtime=1381.96 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 570096 0 0 0 138017 179 0 0 20 0 1 0 377393889 4487073792 916691 33554432000 4194304 5654031 140736447693056 140736447691128 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1095477 916691 141 357 0 1095117 0
Current children cumulated CPU time (s) 1481.09
Current children cumulated vsize (KiB) 6888248
[startup+1542.31 s]
/proc/loadavg: 1.81 1.95 1.93 3/183 14813
/proc/meminfo: memFree=23249992/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4384184 CPUtime=1441.95 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 577650 0 0 0 144013 182 0 0 20 0 1 0 377393889 4489404416 917747 33554432000 4194304 5654031 140736447693056 140736447691128 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096046 917747 141 357 0 1095686 0
Current children cumulated CPU time (s) 1541.08
Current children cumulated vsize (KiB) 6890524
[startup+1602.3 s]
/proc/loadavg: 1.83 1.93 1.91 3/183 15794
/proc/meminfo: memFree=23234904/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4385372 CPUtime=1501.94 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 581425 0 0 0 150011 183 0 0 20 0 1 0 377393889 4490620928 918030 33554432000 4194304 5654031 140736447693056 140736447680872 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096343 918030 141 357 0 1095983 0
Current children cumulated CPU time (s) 1601.07
Current children cumulated vsize (KiB) 6891712
[startup+1662.3 s]
/proc/loadavg: 1.83 1.91 1.90 3/184 16805
/proc/meminfo: memFree=23245824/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4385992 CPUtime=1561.93 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 585106 0 0 0 156009 184 0 0 20 0 1 0 377393889 4491255808 918727 33554432000 4194304 5654031 140736447693056 140736447691128 4232810 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096498 918727 141 357 0 1096138 0
Current children cumulated CPU time (s) 1661.06
Current children cumulated vsize (KiB) 6892332
[startup+1722.3 s]
/proc/loadavg: 1.83 1.89 1.90 3/183 17792
/proc/meminfo: memFree=23229920/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4385992 CPUtime=1621.92 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 592105 0 0 0 162004 188 0 0 20 0 1 0 377393889 4491255808 918742 33554432000 4194304 5654031 140736447693056 140736447680872 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096498 918742 141 357 0 1096138 0
Current children cumulated CPU time (s) 1721.05
Current children cumulated vsize (KiB) 6892332
[startup+1782.3 s]
/proc/loadavg: 1.85 1.89 1.90 3/183 18786
/proc/meminfo: memFree=23230408/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4386384 CPUtime=1681.91 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 595628 0 0 0 168001 190 0 0 20 0 1 0 377393889 4491657216 918769 33554432000 4194304 5654031 140736447693056 140736447680872 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096596 918769 141 357 0 1096236 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 6892724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 1.89 1.90 1.90 3/183 19108
/proc/meminfo: memFree=23245004/32873648 swapFree=7372/7372
[pid=13648] ppid=13646 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13648/stat : 13648 (npSolver-pbo-It) S 13646 13648 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377383877 9367552 275 33554432000 4194304 5064252 140735268116336 140735268115248 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13648/statm: 2287 275 233 213 0 72 0
[pid=13649] ppid=13648 vsize=2497192 CPUtime=99.13 cores=1,3,5,7
/proc/13649/stat : 13649 (npSolver-pbo) S 13648 13648 11851 0 -1 4202496 78982 26220 0 0 2346 286 6918 363 20 0 1 0 377383877 2557124608 481822 33554432000 4194304 6004724 140736956559120 140736956545400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13649/statm: 624298 481822 167 442 0 623852 0
[pid=13655] ppid=13649 vsize=4386516 CPUtime=1700.91 cores=1,3,5,7
/proc/13655/stat : 13655 (glucosInc) R 13649 13648 11851 0 -1 4202496 595632 0 0 0 169901 190 0 0 20 0 1 0 377393889 4491792384 918773 33554432000 4194304 5654031 140736447693056 140736447680872 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13655/statm: 1096629 918773 141 357 0 1096269 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 6892856
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 13648 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.04
CPU user time (s): 1791.65
CPU system time (s): 8.39
CPU usage (%): 99.9289
Max. virtual memory (cumulated for all children) (KiB): 6934248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.38049 second user time and 11.7032 second system time
The end