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-3747850-1339112267/watcher-3747850-1339112267 -o /tmp/evaluation-result-3747850-1339112267/solver-3747850-1339112267 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747850-1339112267.opb 917118824 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: 1.41 1.11 1.30 3/176 633
/proc/meminfo: memFree=24030764/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (runsolver) D 631 633 30741 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 377351165 12095488 51 33554432000 4194304 5436572 140733197886272 140733197882568 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/633/statm: 2953 51 31 304 0 2645 0

[startup+0.0923309 s]
/proc/loadavg: 1.41 1.11 1.30 3/176 633
/proc/meminfo: memFree=24030764/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100257 s]
/proc/loadavg: 1.41 1.11 1.30 3/176 633
/proc/meminfo: memFree=24030764/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300217 s]
/proc/loadavg: 1.41 1.11 1.30 3/176 633
/proc/meminfo: memFree=24030764/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70024 s]
/proc/loadavg: 1.41 1.11 1.30 3/176 633
/proc/meminfo: memFree=24030764/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 1.41 1.11 1.30 3/178 635
/proc/meminfo: memFree=23824296/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=184456 CPUtime=1.49 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) R 633 633 30741 0 -1 4202496 28020 0 0 0 142 7 0 0 20 0 1 0 377351166 188882944 42531 33554432000 4194304 6004724 140735562950928 140735562945208 4579232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/635/statm: 46114 42531 154 442 0 45668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193604

[startup+3.10025 s]
/proc/loadavg: 1.41 1.11 1.30 3/178 635
/proc/meminfo: memFree=23705648/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=403056 CPUtime=3.08 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) R 633 633 30741 0 -1 4202496 29596 0 0 0 290 18 0 0 20 0 1 0 377351166 412729344 98225 33554432000 4194304 6004724 140735562950928 140735562946800 5193835 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/635/statm: 100764 98225 157 442 0 100318 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 412204

[startup+6.30039 s]
/proc/loadavg: 1.45 1.13 1.30 3/180 637
/proc/meminfo: memFree=22847364/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=3.2 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29603 0 0 0 290 30 0 0 20 0 1 0 377351166 289583104 68166 33554432000 4194304 6004724 140735562950928 140735562945392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68166 163 442 0 70253 0
[pid=636] ppid=635 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/636/stat : 636 (cp2_pre.sh) S 635 633 30741 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377351487 9367552 277 33554432000 4194304 5064252 140734709129824 140734709128528 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/636/statm: 2287 277 234 213 0 72 0
[pid=637] ppid=636 vsize=540348 CPUtime=3.07 cores=0,2,4,6
/proc/637/stat : 637 (coprocessor) R 636 633 30741 0 -1 4202496 58253 0 0 0 293 14 0 0 20 0 1 0 377351487 553316352 122277 33554432000 4194304 6586260 140735280145200 140735280141464 4500669 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/637/statm: 135087 122277 167 584 0 134499 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 841440

[startup+12.7003 s]
/proc/loadavg: 1.50 1.14 1.30 3/180 637
/proc/meminfo: memFree=22083732/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 291944

[startup+25.5004 s]
/proc/loadavg: 1.69 1.20 1.32 3/179 639
/proc/meminfo: memFree=21623852/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
[pid=639] ppid=635 vsize=246136 CPUtime=13.12 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) R 635 633 30741 0 -1 4202496 44881 0 0 0 1302 10 0 0 20 0 1 0 377352402 252043264 56688 33554432000 4194304 5654031 140733832311360 140733832299176 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/639/statm: 61534 56688 140 357 0 61174 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 538080

Solver just ended. Dumping a history of the last processes samples

[startup+31.9065 s]
/proc/loadavg: 1.71 1.21 1.32 3/180 640
/proc/meminfo: memFree=21098984/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
[pid=639] ppid=635 vsize=249104 CPUtime=19.53 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) R 635 633 30741 0 -1 4202496 45298 0 0 0 1943 10 0 0 20 0 1 0 377352402 255082496 57616 33554432000 4194304 5654031 140733832311360 140733832299176 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62276 57616 140 357 0 61916 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 541048

[startup+35.1004 s]
/proc/loadavg: 1.74 1.22 1.33 3/180 640
/proc/meminfo: memFree=20838268/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
[pid=639] ppid=635 vsize=249104 CPUtime=22.72 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) R 635 633 30741 0 -1 4202496 45307 0 0 0 2262 10 0 0 20 0 1 0 377352402 255082496 57625 33554432000 4194304 5654031 140733832311360 140733832299176 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62276 57625 140 357 0 61916 0
Current children cumulated CPU time (s) 35.05
Current children cumulated vsize (KiB) 541048

