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-3754324-1339188291/watcher-3754324-1339188291 -o /tmp/evaluation-result-3754324-1339188291/solver-3754324-1339188291 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754324-1339188291.wbo 455503653 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 1.94 3/179 9500
/proc/meminfo: memFree=31293968/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[startup+0.0774729 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9500
/proc/meminfo: memFree=31293968/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9500
/proc/meminfo: memFree=31293968/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9500
/proc/meminfo: memFree=31293968/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9500
/proc/meminfo: memFree=31293968/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9507
/proc/meminfo: memFree=31286780/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 1957 2689 0 0 2 0 14 0 20 0 1 0 384956115 3166208 376 33554432000 4194304 6006132 140735324684672 140735324678864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9501/statm: 773 376 158 443 0 326 0
[pid=9506] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9506/stat : 9506 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384956133 9367552 267 33554432000 4194304 5064252 140737026681536 140737026680448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9506/statm: 2287 267 226 213 0 72 0
[pid=9507] ppid=9506 vsize=12792 CPUtime=1.31 cores=1,3,5,7
/proc/9507/stat : 9507 (glucose) R 9506 9500 7523 0 -1 4202496 2765 0 0 0 131 0 0 0 20 0 1 0 384956133 13099008 1718 33554432000 4194304 5208918 140734218894480 140734218892632 4229692 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9507/statm: 3198 1718 96 248 0 2947 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34180
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9507
/proc/meminfo: memFree=31278460/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 1957 2689 0 0 2 0 14 0 20 0 1 0 384956115 3166208 376 33554432000 4194304 6006132 140735324684672 140735324678864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9501/statm: 773 376 158 443 0 326 0
[pid=9506] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9506/stat : 9506 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384956133 9367552 267 33554432000 4194304 5064252 140737026681536 140737026680448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9506/statm: 2287 267 226 213 0 72 0
[pid=9507] ppid=9506 vsize=14480 CPUtime=2.9 cores=1,3,5,7
/proc/9507/stat : 9507 (glucose) R 9506 9500 7523 0 -1 4202496 3750 0 0 0 290 0 0 0 20 0 1 0 384956133 14827520 3190 33554432000 4194304 5208918 140734218894480 140734218892424 4212485 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9507/statm: 3620 3190 96 248 0 3369 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35868
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9507
/proc/meminfo: memFree=31262212/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 1957 2689 0 0 2 0 14 0 20 0 1 0 384956115 3166208 376 33554432000 4194304 6006132 140735324684672 140735324678864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9501/statm: 773 376 158 443 0 326 0
[pid=9506] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9506/stat : 9506 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384956133 9367552 267 33554432000 4194304 5064252 140737026681536 140737026680448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9506/statm: 2287 267 226 213 0 72 0
[pid=9507] ppid=9506 vsize=22588 CPUtime=6.1 cores=1,3,5,7
/proc/9507/stat : 9507 (glucose) R 9506 9500 7523 0 -1 4202496 4152 0 0 0 610 0 0 0 20 0 1 0 384956133 23130112 5115 33554432000 4194304 5208918 140734218894480 140734218892344 4211904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9507/statm: 5647 5115 96 248 0 5396 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43976
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9552
/proc/meminfo: memFree=31390212/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 1957 2689 0 0 2 0 14 0 20 0 1 0 384956115 3166208 376 33554432000 4194304 6006132 140735324684672 140735324678864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9501/statm: 773 376 158 443 0 326 0
[pid=9506] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9506/stat : 9506 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384956133 9367552 267 33554432000 4194304 5064252 140737026681536 140737026680448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9506/statm: 2287 267 226 213 0 72 0
[pid=9507] ppid=9506 vsize=21632 CPUtime=12.5 cores=1,3,5,7
/proc/9507/stat : 9507 (glucose) R 9506 9500 7523 0 -1 4202496 4422 0 0 0 1250 0 0 0 20 0 1 0 384956133 22151168 4169 33554432000 4194304 5208918 140734218894480 140734218892424 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9507/statm: 5408 4169 96 248 0 5157 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43020
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 1.94 3/183 9566
/proc/meminfo: memFree=31317864/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=16.42 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 3476 11322 0 0 6 2 1632 2 20 0 1 0 384956115 11587584 2241 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2241 167 443 0 2382 0
[pid=9558] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9558/stat : 9558 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384957761 9367552 266 33554432000 4194304 5064252 140733326945040 140733326943952 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9558/statm: 2287 266 226 213 0 72 0
[pid=9559] ppid=9558 vsize=54768 CPUtime=9.03 cores=1,3,5,7
/proc/9559/stat : 9559 (glucose) R 9558 9500 7523 0 -1 4202496 10705 0 0 0 900 3 0 0 20 0 1 0 384957761 56082432 12550 33554432000 4194304 5208918 140736778935232 140736778933176 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9559/statm: 13692 12550 96 248 0 13441 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 84380
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 1.94 3/183 9580
/proc/meminfo: memFree=31360920/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=48.99 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 4516 26523 0 0 9 3 4875 12 20 0 1 0 384956115 11587584 2241 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2241 167 443 0 2382 0
[pid=9579] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9579/stat : 9579 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384961017 9367552 267 33554432000 4194304 5064252 140736730442208 140736730441120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9579/statm: 2287 267 226 213 0 72 0
[pid=9580] ppid=9579 vsize=21936 CPUtime=2.07 cores=1,3,5,7
/proc/9580/stat : 9580 (glucose) R 9579 9500 7523 0 -1 4202496 5683 0 0 0 206 1 0 0 20 0 1 0 384961017 22462464 4938 33554432000 4194304 5208918 140733540539536 140733540537480 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9580/statm: 5484 4938 96 248 0 5233 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 51548
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.94 3/182 9608
/proc/meminfo: memFree=31363624/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=81.6 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 5259 39187 0 0 10 3 8129 18 20 0 1 0 384956115 11587584 2241 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2241 167 443 0 2382 0
[pid=9593] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9593/stat : 9593 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384964280 9367552 266 33554432000 4194304 5064252 140737114509152 140737114508064 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9593/statm: 2287 266 226 213 0 72 0
[pid=9594] ppid=9593 vsize=31880 CPUtime=20.63 cores=1,3,5,7
/proc/9594/stat : 9594 (glucose) R 9593 9500 7523 0 -1 4202496 6764 0 0 0 2062 1 0 0 20 0 1 0 384964280 32645120 7208 33554432000 4194304 5208918 140737119126736 140737119124680 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9594/statm: 7970 7208 96 248 0 7719 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 61492
[startup+162.3 s]
/proc/loadavg: 2.11 2.03 1.95 3/183 9715
/proc/meminfo: memFree=31388648/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=161.93 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6061 81700 0 0 11 3 16148 31 20 0 1 0 384956115 11587584 2241 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2241 167 443 0 2382 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 20464
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.09 2.03 1.95 3/183 9729
/proc/meminfo: memFree=31386224/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=177.86 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6118 88882 0 0 11 3 17739 33 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9728] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9728/stat : 9728 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384973908 9367552 267 33554432000 4194304 5064252 140735800166464 140735800165376 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9728/statm: 2287 267 226 213 0 72 0
[pid=9729] ppid=9728 vsize=9388 CPUtime=1.16 cores=1,3,5,7
/proc/9729/stat : 9729 (glucose) R 9728 9500 7523 0 -1 4202496 1898 0 0 0 116 0 0 0 20 0 1 0 384973908 9613312 1827 33554432000 4194304 5208918 140735457943520 140735457941368 4213161 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9729/statm: 2347 1827 96 248 0 2096 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 39000
[startup+191.9 s]
/proc/loadavg: 2.07 2.03 1.95 3/183 9743
/proc/meminfo: memFree=31372168/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=12100 CPUtime=2.48 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 3016 0 0 0 248 0 0 0 20 0 1 0 384975056 12390400 2195 33554432000 4194304 5208918 140733248876496 140733248874440 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 3025 2195 96 248 0 2774 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 41712
[startup+198.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/183 9750
/proc/meminfo: memFree=31375588/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=8.88 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4353 0 0 0 888 0 0 0 20 0 1 0 384975056 18100224 3997 33554432000 4194304 5208918 140733248876496 140733248874360 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 3997 102 248 0 4168 0
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (KiB) 47288
[startup+201.5 s]
/proc/loadavg: 2.06 2.03 1.95 3/183 9750
/proc/meminfo: memFree=31367460/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=12.08 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4353 0 0 0 1208 0 0 0 20 0 1 0 384975056 18100224 3997 33554432000 4194304 5208918 140733248876496 140733248874360 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 3997 102 248 0 4168 0
Current children cumulated CPU time (s) 201.42
Current children cumulated vsize (KiB) 47288
[startup+203.1 s]
/proc/loadavg: 2.06 2.03 1.95 3/183 9750
/proc/meminfo: memFree=31372424/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=13.68 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4353 0 0 0 1368 0 0 0 20 0 1 0 384975056 18100224 3997 33554432000 4194304 5208918 140733248876496 140733248874360 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 3997 102 248 0 4168 0
Current children cumulated CPU time (s) 203.02
Current children cumulated vsize (KiB) 47288
[startup+204.7 s]
/proc/loadavg: 2.05 2.03 1.95 3/183 9757
/proc/meminfo: memFree=31384828/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=15.28 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4357 0 0 0 1528 0 0 0 20 0 1 0 384975056 18100224 3997 33554432000 4194304 5208918 140733248876496 140733248874360 4229361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 3997 102 248 0 4168 0
Current children cumulated CPU time (s) 204.62
Current children cumulated vsize (KiB) 47288
[startup+205.5 s]
/proc/loadavg: 2.05 2.03 1.95 3/183 9757
/proc/meminfo: memFree=31384828/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=16.08 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4389 0 0 0 1608 0 0 0 20 0 1 0 384975056 18100224 4029 33554432000 4194304 5208918 140733248876496 140733248874360 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 4029 102 248 0 4168 0
Current children cumulated CPU time (s) 205.42
Current children cumulated vsize (KiB) 47288
[startup+205.9 s]
/proc/loadavg: 2.05 2.03 1.95 3/183 9757
/proc/meminfo: memFree=31381408/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=16.48 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4389 0 0 0 1648 0 0 0 20 0 1 0 384975056 18100224 4029 33554432000 4194304 5208918 140733248876496 140733248874360 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 4029 102 248 0 4168 0
Current children cumulated CPU time (s) 205.82
Current children cumulated vsize (KiB) 47288
[startup+206 s]
/proc/loadavg: 2.05 2.03 1.95 3/183 9757
/proc/meminfo: memFree=31381408/32873844 swapFree=7116/7116
[pid=9500] ppid=9498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9500/stat : 9500 (npSolver-wbo-I.) S 9498 9500 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384956115 9367552 275 33554432000 4194304 5064252 140734602508976 140734602507888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9500/statm: 2287 275 233 213 0 72 0
[pid=9501] ppid=9500 vsize=11316 CPUtime=189.34 cores=1,3,5,7
/proc/9501/stat : 9501 (npSolver-wbo) S 9500 9500 7523 0 -1 4202496 6200 95375 0 0 11 4 18884 35 20 0 1 0 384956115 11587584 2242 33554432000 4194304 6006132 140735324684672 140735324676080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9501/statm: 2829 2242 168 443 0 2382 0
[pid=9742] ppid=9501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9742/stat : 9742 (satsolver.sh) S 9501 9500 7523 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384975055 9367552 267 33554432000 4194304 5064252 140736897798848 140736897797760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9742/statm: 2287 267 226 213 0 72 0
[pid=9743] ppid=9742 vsize=17676 CPUtime=16.58 cores=1,3,5,7
/proc/9743/stat : 9743 (glucose) R 9742 9500 7523 0 -1 4202496 4389 0 0 0 1658 0 0 0 20 0 1 0 384975056 18100224 4029 33554432000 4194304 5208918 140733248876496 140733248874360 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9743/statm: 4419 4029 102 248 0 4168 0
Current children cumulated CPU time (s) 205.92
Current children cumulated vsize (KiB) 47288
Child status: 0
Real time (s): 206.078
CPU time (s): 206.021
CPU user time (s): 205.605
CPU system time (s): 0.415936
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 91564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.605
system time used= 0.415936
maximum resident set size= 57400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 439
involuntary context switches= 334
runsolver used 0.359945 second user time and 0.836872 second system time
The end