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-3702602-1338124523/watcher-3702602-1338124523 -o /tmp/evaluation-result-3702602-1338124523/solver-3702602-1338124523 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702602-1338124523.opb 960060685 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: 4.96 4.61 3.56 2/181 9556
/proc/meminfo: memFree=13437744/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[startup+0.103906 s]
/proc/loadavg: 4.96 4.61 3.56 2/181 9556
/proc/meminfo: memFree=13437744/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200296 s]
/proc/loadavg: 4.96 4.61 3.56 2/181 9556
/proc/meminfo: memFree=13437744/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 4.96 4.61 3.56 2/181 9556
/proc/meminfo: memFree=13437744/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700218 s]
/proc/loadavg: 4.96 4.61 3.56 2/181 9556
/proc/meminfo: memFree=13437744/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 4.96 4.61 3.56 3/185 9560
/proc/meminfo: memFree=12678988/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=99812 CPUtime=1.06 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 12322 0 0 0 97 9 0 0 20 0 1 0 278579467 102207488 17606 33554432000 4194304 5992684 140734023498544 140734023492992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9557/statm: 24953 17606 171 440 0 24509 0
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (cp2_pre.sh) S 9557 9556 9266 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278579575 9367552 277 33554432000 4194304 5064252 140736281808128 140736281806832 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9559/statm: 2287 277 234 213 0 72 0
[pid=9560] ppid=9559 vsize=58528 CPUtime=0.41 cores=0,2,4,6
/proc/9560/stat : 9560 (coprocessor) R 9559 9556 9266 0 -1 4202496 8826 0 0 0 38 3 0 0 20 0 1 0 278579575 59932672 13471 33554432000 4194304 6586260 140735816410544 140735816407304 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/9560/statm: 14632 13471 137 584 0 14044 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 176636
[startup+3.10036 s]
/proc/loadavg: 4.96 4.61 3.56 3/185 9560
/proc/meminfo: memFree=12405456/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=99812 CPUtime=1.06 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 12322 0 0 0 97 9 0 0 20 0 1 0 278579467 102207488 17606 33554432000 4194304 5992684 140734023498544 140734023492992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9557/statm: 24953 17606 171 440 0 24509 0
[pid=9559] ppid=9557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9559/stat : 9559 (cp2_pre.sh) S 9557 9556 9266 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278579575 9367552 277 33554432000 4194304 5064252 140736281808128 140736281806832 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9559/statm: 2287 277 234 213 0 72 0
[pid=9560] ppid=9559 vsize=319744 CPUtime=2.01 cores=0,2,4,6
/proc/9560/stat : 9560 (coprocessor) R 9559 9556 9266 0 -1 4202496 40470 0 0 0 192 9 0 0 20 0 1 0 278579575 327417856 72196 33554432000 4194304 6586260 140735816410544 140735816406808 4496524 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/9560/statm: 79936 72196 170 584 0 79348 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 437852
[startup+6.30035 s]
/proc/loadavg: 4.88 4.60 3.56 3/185 9560
/proc/meminfo: memFree=15488068/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=99812 CPUtime=1.06 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 12322 0 0 0 97 9 0 0 20 0 1 0 278579467 102207488 17606 33554432000 4194304 5992684 140734023498544 140734023492992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9557/statm: 24953 17606 171 440 0 24509 0
[pid=9559] ppid=9557 vsize=9148 CPUtime=4.83 cores=0,2,4,6
/proc/9559/stat : 9559 (cp2_pre.sh) S 9557 9556 9266 0 -1 4202496 633 49284 0 0 0 0 462 21 20 0 1 0 278579575 9367552 281 33554432000 4194304 5064252 140736281808128 140736281806832 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9559/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 118108
[startup+12.7004 s]
/proc/loadavg: 4.90 4.61 3.58 3/177 9587
/proc/meminfo: memFree=29092072/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=99812 CPUtime=5.91 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 12340 50183 0 2 97 10 462 22 20 0 1 0 278579467 102207488 17608 33554432000 4194304 5992684 140734023498544 140734023484808 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9557/statm: 24953 17608 173 440 0 24509 0
[pid=9564] ppid=9557 vsize=174524 CPUtime=5.26 cores=0,2,4,6
/proc/9564/stat : 9564 (glucosInc) R 9557 9556 9266 0 -1 4202496 32537 0 0 0 519 7 0 0 20 0 1 0 278580210 178712576 39292 33554432000 4194304 5654031 140733771336208 140733771333992 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9564/statm: 43631 39292 140 357 0 43271 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 283484
[startup+25.5003 s]
/proc/loadavg: 4.91 4.62 3.59 2/177 9597
/proc/meminfo: memFree=30338280/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=622096 CPUtime=3.94 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 93256 0 0 0 364 30 0 0 20 0 1 0 278581622 637026304 143754 33554432000 4194304 5654031 140733951437776 140733951435560 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9597/statm: 155524 143754 131 357 0 155164 0
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (KiB) 757004
[startup+51.1069 s]
/proc/loadavg: 4.42 4.54 3.59 3/183 9661
/proc/meminfo: memFree=30169472/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=637152 CPUtime=29.53 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 95088 0 0 0 2923 30 0 0 20 0 1 0 278581622 652443648 147119 33554432000 4194304 5654031 140733951437776 140733951425592 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 159288 147119 142 357 0 158928 0
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (KiB) 772060
[startup+102.3 s]
/proc/loadavg: 3.22 4.20 3.52 3/182 9673
/proc/meminfo: memFree=29637544/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=637152 CPUtime=80.71 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 95614 0 0 0 8041 30 0 0 20 0 1 0 278581622 652443648 148654 33554432000 4194304 5654031 140733951437776 140733951425592 4233309 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 159288 148654 142 357 0 158928 0
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (KiB) 772060
[startup+162.3 s]
/proc/loadavg: 2.45 3.80 3.43 3/181 9673
/proc/meminfo: memFree=29633940/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=637152 CPUtime=140.68 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 95831 0 0 0 14037 31 0 0 20 0 1 0 278581622 652443648 148828 33554432000 4194304 5654031 140733951437776 140733951425592 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 159288 148828 142 357 0 158928 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 772060
[startup+222.3 s]
/proc/loadavg: 2.16 3.47 3.33 3/181 9673
/proc/meminfo: memFree=29618832/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=718540 CPUtime=200.64 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.03 2.39 3/181 9685
/proc/meminfo: memFree=29544704/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=724856 CPUtime=1280.39 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 99288 0 0 0 128002 37 0 0 20 0 1 0 278581622 742252544 158418 33554432000 4194304 5654031 140733951437776 140733951425592 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 181214 158418 142 357 0 180854 0
Current children cumulated CPU time (s) 1299.36
Current children cumulated vsize (KiB) 859764
[startup+1362.31 s]
/proc/loadavg: 2.00 2.03 2.36 3/181 9685
/proc/meminfo: memFree=29540844/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=725252 CPUtime=1340.39 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 99377 0 0 0 134002 37 0 0 20 0 1 0 278581622 742658048 159018 33554432000 4194304 5654031 140733951437776 140733951425592 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 181313 159018 142 357 0 180953 0
Current children cumulated CPU time (s) 1359.36
Current children cumulated vsize (KiB) 860160
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.34 3/181 9685
/proc/meminfo: memFree=29531908/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=726060 CPUtime=1400.37 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 99561 0 0 0 140000 37 0 0 20 0 1 0 278581622 743485440 160735 33554432000 4194304 5654031 140733951437776 140733951425592 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 181515 160735 142 357 0 181155 0
Current children cumulated CPU time (s) 1419.34
Current children cumulated vsize (KiB) 860968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.32 3/182 9688
/proc/meminfo: memFree=29522700/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=726472 CPUtime=1460.36 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 99675 0 0 0 145999 37 0 0 20 0 1 0 278581622 743907328 161871 33554432000 4194304 5654031 140733951437776 140733951425592 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 181618 161871 142 357 0 181258 0
Current children cumulated CPU time (s) 1479.33
Current children cumulated vsize (KiB) 861380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/181 9688
/proc/meminfo: memFree=29504668/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1520.35 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 100615 0 0 0 151998 37 0 0 20 0 1 0 278581622 757944320 164855 33554432000 4194304 5654031 140733951437776 140733951425592 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 164855 142 357 0 184685 0
Current children cumulated CPU time (s) 1539.32
Current children cumulated vsize (KiB) 875088
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.27 3/181 9689
/proc/meminfo: memFree=29498400/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1580.34 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 100624 0 0 0 157997 37 0 0 20 0 1 0 278581622 757944320 165886 33554432000 4194304 5654031 140733951437776 140733951425592 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 165886 142 357 0 184685 0
Current children cumulated CPU time (s) 1599.31
Current children cumulated vsize (KiB) 875088
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.26 3/181 9689
/proc/meminfo: memFree=29488408/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1640.34 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 100633 0 0 0 163996 38 0 0 20 0 1 0 278581622 757944320 167428 33554432000 4194304 5654031 140733951437776 140733951425592 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 167428 142 357 0 184685 0
Current children cumulated CPU time (s) 1659.31
Current children cumulated vsize (KiB) 875088
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.24 3/181 9689
/proc/meminfo: memFree=29535580/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1700.33 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 101407 0 0 0 169992 41 0 0 20 0 1 0 278581622 757944320 155135 33554432000 4194304 5654031 140733951437776 140733951425592 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 155135 142 357 0 184685 0
Current children cumulated CPU time (s) 1719.3
Current children cumulated vsize (KiB) 875088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/181 9689
/proc/meminfo: memFree=29525452/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1760.32 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 101417 0 0 0 175991 41 0 0 20 0 1 0 278581622 757944320 156167 33554432000 4194304 5654031 140733951437776 140733951425592 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 156167 142 357 0 184685 0
Current children cumulated CPU time (s) 1779.29
Current children cumulated vsize (KiB) 875088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.1 s]
/proc/loadavg: 2.00 2.00 2.21 3/181 9689
/proc/meminfo: memFree=29521728/32873648 swapFree=6852/6852
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (npSolver-pbo-It) S 9554 9556 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278579467 9367552 274 33554432000 4194304 5064252 140733775769008 140733775767920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 274 233 213 0 72 0
[pid=9557] ppid=9556 vsize=125760 CPUtime=18.97 cores=0,2,4,6
/proc/9557/stat : 9557 (npSolver-pbo) S 9556 9556 9266 0 -1 4202496 24416 128119 0 2 432 232 1177 56 20 0 1 0 278579467 128778240 24159 33554432000 4194304 5992684 140734023498544 140734023484376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 106 0 0
/proc/9557/statm: 31440 24159 205 440 0 30996 0
[pid=9597] ppid=9557 vsize=740180 CPUtime=1781.12 cores=0,2,4,6
/proc/9597/stat : 9597 (glucosInc) R 9557 9556 9266 0 -1 4202496 101418 0 0 0 178071 41 0 0 20 0 1 0 278581622 757944320 156679 33554432000 4194304 5654031 140733951437776 140733951425592 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 185045 156679 142 357 0 184685 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 875088
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 9556 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=105551
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=897559
# CPU time returned by wait4() is 19.0031
# 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): 1803.12
CPU time (s): 1800.09
CPU user time (s): 1796.8
CPU system time (s): 3.29
CPU usage (%): 99.8322
Max. virtual memory (cumulated for all children) (KiB): 1005316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1056
system time used= 2.89756
maximum resident set size= 486520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152908
page faults= 2
swaps= 0
block input operations= 248
block output operations= 782392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1062
involuntary context switches= 71
runsolver used 3.64945 second user time and 7.66083 second system time
The end