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-3748211-1339180666/watcher-3748211-1339180666 -o /tmp/evaluation-result-3748211-1339180666/solver-3748211-1339180666 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748211-1339180666.opb 1895683528 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.00 2.00 2.00 4/176 15282
/proc/meminfo: memFree=18541728/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[startup+0.0559501 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 15282
/proc/meminfo: memFree=18541728/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 15282
/proc/meminfo: memFree=18541728/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 15282
/proc/meminfo: memFree=18541728/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 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.00 2.00 2.00 4/176 15282
/proc/meminfo: memFree=18541728/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=18428508/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=216532 CPUtime=1.49 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) R 15282 15282 14131 0 -1 4202496 25068 0 0 0 142 7 0 0 20 0 1 0 384192437 221728768 41820 33554432000 4194304 6004724 140736556835264 140736556831160 4390491 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 54133 41820 130 442 0 53687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225680
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=18274000/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=436308 CPUtime=3.09 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) R 15282 15282 14131 0 -1 4202496 47875 0 0 0 294 15 0 0 20 0 1 0 384192437 446779392 87046 33554432000 4194304 6004724 140736556835264 140736556830776 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 109077 87047 130 442 0 108631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 445456
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=17901812/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=877840 CPUtime=6.28 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) R 15282 15282 14131 0 -1 4202496 93475 0 0 0 598 30 0 0 20 0 1 0 384192437 898908160 177996 33554432000 4194304 6004724 140736556835264 140736556831288 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 219460 177996 130 442 0 219014 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 886988
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=17001608/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=1605948 CPUtime=12.68 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) R 15282 15282 14131 0 -1 4202496 227664 0 0 0 1208 60 0 0 20 0 1 0 384192437 1644490752 392748 33554432000 4194304 6004724 140736556835264 140736556829752 4975567 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 401487 392748 147 442 0 401041 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1615096
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=16070024/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=3440956 CPUtime=25.49 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) R 15282 15282 14131 0 -1 4202496 230532 0 0 0 2448 101 0 0 20 0 1 0 384192437 3523538944 617516 33554432000 4194304 6004724 140736556835264 140736556830424 5055579 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 860239 617516 147 442 0 859793 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3450104
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15284
/proc/meminfo: memFree=8959732/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=50.83 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234623 0 0 0 4526 557 0 0 20 0 1 0 384192437 5671038976 1026642 33554432000 4194304 6004724 140736556835264 140736556829728 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026642 163 442 0 1384085 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 5547272
[startup+102.3 s]
/proc/loadavg: 2.54 2.15 2.05 3/180 15286
/proc/meminfo: memFree=6998908/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=50.83 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234623 0 0 0 4526 557 0 0 20 0 1 0 384192437 5671038976 1026642 33554432000 4194304 6004724 140736556835264 140736556829728 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026642 163 442 0 1384085 0
[pid=15285] ppid=15283 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/15285/stat : 15285 (cp2_pre.sh) S 15283 15282 14131 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384197520 9367552 277 33554432000 4194304 5064252 140733665482688 140733665481392 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15285/statm: 2287 277 234 213 0 72 0
[pid=15286] ppid=15285 vsize=5342304 CPUtime=51.28 cores=1,3,5,7
/proc/15286/stat : 15286 (coprocessor) R 15285 15282 14131 0 -1 4202496 29192 0 0 0 4903 225 0 0 20 0 1 0 384197523 5470519296 1044862 33554432000 4194304 6586260 140736711327392 140736711323144 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 14 0 0
/proc/15286/statm: 1335576 1044862 158 584 0 1334988 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 10898724
[startup+162.3 s]
/proc/loadavg: 2.29 2.15 2.05 3/180 15291
/proc/meminfo: memFree=11752448/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=917752 CPUtime=2.87 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 116882 0 0 0 256 31 0 0 20 0 1 0 384208377 939778048 209234 33554432000 4194304 5654031 140733857022112 140733855971464 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15291/statm: 229438 209234 108 357 0 229078 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 6465024
[startup+222.3 s]
/proc/loadavg: 2.18 2.15 2.06 3/179 15291
/proc/meminfo: memFree=6909236/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6610384 CPUtime=62.85 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 607275 0 0 0 6083 202 0 0 20 0 1 0 384208377 6769033216 1390778 33554432000 4194304 5654031 140733857022112 140733857019896 4797458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1652596 1390778 140 357 0 1652236 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 12157656
[startup+282.3 s]
/proc/loadavg: 2.07 2.12 2.05 3/178 15291
/proc/meminfo: memFree=6888200/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6628324 CPUtime=122.84 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 622494 0 0 0 12075 209 0 0 20 0 1 0 384208377 6787403776 1395496 33554432000 4194304 5654031 140733857022112 140733857019992 4214383 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1657081 1395496 140 357 0 1656721 0
Current children cumulated CPU time (s) 281.29
Current children cumulated vsize (KiB) 12175596
[startup+342.3 s]
################
# More data... #
################
/proc/meminfo: memFree=17999992/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6691108 CPUtime=1142.69 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 811165 0 0 0 113984 285 0 0 20 0 1 0 384208377 6851694592 1412240 33554432000 4194304 5654031 140733857022112 140733857020184 4232662 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1672777 1412240 141 357 0 1672417 0
Current children cumulated CPU time (s) 1301.14
Current children cumulated vsize (KiB) 12238380
[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/172 15326
/proc/meminfo: memFree=17999380/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6691540 CPUtime=1202.68 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 821594 0 0 0 119978 290 0 0 20 0 1 0 384208377 6852136960 1412362 33554432000 4194304 5654031 140733857022112 140733857020184 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1672885 1412362 141 357 0 1672525 0
Current children cumulated CPU time (s) 1361.13
Current children cumulated vsize (KiB) 12238812
[startup+1422.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 15349
/proc/meminfo: memFree=17998576/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6692152 CPUtime=1262.67 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 831884 0 0 0 125972 295 0 0 20 0 1 0 384208377 6852763648 1412535 33554432000 4194304 5654031 140733857022112 140733857020184 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1673038 1412535 141 357 0 1672678 0
Current children cumulated CPU time (s) 1421.12
Current children cumulated vsize (KiB) 12239424
[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 15349
/proc/meminfo: memFree=17997116/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6694128 CPUtime=1322.66 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 837648 0 0 0 131969 297 0 0 20 0 1 0 384208377 6854787072 1413050 33554432000 4194304 5654031 140733857022112 140733857019896 4232585 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1673532 1413050 141 357 0 1673172 0
Current children cumulated CPU time (s) 1481.11
Current children cumulated vsize (KiB) 12241400
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/171 15350
/proc/meminfo: memFree=17996168/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6694524 CPUtime=1382.65 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 848256 0 0 0 137963 302 0 0 20 0 1 0 384208377 6855192576 1413160 33554432000 4194304 5654031 140733857022112 140733857019896 4232651 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1673631 1413160 141 357 0 1673271 0
Current children cumulated CPU time (s) 1541.1
Current children cumulated vsize (KiB) 12241796
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.29 2/171 15350
/proc/meminfo: memFree=17995836/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6695104 CPUtime=1442.64 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 858706 0 0 0 143958 306 0 0 20 0 1 0 384208377 6855786496 1413302 33554432000 4194304 5654031 140733857022112 140733857019896 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1673776 1413302 141 357 0 1673416 0
Current children cumulated CPU time (s) 1601.09
Current children cumulated vsize (KiB) 12242376
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/171 15350
/proc/meminfo: memFree=17994636/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6695968 CPUtime=1502.64 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 869445 0 0 0 149954 310 0 0 20 0 1 0 384208377 6856671232 1413540 33554432000 4194304 5654031 140733857022112 140733857020184 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1673992 1413540 141 357 0 1673632 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 12243240
[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.25 2/171 15350
/proc/meminfo: memFree=17994308/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6696272 CPUtime=1562.62 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 879828 0 0 0 155948 314 0 0 20 0 1 0 384208377 6856982528 1413616 33554432000 4194304 5654031 140733857022112 140733857020184 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1674068 1413616 141 357 0 1673708 0
Current children cumulated CPU time (s) 1721.07
Current children cumulated vsize (KiB) 12243544
[startup+1782.31 s]
/proc/loadavg: 1.02 1.01 1.23 2/171 15350
/proc/meminfo: memFree=17993708/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6697016 CPUtime=1622.62 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 885254 0 0 0 161946 316 0 0 20 0 1 0 384208377 6857744384 1413790 33554432000 4194304 5654031 140733857022112 140733857019896 4219872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1674254 1413790 141 357 0 1673894 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 12244288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 1.01 1.01 1.23 2/171 15350
/proc/meminfo: memFree=17993232/32873624 swapFree=7112/7112
[pid=15282] ppid=15280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15282/stat : 15282 (npSolver-pbo-I.) S 15280 15282 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384192437 9367552 274 33554432000 4194304 5064252 140734961673120 140734961672032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15282/statm: 2287 274 233 213 0 72 0
[pid=15283] ppid=15282 vsize=5538124 CPUtime=158.45 cores=1,3,5,7
/proc/15283/stat : 15283 (npSolver-pbo) S 15282 15282 14131 0 -1 4202496 234640 30094 0 0 4526 558 10201 560 20 0 1 0 384192437 5671038976 1026646 33554432000 4194304 6004724 140736556835264 140736556821544 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15283/statm: 1384531 1026646 167 442 0 1384085 0
[pid=15291] ppid=15283 vsize=6697016 CPUtime=1641.61 cores=1,3,5,7
/proc/15291/stat : 15291 (glucosInc) R 15283 15282 14131 0 -1 4202496 890527 0 0 0 163844 317 0 0 20 0 1 0 384208377 6857744384 1413814 33554432000 4194304 5654031 140733857022112 140733857020184 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15291/statm: 1674254 1413814 141 357 0 1673894 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12244288
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 15282 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): 1801.32
CPU time (s): 1800.06
CPU user time (s): 1785.71
CPU system time (s): 14.35
CPU usage (%): 99.9302
Max. virtual memory (cumulated for all children) (KiB): 12337716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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.9534 second user time and 10.1215 second system time
The end