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/large3.cudf.cudf_set.log.runsolver ./aspcud-trendy-1.3 /home/misc2010/data/2010/cudf_set//large3.cudf /home/misc2010/tmp/201012070034/aspcud-trendy-1.3/large3.cudf.cudf_set.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.10 1.06 1.01 5/45 18473
/proc/meminfo: memFree=879492/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2588 CPUtime=0
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 18 0 1 0 881121584 2650112 282 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/18471/statm: 647 282 237 194 0 33 0
[pid=18472] ppid=18471 vsize=2588 CPUtime=0
/proc/18472/stat : 18472 (aspcud-trendy-1) R 18471 18471 4159 34819 4229 4202560 106 0 0 0 0 0 0 0 25 0 1 0 881121584 2650112 128 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18472/statm: 647 128 82 194 0 33 0
[pid=18473] ppid=18472 vsize=2588 CPUtime=0
/proc/18473/stat : 18473 (aspcud-trendy-1) R 18472 18471 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 881121584 2650112 46 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18473/statm: 647 46 0 194 0 33 0

[startup+0.143178 s]
/proc/loadavg: 1.10 1.06 1.01 5/45 18473
/proc/meminfo: memFree=879492/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.07
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 2616 0 0 0 0 7 0 25 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2600

[startup+0.213197 s]
/proc/loadavg: 1.10 1.06 1.01 5/45 18473
/proc/meminfo: memFree=879492/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2600

[startup+0.303214 s]
/proc/loadavg: 1.10 1.06 1.01 5/45 18473
/proc/meminfo: memFree=879492/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2600

[startup+0.703286 s]
/proc/loadavg: 1.10 1.06 1.01 5/45 18473
/proc/meminfo: memFree=879492/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2600

[startup+1.50345 s]
/proc/loadavg: 1.10 1.06 1.01 2/45 18485
/proc/meminfo: memFree=876148/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=5548 CPUtime=1.34
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1235 0 0 0 134 0 0 0 25 0 1 0 881121586 5681152 1091 1283457024 134512640 136223643 4293191728 18446744073709551615 134931334 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1387 1091 224 418 0 967 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8148

[startup+3.10371 s]
/proc/loadavg: 1.10 1.06 1.01 2/45 18485
/proc/meminfo: memFree=876024/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=5548 CPUtime=2.94
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1235 0 0 0 294 0 0 0 25 0 1 0 881121586 5681152 1091 1283457024 134512640 136223643 4293191728 18446744073709551615 134931303 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1387 1091 224 418 0 967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8148

[startup+6.30443 s]
/proc/loadavg: 1.10 1.06 1.01 2/45 18485
/proc/meminfo: memFree=876024/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=5548 CPUtime=6.14
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1236 0 0 0 614 0 0 0 25 0 1 0 881121586 5681152 1092 1283457024 134512640 136223643 4293191728 18446744073709551615 134940621 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1387 1092 224 418 0 967 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8148

[startup+12.7059 s]
/proc/loadavg: 1.09 1.06 1.01 2/45 18485
/proc/meminfo: memFree=875900/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=5668 CPUtime=12.54
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1265 0 0 0 1254 0 0 0 25 0 1 0 881121586 5804032 1121 1283457024 134512640 136223643 4293191728 18446744073709551615 134931096 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1417 1121 224 418 0 997 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8268

[startup+25.5086 s]
/proc/loadavg: 1.07 1.05 1.01 2/45 18485
/proc/meminfo: memFree=875404/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=6052 CPUtime=25.35
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1372 0 0 0 2535 0 0 0 25 0 1 0 881121586 6197248 1228 1283457024 134512640 136223643 4293191728 18446744073709551615 134931419 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1513 1228 224 418 0 1093 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 8652

[startup+51.1043 s]
/proc/loadavg: 1.04 1.05 1.01 2/45 18485
/proc/meminfo: memFree=875032/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=6444 CPUtime=50.9
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1458 0 0 0 5090 0 0 0 25 0 1 0 881121586 6598656 1314 1283457024 134512640 136223643 4293191728 18446744073709551615 134931319 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1611 1314 224 418 0 1191 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 9044