[startup+38.3004 s]
/proc/loadavg: 1.74 1.22 1.33 3/180 640
/proc/meminfo: memFree=20663940/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
[pid=639] ppid=635 vsize=249104 CPUtime=25.92 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) R 635 633 30741 0 -1 4202496 45308 0 0 0 2582 10 0 0 20 0 1 0 377352402 255082496 58137 33554432000 4194304 5654031 140733832311360 140733832299176 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62276 58137 140 357 0 61916 0
Current children cumulated CPU time (s) 38.25
Current children cumulated vsize (KiB) 541048

[startup+39.1004 s]
/proc/loadavg: 1.76 1.24 1.33 3/180 640
/proc/meminfo: memFree=20575876/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.33 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) S 633 633 30741 0 -1 4202496 29622 72884 0 0 290 30 871 42 20 0 1 0 377351166 289583104 68170 33554432000 4194304 6004724 140735562950928 140735562937208 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68170 167 442 0 70253 0
[pid=639] ppid=635 vsize=249104 CPUtime=26.72 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) R 635 633 30741 0 -1 4202496 45308 0 0 0 2662 10 0 0 20 0 1 0 377352402 255082496 58137 33554432000 4194304 5654031 140733832311360 140733832299176 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62276 58137 140 357 0 61916 0
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (KiB) 541048

[startup+39.9003 s]
/proc/loadavg: 1.76 1.24 1.33 3/180 640
/proc/meminfo: memFree=20489744/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.42 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) R 633 633 30741 0 -1 4202496 35006 72884 0 0 298 31 871 42 20 0 1 0 377351166 289583104 68176 33554432000 4194304 6004724 140735562950928 140735562937208 4490953 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68176 173 442 0 70253 0
[pid=639] ppid=635 vsize=249112 CPUtime=27.45 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) S 635 633 30741 0 -1 4202496 45401 0 0 0 2735 10 0 0 20 0 1 0 377352402 255090688 58230 33554432000 4194304 5654031 140733832311360 140733832309672 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62278 58230 146 357 0 61918 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 541056

[startup+40.3002 s]
/proc/loadavg: 1.76 1.24 1.33 3/180 640
/proc/meminfo: memFree=20489744/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282796 CPUtime=12.82 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) R 633 633 30741 0 -1 4202496 35006 72884 0 0 338 31 871 42 20 0 1 0 377351166 289583104 68176 33554432000 4194304 6004724 140735562950928 140735562945336 4486886 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70699 68176 173 442 0 70253 0
[pid=639] ppid=635 vsize=249112 CPUtime=27.45 cores=0,2,4,6
/proc/639/stat : 639 (glucosInc) S 635 633 30741 0 -1 4202496 45401 0 0 0 2735 10 0 0 20 0 1 0 377352402 255090688 58230 33554432000 4194304 5654031 140733832311360 140733832309672 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/639/statm: 62278 58230 146 357 0 61918 0
Current children cumulated CPU time (s) 40.27
Current children cumulated vsize (KiB) 541056

[startup+40.4003 s]
/proc/loadavg: 1.76 1.24 1.33 3/180 640
/proc/meminfo: memFree=20489744/32873844 swapFree=6904/6904
[pid=633] ppid=631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (npSolver-pbo-I.) S 631 633 30741 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377351165 9367552 274 33554432000 4194304 5064252 140734422794912 140734422793824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/633/statm: 2287 274 233 213 0 72 0
[pid=635] ppid=633 vsize=282800 CPUtime=40.37 cores=0,2,4,6
/proc/635/stat : 635 (npSolver-pbo) R 633 633 30741 0 -1 4202496 44586 118292 0 0 346 32 3606 53 20 0 1 0 377351166 289587200 68178 33554432000 4194304 6004724 140735562950928 140735562947008 4962859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/635/statm: 70700 68178 174 442 0 70254 0
Current children cumulated CPU time (s) 40.37
Current children cumulated vsize (KiB) 291948

Child status: 0
Real time (s): 40.427
CPU time (s): 40.4189
CPU user time (s): 39.547
CPU system time (s): 0.871867
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 939136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.547
system time used= 0.871867
maximum resident set size= 619652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165059
page faults= 0
swaps= 0
block input operations= 8
block output operations= 339984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1272
involuntary context switches= 64

runsolver used 0.05999 second user time and 0.165974 second system time

The end