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-3749247-1339170672/watcher-3749247-1339170672 -o /tmp/evaluation-result-3749247-1339170672/solver-3749247-1339170672 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749247-1339170672.opb 165183302 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.01 1.91 4/177 30778
/proc/meminfo: memFree=30550728/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[startup+0.0674479 s]
/proc/loadavg: 2.03 2.01 1.91 4/177 30778
/proc/meminfo: memFree=30550728/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.03 2.01 1.91 4/177 30778
/proc/meminfo: memFree=30550728/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 2.03 2.01 1.91 4/177 30778
/proc/meminfo: memFree=30550728/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700258 s]
/proc/loadavg: 2.03 2.01 1.91 4/177 30778
/proc/meminfo: memFree=30550728/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/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.01 1.91 4/181 30782
/proc/meminfo: memFree=30366184/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=147164 CPUtime=1.49 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) R 30778 30778 30631 0 -1 4202496 23354 0 0 0 143 6 0 0 20 0 1 0 27034264 150695936 33039 33554432000 4194304 6004724 140735418146752 140735418142392 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30780/statm: 36791 33039 130 442 0 36345 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156312
[startup+3.10033 s]
/proc/loadavg: 2.02 2.01 1.91 4/181 30782
/proc/meminfo: memFree=30089080/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=362892 CPUtime=3.09 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) R 30778 30778 30631 0 -1 4202496 49728 0 0 0 295 14 0 0 20 0 1 0 27034264 371601408 74482 33554432000 4194304 6004724 140735418146752 140735418141032 4617922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30780/statm: 90723 74482 154 442 0 90277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372040
[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 1.91 4/181 30782
/proc/meminfo: memFree=29597628/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=756108 CPUtime=6.29 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) R 30778 30778 30631 0 -1 4202496 51055 0 0 0 605 24 0 0 20 0 1 0 27034264 774254592 132338 33554432000 4194304 6004724 140735418146752 140735418141352 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30780/statm: 189027 132338 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.09 2.03 1.92 4/181 30782
/proc/meminfo: memFree=28611580/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=1280396 CPUtime=12.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) R 30778 30778 30631 0 -1 4202496 52057 0 0 0 1227 41 0 0 20 0 1 0 27034264 1311125504 252658 33554432000 4194304 6004724 140735418146752 140735418141352 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30780/statm: 320099 252658 154 442 0 319653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289544
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 1.92 4/185 30786
/proc/meminfo: memFree=23991004/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=24.26 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57071 0 0 0 2094 332 0 0 20 0 1 0 27034264 2394079232 410112 33554432000 4194304 6004724 140735418146752 140735418141216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410112 163 442 0 584046 0
[pid=30785] ppid=30780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30785/stat : 30785 (cp2_pre.sh) S 30780 30778 30631 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 27036695 9367552 277 33554432000 4194304 5064252 140733401438528 140733401437232 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30785/statm: 2287 277 234 213 0 72 0
[pid=30786] ppid=30785 vsize=136164 CPUtime=1.17 cores=1,3,5,7
/proc/30786/stat : 30786 (coprocessor) R 30785 30778 30631 0 -1 4202496 11990 0 0 0 111 6 0 0 20 0 1 0 27036696 139431936 32446 33554432000 4194304 6586260 140736506610032 140736506606792 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30786/statm: 34041 32446 138 584 0 33453 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2492428
[startup+51.1003 s]
/proc/loadavg: 2.33 2.09 1.94 3/185 30786
/proc/meminfo: memFree=19093180/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=24.26 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57071 0 0 0 2094 332 0 0 20 0 1 0 27034264 2394079232 410112 33554432000 4194304 6004724 140735418146752 140735418141216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410112 163 442 0 584046 0
[pid=30785] ppid=30780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30785/stat : 30785 (cp2_pre.sh) S 30780 30778 30631 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 27036695 9367552 277 33554432000 4194304 5064252 140733401438528 140733401437232 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30785/statm: 2287 277 234 213 0 72 0
[pid=30786] ppid=30785 vsize=2760864 CPUtime=26.14 cores=1,3,5,7
/proc/30786/stat : 30786 (coprocessor) R 30785 30778 30631 0 -1 4202496 25565 0 0 0 2468 146 0 0 20 0 1 0 27036696 2827124736 582857 33554432000 4194304 6586260 140736506610032 140736506605784 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 62 0 0
/proc/30786/statm: 690216 582857 158 584 0 689628 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 5117128
[startup+102.3 s]
/proc/loadavg: 3.48 2.46 2.08 2/185 30788
/proc/meminfo: memFree=23264292/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=24.26 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57071 0 0 0 2094 332 0 0 20 0 1 0 27034264 2394079232 410112 33554432000 4194304 6004724 140735418146752 140735418141216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410112 163 442 0 584046 0
[pid=30785] ppid=30780 vsize=9148 CPUtime=67.99 cores=1,3,5,7
/proc/30785/stat : 30785 (cp2_pre.sh) S 30780 30778 30631 0 -1 4202496 632 25567 0 0 0 0 6407 392 20 0 1 0 27036695 9367552 281 33554432000 4194304 5064252 140733401438528 140733401437232 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30785/statm: 2287 281 238 213 0 72 0
[pid=30787] ppid=30785 vsize=16692 CPUtime=0.2 cores=1,3,5,7
/proc/30787/stat : 30787 (mv) D 30785 30778 30631 0 -1 4202496 249 0 0 0 0 20 0 0 20 0 1 0 27044418 17092608 185 33554432000 4194304 4296580 140736572163136 140736572161368 273588567383 0 0 4096 0 18446744071580543392 0 0 17 5 0 0 15 0 0
/proc/30787/statm: 4173 185 154 25 0 73 0
Current children cumulated CPU time (s) 92.45
Current children cumulated vsize (KiB) 2372956
[startup+162.3 s]
/proc/loadavg: 3.81 2.75 2.20 4/183 30791
/proc/meminfo: memFree=18849600/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=2869516 CPUtime=10.98 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 281757 0 0 0 1002 96 0 0 20 0 1 0 27049394 2938384384 611952 33554432000 4194304 5654031 140733217372848 140733216322200 4240323 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 717379 611952 108 357 0 717019 0
Current children cumulated CPU time (s) 103.66
Current children cumulated vsize (KiB) 5216632
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.54 2.89 2.28 4/183 30791
/proc/meminfo: memFree=18139784/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3849492 CPUtime=70.97 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 358877 0 0 0 6975 122 0 0 20 0 1 0 27049394 3941879808 763249 33554432000 4194304 5654031 140733217372848 140733217370584 4232479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 962373 763249 140 357 0 962013 0
Current children cumulated CPU time (s) 163.65
Current children cumulated vsize (KiB) 6196608
heavy processes:
[startup+282.3 s]
/proc/loadavg: 2.61 2.74 2.26 4/184 30792
################
# More data... #
################
/proc/meminfo: memFree=18079660/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3865428 CPUtime=1270.79 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 394587 0 0 0 126945 134 0 0 20 0 1 0 27049394 3958198272 771313 33554432000 4194304 5654031 140733217372848 140733217370536 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966357 771313 141 357 0 965997 0
Current children cumulated CPU time (s) 1363.47
Current children cumulated vsize (KiB) 6212544
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.06 4/183 30825
/proc/meminfo: memFree=18079536/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3865560 CPUtime=1330.78 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 394612 0 0 0 132944 134 0 0 20 0 1 0 27049394 3958333440 771338 33554432000 4194304 5654031 140733217372848 140733217360664 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966390 771338 141 357 0 966030 0
Current children cumulated CPU time (s) 1423.46
Current children cumulated vsize (KiB) 6212676
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.06 4/183 30825
/proc/meminfo: memFree=18078840/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3865720 CPUtime=1390.76 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 398185 0 0 0 138941 135 0 0 20 0 1 0 27049394 3958497280 771384 33554432000 4194304 5654031 140733217372848 140733217360664 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966430 771384 141 357 0 966070 0
Current children cumulated CPU time (s) 1483.44
Current children cumulated vsize (KiB) 6212836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/183 30825
/proc/meminfo: memFree=18076172/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3866820 CPUtime=1450.75 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 398456 0 0 0 144940 135 0 0 20 0 1 0 27049394 3959623680 772166 33554432000 4194304 5654031 140733217372848 140733217370632 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966705 772166 141 357 0 966345 0
Current children cumulated CPU time (s) 1543.43
Current children cumulated vsize (KiB) 6213936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 30826
/proc/meminfo: memFree=18073428/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3867492 CPUtime=1510.75 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402144 0 0 0 150938 137 0 0 20 0 1 0 27049394 3960311808 772860 33554432000 4194304 5654031 140733217372848 140733217360664 4209219 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966873 772860 141 357 0 966513 0
Current children cumulated CPU time (s) 1603.43
Current children cumulated vsize (KiB) 6214608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 30826
/proc/meminfo: memFree=18073564/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3867624 CPUtime=1570.75 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402166 0 0 0 156938 137 0 0 20 0 1 0 27049394 3960446976 772882 33554432000 4194304 5654031 140733217372848 140733217370632 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 966906 772882 141 357 0 966546 0
Current children cumulated CPU time (s) 1663.43
Current children cumulated vsize (KiB) 6214740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/184 30829
/proc/meminfo: memFree=18072072/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3868304 CPUtime=1630.73 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402335 0 0 0 162936 137 0 0 20 0 1 0 27049394 3961143296 773051 33554432000 4194304 5654031 140733217372848 140733217370632 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 967076 773051 141 357 0 966716 0
Current children cumulated CPU time (s) 1723.41
Current children cumulated vsize (KiB) 6215420
[startup+1842.31 s]
/proc/loadavg: 2.00 2.00 2.03 4/183 30829
/proc/meminfo: memFree=18069908/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3868568 CPUtime=1690.73 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402396 0 0 0 168936 137 0 0 20 0 1 0 27049394 3961413632 773623 33554432000 4194304 5654031 140733217372848 140733217360664 4232703 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 967142 773623 141 357 0 966782 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (KiB) 6215684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1858.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 30869
/proc/meminfo: memFree=23853576/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3868568 CPUtime=1707.32 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402396 0 0 0 170595 137 0 0 20 0 1 0 27049394 3961413632 773623 33554432000 4194304 5654031 140733217372848 140733217360664 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 967142 773623 141 357 0 966782 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 6215684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1858.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 30869
/proc/meminfo: memFree=23853576/32873844 swapFree=7120/7120
[pid=30778] ppid=30776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (npSolver-pbo-I.) S 30776 30778 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27034264 9367552 275 33554432000 4194304 5064252 140733514798496 140733514797408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30778/statm: 2287 275 233 213 0 72 0
[pid=30780] ppid=30778 vsize=2337968 CPUtime=92.68 cores=1,3,5,7
/proc/30780/stat : 30780 (npSolver-pbo) S 30778 30778 30631 0 -1 4202496 57090 26467 0 0 2094 332 6407 435 20 0 1 0 27034264 2394079232 410116 33554432000 4194304 6004724 140735418146752 140735418133032 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/30780/statm: 584492 410116 167 442 0 584046 0
[pid=30791] ppid=30780 vsize=3868568 CPUtime=1707.32 cores=1,3,5,7
/proc/30791/stat : 30791 (glucosInc) R 30780 30778 30631 0 -1 4202496 402396 0 0 0 170595 137 0 0 20 0 1 0 27049394 3961413632 773623 33554432000 4194304 5654031 140733217372848 140733217360664 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 967142 773623 141 357 0 966782 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 6215684
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30778 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1858.92
CPU time (s): 1800
CPU user time (s): 1790.96
CPU system time (s): 9.04
CPU usage (%): 96.8306
Max. virtual memory (cumulated for all children) (KiB): 6255604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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 4.40033 second user time and 11.6052 second system time
The end