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/201108241238/aspcud-trendy-1.5/rand347.cudf.s-e.log.runsolver ./aspcud-trendy-1.5 /home/misc2010/data/2011/incremental/s-e/rand347.cudf /home/misc2010/tmp/201108241238/aspcud-trendy-1.5/rand347.cudf.s-e.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.02 1.02 1.00 5/37 10243
/proc/meminfo: memFree=662580/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2584 CPUtime=0
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2414393 2646016 279 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/10241/statm: 646 279 234 194 0 33 0
[pid=10242] ppid=10241 vsize=2584 CPUtime=0
/proc/10242/stat : 10242 (aspcud-trendy-1) R 10241 10241 1511 34817 1511 4202560 110 0 0 0 0 0 0 0 25 0 1 0 2414393 2646016 132 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10242/statm: 646 132 86 194 0 33 0
[pid=10243] ppid=10242 vsize=2584 CPUtime=0
/proc/10243/stat : 10243 (aspcud-trendy-1) R 10242 10241 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2414393 2646016 46 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10243/statm: 646 46 0 194 0 33 0

[startup+0.157105 s]
/proc/loadavg: 1.02 1.02 1.00 5/37 10243
/proc/meminfo: memFree=662580/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=0.01
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 622 2233 0 0 0 0 1 0 25 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.207117 s]
/proc/loadavg: 1.02 1.02 1.00 5/37 10243
/proc/meminfo: memFree=662580/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=0.01
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 622 2233 0 0 0 0 1 0 25 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.307146 s]
/proc/loadavg: 1.02 1.02 1.00 5/37 10243
/proc/meminfo: memFree=662580/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=0.01
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 622 2233 0 0 0 0 1 0 25 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.707226 s]
/proc/loadavg: 1.02 1.02 1.00 5/37 10243
/proc/meminfo: memFree=662580/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=0.01
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 622 2233 0 0 0 0 1 0 25 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+1.50743 s]
/proc/loadavg: 1.02 1.02 1.00 3/38 10256
/proc/meminfo: memFree=646688/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=17252 CPUtime=0.11
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 4520 0 0 0 9 2 0 0 18 0 1 0 2414394 17666048 4001 1283457024 134512640 136285277 4288709616 18446744073709551615 135059190 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 4313 4001 187 433 0 3878 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19844

[startup+3.10778 s]
/proc/loadavg: 1.02 1.02 1.00 2/37 10256
/proc/meminfo: memFree=643852/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=20084 CPUtime=1.71
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 5665 0 0 0 168 3 0 0 20 0 1 0 2414394 20566016 4782 1283457024 134512640 136285277 4288709616 18446744073709551615 134734701 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 5021 4782 234 433 0 4586 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 22676

[startup+6.3084 s]
/proc/loadavg: 1.02 1.02 1.00 2/37 10256
/proc/meminfo: memFree=642132/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=23300 CPUtime=4.91
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 6492 0 0 0 487 4 0 0 25 0 1 0 2414394 23859200 5609 1283457024 134512640 136285277 4288709616 18446744073709551615 134985078 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 5825 5609 234 433 0 5390 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25892

[startup+12.7022 s]
/proc/loadavg: 1.02 1.02 1.00 2/37 10257
/proc/meminfo: memFree=632088/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=32376 CPUtime=11.29
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 8753 0 0 0 1125 4 0 0 25 0 1 0 2414394 33153024 7870 1283457024 134512640 136285277 4288709616 18446744073709551615 135658566 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 8094 7870 234 433 0 7659 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34968

[startup+25.5055 s]
/proc/loadavg: 1.01 1.02 1.00 2/37 10258
/proc/meminfo: memFree=604808/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=59716 CPUtime=24.09
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 15551 0 0 0 2400 9 0 0 25 0 1 0 2414394 61149184 14668 1283457024 134512640 136285277 4288709616 18446744073709551615 134723310 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 14929 14668 234 433 0 14494 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62308

[startup+51.1112 s]
/proc/loadavg: 1.01 1.02 1.00 2/37 10261
/proc/meminfo: memFree=592532/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=71956 CPUtime=49.66
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 18610 0 0 0 4957 9 0 0 25 0 1 0 2414394 73682944 17727 1283457024 134512640 136285277 4288709616 18446744073709551615 134733718 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 17989 17727 234 433 0 17554 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74548

[startup+102.304 s]
/proc/loadavg: 1.00 1.01 1.00 2/36 10263
/proc/meminfo: memFree=591184/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=73408 CPUtime=100.83
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 18983 0 0 0 10074 9 0 0 25 0 1 0 2414394 75169792 18100 1283457024 134512640 136285277 4288709616 18446744073709551615 134930689 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18352 18100 234 433 0 17917 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 76000

[startup+162.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590572/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=73876 CPUtime=160.78
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19310 0 0 0 16068 10 0 0 25 0 1 0 2414394 75649024 18227 1283457024 134512640 136285277 4288709616 18446744073709551615 134960063 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18469 18227 234 433 0 18034 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 76468

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

[startup+179.212 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590448/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=74008 CPUtime=177.67
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19340 0 0 0 17757 10 0 0 25 0 1 0 2414394 75784192 18257 1283457024 134512640 136285277 4288709616 18446744073709551615 134930797 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18502 18257 234 433 0 18067 0
Current children cumulated CPU time (s) 179.06
Current children cumulated vsize (KiB) 76600

[startup+204.807 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590200/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=74272 CPUtime=203.25
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 20315 10 0 0 25 0 1 0 2414394 76054528 18316 1283457024 134512640 136285277 4288709616 18446744073709551615 134959509 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18568 18316 234 433 0 18133 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 76864

[startup+211.209 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=209.64
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 20954 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134723291 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 211.03
Current children cumulated vsize (KiB) 75436

[startup+214.409 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=212.84
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 21274 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134930878 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 214.23
Current children cumulated vsize (KiB) 75436

[startup+216.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=214.44
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 21434 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134959552 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 215.83
Current children cumulated vsize (KiB) 75436

[startup+216.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=215.24
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 21514 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134966723 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 216.63
Current children cumulated vsize (KiB) 75436

[startup+217.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=215.64
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 21554 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134723341 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 217.03
Current children cumulated vsize (KiB) 75436

[startup+217.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/35 10263
/proc/meminfo: memFree=590944/1048576 swapFree=0/0
[pid=10241] ppid=10240 vsize=2592 CPUtime=1.39
/proc/10241/stat : 10241 (aspcud-trendy-1) S 10240 10241 1511 34817 1511 4202496 623 15352 0 0 0 0 130 9 15 0 1 0 2414393 2654208 298 1283457024 134512640 135304128 4293613792 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/10241/statm: 648 298 251 194 0 35 0
[pid=10253] ppid=10241 vsize=72844 CPUtime=216.04
/proc/10253/stat : 10253 (clasp) R 10241 10241 1511 34817 1511 4202496 19399 0 0 0 21594 10 0 0 25 0 1 0 2414394 74592256 17984 1283457024 134512640 136285277 4288709616 18446744073709551615 134948754 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/10253/statm: 18211 17984 234 433 0 17776 0
Current children cumulated CPU time (s) 217.43
Current children cumulated vsize (KiB) 75436

Child status: 0
Real time (s): 217.689
CPU time (s): 217.506
CPU user time (s): 217.278
CPU system time (s): 0.228014
CPU usage (%): 99.9156
Max. virtual memory (cumulated for all children) (KiB): 76864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.278
system time used= 0.228014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39041
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= 1014
involuntary context switches= 3604

runsolver used 0 second user time and 0 second system time

The end