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-3754302-1339189051/watcher-3754302-1339189051 -o /tmp/evaluation-result-3754302-1339189051/solver-3754302-1339189051 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754302-1339189051.wbo 513166114 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.13 2.04 1.97 3/179 10745
/proc/meminfo: memFree=31325644/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[startup+0.0408591 s]
/proc/loadavg: 2.13 2.04 1.97 3/179 10745
/proc/meminfo: memFree=31325644/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100353 s]
/proc/loadavg: 2.13 2.04 1.97 3/179 10745
/proc/meminfo: memFree=31325644/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300293 s]
/proc/loadavg: 2.13 2.04 1.97 3/179 10745
/proc/meminfo: memFree=31325644/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 2.13 2.04 1.97 3/179 10745
/proc/meminfo: memFree=31325644/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.13 2.04 1.97 3/183 10759
/proc/meminfo: memFree=31289552/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29976
[startup+3.10035 s]
/proc/loadavg: 2.13 2.04 1.97 3/183 10766
/proc/meminfo: memFree=31244156/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=67376 CPUtime=1.6 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 13403 0 0 0 158 2 0 0 20 0 1 0 385032219 68993024 13472 33554432000 4194304 5208918 140735981628944 140735981627352 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 16844 13472 95 248 0 16593 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 106500
[startup+6.30034 s]
/proc/loadavg: 2.12 2.04 1.97 3/183 10766
/proc/meminfo: memFree=31241364/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=67512 CPUtime=4.81 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 13552 0 0 0 478 3 0 0 20 0 1 0 385032219 69132288 14130 33554432000 4194304 5208918 140735981628944 140735981626792 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 16878 14130 95 248 0 16627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 106636
[startup+12.7003 s]
/proc/loadavg: 2.11 2.04 1.97 3/183 10766
/proc/meminfo: memFree=31230816/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=67780 CPUtime=11.21 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 13605 0 0 0 1118 3 0 0 20 0 1 0 385032219 69406720 14183 33554432000 4194304 5208918 140735981628944 140735981626792 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 16945 14183 95 248 0 16694 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 106904
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 1.97 3/183 10766
/proc/meminfo: memFree=31228272/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=75264 CPUtime=24.01 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 14226 0 0 0 2398 3 0 0 20 0 1 0 385032219 77070336 14800 33554432000 4194304 5208918 140735981628944 140735981626904 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 18816 14800 95 248 0 18565 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 114388
[startup+51.1004 s]
/proc/loadavg: 2.06 2.03 1.97 3/183 10766
/proc/meminfo: memFree=31225948/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=75684 CPUtime=49.6 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 14952 0 0 0 4957 3 0 0 20 0 1 0 385032219 77500416 15125 33554432000 4194304 5208918 140735981628944 140735981626792 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 18921 15125 96 248 0 18670 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 114808
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 1.97 3/183 10766
/proc/meminfo: memFree=31196148/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=98872 CPUtime=100.8 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 16177 0 0 0 10076 4 0 0 20 0 1 0 385032219 101244928 21813 33554432000 4194304 5208918 140735981628944 140735981626808 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 24718 21813 96 248 0 24467 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 137996
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/184 10769
/proc/meminfo: memFree=31194460/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=98872 CPUtime=160.78 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 16562 0 0 0 16074 4 0 0 20 0 1 0 385032219 101244928 22197 33554432000 4194304 5208918 140735981628944 140735981626808 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 24718 22197 96 248 0 24467 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137996
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10769
/proc/meminfo: memFree=31182172/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=98872 CPUtime=177.58 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 16562 0 0 0 17754 4 0 0 20 0 1 0 385032219 101244928 22197 33554432000 4194304 5208918 140735981628944 140735981626808 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 24718 22197 96 248 0 24467 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 137996
[startup+204.7 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10769
/proc/meminfo: memFree=31158280/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=129224 CPUtime=203.18 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 16957 0 0 0 20313 5 0 0 20 0 1 0 385032219 132325376 27700 33554432000 4194304 5208918 140735981628944 140735981626936 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 32306 27700 96 248 0 32055 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 168348
[startup+211.1 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10792
/proc/meminfo: memFree=31178356/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=1.46 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6631 13761 0 0 21 4 116 5 20 0 1 0 385032071 21327872 4622 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4622 180 443 0 4760 0
[pid=10765] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10765/stat : 10765 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385032219 9367552 267 33554432000 4194304 5064252 140733239063536 140733239062448 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10765/statm: 2287 267 226 213 0 72 0
[pid=10766] ppid=10765 vsize=98872 CPUtime=209.58 cores=1,3,5,7
/proc/10766/stat : 10766 (glucose) R 10765 10745 7523 0 -1 4202496 16957 0 0 0 20953 5 0 0 20 0 1 0 385032219 101244928 22457 33554432000 4194304 5208918 140735981628944 140735981627032 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 24718 22457 96 248 0 24467 0
Current children cumulated CPU time (s) 211.04
Current children cumulated vsize (KiB) 137996
[startup+214.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10799
/proc/meminfo: memFree=31270928/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=212.73 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6736 36116 0 0 21 4 21222 26 20 0 1 0 385032071 21327872 4623 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4623 181 443 0 4760 0
[pid=10798] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10798/stat : 10798 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385053349 9367552 267 33554432000 4194304 5064252 140736184755296 140736184754208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10798/statm: 2287 267 226 213 0 72 0
[pid=10799] ppid=10798 vsize=9284 CPUtime=1.51 cores=1,3,5,7
/proc/10799/stat : 10799 (glucose) R 10798 10745 7523 0 -1 4202496 2514 0 0 0 151 0 0 0 20 0 1 0 385053349 9506816 1703 33554432000 4194304 5208918 140733860418992 140733860416936 4229316 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10799/statm: 2321 1703 96 248 0 2070 0
Current children cumulated CPU time (s) 214.24
Current children cumulated vsize (KiB) 48408
[startup+217.5 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10799
/proc/meminfo: memFree=31264976/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=212.73 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6736 36116 0 0 21 4 21222 26 20 0 1 0 385032071 21327872 4623 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4623 181 443 0 4760 0
[pid=10798] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10798/stat : 10798 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385053349 9367552 267 33554432000 4194304 5064252 140736184755296 140736184754208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10798/statm: 2287 267 226 213 0 72 0
[pid=10799] ppid=10798 vsize=12700 CPUtime=4.71 cores=1,3,5,7
/proc/10799/stat : 10799 (glucose) R 10798 10745 7523 0 -1 4202496 3238 0 0 0 471 0 0 0 20 0 1 0 385053349 13004800 2409 33554432000 4194304 5208918 140733860418992 140733860416936 4211471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10799/statm: 3175 2409 96 248 0 2924 0
Current children cumulated CPU time (s) 217.44
Current children cumulated vsize (KiB) 51824
[startup+218.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10799
/proc/meminfo: memFree=31264852/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=212.73 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6736 36116 0 0 21 4 21222 26 20 0 1 0 385032071 21327872 4623 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4623 181 443 0 4760 0
[pid=10798] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10798/stat : 10798 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385053349 9367552 267 33554432000 4194304 5064252 140736184755296 140736184754208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10798/statm: 2287 267 226 213 0 72 0
[pid=10799] ppid=10798 vsize=12700 CPUtime=5.51 cores=1,3,5,7
/proc/10799/stat : 10799 (glucose) R 10798 10745 7523 0 -1 4202496 3258 0 0 0 551 0 0 0 20 0 1 0 385053349 13004800 2427 33554432000 4194304 5208918 140733860418992 140733860416936 4213176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10799/statm: 3175 2427 96 248 0 2924 0
Current children cumulated CPU time (s) 218.24
Current children cumulated vsize (KiB) 51824
[startup+218.7 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10799
/proc/meminfo: memFree=31264852/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=212.73 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6736 36116 0 0 21 4 21222 26 20 0 1 0 385032071 21327872 4623 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4623 181 443 0 4760 0
[pid=10798] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10798/stat : 10798 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385053349 9367552 267 33554432000 4194304 5064252 140736184755296 140736184754208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10798/statm: 2287 267 226 213 0 72 0
[pid=10799] ppid=10798 vsize=12700 CPUtime=5.91 cores=1,3,5,7
/proc/10799/stat : 10799 (glucose) R 10798 10745 7523 0 -1 4202496 3258 0 0 0 591 0 0 0 20 0 1 0 385053349 13004800 2427 33554432000 4194304 5208918 140733860418992 140733860416936 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10799/statm: 3175 2427 96 248 0 2924 0
Current children cumulated CPU time (s) 218.64
Current children cumulated vsize (KiB) 51824
[startup+218.907 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 10799
/proc/meminfo: memFree=31264728/32873844 swapFree=7116/7116
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (npSolver-wbo-I.) S 10743 10745 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385032071 9367552 275 33554432000 4194304 5064252 140734429243344 140734429242256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=20828 CPUtime=212.73 cores=1,3,5,7
/proc/10746/stat : 10746 (npSolver-wbo) S 10745 10745 7523 0 -1 4202496 6736 36116 0 0 21 4 21222 26 20 0 1 0 385032071 21327872 4623 33554432000 4194304 6006132 140735566465664 140735566457072 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10746/statm: 5207 4623 181 443 0 4760 0
[pid=10798] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10798/stat : 10798 (satsolver.sh) S 10746 10745 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385053349 9367552 267 33554432000 4194304 5064252 140736184755296 140736184754208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10798/statm: 2287 267 226 213 0 72 0
[pid=10799] ppid=10798 vsize=12700 CPUtime=6.11 cores=1,3,5,7
/proc/10799/stat : 10799 (glucose) R 10798 10745 7523 0 -1 4202496 3258 0 0 0 611 0 0 0 20 0 1 0 385053349 13004800 2427 33554432000 4194304 5208918 140733860418992 140733860416936 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10799/statm: 3175 2427 96 248 0 2924 0
Current children cumulated CPU time (s) 218.84
Current children cumulated vsize (KiB) 51824
Child status: 0
Real time (s): 218.986
CPU time (s): 218.947
CPU user time (s): 218.62
CPU system time (s): 0.32695
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 168348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.62
system time used= 0.32695
maximum resident set size= 110800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 504
involuntary context switches= 276
runsolver used 0.527919 second user time and 1.2838 second system time
The end