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-3700215-1338075269/watcher-3700215-1338075269 -o /tmp/evaluation-result-3700215-1338075269/solver-3700215-1338075269 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700215-1338075269.opb 1935331026 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.28 2.83 2.60 3/176 8047
/proc/meminfo: memFree=24330864/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[startup+0.0738581 s]
/proc/loadavg: 2.28 2.83 2.60 3/176 8047
/proc/meminfo: memFree=24330864/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.28 2.83 2.60 3/176 8047
/proc/meminfo: memFree=24330864/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.28 2.83 2.60 3/176 8047
/proc/meminfo: memFree=24330864/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.28 2.83 2.60 3/176 8047
/proc/meminfo: memFree=24330864/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.28 2.83 2.60 3/178 8049
/proc/meminfo: memFree=24299084/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=102684 CPUtime=1.49 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) R 8047 8047 5385 0 -1 4202496 8179 0 0 0 146 3 0 0 20 0 1 0 273652408 105148416 17845 33554432000 4194304 5992684 140733348956192 140733348951272 4227664 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8048/statm: 25671 17845 157 440 0 25227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111832
[startup+3.10041 s]
/proc/loadavg: 2.28 2.83 2.60 3/180 8051
/proc/meminfo: memFree=24165664/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117008 CPUtime=1.91 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 9987 0 0 0 180 11 0 0 20 0 1 0 273652408 119816192 24508 33554432000 4194304 5992684 140733348956192 140733348950640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8048/statm: 29252 24508 164 440 0 28808 0
[pid=8050] ppid=8048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8050/stat : 8050 (cp2_pre.sh) S 8048 8047 5385 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273652600 9367552 277 33554432000 4194304 5064252 140736568731728 140736568730432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8050/statm: 2287 277 234 213 0 72 0
[pid=8051] ppid=8050 vsize=271252 CPUtime=1.16 cores=1,3,5,7
/proc/8051/stat : 8051 (coprocessor) R 8050 8047 5385 0 -1 4202496 32997 0 0 0 108 8 0 0 20 0 1 0 273652600 277762048 60099 33554432000 4194304 6586260 140734873320768 140734873317528 4496489 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/8051/statm: 67813 60099 166 584 0 67225 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 406556
[startup+6.30043 s]
/proc/loadavg: 2.41 2.85 2.61 3/180 8051
/proc/meminfo: memFree=23865064/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117008 CPUtime=1.91 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 9987 0 0 0 180 11 0 0 20 0 1 0 273652408 119816192 24508 33554432000 4194304 5992684 140733348956192 140733348950640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8048/statm: 29252 24508 164 440 0 28808 0
[pid=8050] ppid=8048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8050/stat : 8050 (cp2_pre.sh) S 8048 8047 5385 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273652600 9367552 277 33554432000 4194304 5064252 140736568731728 140736568730432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8050/statm: 2287 277 234 213 0 72 0
[pid=8051] ppid=8050 vsize=324896 CPUtime=4.36 cores=1,3,5,7
/proc/8051/stat : 8051 (coprocessor) R 8050 8047 5385 0 -1 4202496 45980 0 0 0 424 12 0 0 20 0 1 0 273652600 332693504 78703 33554432000 4194304 6586260 140734873320768 140734873316792 4754792 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/8051/statm: 81224 78703 182 584 0 80636 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 460200
[startup+12.7004 s]
/proc/loadavg: 2.46 2.86 2.61 3/179 8053
/proc/meminfo: memFree=24030672/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117008 CPUtime=9.19 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 10002 54815 0 0 180 11 700 28 20 0 1 0 273652408 119816192 24510 33554432000 4194304 5992684 140733348956192 140733348942456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29252 24510 166 440 0 28808 0
[pid=8053] ppid=8048 vsize=177688 CPUtime=3.37 cores=1,3,5,7
/proc/8053/stat : 8053 (glucosInc) R 8048 8047 5385 0 -1 4202496 27410 0 0 0 330 7 0 0 20 0 1 0 273653339 181952512 37227 33554432000 4194304 5654031 140736261752896 140736261750680 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8053/statm: 44422 37227 131 357 0 44062 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 303844
[startup+25.5004 s]
/proc/loadavg: 2.36 2.81 2.60 3/179 8053
/proc/meminfo: memFree=24012640/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117008 CPUtime=9.19 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 10002 54815 0 0 180 11 700 28 20 0 1 0 273652408 119816192 24510 33554432000 4194304 5992684 140733348956192 140733348942456 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29252 24510 166 440 0 28808 0
[pid=8053] ppid=8048 vsize=188420 CPUtime=16.17 cores=1,3,5,7
/proc/8053/stat : 8053 (glucosInc) R 8048 8047 5385 0 -1 4202496 30297 0 0 0 1609 8 0 0 20 0 1 0 273653339 192942080 40112 33554432000 4194304 5654031 140736261752896 140736261740712 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8053/statm: 47105 40112 141 357 0 46745 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 314576
[startup+51.1003 s]
/proc/loadavg: 2.24 2.75 2.58 3/178 8093
/proc/meminfo: memFree=29162192/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=10.96 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) R 8047 8047 5385 0 -1 4202496 11432 54815 0 0 214 154 700 28 20 0 1 0 273652408 119820288 25030 33554432000 4194304 5992684 140733348956192 140733348950376 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25030 173 440 0 28809 0
[pid=8053] ppid=8048 vsize=235896 CPUtime=40.01 cores=1,3,5,7
/proc/8053/stat : 8053 (glucosInc) S 8048 8047 5385 0 -1 4202496 34847 0 0 0 3992 9 0 0 20 0 1 0 273653339 241557504 45150 33554432000 4194304 5654031 140736261752896 140736261751208 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8053/statm: 58974 45150 147 357 0 58614 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 362056
[startup+102.307 s]
/proc/loadavg: 2.10 2.63 2.55 3/178 8098
/proc/meminfo: memFree=28196284/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=236296 CPUtime=49.26 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 34311 0 0 0 4914 12 0 0 20 0 1 0 273657710 241967104 45152 33554432000 4194304 5654031 140735421098448 140735421086264 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 59074 45152 141 357 0 58714 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 362456
[startup+162.3 s]
/proc/loadavg: 2.04 2.51 2.51 3/178 8098
/proc/meminfo: memFree=27113980/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=236296 CPUtime=109.25 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 34325 0 0 0 10912 13 0 0 20 0 1 0 273657710 241967104 46833 33554432000 4194304 5654031 140735421098448 140735421086264 4232380 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 59074 46833 141 357 0 58714 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 362456
[startup+222.3 s]
/proc/loadavg: 2.01 2.42 2.48 3/178 8099
/proc/meminfo: memFree=26009228/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=238648 CPUtime=169.22 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 35597 0 0 0 16908 14 0 0 20 0 1 0 273657710 244375552 46537 33554432000 4194304 5654031 140735421098448 140735421096536 4232755 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 59662 46537 142 357 0 59302 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 364808
[startup+282.3 s]
/proc/loadavg: 2.00 2.34 2.44 3/178 8099
/proc/meminfo: memFree=24948620/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=229.22 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37080 0 0 0 22907 15 0 0 20 0 1 0 273657710 250396672 50060 33554432000 4194304 5654031 140735421098448 140735421086264 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50060 142 357 0 60772 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 370688
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.00 2.32 2.44 3/178 8099
/proc/meminfo: memFree=24728988/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=241.22 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37080 0 0 0 24107 15 0 0 20 0 1 0 273657710 250396672 50060 33554432000 4194304 5654031 140735421098448 140735421086264 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50060 142 357 0 60772 0
Current children cumulated CPU time (s) 294.11
Current children cumulated vsize (KiB) 370688
[startup+300.7 s]
/proc/loadavg: 2.00 2.32 2.43 3/178 8099
/proc/meminfo: memFree=24608032/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=247.62 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37080 0 0 0 24747 15 0 0 20 0 1 0 273657710 250396672 50060 33554432000 4194304 5654031 140735421098448 140735421086264 4215088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50060 142 357 0 60772 0
Current children cumulated CPU time (s) 300.51
Current children cumulated vsize (KiB) 370688
[startup+303.9 s]
/proc/loadavg: 2.00 2.31 2.43 3/178 8099
/proc/meminfo: memFree=24548516/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=250.81 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37080 0 0 0 25066 15 0 0 20 0 1 0 273657710 250396672 50060 33554432000 4194304 5654031 140735421098448 140735421086264 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50060 142 357 0 60772 0
Current children cumulated CPU time (s) 303.7
Current children cumulated vsize (KiB) 370688
[startup+307.1 s]
/proc/loadavg: 2.00 2.31 2.43 3/178 8099
/proc/meminfo: memFree=24486952/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=254.01 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37081 0 0 0 25386 15 0 0 20 0 1 0 273657710 250396672 50572 33554432000 4194304 5654031 140735421098448 140735421086264 4216651 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50572 142 357 0 60772 0
Current children cumulated CPU time (s) 306.9
Current children cumulated vsize (KiB) 370688
[startup+307.9 s]
/proc/loadavg: 2.00 2.31 2.43 3/178 8099
/proc/meminfo: memFree=24466348/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=254.82 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37081 0 0 0 25467 15 0 0 20 0 1 0 273657710 250396672 50572 33554432000 4194304 5654031 140735421098448 140735421086264 4232772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50572 142 357 0 60772 0
Current children cumulated CPU time (s) 307.71
Current children cumulated vsize (KiB) 370688
[startup+308.7 s]
/proc/loadavg: 2.00 2.31 2.43 3/178 8099
/proc/meminfo: memFree=24466348/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.89 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 11532 117592 0 0 232 240 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244528 CPUtime=255.61 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37081 0 0 0 25546 15 0 0 20 0 1 0 273657710 250396672 50572 33554432000 4194304 5654031 140735421098448 140735421086264 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61132 50572 142 357 0 60772 0
Current children cumulated CPU time (s) 308.5
Current children cumulated vsize (KiB) 370688
[startup+308.9 s]
/proc/loadavg: 2.00 2.31 2.43 3/178 8099
/proc/meminfo: memFree=24466348/32873852 swapFree=7624/7624
[pid=8047] ppid=8045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8047/stat : 8047 (npSolver-pbo-I.) S 8045 8047 5385 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273652408 9367552 274 33554432000 4194304 5064252 140733654462480 140733654461392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8047/statm: 2287 274 233 213 0 72 0
[pid=8048] ppid=8047 vsize=117012 CPUtime=52.9 cores=1,3,5,7
/proc/8048/stat : 8048 (npSolver-pbo) S 8047 8047 5385 0 -1 4202496 12387 117592 0 0 232 241 4746 71 20 0 1 0 273652408 119820288 25036 33554432000 4194304 5992684 140733348956192 140733348941096 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8048/statm: 29253 25036 179 440 0 28809 0
[pid=8098] ppid=8048 vsize=244532 CPUtime=255.81 cores=1,3,5,7
/proc/8098/stat : 8098 (glucosInc) R 8048 8047 5385 0 -1 4202496 37085 0 0 0 25566 15 0 0 20 0 1 0 273657710 250400768 50576 33554432000 4194304 5654031 140735421098448 140735421086264 4976752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8098/statm: 61133 50576 143 357 0 60773 0
Current children cumulated CPU time (s) 308.71
Current children cumulated vsize (KiB) 370692
Child status: 0
Real time (s): 308.997
CPU time (s): 308.833
CPU user time (s): 305.528
CPU system time (s): 3.3055
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 510116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.528
system time used= 3.3055
maximum resident set size= 377184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168480
page faults= 0
swaps= 0
block input operations= 8
block output operations= 558120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1877
involuntary context switches= 454
runsolver used 0.531919 second user time and 1.52377 second system time
The end