[startup+102.31 s]
/proc/loadavg: 1.02 1.04 1.00 2/45 18485
/proc/meminfo: memFree=874660/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=6736 CPUtime=102.03
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1544 0 0 0 10203 0 0 0 25 0 1 0 881121586 6897664 1400 1283457024 134512640 136223643 4293191728 18446744073709551615 134924435 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1684 1400 224 418 0 1264 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 9336

[startup+162.313 s]
/proc/loadavg: 1.00 1.03 1.00 2/45 18485
/proc/meminfo: memFree=874164/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7088 CPUtime=161.98
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1626 0 0 0 16198 0 0 0 25 0 1 0 881121586 7258112 1482 1283457024 134512640 136223643 4293191728 18446744073709551615 134931169 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1772 1482 224 418 0 1352 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 9688

[startup+222.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=221.92
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1709 0 0 0 22192 0 0 0 25 0 1 0 881121586 7553024 1558 1283457024 134512640 136223643 4293191728 18446744073709551615 134929495 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1558 224 418 0 1424 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 9976

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

[startup+224.006 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=223.62
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1709 0 0 0 22362 0 0 0 25 0 1 0 881121586 7553024 1558 1283457024 134512640 136223643 4293191728 18446744073709551615 134648265 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1558 224 418 0 1424 0
Current children cumulated CPU time (s) 223.77
Current children cumulated vsize (KiB) 9976

[startup+230.407 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=230.02
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1712 0 0 0 23001 1 0 0 25 0 1 0 881121586 7553024 1561 1283457024 134512640 136223643 4293191728 18446744073709551615 134611138 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1561 224 418 0 1424 0
Current children cumulated CPU time (s) 230.17
Current children cumulated vsize (KiB) 9976

[startup+233.609 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=233.22
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1712 0 0 0 23321 1 0 0 25 0 1 0 881121586 7553024 1561 1283457024 134512640 136223643 4293191728 18446744073709551615 134929304 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1561 224 418 0 1424 0
Current children cumulated CPU time (s) 233.37
Current children cumulated vsize (KiB) 9976

[startup+234.409 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=234.02
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1716 0 0 0 23401 1 0 0 25 0 1 0 881121586 7553024 1565 1283457024 134512640 136223643 4293191728 18446744073709551615 134931009 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1565 224 418 0 1424 0
Current children cumulated CPU time (s) 234.17
Current children cumulated vsize (KiB) 9976

[startup+234.809 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=234.42
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1716 0 0 0 23441 1 0 0 25 0 1 0 881121586 7553024 1565 1283457024 134512640 136223643 4293191728 18446744073709551615 134924228 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1565 224 418 0 1424 0
Current children cumulated CPU time (s) 234.57
Current children cumulated vsize (KiB) 9976

[startup+235.209 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=7376 CPUtime=234.82
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1716 0 0 0 23481 1 0 0 25 0 1 0 881121586 7553024 1565 1283457024 134512640 136223643 4293191728 18446744073709551615 134931201 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1844 1565 224 418 0 1424 0
Current children cumulated CPU time (s) 234.97
Current children cumulated vsize (KiB) 9976

[startup+235.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/45 18485
/proc/meminfo: memFree=873916/1048576 swapFree=2078808/2097144
[pid=18471] ppid=18470 vsize=2600 CPUtime=0.15
/proc/18471/stat : 18471 (aspcud-trendy-1) S 18470 18471 4159 34819 4229 4202496 625 3891 0 0 0 0 15 0 24 0 1 0 881121584 2662400 301 1283457024 134512640 135304128 4291487456 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18471/statm: 650 301 253 194 0 36 0
[pid=18483] ppid=18471 vsize=6500 CPUtime=234.92
/proc/18483/stat : 18483 (clasp) R 18471 18471 4159 34819 4229 4202496 1722 0 0 0 23491 1 0 0 25 0 1 0 881121586 6656000 1425 1283457024 134512640 136223643 4293191728 18446744073709551615 134869294 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18483/statm: 1625 1425 230 418 0 1205 0
Current children cumulated CPU time (s) 235.07
Current children cumulated vsize (KiB) 9100

Child status: 0
Real time (s): 235.331
CPU time (s): 235.087
CPU user time (s): 235.071
CPU system time (s): 0.016001
CPU usage (%): 99.8964
Max. virtual memory (cumulated for all children) (KiB): 9976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.071
system time used= 0.016001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9793
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= 60
involuntary context switches= 2826

runsolver used 0 second user time and 0.012 second system time

The end