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-3747598-1339105432/watcher-3747598-1339105432 -o /tmp/evaluation-result-3747598-1339105432/solver-3747598-1339105432 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747598-1339105432.opb 914271862 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.14 2.05 1.98 3/177 12036
/proc/meminfo: memFree=23437000/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[startup+0.077134 s]
/proc/loadavg: 2.14 2.05 1.98 3/177 12036
/proc/meminfo: memFree=23437000/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.14 2.05 1.98 3/177 12036
/proc/meminfo: memFree=23437000/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300305 s]
/proc/loadavg: 2.14 2.05 1.98 3/177 12036
/proc/meminfo: memFree=23437000/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.14 2.05 1.98 3/177 12036
/proc/meminfo: memFree=23437000/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.21 2.06 1.99 2/179 12038
/proc/meminfo: memFree=23120140/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=192888 CPUtime=1.49 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) R 12036 12036 11080 0 -1 4202496 22024 0 0 0 142 7 0 0 20 0 1 0 376671783 197517312 40378 33554432000 4194304 6004724 140734342927952 140734342921800 4536054 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12037/statm: 48222 40378 154 442 0 47776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202036
[startup+3.10023 s]
/proc/loadavg: 2.21 2.06 1.99 2/179 12038
/proc/meminfo: memFree=23054232/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222132 CPUtime=2.92 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 23105 0 0 0 263 29 0 0 20 0 1 0 376671783 227463168 52850 33554432000 4194304 6004724 140734342927952 140734342922416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12037/statm: 55533 52850 163 442 0 55087 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 231280
[startup+6.30041 s]
/proc/loadavg: 2.35 2.09 2.00 2/181 12040
/proc/meminfo: memFree=22422888/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222132 CPUtime=2.92 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 23105 0 0 0 263 29 0 0 20 0 1 0 376671783 227463168 52850 33554432000 4194304 6004724 140734342927952 140734342922416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12037/statm: 55533 52850 163 442 0 55087 0
[pid=12039] ppid=12037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12039/stat : 12039 (cp2_pre.sh) S 12037 12036 11080 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376672076 9367552 276 33554432000 4194304 5064252 140735681232064 140735681230768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 2287 276 234 213 0 72 0
[pid=12040] ppid=12039 vsize=657176 CPUtime=3.35 cores=1,3,5,7
/proc/12040/stat : 12040 (coprocessor) R 12039 12036 11080 0 -1 4202496 59090 0 0 0 315 20 0 0 20 0 1 0 376672076 672948224 146320 33554432000 4194304 6586260 140736227810272 140736227806536 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/12040/statm: 164294 146321 164 584 0 163706 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 897604
[startup+12.7003 s]
/proc/loadavg: 2.49 2.12 2.01 3/181 12084
/proc/meminfo: memFree=23870352/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222132 CPUtime=2.92 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 23105 0 0 0 263 29 0 0 20 0 1 0 376671783 227463168 52850 33554432000 4194304 6004724 140734342927952 140734342922416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12037/statm: 55533 52850 163 442 0 55087 0
[pid=12039] ppid=12037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12039/stat : 12039 (cp2_pre.sh) S 12037 12036 11080 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376672076 9367552 276 33554432000 4194304 5064252 140735681232064 140735681230768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 2287 276 234 213 0 72 0
[pid=12040] ppid=12039 vsize=791128 CPUtime=9.75 cores=1,3,5,7
/proc/12040/stat : 12040 (coprocessor) R 12039 12036 11080 0 -1 4202496 80419 0 0 0 925 50 0 0 20 0 1 0 376672076 810115072 192976 33554432000 4194304 6586260 140736227810272 140736227806024 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/12040/statm: 197782 192976 199 584 0 197194 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1031556
[startup+25.5004 s]
/proc/loadavg: 2.41 2.12 2.01 3/180 12086
/proc/meminfo: memFree=24398656/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=15.42 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) R 12036 12036 11080 0 -1 4202496 30285 81320 0 0 308 35 1136 63 20 0 1 0 376671783 227467264 52862 33554432000 4194304 6004724 140734342927952 140734342922744 5190832 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12037/statm: 55534 52862 174 442 0 55088 0
[pid=12086] ppid=12037 vsize=363384 CPUtime=10.07 cores=1,3,5,7
/proc/12086/stat : 12086 (glucosInc) S 12037 12036 11080 0 -1 4202496 55344 0 0 0 991 16 0 0 20 0 1 0 376673277 372105216 73684 33554432000 4194304 5654031 140736604526944 140736604525256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12086/statm: 90846 73684 147 357 0 90486 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 594668
[startup+51.1005 s]
/proc/loadavg: 2.37 2.14 2.02 3/180 12089
/proc/meminfo: memFree=24286532/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=413112 CPUtime=20.87 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 55517 0 0 0 2073 14 0 0 20 0 1 0 376674804 423026688 83939 33554432000 4194304 5654031 140735898485408 140735898483496 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 103278 83939 131 357 0 102918 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 644396
[startup+102.301 s]
/proc/loadavg: 2.16 2.11 2.01 3/179 12089
/proc/meminfo: memFree=24224284/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=413380 CPUtime=72.08 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 57023 0 0 0 7189 19 0 0 20 0 1 0 376674804 423301120 94034 33554432000 4194304 5654031 140735898485408 140735898483096 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 103345 94034 132 357 0 102985 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 644664
[startup+162.3 s]
/proc/loadavg: 2.06 2.09 2.01 3/179 12090
/proc/meminfo: memFree=24127784/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=627432 CPUtime=132.05 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 58082 0 0 0 13184 21 0 0 20 0 1 0 376674804 642490368 117066 33554432000 4194304 5654031 140735898485408 140735898483496 4215028 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 156858 117066 132 357 0 156498 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 858716
[startup+222.307 s]
/proc/loadavg: 2.06 2.09 2.01 3/179 12090
/proc/meminfo: memFree=24142956/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=495512 CPUtime=192.06 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 59252 0 0 0 19180 26 0 0 20 0 1 0 376674804 507404288 110249 33554432000 4194304 5654031 140735898485408 140735898483192 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 123878 110249 132 357 0 123518 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 726796
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23483384/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1195048 CPUtime=1271.89 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 66070 0 0 0 127107 82 0 0 20 0 1 0 376674804 1223729152 261168 33554432000 4194304 5654031 140735898485408 140735898483192 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 298762 261168 132 357 0 298402 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1426332
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12134
/proc/meminfo: memFree=23907596/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=845936 CPUtime=1331.87 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 66759 0 0 0 133093 94 0 0 20 0 1 0 376674804 866238464 151438 33554432000 4194304 5654031 140735898485408 140735898483496 4215357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 211484 151438 132 357 0 211124 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1077220
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12134
/proc/meminfo: memFree=23821348/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=845936 CPUtime=1391.87 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 66813 0 0 0 139092 95 0 0 20 0 1 0 376674804 866238464 174487 33554432000 4194304 5654031 140735898485408 140735898483496 4215248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 211484 174487 132 357 0 211124 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1077220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12134
/proc/meminfo: memFree=23764516/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=845936 CPUtime=1451.86 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 66871 0 0 0 145089 97 0 0 20 0 1 0 376674804 866238464 196007 33554432000 4194304 5654031 140735898485408 140735898483496 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 211484 196007 132 357 0 211124 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1077220
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12134
/proc/meminfo: memFree=23618372/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1195316 CPUtime=1511.86 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 67648 0 0 0 151085 101 0 0 20 0 1 0 376674804 1224003584 217224 33554432000 4194304 5654031 140735898485408 140735898483496 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 298829 217224 132 357 0 298469 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1426600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12137
/proc/meminfo: memFree=23549304/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1195452 CPUtime=1571.84 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 67720 0 0 0 157082 102 0 0 20 0 1 0 376674804 1224142848 238247 33554432000 4194304 5654031 140735898485408 140735898483192 4215327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 298863 238247 132 357 0 298503 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1426736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12138
/proc/meminfo: memFree=23511468/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1195640 CPUtime=1631.83 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 67781 0 0 0 163079 104 0 0 20 0 1 0 376674804 1224335360 258748 33554432000 4194304 5654031 140735898485408 140735898483192 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 298910 258748 132 357 0 298550 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1426924
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 12139
/proc/meminfo: memFree=23370648/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1195640 CPUtime=1691.82 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 67844 0 0 0 169077 105 0 0 20 0 1 0 376674804 1224335360 280273 33554432000 4194304 5654031 140735898485408 140735898483192 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 298910 280273 132 357 0 298550 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1426924
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12139
/proc/meminfo: memFree=23303320/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1763336 CPUtime=1751.81 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 68423 0 0 0 175074 107 0 0 20 0 1 0 376674804 1805656064 300779 33554432000 4194304 5654031 140735898485408 140735898483496 4215327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 440834 300779 132 357 0 440474 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1994620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12139
/proc/meminfo: memFree=23272196/32873844 swapFree=7120/7120
[pid=12036] ppid=12034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12036/stat : 12036 (npSolver-pbo-It) S 12034 12036 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376671783 9367552 274 33554432000 4194304 5064252 140733197998992 140733197997904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12036/statm: 2287 274 233 213 0 72 0
[pid=12037] ppid=12036 vsize=222136 CPUtime=30.07 cores=1,3,5,7
/proc/12037/stat : 12037 (npSolver-pbo) S 12036 12036 11080 0 -1 4202496 31645 137702 0 0 390 388 2127 102 20 0 1 0 376671783 227467264 52871 33554432000 4194304 6004724 140734342927952 140734342913800 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/12037/statm: 55534 52871 183 442 0 55088 0
[pid=12089] ppid=12037 vsize=1763336 CPUtime=1770.01 cores=1,3,5,7
/proc/12089/stat : 12089 (glucosInc) R 12037 12036 11080 0 -1 4202496 68461 0 0 0 176894 107 0 0 20 0 1 0 376674804 1805656064 306431 33554432000 4194304 5654031 140735898485408 140735898483496 4215126 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12089/statm: 440834 306431 132 357 0 440474 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1994620
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 12036 and gives
# childrusage.ru_utime.tv_sec=25
# childrusage.ru_utime.tv_usec=183171
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=913253
# CPU time returned by wait4() is 30.0964
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1794.11
CPU system time (s): 5.97
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1994620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1832
system time used= 4.91325
maximum resident set size= 797312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169704
page faults= 0
swaps= 0
block input operations= 8
block output operations= 702384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2034
involuntary context switches= 85
runsolver used 4.02939 second user time and 10.5744 second system time
The end