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-3716329-1338188215/watcher-3716329-1338188215 -o /tmp/evaluation-result-3716329-1338188215/solver-3716329-1338188215 -C 1800 -W 1900 -M 15500 HOME/runWbo2sat.sh HOME/instance-3716329-1338188215.wbo 589948082 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.10 2.05 2.01 3/179 9400
/proc/meminfo: memFree=28946356/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[startup+0.0201151 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 9400
/proc/meminfo: memFree=28946356/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100142 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 9400
/proc/meminfo: memFree=28946356/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 9400
/proc/meminfo: memFree=28946356/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700123 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 9400
/proc/meminfo: memFree=28946356/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 9416
/proc/meminfo: memFree=28934720/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=0.93 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5387 15264 0 0 12 4 74 3 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9415] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9415/stat : 9415 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284947027 9367552 267 33554432000 4194304 5064252 140736665641072 140736665639984 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9415/statm: 2287 267 226 213 0 72 0
[pid=9416] ppid=9415 vsize=9976 CPUtime=0.54 cores=1,3,5,7
/proc/9416/stat : 9416 (glucose_static) R 9415 9400 6626 0 -1 4202496 1202 0 0 0 54 0 0 0 20 0 1 0 284947027 10215424 1610 33554432000 4194304 4896791 140733522367296 140733522364504 4204125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9416/statm: 2494 1610 78 172 0 2320 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36852
[startup+3.10014 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 9419
/proc/meminfo: memFree=28934792/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=2.99 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5693 23055 0 0 12 4 278 5 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 17728
[startup+6.30021 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 9425
/proc/meminfo: memFree=28931420/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=2.99 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5693 23055 0 0 12 4 278 5 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9424] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284947234 9367552 267 33554432000 4194304 5064252 140733935463664 140733935462576 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9424/statm: 2287 267 226 213 0 72 0
[pid=9425] ppid=9424 vsize=7660 CPUtime=3.27 cores=1,3,5,7
/proc/9425/stat : 9425 (glucose_static) R 9424 9400 6626 0 -1 4202496 3594 0 0 0 327 0 0 0 20 0 1 0 284947234 7843840 1557 33554432000 4194304 4896791 140733885994128 140733885991448 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9425/statm: 1915 1557 77 172 0 1741 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34536
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 9428
/proc/meminfo: memFree=28929648/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=10.04 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5771 29844 0 0 12 4 981 7 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9427] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9427/stat : 9427 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284947938 9367552 267 33554432000 4194304 5064252 140733695996976 140733695995888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9427/statm: 2287 267 226 213 0 72 0
[pid=9428] ppid=9427 vsize=6352 CPUtime=2.62 cores=1,3,5,7
/proc/9428/stat : 9428 (glucose_static) R 9427 9400 6626 0 -1 4202496 3134 0 0 0 262 0 0 0 20 0 1 0 284947939 6504448 1253 33554432000 4194304 4896791 140735381770672 140735381767992 4225414 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9428/statm: 1588 1253 77 172 0 1414 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33228
[startup+25.5002 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 9434
/proc/meminfo: memFree=28923216/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=23.37 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5860 43665 0 0 12 4 2310 11 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9433] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9433/stat : 9433 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949272 9367552 266 33554432000 4194304 5064252 140733863977392 140733863976304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9433/statm: 2287 266 226 213 0 72 0
[pid=9434] ppid=9433 vsize=7480 CPUtime=2.09 cores=1,3,5,7
/proc/9434/stat : 9434 (glucose_static) R 9433 9400 6626 0 -1 4202496 2947 0 0 0 209 0 0 0 20 0 1 0 284949272 7659520 1349 33554432000 4194304 4896791 140733873243792 140733873241320 4205551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9434/statm: 1870 1349 77 172 0 1696 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34356
Solver just ended. Dumping a history of the last processes samples
[startup+28.7003 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 9434
/proc/meminfo: memFree=28932748/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=23.37 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5860 43665 0 0 12 4 2310 11 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9433] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9433/stat : 9433 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949272 9367552 266 33554432000 4194304 5064252 140733863977392 140733863976304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9433/statm: 2287 266 226 213 0 72 0
[pid=9434] ppid=9433 vsize=10012 CPUtime=5.29 cores=1,3,5,7
/proc/9434/stat : 9434 (glucose_static) R 9433 9400 6626 0 -1 4202496 4889 0 0 0 528 1 0 0 20 0 1 0 284949272 10252288 1949 33554432000 4194304 4896791 140733873243792 140733873241000 4225397 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9434/statm: 2503 1949 77 172 0 2329 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 36888
[startup+29.5003 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 9434
/proc/meminfo: memFree=28932748/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=23.37 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5860 43665 0 0 12 4 2310 11 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9433] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9433/stat : 9433 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949272 9367552 266 33554432000 4194304 5064252 140733863977392 140733863976304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9433/statm: 2287 266 226 213 0 72 0
[pid=9434] ppid=9433 vsize=8480 CPUtime=6.09 cores=1,3,5,7
/proc/9434/stat : 9434 (glucose_static) R 9433 9400 6626 0 -1 4202496 5609 0 0 0 608 1 0 0 20 0 1 0 284949272 8683520 1755 33554432000 4194304 4896791 140733873243792 140733873241368 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9434/statm: 2120 1755 77 172 0 1946 0
Current children cumulated CPU time (s) 29.46
Current children cumulated vsize (KiB) 35356
[startup+30.3003 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 9434
/proc/meminfo: memFree=28933248/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=23.37 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5860 43665 0 0 12 4 2310 11 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9433] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9433/stat : 9433 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949272 9367552 266 33554432000 4194304 5064252 140733863977392 140733863976304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9433/statm: 2287 266 226 213 0 72 0
[pid=9434] ppid=9433 vsize=10296 CPUtime=6.89 cores=1,3,5,7
/proc/9434/stat : 9434 (glucose_static) R 9433 9400 6626 0 -1 4202496 5866 0 0 0 688 1 0 0 20 0 1 0 284949272 10543104 2002 33554432000 4194304 4896791 140733873243792 140733873241368 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9434/statm: 2574 2002 77 172 0 2400 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 37172
[startup+30.7003 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 9434
/proc/meminfo: memFree=28931760/32873648 swapFree=6864/6864
[pid=9400] ppid=9398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9400/stat : 9400 (runWbo2sat.sh) S 9398 9400 6626 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284946932 9367552 275 33554432000 4194304 5064252 140733513672816 140733513671728 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9400/statm: 2287 275 233 213 0 72 0
[pid=9401] ppid=9400 vsize=8580 CPUtime=23.37 cores=1,3,5,7
/proc/9401/stat : 9401 (wbo2sat) S 9400 9400 6626 0 -1 4202496 5860 43665 0 0 12 4 2310 11 20 0 1 0 284946932 8785920 1460 33554432000 4194304 5872148 140735780155648 140735780148920 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9401/statm: 2145 1460 170 410 0 1727 0
[pid=9433] ppid=9401 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9433/stat : 9433 (satsolver.sh) S 9401 9400 6626 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949272 9367552 266 33554432000 4194304 5064252 140733863977392 140733863976304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9433/statm: 2287 266 226 213 0 72 0
[pid=9434] ppid=9433 vsize=10436 CPUtime=7.29 cores=1,3,5,7
/proc/9434/stat : 9434 (glucose_static) R 9433 9400 6626 0 -1 4202496 6000 0 0 0 728 1 0 0 20 0 1 0 284949272 10686464 2132 33554432000 4194304 4896791 140733873243792 140733873241000 4224963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9434/statm: 2609 2132 77 172 0 2435 0
Current children cumulated CPU time (s) 30.66
Current children cumulated vsize (KiB) 37312
Child status: 0
Real time (s): 30.7738
CPU time (s): 30.7613
CPU user time (s): 30.5813
CPU system time (s): 0.179972
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 38192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.5814
system time used= 0.179972
maximum resident set size= 20012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 92
runsolver used 0.039993 second user time and 0.136979 second system time
The end