runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012070034/aspcud-trendy-1.3/rand550.sarge-etch.cudf.sarge-etch.log.runsolver ./aspcud-trendy-1.3 /home/misc2010/data/icse/sarge-etch/rand550.sarge-etch.cudf /home/misc2010/tmp/201012070034/aspcud-trendy-1.3/rand550.sarge-etch.cudf.sarge-etch.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.12 1.06 3/47 20582
/proc/meminfo: memFree=766108/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2588 CPUtime=0
/proc/20581/stat : 20581 (aspcud-trendy-1) R 20580 20581 4159 34819 4229 4202496 369 0 0 0 0 0 0 0 25 0 1 0 881706380 2650112 282 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/20581/statm: 647 282 237 194 0 33 0
[pid=20582] ppid=20581 vsize=2588 CPUtime=0
/proc/20582/stat : 20582 (aspcud-trendy-1) R 20581 20581 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 881706380 2650112 45 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/20582/statm: 647 45 0 194 0 33 0

[startup+0.142454 s]
/proc/loadavg: 1.12 1.12 1.06 3/47 20582
/proc/meminfo: memFree=766108/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=0
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 2217 0 0 0 0 0 0 25 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.212471 s]
/proc/loadavg: 1.12 1.12 1.06 3/47 20582
/proc/meminfo: memFree=766108/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=0
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 2217 0 0 0 0 0 0 25 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.302481 s]
/proc/loadavg: 1.12 1.12 1.06 3/47 20582
/proc/meminfo: memFree=766108/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=0
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 2217 0 0 0 0 0 0 25 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.702559 s]
/proc/loadavg: 1.12 1.12 1.06 3/47 20582
/proc/meminfo: memFree=766108/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=0
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 2217 0 0 0 0 0 0 25 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+1.50276 s]
/proc/loadavg: 1.12 1.12 1.06 2/49 20595
/proc/meminfo: memFree=738452/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=20892 CPUtime=0.3
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 5660 0 0 0 27 3 0 0 18 0 1 0 881706381 21393408 4744 1283457024 134512640 136223643 4294353232 18446744073709551615 134650447 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 5223 4744 222 418 0 4803 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23488

[startup+3.10305 s]
/proc/loadavg: 1.12 1.12 1.06 2/48 20595
/proc/meminfo: memFree=747396/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=21288 CPUtime=1.9
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 5784 0 0 0 187 3 0 0 20 0 1 0 881706381 21798912 4868 1283457024 134512640 136223643 4294353232 18446744073709551615 134711229 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 5322 4868 225 418 0 4902 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23884

[startup+6.30371 s]
/proc/loadavg: 1.11 1.12 1.06 2/48 20595
/proc/meminfo: memFree=743304/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=25520 CPUtime=5.1
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 6839 0 0 0 507 3 0 0 25 0 1 0 881706381 26132480 5923 1283457024 134512640 136223643 4294353232 18446744073709551615 134650830 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 6380 5923 225 418 0 5960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28116

[startup+12.7052 s]
/proc/loadavg: 1.10 1.11 1.06 2/48 20595
/proc/meminfo: memFree=724704/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=49516 CPUtime=11.5
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 12826 0 0 0 1146 4 0 0 25 0 1 0 881706381 50704384 11910 1283457024 134512640 136223643 4294353232 18446744073709551615 134631716 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 12379 11910 225 418 0 11959 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52112

[startup+25.5085 s]
/proc/loadavg: 1.08 1.11 1.06 2/48 20595
/proc/meminfo: memFree=688620/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=80160 CPUtime=24.3
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 20466 0 0 0 2424 6 0 0 25 0 1 0 881706381 82083840 19550 1283457024 134512640 136223643 4294353232 18446744073709551615 134931099 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 20040 19550 225 418 0 19620 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82756

[startup+51.1153 s]
/proc/loadavg: 1.05 1.10 1.06 2/48 20595
/proc/meminfo: memFree=655884/1048576 swapFree=2077688/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=112620 CPUtime=49.87
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 28600 0 0 0 4971 16 0 0 25 0 1 0 881706381 115322880 27684 1283457024 134512640 136223643 4294353232 18446744073709551615 134928998 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 28155 27684 225 418 0 27735 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 115216

[startup+102.309 s]
/proc/loadavg: 1.06 1.09 1.06 2/49 20599
/proc/meminfo: memFree=644224/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=123300 CPUtime=100.99
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 31683 0 0 0 10082 17 0 0 25 0 1 0 881706381 126259200 30348 1283457024 134512640 136223643 4294353232 18446744073709551615 134648480 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 30825 30348 225 418 0 30405 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 125896

