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-3713754-1338216217/watcher-3713754-1338216217 -o /tmp/evaluation-result-3713754-1338216217/solver-3713754-1338216217 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713754-1338216217.wbo 237386389 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.00 2.00 2.00 2/179 16500
/proc/meminfo: memFree=28703396/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[startup+0.0572 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16500
/proc/meminfo: memFree=28703396/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10024 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16500
/proc/meminfo: memFree=28703396/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16500
/proc/meminfo: memFree=28703396/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16500
/proc/meminfo: memFree=28703396/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16514
/proc/meminfo: memFree=28675644/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11344 CPUtime=0.11 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 3176 5645 0 0 8 1 1 1 20 0 1 0 287747086 11616256 1955 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2836 1955 165 439 0 2393 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747100 9367552 267 33554432000 4194304 5064252 140736315026752 140736315025664 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=18544 CPUtime=1.34 cores=0,2,4,6
/proc/16514/stat : 16514 (glucose) R 16513 16500 11248 0 -1 4202496 4162 0 0 0 134 0 0 0 20 0 1 0 287747100 18989056 3884 33554432000 4194304 5208918 140733599620800 140733599618648 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16514/statm: 4636 3884 105 248 0 4385 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 48184
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16514
/proc/meminfo: memFree=28674156/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11344 CPUtime=0.11 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 3176 5645 0 0 8 1 1 1 20 0 1 0 287747086 11616256 1955 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2836 1955 165 439 0 2393 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747100 9367552 267 33554432000 4194304 5064252 140736315026752 140736315025664 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=19092 CPUtime=2.94 cores=0,2,4,6
/proc/16514/stat : 16514 (glucose) R 16513 16500 11248 0 -1 4202496 5011 0 0 0 294 0 0 0 20 0 1 0 287747100 19550208 4185 33554432000 4194304 5208918 140733599620800 140733599618648 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16514/statm: 4773 4185 105 248 0 4522 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 48732
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16514
/proc/meminfo: memFree=28668776/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11344 CPUtime=0.11 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 3176 5645 0 0 8 1 1 1 20 0 1 0 287747086 11616256 1955 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2836 1955 165 439 0 2393 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747100 9367552 267 33554432000 4194304 5064252 140736315026752 140736315025664 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=30584 CPUtime=6.13 cores=0,2,4,6
/proc/16514/stat : 16514 (glucose) R 16513 16500 11248 0 -1 4202496 6196 0 0 0 613 0 0 0 20 0 1 0 287747100 31318016 5966 33554432000 4194304 5208918 140733599620800 140733599617176 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16514/statm: 7646 5966 105 248 0 7395 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 60224
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16514
/proc/meminfo: memFree=28659004/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11344 CPUtime=0.11 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 3176 5645 0 0 8 1 1 1 20 0 1 0 287747086 11616256 1955 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2836 1955 165 439 0 2393 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747100 9367552 267 33554432000 4194304 5064252 140736315026752 140736315025664 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=35004 CPUtime=12.54 cores=0,2,4,6
/proc/16514/stat : 16514 (glucose) R 16513 16500 11248 0 -1 4202496 6898 0 0 0 1253 1 0 0 20 0 1 0 287747100 35844096 7624 33554432000 4194304 5208918 140733599620800 140733599618664 4211871 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16514/statm: 8751 7624 105 248 0 8500 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 64644
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16521
/proc/meminfo: memFree=28666772/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=19.1 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 4929 15624 0 0 15 2 1889 4 20 0 1 0 287747086 11612160 2446 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2446 165 439 0 2392 0
[pid=16520] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16520/stat : 16520 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287748999 9367552 266 33554432000 4194304 5064252 140733793160656 140733793159568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16520/statm: 2287 266 226 213 0 72 0
[pid=16521] ppid=16520 vsize=25392 CPUtime=6.36 cores=0,2,4,6
/proc/16521/stat : 16521 (glucose) R 16520 16500 11248 0 -1 4202496 5829 0 0 0 635 1 0 0 20 0 1 0 287748999 26001408 5561 33554432000 4194304 5208918 140737442345552 140737442343544 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16521/statm: 6348 5561 105 248 0 6097 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 55028
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16535
/proc/meminfo: memFree=28674152/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=46.9 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 8289 34264 0 0 27 3 4649 11 20 0 1 0 287747086 11612160 2447 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2447 165 439 0 2392 0
[pid=16534] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16534/stat : 16534 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287751779 9367552 266 33554432000 4194304 5064252 140735664590528 140735664589440 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16534/statm: 2287 266 226 213 0 72 0
[pid=16535] ppid=16534 vsize=15728 CPUtime=4.15 cores=0,2,4,6
/proc/16535/stat : 16535 (glucose) R 16534 16500 11248 0 -1 4202496 5060 0 0 0 414 1 0 0 20 0 1 0 287751780 16105472 3530 33554432000 4194304 5208918 140734598884944 140734598883032 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16535/statm: 3932 3530 105 248 0 3681 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 45364
Solver just ended. Dumping a history of the last processes samples
[startup+57.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16570
/proc/meminfo: memFree=28679980/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=57.16 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 14772 74630 0 0 42 5 5646 23 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
Current children cumulated CPU time (s) 57.16
Current children cumulated vsize (KiB) 20488
[startup+60.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16591
/proc/meminfo: memFree=28684832/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=60.26 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 16690 87097 0 0 46 5 5949 26 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
[pid=16590] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16590/stat : 16590 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287753118 9367552 267 33554432000 4194304 5064252 140734499849504 140734499848416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16590/statm: 2287 267 226 213 0 72 0
[pid=16591] ppid=16590 vsize=7880 CPUtime=0.37 cores=0,2,4,6
/proc/16591/stat : 16591 (glucose) R 16590 16500 11248 0 -1 4202496 1904 0 0 0 37 0 0 0 20 0 1 0 287753118 8069120 1679 33554432000 4194304 5208918 140735332225072 140734499848440 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16591/statm: 1970 1679 104 248 0 1719 0
Current children cumulated CPU time (s) 60.63
Current children cumulated vsize (KiB) 37516
[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16598
/proc/meminfo: memFree=28681468/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=62.04 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 17653 93218 0 0 49 5 6123 27 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
[pid=16597] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16597/stat : 16597 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287753296 9367552 267 33554432000 4194304 5064252 140736469486016 140736469484928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16597/statm: 2287 267 226 213 0 72 0
[pid=16598] ppid=16597 vsize=12424 CPUtime=1.78 cores=0,2,4,6
/proc/16598/stat : 16598 (glucose) R 16597 16500 11248 0 -1 4202496 3808 0 0 0 178 0 0 0 20 0 1 0 287753296 12722176 2758 33554432000 4194304 5208918 140736622298768 140736622296632 4229316 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16598/statm: 3106 2758 105 248 0 2855 0
Current children cumulated CPU time (s) 63.82
Current children cumulated vsize (KiB) 42060
[startup+65.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16605
/proc/meminfo: memFree=28683964/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=64.18 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 18637 100511 0 0 51 6 6332 29 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
[pid=16604] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16604/stat : 16604 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287753510 9367552 267 33554432000 4194304 5064252 140733202863760 140733202862672 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16604/statm: 2287 267 226 213 0 72 0
[pid=16605] ppid=16604 vsize=10888 CPUtime=1.24 cores=0,2,4,6
/proc/16605/stat : 16605 (glucose) R 16604 16500 11248 0 -1 4202496 3227 0 0 0 124 0 0 0 20 0 1 0 287753510 11149312 2259 33554432000 4194304 5208918 140735538641200 140735538639288 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16605/statm: 2722 2259 105 248 0 2471 0
Current children cumulated CPU time (s) 65.42
Current children cumulated vsize (KiB) 40524
[startup+65.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16605
/proc/meminfo: memFree=28680228/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=64.18 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 18637 100511 0 0 51 6 6332 29 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
[pid=16604] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16604/stat : 16604 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287753510 9367552 267 33554432000 4194304 5064252 140733202863760 140733202862672 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16604/statm: 2287 267 226 213 0 72 0
[pid=16605] ppid=16604 vsize=12536 CPUtime=1.65 cores=0,2,4,6
/proc/16605/stat : 16605 (glucose) R 16604 16500 11248 0 -1 4202496 3677 0 0 0 165 0 0 0 20 0 1 0 287753510 12836864 2659 33554432000 4194304 5208918 140735538641200 140735538639064 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16605/statm: 3134 2659 105 248 0 2883 0
Current children cumulated CPU time (s) 65.83
Current children cumulated vsize (KiB) 42172
[startup+66.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16605
/proc/meminfo: memFree=28680228/32873648 swapFree=6864/6864
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 11248 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747085 9367552 275 33554432000 4194304 5064252 140735081605024 140735081603936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16500/statm: 2287 275 233 213 0 72 0
[pid=16501] ppid=16500 vsize=11340 CPUtime=64.18 cores=0,2,4,6
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 11248 0 -1 4202496 18637 100511 0 0 51 6 6332 29 20 0 1 0 287747086 11612160 2448 33554432000 4194304 5990268 140736177974448 140736177965888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16501/statm: 2835 2448 166 439 0 2392 0
[pid=16604] ppid=16501 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16604/stat : 16604 (satsolver.sh) S 16501 16500 11248 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287753510 9367552 267 33554432000 4194304 5064252 140733202863760 140733202862672 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16604/statm: 2287 267 226 213 0 72 0
[pid=16605] ppid=16604 vsize=12536 CPUtime=1.84 cores=0,2,4,6
/proc/16605/stat : 16605 (glucose) R 16604 16500 11248 0 -1 4202496 3691 0 0 0 184 0 0 0 20 0 1 0 287753510 12836864 2673 33554432000 4194304 5208918 140735538641200 140735538639064 4229710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16605/statm: 3134 2673 105 248 0 2883 0
Current children cumulated CPU time (s) 66.02
Current children cumulated vsize (KiB) 42172
Child status: 0
Real time (s): 66.1365
CPU time (s): 66.092
CPU user time (s): 65.72
CPU system time (s): 0.371943
CPU usage (%): 99.9326
Max. virtual memory (cumulated for all children) (KiB): 65204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.72
system time used= 0.371943
maximum resident set size= 33152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353
involuntary context switches= 268
runsolver used 0.115982 second user time and 0.266959 second system time
The end