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-3747668-1339107284/watcher-3747668-1339107284 -o /tmp/evaluation-result-3747668-1339107284/solver-3747668-1339107284 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747668-1339107284.opb 417704880 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.03 2.00 2.00 3/177 12403
/proc/meminfo: memFree=24865296/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[startup+0.0160711 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12403
/proc/meminfo: memFree=24865296/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100279 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12403
/proc/meminfo: memFree=24865296/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300302 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12403
/proc/meminfo: memFree=24865296/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700297 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12403
/proc/meminfo: memFree=24865296/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12405
/proc/meminfo: memFree=24772792/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=147428 CPUtime=1.48 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) R 12403 12403 11080 0 -1 4202496 23257 0 0 0 143 5 0 0 20 0 1 0 376857077 150966272 32945 33554432000 4194304 6004724 140734112208656 140734112204296 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12404/statm: 36857 32946 130 442 0 36411 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 156576
[startup+3.10035 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12405
/proc/meminfo: memFree=24634516/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=362892 CPUtime=3.09 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) R 12403 12403 11080 0 -1 4202496 50469 0 0 0 296 13 0 0 20 0 1 0 376857077 371601408 74854 33554432000 4194304 6004724 140734112208656 140734112203256 4581076 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12404/statm: 90723 74854 154 442 0 90277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372040
[startup+6.3003 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12405
/proc/meminfo: memFree=24375664/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=756108 CPUtime=6.29 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) R 12403 12403 11080 0 -1 4202496 51796 0 0 0 606 23 0 0 20 0 1 0 376857077 774254592 132710 33554432000 4194304 6004724 140734112208656 140734112203256 4617898 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12404/statm: 189027 132710 154 442 0 188581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765256
[startup+12.7003 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12405
/proc/meminfo: memFree=23886520/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=1280396 CPUtime=12.69 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) R 12403 12403 11080 0 -1 4202496 52799 0 0 0 1228 41 0 0 20 0 1 0 376857077 1311125504 253542 33554432000 4194304 6004724 140734112208656 140734112203256 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12404/statm: 320099 253542 154 442 0 319653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1289544
[startup+25.5066 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 12407
/proc/meminfo: memFree=21562916/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=24.9 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57683 0 0 0 2184 306 0 0 20 0 1 0 376857077 2394079232 429429 33554432000 4194304 6004724 140734112208656 140734112203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429429 163 442 0 584046 0
[pid=12406] ppid=12404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12406/stat : 12406 (cp2_pre.sh) S 12404 12403 11080 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376859571 9367552 277 33554432000 4194304 5064252 140733676248544 140733676247248 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12406/statm: 2287 277 234 213 0 72 0
[pid=12407] ppid=12406 vsize=73984 CPUtime=0.55 cores=1,3,5,7
/proc/12407/stat : 12407 (coprocessor) R 12406 12403 11080 0 -1 4202496 9707 0 0 0 51 4 0 0 20 0 1 0 376859572 75759616 16834 33554432000 4194304 6586260 140736186243648 140733676247272 5550307 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12407/statm: 18496 16834 138 584 0 17908 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 2430248
[startup+51.1003 s]
/proc/loadavg: 2.29 2.06 2.02 3/181 12407
/proc/meminfo: memFree=19084404/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=24.9 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57683 0 0 0 2184 306 0 0 20 0 1 0 376857077 2394079232 429429 33554432000 4194304 6004724 140734112208656 140734112203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429429 163 442 0 584046 0
[pid=12406] ppid=12404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12406/stat : 12406 (cp2_pre.sh) S 12404 12403 11080 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376859571 9367552 277 33554432000 4194304 5064252 140733676248544 140733676247248 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12406/statm: 2287 277 234 213 0 72 0
[pid=12407] ppid=12406 vsize=2800976 CPUtime=25.99 cores=1,3,5,7
/proc/12407/stat : 12407 (coprocessor) R 12406 12403 11080 0 -1 4202496 26685 0 0 0 2470 129 0 0 20 0 1 0 376859572 2868199424 591642 33554432000 4194304 6586260 140736186243648 140736186239400 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 14 0 0
/proc/12407/statm: 700244 591642 158 584 0 699656 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 5157240
[startup+102.3 s]
/proc/loadavg: 2.83 2.25 2.08 3/181 12453
/proc/meminfo: memFree=16642504/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=497240 CPUtime=1.56 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 66287 0 0 0 140 16 0 0 20 0 1 0 376867149 509173760 104212 33554432000 4194304 5654031 140735317562528 140735316511880 4877259 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12453/statm: 124310 104212 108 357 0 123950 0
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (KiB) 2844356
[startup+162.3 s]
/proc/loadavg: 2.67 2.33 2.12 3/179 12455
/proc/meminfo: memFree=14178712/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3928824 CPUtime=61.55 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 380036 0 0 0 6026 129 0 0 20 0 1 0 376867149 4023115776 809474 33554432000 4194304 5654031 140735317562528 140735317550344 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12453/statm: 982206 809474 140 357 0 981846 0
Current children cumulated CPU time (s) 157.9
Current children cumulated vsize (KiB) 6275940
[startup+222.3 s]
/proc/loadavg: 2.25 2.27 2.11 3/179 12455
/proc/meminfo: memFree=12408672/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3930272 CPUtime=121.55 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 383925 0 0 0 12024 131 0 0 20 0 1 0 376867149 4024598528 809837 33554432000 4194304 5654031 140735317562528 140735317550344 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12453/statm: 982568 809837 140 357 0 982208 0
Current children cumulated CPU time (s) 217.9
Current children cumulated vsize (KiB) 6277388
[startup+282.3 s]
/proc/loadavg: 2.09 2.22 2.10 3/179 12455
/proc/meminfo: memFree=12405952/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=12373476/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950436 CPUtime=1261.37 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 464998 0 0 0 125980 157 0 0 20 0 1 0 376867149 4045246464 817908 33554432000 4194304 5654031 140735317562528 140735317550344 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987609 817908 141 357 0 987249 0
Current children cumulated CPU time (s) 1357.72
Current children cumulated vsize (KiB) 6297552
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 12465
/proc/meminfo: memFree=12373476/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950436 CPUtime=1321.36 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 464998 0 0 0 131979 157 0 0 20 0 1 0 376867149 4045246464 817908 33554432000 4194304 5654031 140735317562528 140735317550344 4214494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987609 817908 141 357 0 987249 0
Current children cumulated CPU time (s) 1417.71
Current children cumulated vsize (KiB) 6297552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 12465
/proc/meminfo: memFree=12373600/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950436 CPUtime=1381.36 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 464998 0 0 0 137979 157 0 0 20 0 1 0 376867149 4045246464 817908 33554432000 4194304 5654031 140735317562528 140735317550344 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987609 817908 141 357 0 987249 0
Current children cumulated CPU time (s) 1477.71
Current children cumulated vsize (KiB) 6297552
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/180 12468
/proc/meminfo: memFree=12372544/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950436 CPUtime=1441.35 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 464998 0 0 0 143978 157 0 0 20 0 1 0 376867149 4045246464 817908 33554432000 4194304 5654031 140735317562528 140735317550344 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987609 817908 141 357 0 987249 0
Current children cumulated CPU time (s) 1537.7
Current children cumulated vsize (KiB) 6297552
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.02 3/179 12468
/proc/meminfo: memFree=12372668/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950436 CPUtime=1501.34 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 464998 0 0 0 149977 157 0 0 20 0 1 0 376867149 4045246464 817908 33554432000 4194304 5654031 140735317562528 140735317550344 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987609 817908 141 357 0 987249 0
Current children cumulated CPU time (s) 1597.69
Current children cumulated vsize (KiB) 6297552
[startup+1662.31 s]
/proc/loadavg: 2.01 2.02 2.01 3/179 12469
/proc/meminfo: memFree=12371820/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950752 CPUtime=1561.33 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 468586 0 0 0 155975 158 0 0 20 0 1 0 376867149 4045570048 817991 33554432000 4194304 5654031 140735317562528 140735317560600 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987688 817991 141 357 0 987328 0
Current children cumulated CPU time (s) 1657.68
Current children cumulated vsize (KiB) 6297868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 12469
/proc/meminfo: memFree=12372328/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3950828 CPUtime=1621.32 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 472200 0 0 0 161973 159 0 0 20 0 1 0 376867149 4045647872 818011 33554432000 4194304 5654031 140735317562528 140735317560600 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987707 818011 141 357 0 987347 0
Current children cumulated CPU time (s) 1717.67
Current children cumulated vsize (KiB) 6297944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12469
/proc/meminfo: memFree=12368896/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3951388 CPUtime=1681.31 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 479530 0 0 0 167970 161 0 0 20 0 1 0 376867149 4046221312 818664 33554432000 4194304 5654031 140735317562528 140735317560600 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987847 818664 141 357 0 987487 0
Current children cumulated CPU time (s) 1777.66
Current children cumulated vsize (KiB) 6298504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12469
/proc/meminfo: memFree=12369412/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3951520 CPUtime=1703.71 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 479537 0 0 0 170210 161 0 0 20 0 1 0 376867149 4046356480 818671 33554432000 4194304 5654031 140735317562528 140735317550344 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987880 818671 141 357 0 987520 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6298636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12469
/proc/meminfo: memFree=12369412/32873844 swapFree=7120/7120
[pid=12403] ppid=12401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (npSolver-pbo-It) S 12401 12403 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376857077 9367552 275 33554432000 4194304 5064252 140733426071312 140733426070224 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12403/statm: 2287 275 233 213 0 72 0
[pid=12404] ppid=12403 vsize=2337968 CPUtime=96.35 cores=1,3,5,7
/proc/12404/stat : 12404 (npSolver-pbo) S 12403 12403 11080 0 -1 4202496 57700 27587 0 0 2184 307 6746 398 20 0 1 0 376857077 2394079232 429433 33554432000 4194304 6004724 140734112208656 140734112194936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/12404/statm: 584492 429433 167 442 0 584046 0
[pid=12453] ppid=12404 vsize=3951520 CPUtime=1703.71 cores=1,3,5,7
/proc/12453/stat : 12453 (glucosInc) R 12404 12403 11080 0 -1 4202496 479537 0 0 0 170210 161 0 0 20 0 1 0 376867149 4046356480 818671 33554432000 4194304 5654031 140735317562528 140735317550344 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12453/statm: 987880 818671 141 357 0 987520 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6298636
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12403 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.72
CPU time (s): 1800.06
CPU user time (s): 1791.4
CPU system time (s): 8.66
CPU usage (%): 99.7418
Max. virtual memory (cumulated for all children) (KiB): 6340028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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.88141 second user time and 10.8843 second system time
The end