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-3754859-1339203854/watcher-3754859-1339203854 -o /tmp/evaluation-result-3754859-1339203854/solver-3754859-1339203854 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754859-1339203854.wbo 1423008709 HOME HOME
running on 4 cores: 0,2,4,6
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.09 2.61 2.38 3/180 30541
/proc/meminfo: memFree=25733320/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[startup+0.10039 s]
/proc/loadavg: 2.09 2.61 2.38 3/180 30541
/proc/meminfo: memFree=25733320/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200316 s]
/proc/loadavg: 2.09 2.61 2.38 3/180 30541
/proc/meminfo: memFree=25733320/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300287 s]
/proc/loadavg: 2.09 2.61 2.38 3/180 30541
/proc/meminfo: memFree=25733320/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.09 2.61 2.38 3/180 30541
/proc/meminfo: memFree=25733320/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.09 2.61 2.38 3/182 30553
/proc/meminfo: memFree=25642220/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 169660
[startup+3.10042 s]
/proc/loadavg: 2.09 2.61 2.38 3/184 30555
/proc/meminfo: memFree=25387148/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=191692 CPUtime=1.79 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 34086 0 0 0 168 11 0 0 20 0 1 0 386514163 196292608 40424 33554432000 4194304 5208918 140735756154144 140735756152104 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 47923 40424 104 248 0 47672 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 370500
[startup+6.30043 s]
/proc/loadavg: 2.16 2.62 2.38 3/184 30555
/proc/meminfo: memFree=25407080/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=191692 CPUtime=4.99 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 34099 0 0 0 488 11 0 0 20 0 1 0 386514163 196292608 40437 33554432000 4194304 5208918 140735756154144 140735756151992 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 47923 40437 104 248 0 47672 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 370500
[startup+12.7004 s]
/proc/loadavg: 2.15 2.61 2.38 3/184 30555
/proc/meminfo: memFree=25406972/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=191692 CPUtime=11.39 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 34118 0 0 0 1128 11 0 0 20 0 1 0 386514163 196292608 40456 33554432000 4194304 5208918 140735756154144 140735756151992 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 47923 40456 104 248 0 47672 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 370500
[startup+25.5068 s]
/proc/loadavg: 2.11 2.58 2.37 3/184 30555
/proc/meminfo: memFree=25407468/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=191824 CPUtime=24.2 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 34151 0 0 0 2409 11 0 0 20 0 1 0 386514163 196427776 40489 33554432000 4194304 5208918 140735756154144 140735756151992 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 47956 40489 104 248 0 47705 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 370632
[startup+51.1004 s]
/proc/loadavg: 2.07 2.53 2.36 3/182 30595
/proc/meminfo: memFree=28250452/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=192088 CPUtime=49.78 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 34217 0 0 0 4967 11 0 0 20 0 1 0 386514163 196698112 40555 33554432000 4194304 5208918 140735756154144 140735756151992 4205761 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 48022 40555 104 248 0 47771 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 370896
[startup+102.3 s]
/proc/loadavg: 2.14 2.48 2.35 3/184 30597
/proc/meminfo: memFree=27017664/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=196296 CPUtime=100.98 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 35366 0 0 0 10086 12 0 0 20 0 1 0 386514163 201007104 41704 33554432000 4194304 5208918 140735756154144 140735756152104 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 49074 41704 105 248 0 48823 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 375104
Solver just ended. Dumping a history of the last processes samples
[startup+102.507 s]
/proc/loadavg: 2.14 2.48 2.35 3/184 30597
/proc/meminfo: memFree=27017044/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=196296 CPUtime=101.18 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 35366 0 0 0 10106 12 0 0 20 0 1 0 386514163 201007104 41704 33554432000 4194304 5208918 140735756154144 140735756152104 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 49074 41704 105 248 0 48823 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 375104
[startup+115.3 s]
/proc/loadavg: 2.18 2.47 2.35 3/184 30597
/proc/meminfo: memFree=27016424/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=196296 CPUtime=113.97 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 35393 0 0 0 11385 12 0 0 20 0 1 0 386514163 201007104 41731 33554432000 4194304 5208918 140735756154144 140735756152104 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 49074 41731 105 248 0 48823 0
Current children cumulated CPU time (s) 115.23
Current children cumulated vsize (KiB) 375104
[startup+121.7 s]
/proc/loadavg: 2.17 2.46 2.35 3/184 30597
/proc/meminfo: memFree=27016300/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=196428 CPUtime=120.37 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 35427 0 0 0 12025 12 0 0 20 0 1 0 386514163 201142272 41765 33554432000 4194304 5208918 140735756154144 140735756151992 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 49107 41765 105 248 0 48856 0
Current children cumulated CPU time (s) 121.63
Current children cumulated vsize (KiB) 375236
[startup+128.1 s]
/proc/loadavg: 2.14 2.45 2.34 3/184 30597
/proc/meminfo: memFree=27015432/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=1.26 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9090 7577 0 0 102 15 8 1 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
[pid=30554] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30554/stat : 30554 (satsolver.sh) S 30542 30541 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386514163 9367552 266 33554432000 4194304 5064252 140733724089888 140733724088800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30554/statm: 2287 266 226 213 0 72 0
[pid=30555] ppid=30554 vsize=197092 CPUtime=126.77 cores=0,2,4,6
/proc/30555/stat : 30555 (glucose) R 30554 30541 23680 0 -1 4202496 35606 0 0 0 12665 12 0 0 20 0 1 0 386514163 201822208 42455 33554432000 4194304 5208918 140735756154144 140735756151992 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30555/statm: 49273 42455 105 248 0 49022 0
Current children cumulated CPU time (s) 128.03
Current children cumulated vsize (KiB) 375900
[startup+131.3 s]
/proc/loadavg: 2.14 2.45 2.34 3/184 30597
/proc/meminfo: memFree=27012516/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=160512 CPUtime=131.25 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 9097 44013 0 0 102 15 12992 16 20 0 1 0 386514033 164364288 23974 33554432000 4194304 6006132 140734969163296 140734969154192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 40128 23974 178 443 0 39681 0
Current children cumulated CPU time (s) 131.25
Current children cumulated vsize (KiB) 169660
[startup+132.9 s]
/proc/loadavg: 2.14 2.45 2.34 3/184 30604
/proc/meminfo: memFree=27309556/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=29440 CPUtime=132.83 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 16878 80664 0 0 116 18 13095 54 20 0 1 0 386514033 30146560 6901 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 7360 6901 178 443 0 6913 0
Current children cumulated CPU time (s) 132.83
Current children cumulated vsize (KiB) 38588
[startup+133.307 s]
/proc/loadavg: 2.13 2.44 2.34 3/184 30660
/proc/meminfo: memFree=27310912/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=29440 CPUtime=133.2 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) S 30541 30541 23680 0 -1 4202496 20061 95611 0 0 122 19 13120 59 20 0 1 0 386514033 30146560 6901 33554432000 4194304 6006132 140734969163296 140734969154704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 7360 6901 178 443 0 6913 0
Current children cumulated CPU time (s) 133.2
Current children cumulated vsize (KiB) 38588
[startup+133.5 s]
/proc/loadavg: 2.13 2.44 2.34 3/184 30660
/proc/meminfo: memFree=27310912/32873844 swapFree=7372/7372
[pid=30541] ppid=30539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (npSolver-wbo.sh) S 30539 30541 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386514033 9367552 275 33554432000 4194304 5064252 140736458016800 140736458015712 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30541/statm: 2287 275 233 213 0 72 0
[pid=30542] ppid=30541 vsize=29444 CPUtime=133.46 cores=0,2,4,6
/proc/30542/stat : 30542 (npSolver-wbo) R 30541 30541 23680 0 -1 4202496 22153 105492 0 0 126 19 13139 62 20 0 1 0 386514033 30150656 6901 33554432000 4194304 6006132 140734969163296 140734969155280 5195051 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30542/statm: 7361 6901 178 443 0 6914 0
Current children cumulated CPU time (s) 133.46
Current children cumulated vsize (KiB) 38592
Child status: 0
Real time (s): 133.586
CPU time (s): 133.563
CPU user time (s): 132.719
CPU system time (s): 0.843871
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 447436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.719
system time used= 0.843871
maximum resident set size= 213708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 175936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1027
involuntary context switches= 347
runsolver used 0.320951 second user time and 0.78688 second system time
The end