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-3751244-1339156723/watcher-3751244-1339156723 -o /tmp/evaluation-result-3751244-1339156723/solver-3751244-1339156723 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751244-1339156723.opb 21576293 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.58 3.29 2.75 2/181 23495
/proc/meminfo: memFree=31733936/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[startup+0.0274241 s]
/proc/loadavg: 2.58 3.29 2.75 2/181 23495
/proc/meminfo: memFree=31733936/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.58 3.29 2.75 2/181 23495
/proc/meminfo: memFree=31733936/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.58 3.29 2.75 2/181 23495
/proc/meminfo: memFree=31733936/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.58 3.29 2.75 2/181 23495
/proc/meminfo: memFree=31733936/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.58 3.29 2.75 3/183 23497
/proc/meminfo: memFree=31601460/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=1.07 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17518 0 0 0 99 8 0 0 20 0 1 0 381797347 98848768 23093 33554432000 4194304 6004724 140733765108064 140733765102528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23496/statm: 24133 23093 163 442 0 23687 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 105680
[startup+3.10035 s]
/proc/loadavg: 2.58 3.29 2.75 3/185 23499
/proc/meminfo: memFree=31400840/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=1.07 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17518 0 0 0 99 8 0 0 20 0 1 0 381797347 98848768 23093 33554432000 4194304 6004724 140733765108064 140733765102528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23496/statm: 24133 23093 163 442 0 23687 0
[pid=23498] ppid=23496 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23498/stat : 23498 (cp2_pre.sh) S 23496 23495 17615 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 381797455 9367552 277 33554432000 4194304 5064252 140733844191920 140733844190624 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23498/statm: 2287 277 234 213 0 72 0
[pid=23499] ppid=23498 vsize=255196 CPUtime=2 cores=0,2,4,6
/proc/23499/stat : 23499 (coprocessor) R 23498 23495 17615 0 -1 4202496 39605 0 0 0 193 7 0 0 20 0 1 0 381797455 261320704 61624 33554432000 4194304 6586260 140734390930544 140734390926472 4756402 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23499/statm: 63799 61624 181 584 0 63211 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 370024
[startup+6.30037 s]
/proc/loadavg: 2.54 3.26 2.75 3/184 23501
/proc/meminfo: memFree=31554612/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=87892 CPUtime=1.4 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 16915 0 0 0 137 3 0 0 20 0 1 0 381797836 90001408 19083 33554432000 4194304 5654031 140733978623728 140733978621496 4232438 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 21973 19083 131 357 0 21613 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 193572
[startup+12.7004 s]
/proc/loadavg: 2.49 3.24 2.74 3/184 23501
/proc/meminfo: memFree=31548140/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=89176 CPUtime=7.8 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 17138 0 0 0 777 3 0 0 20 0 1 0 381797836 91316224 19817 33554432000 4194304 5654031 140733978623728 140733978611544 4232833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 22294 19817 140 357 0 21934 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 194856
[startup+25.5004 s]
/proc/loadavg: 2.38 3.18 2.73 3/184 23501
/proc/meminfo: memFree=31548292/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=90512 CPUtime=20.6 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 17732 0 0 0 2057 3 0 0 20 0 1 0 381797836 92684288 19943 33554432000 4194304 5654031 140733978623728 140733978611544 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 22628 19943 142 357 0 22268 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 196192
[startup+51.1004 s]
/proc/loadavg: 2.25 3.09 2.71 3/184 23501
/proc/meminfo: memFree=31518920/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=119148 CPUtime=46.19 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 20345 0 0 0 4615 4 0 0 20 0 1 0 381797836 122007552 26408 33554432000 4194304 5654031 140733978623728 140733978611544 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 29787 26408 142 357 0 29427 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 224828
[startup+102.307 s]
/proc/loadavg: 2.11 2.92 2.67 3/184 23504
/proc/meminfo: memFree=31510540/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=119148 CPUtime=97.39 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 20362 0 0 0 9735 4 0 0 20 0 1 0 381797836 122007552 26934 33554432000 4194304 5654031 140733978623728 140733978611544 4232495 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 29787 26934 142 357 0 29427 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 224828
[startup+162.3 s]
/proc/loadavg: 2.04 2.75 2.62 3/184 23527
/proc/meminfo: memFree=31497716/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=119148 CPUtime=157.35 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 20384 0 0 0 15731 4 0 0 20 0 1 0 381797836 122007552 27658 33554432000 4194304 5654031 140733978623728 140733978611544 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 29787 27658 142 357 0 29427 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 224828
[startup+222.3 s]
/proc/loadavg: 2.01 2.61 2.58 3/183 23534
/proc/meminfo: memFree=31530464/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=119148 CPUtime=217.35 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 20831 0 0 0 21730 5 0 0 20 0 1 0 381797836 122007552 27658 33554432000 4194304 5654031 140733978623728 140733978611544 4233173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 29787 27658 142 357 0 29427 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 224828
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.16 3/183 23566
/proc/meminfo: memFree=31425252/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1357.17 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 23034 0 0 0 135703 14 0 0 20 0 1 0 381797836 203948032 44152 33554432000 4194304 5654031 140733978623728 140733978611544 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 44152 142 357 0 49432 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 304848
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.15 3/183 23573
/proc/meminfo: memFree=31492740/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=149848 CPUtime=1417.17 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 23040 0 0 0 141703 14 0 0 20 0 1 0 381797836 153444352 35388 33554432000 4194304 5654031 140733978623728 140733978611544 4232544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 37462 35388 142 357 0 37102 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 255528
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.14 3/183 23573
/proc/meminfo: memFree=31479760/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=149848 CPUtime=1477.16 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 23310 0 0 0 147701 15 0 0 20 0 1 0 381797836 153444352 35388 33554432000 4194304 5654031 140733978623728 140733978611544 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 37462 35388 142 357 0 37102 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 255528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/183 23573
/proc/meminfo: memFree=31426640/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1537.14 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 23393 0 0 0 153699 15 0 0 20 0 1 0 381797836 203948032 47224 33554432000 4194304 5654031 140733978623728 140733978611544 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 47224 142 357 0 49432 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 304848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/183 23573
/proc/meminfo: memFree=31425788/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1597.13 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 24058 0 0 0 159697 16 0 0 20 0 1 0 381797836 203948032 45688 33554432000 4194304 5654031 140733978623728 140733978611544 4232421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 45688 142 357 0 49432 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 304848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/183 23574
/proc/meminfo: memFree=31461552/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=149848 CPUtime=1657.13 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 24647 0 0 0 165695 18 0 0 20 0 1 0 381797836 153444352 35388 33554432000 4194304 5654031 140733978623728 140733978611544 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 37462 35388 142 357 0 37102 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 255528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/182 23666
/proc/meminfo: memFree=31381272/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=229988 CPUtime=1717.11 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 25317 0 0 0 171692 19 0 0 20 0 1 0 381797836 235507712 48315 33554432000 4194304 5654031 140733978623728 140733978611544 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 57497 48315 142 357 0 57137 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 335668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 23668
/proc/meminfo: memFree=31544880/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1777.1 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 25396 0 0 0 177690 20 0 0 20 0 1 0 381797836 203948032 45176 33554432000 4194304 5654031 140733978623728 140733978611544 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 45176 142 357 0 49432 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 304848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 23668
/proc/meminfo: memFree=31535120/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1795.31 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 25399 0 0 0 179511 20 0 0 20 0 1 0 381797836 203948032 46712 33554432000 4194304 5654031 140733978623728 140733978611544 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 46712 142 357 0 49432 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 304848
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 23668
/proc/meminfo: memFree=31535120/32873844 swapFree=7124/7124
[pid=23495] ppid=23493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23495/stat : 23495 (npSolver-pbo-It) S 23493 23495 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381797347 9367552 275 33554432000 4194304 5064252 140733790447392 140733790446304 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23495/statm: 2287 275 233 213 0 72 0
[pid=23496] ppid=23495 vsize=96532 CPUtime=4.74 cores=0,2,4,6
/proc/23496/stat : 23496 (npSolver-pbo) S 23495 23495 17615 0 -1 4202496 17534 44639 0 0 99 8 325 42 20 0 1 0 381797347 98848768 23097 33554432000 4194304 6004724 140733765108064 140733765094344 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23496/statm: 24133 23097 167 442 0 23687 0
[pid=23501] ppid=23496 vsize=199168 CPUtime=1795.31 cores=0,2,4,6
/proc/23501/stat : 23501 (glucosInc) R 23496 23495 17615 0 -1 4202496 25399 0 0 0 179511 20 0 0 20 0 1 0 381797836 203948032 46712 33554432000 4194304 5654031 140733978623728 140733978611544 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23501/statm: 49792 46712 142 357 0 49432 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 304848
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23495 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=251353
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=510922
# CPU time returned by wait4() is 4.76227
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.35
CPU system time (s): 0.7
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 416300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.25135
system time used= 0.510922
maximum resident set size= 293676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 30
runsolver used 2.73858 second user time and 7.08992 second system time
The end