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-3754947-1339184959/watcher-3754947-1339184959 -o /tmp/evaluation-result-3754947-1339184959/solver-3754947-1339184959 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754947-1339184959.wbo 380306733 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.06 2.09 2.08 3/179 25309
/proc/meminfo: memFree=28194940/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[startup+0.102301 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 25309
/proc/meminfo: memFree=28194940/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200315 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 25309
/proc/meminfo: memFree=28194940/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300318 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 25309
/proc/meminfo: memFree=28194940/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 25309
/proc/meminfo: memFree=28194940/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/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.06 2.09 2.08 3/183 25323
/proc/meminfo: memFree=28185140/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=0.12 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1535 5423 0 0 0 1 11 0 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25322] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25322/stat : 25322 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384624467 9367552 267 33554432000 4194304 5064252 140737111843920 140737111842832 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25322/statm: 2287 267 226 213 0 72 0
[pid=25323] ppid=25322 vsize=10464 CPUtime=1.35 cores=1,3,5,7
/proc/25323/stat : 25323 (glucose) R 25322 25309 23680 0 -1 4202496 2303 0 0 0 135 0 0 0 20 0 1 0 384624468 10715136 2192 33554432000 4194304 5208918 140734827385424 140734827383368 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25323/statm: 2616 2192 96 248 0 2365 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32060
[startup+3.10034 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 25323
/proc/meminfo: memFree=28183280/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=0.12 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1535 5423 0 0 0 1 11 0 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25322] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25322/stat : 25322 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384624467 9367552 267 33554432000 4194304 5064252 140737111843920 140737111842832 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25322/statm: 2287 267 226 213 0 72 0
[pid=25323] ppid=25322 vsize=12984 CPUtime=2.95 cores=1,3,5,7
/proc/25323/stat : 25323 (glucose) R 25322 25309 23680 0 -1 4202496 2653 0 0 0 295 0 0 0 20 0 1 0 384624468 13295616 2540 33554432000 4194304 5208918 140734827385424 140734827383368 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25323/statm: 3246 2540 96 248 0 2995 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34580
[startup+6.30034 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 25330
/proc/meminfo: memFree=28191396/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=5.31 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1638 12655 0 0 0 1 527 3 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25329] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25329/stat : 25329 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384624986 9367552 266 33554432000 4194304 5064252 140737473606368 140737473605280 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25329/statm: 2287 266 226 213 0 72 0
[pid=25330] ppid=25329 vsize=9068 CPUtime=0.96 cores=1,3,5,7
/proc/25330/stat : 25330 (glucose) R 25329 25309 23680 0 -1 4202496 2075 0 0 0 96 0 0 0 20 0 1 0 384624986 9285632 1519 33554432000 4194304 5208918 140735144453872 140735144451816 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25330/statm: 2267 1519 103 248 0 2016 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30664
[startup+12.7003 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28187972/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10160 CPUtime=2.44 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 1970 0 0 0 244 0 0 0 20 0 1 0 384625478 10403840 1434 33554432000 4194304 5208918 140736963870544 140736963868488 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2540 1434 102 248 0 2289 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31756
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28187972/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10160 CPUtime=2.54 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 2000 0 0 0 254 0 0 0 20 0 1 0 384625478 10403840 1464 33554432000 4194304 5208918 140736963870544 140736963868488 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2540 1464 102 248 0 2289 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 31756
[startup+13.6003 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28185508/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10160 CPUtime=3.34 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 2489 0 0 0 334 0 0 0 20 0 1 0 384625478 10403840 1933 33554432000 4194304 5208918 140736963870544 140736963868488 4229541 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2540 1933 102 248 0 2289 0
Current children cumulated CPU time (s) 13.56
Current children cumulated vsize (KiB) 31756
[startup+14.4068 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28184764/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10160 CPUtime=4.15 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 2595 0 0 0 415 0 0 0 20 0 1 0 384625478 10403840 2033 33554432000 4194304 5208918 140736963870544 140736963868488 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2540 2033 102 248 0 2289 0
Current children cumulated CPU time (s) 14.37
Current children cumulated vsize (KiB) 31756
[startup+14.6004 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28184764/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10760 CPUtime=4.34 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 2690 0 0 0 434 0 0 0 20 0 1 0 384625478 11018240 2127 33554432000 4194304 5208918 140736963870544 140736963868488 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2690 2127 102 248 0 2439 0
Current children cumulated CPU time (s) 14.56
Current children cumulated vsize (KiB) 32356
[startup+14.7003 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 25358
/proc/meminfo: memFree=28184764/32873844 swapFree=7372/7372
[pid=25309] ppid=25307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (npSolver-wbo.sh) S 25307 25309 23680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384624453 9367552 275 33554432000 4194304 5064252 140734772865648 140734772864560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 2287 275 233 213 0 72 0
[pid=25310] ppid=25309 vsize=3300 CPUtime=10.22 cores=1,3,5,7
/proc/25310/stat : 25310 (npSolver-wbo) S 25309 25309 23680 0 -1 4202496 1880 32920 0 0 0 1 1015 6 20 0 1 0 384624453 3379200 419 33554432000 4194304 6006132 140733340854016 140733340845424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25310/statm: 825 419 166 443 0 378 0
[pid=25357] ppid=25310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25357/stat : 25357 (satsolver.sh) S 25310 25309 23680 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384625478 9367552 267 33554432000 4194304 5064252 140735894049984 140735894048896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25357/statm: 2287 267 226 213 0 72 0
[pid=25358] ppid=25357 vsize=10760 CPUtime=4.44 cores=1,3,5,7
/proc/25358/stat : 25358 (glucose) R 25357 25309 23680 0 -1 4202496 2690 0 0 0 444 0 0 0 20 0 1 0 384625478 11018240 2127 33554432000 4194304 5208918 140736963870544 140736963868488 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25358/statm: 2690 2127 102 248 0 2439 0
Current children cumulated CPU time (s) 14.66
Current children cumulated vsize (KiB) 32356
Child status: 0
Real time (s): 14.7652
CPU time (s): 14.7578
CPU user time (s): 14.6598
CPU system time (s): 0.097985
CPU usage (%): 99.9497
Max. virtual memory (cumulated for all children) (KiB): 39976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6598
system time used= 0.097985
maximum resident set size= 29260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 95
runsolver used 0.014997 second user time and 0.112982 second system time
The end