[startup+162.305 s]
/proc/loadavg: 1.02 1.08 1.05 2/48 20599
/proc/meminfo: memFree=642000/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=126204 CPUtime=160.9
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32377 0 0 0 16073 17 0 0 25 0 1 0 881706381 129232896 31042 1283457024 134512640 136223643 4294353232 18446744073709551615 134931099 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31551 31042 225 418 0 31131 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 128800

[startup+222.311 s]
/proc/loadavg: 1.01 1.06 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=220.83
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32666 0 0 0 22066 17 0 0 25 0 1 0 881706381 130314240 31331 1283457024 134512640 136223643 4294353232 18446744073709551615 134931129 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31331 225 418 0 31395 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 129856

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

[startup+230.413 s]
/proc/loadavg: 1.00 1.06 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=228.93
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32666 0 0 0 22876 17 0 0 25 0 1 0 881706381 130314240 31331 1283457024 134512640 136223643 4294353232 18446744073709551615 134931107 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31331 225 418 0 31395 0
Current children cumulated CPU time (s) 230.11
Current children cumulated vsize (KiB) 129856

[startup+243.206 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=241.7
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32666 0 0 0 24153 17 0 0 25 0 1 0 881706381 130314240 31331 1283457024 134512640 136223643 4294353232 18446744073709551615 134928869 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31331 225 418 0 31395 0
Current children cumulated CPU time (s) 242.88
Current children cumulated vsize (KiB) 129856

[startup+249.61 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=248.07
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32666 0 0 0 24790 17 0 0 25 0 1 0 881706381 130314240 31331 1283457024 134512640 136223643 4294353232 18446744073709551615 134631688 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31331 225 418 0 31395 0
Current children cumulated CPU time (s) 249.25
Current children cumulated vsize (KiB) 129856

[startup+252.81 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=251.27
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32666 0 0 0 25110 17 0 0 25 0 1 0 881706381 130314240 31331 1283457024 134512640 136223643 4294353232 18446744073709551615 134940571 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31331 225 418 0 31395 0
Current children cumulated CPU time (s) 252.45
Current children cumulated vsize (KiB) 129856

[startup+254.411 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=252.87
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32669 0 0 0 25270 17 0 0 25 0 1 0 881706381 130314240 31334 1283457024 134512640 136223643 4294353232 18446744073709551615 134918363 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31334 225 418 0 31395 0
Current children cumulated CPU time (s) 254.05
Current children cumulated vsize (KiB) 129856

[startup+255.211 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=127260 CPUtime=253.67
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32669 0 0 0 25350 17 0 0 25 0 1 0 881706381 130314240 31334 1283457024 134512640 136223643 4294353232 18446744073709551615 134664719 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 31815 31334 225 418 0 31395 0
Current children cumulated CPU time (s) 254.85
Current children cumulated vsize (KiB) 129856

[startup+255.412 s]
/proc/loadavg: 1.00 1.05 1.05 2/48 20599
/proc/meminfo: memFree=640884/1048576 swapFree=2077700/2097144
[pid=20581] ppid=20580 vsize=2596 CPUtime=1.18
/proc/20581/stat : 20581 (aspcud-trendy-1) S 20580 20581 4159 34819 4229 4202496 615 14701 0 0 0 0 112 6 15 0 1 0 881706380 2658304 300 1283457024 134512640 135304128 4292919328 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20581/statm: 649 300 253 194 0 35 0
[pid=20593] ppid=20581 vsize=91880 CPUtime=253.87
/proc/20593/stat : 20593 (clasp) R 20581 20581 4159 34819 4229 4202496 32675 0 0 0 25367 20 0 0 25 0 1 0 881706381 94085120 5361 1283457024 134512640 136223643 4294353232 18446744073709551615 135816510 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/20593/statm: 22970 5361 231 418 0 22550 0
Current children cumulated CPU time (s) 255.05
Current children cumulated vsize (KiB) 94476

Child status: 0
Real time (s): 255.435
CPU time (s): 255.084
CPU user time (s): 254.8
CPU system time (s): 0.284017
CPU usage (%): 99.8626
Max. virtual memory (cumulated for all children) (KiB): 129856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.8
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1145
involuntary context switches= 4157

runsolver used 0 second user time and 0.012 second system time

The end