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/rand250.cudf.s-e-l.log.runsolver ./aspcud-trendy-1.5 /home/misc2010/data/2011/incremental/s-e-l/rand250.cudf /home/misc2010/tmp/201108241238/aspcud-trendy-1.5/rand250.cudf.s-e-l.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.08 1.03 1.01 5/37 6302
/proc/meminfo: memFree=700800/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2584 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 1578427 2646016 279 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/6300/statm: 646 279 234 194 0 33 0
[pid=6301] ppid=6300 vsize=2584 CPUtime=0
/proc/6301/stat : 6301 (aspcud-trendy-1) R 6300 6300 1511 34817 1511 4202560 110 0 0 0 0 0 0 0 25 0 1 0 1578427 2646016 132 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/6301/statm: 646 132 86 194 0 33 0
[pid=6302] ppid=6301 vsize=2584 CPUtime=0
/proc/6302/stat : 6302 (aspcud-trendy-1) R 6301 6300 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 1578427 2646016 46 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/6302/statm: 646 46 0 194 0 33 0

[startup+0.195459 s]
/proc/loadavg: 1.08 1.03 1.01 5/37 6302
/proc/meminfo: memFree=700800/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 622 2232 0 0 0 0 0 0 25 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.205446 s]
/proc/loadavg: 1.08 1.03 1.01 5/37 6302
/proc/meminfo: memFree=700800/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 622 2232 0 0 0 0 0 0 25 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.305471 s]
/proc/loadavg: 1.08 1.03 1.01 5/37 6302
/proc/meminfo: memFree=700800/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 622 2232 0 0 0 0 0 0 25 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.705565 s]
/proc/loadavg: 1.08 1.03 1.01 5/37 6302
/proc/meminfo: memFree=700800/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 622 2232 0 0 0 0 0 0 25 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+1.50574 s]
/proc/loadavg: 1.08 1.03 1.01 2/39 6314
/proc/meminfo: memFree=669268/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=0
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 622 2232 0 0 0 0 0 0 25 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=6660 CPUtime=0.03
/proc/6312/stat : 6312 (clasp) S 6300 6300 1511 34817 1511 4202496 1582 0 0 0 3 0 0 0 18 0 1 0 1578429 6819840 1367 1283457024 134512640 136285277 4291743440 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/6312/statm: 1665 1367 177 433 0 1230 0
[pid=6313] ppid=6300 vsize=9736 CPUtime=0.23
/proc/6313/stat : 6313 (gringo) S 6300 6300 1511 34817 1511 4202496 2599 0 0 0 21 2 0 0 18 0 1 0 1578429 9969664 1690 1283457024 134512640 136933539 4291028640 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/6313/statm: 2434 1690 242 592 0 1839 0
[pid=6314] ppid=6300 vsize=30572 CPUtime=1.22
/proc/6314/stat : 6314 (cudf2lp) R 6300 6300 1511 34817 1511 4202496 10055 0 0 0 114 8 0 0 25 0 1 0 1578429 31305728 7425 1283457024 134512640 135786343 4287130368 18446744073709551615 134876256 0 0 6 0 0 0 0 17 0 0 0 0
/proc/6314/statm: 7643 7425 137 311 0 7330 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49560

[startup+3.1062 s]
/proc/loadavg: 1.15 1.05 1.01 3/38 6314
/proc/meminfo: memFree=660108/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=35872 CPUtime=0.62
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 10429 0 0 0 57 5 0 0 18 0 1 0 1578429 36732928 8684 1283457024 134512640 136285277 4291743440 18446744073709551615 134890070 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 8968 8684 218 433 0 8533 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 38464

[startup+6.30702 s]
/proc/loadavg: 1.15 1.05 1.01 2/37 6314
/proc/meminfo: memFree=666696/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=35328 CPUtime=3.82
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 10462 0 0 0 377 5 0 0 25 0 1 0 1578429 36175872 8596 1283457024 134512640 136285277 4291743440 18446744073709551615 134955202 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 8832 8596 234 433 0 8397 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37920

[startup+12.7084 s]
/proc/loadavg: 1.13 1.05 1.01 2/37 6315
/proc/meminfo: memFree=651956/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=50628 CPUtime=10.22
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 14293 0 0 0 1014 8 0 0 25 0 1 0 1578429 51843072 12427 1283457024 134512640 136285277 4291743440 18446744073709551615 134723339 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 12657 12427 234 433 0 12222 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 53220

[startup+25.5114 s]
/proc/loadavg: 1.11 1.05 1.01 2/36 6315
/proc/meminfo: memFree=644656/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=58068 CPUtime=23
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 16155 0 0 0 2289 11 0 0 25 0 1 0 1578429 59461632 14289 1283457024 134512640 136285277 4291743440 18446744073709551615 134955200 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 14517 14289 234 433 0 14082 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60660

[startup+51.1076 s]
/proc/loadavg: 1.07 1.04 1.01 2/36 6315
/proc/meminfo: memFree=634240/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=68544 CPUtime=48.58
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 18746 0 0 0 4847 11 0 0 25 0 1 0 1578429 70189056 16880 1283457024 134512640 136285277 4291743440 18446744073709551615 134649408 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 17136 16880 234 433 0 16701 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71136

[startup+102.311 s]
/proc/loadavg: 1.03 1.03 1.00 2/35 6315
/proc/meminfo: memFree=575968/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=126768 CPUtime=99.72
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 33268 0 0 0 9957 15 0 0 25 0 1 0 1578429 129810432 31402 1283457024 134512640 136285277 4291743440 18446744073709551615 134967003 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 31692 31402 234 433 0 31257 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 129360

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

[startup+102.411 s]
/proc/loadavg: 1.03 1.03 1.00 2/35 6315
/proc/meminfo: memFree=575968/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=126768 CPUtime=99.82
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 33268 0 0 0 9967 15 0 0 25 0 1 0 1578429 129810432 31402 1283457024 134512640 136285277 4291743440 18446744073709551615 134966958 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 31692 31402 234 433 0 31257 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 129360

[startup+128.008 s]
/proc/loadavg: 1.02 1.03 1.00 2/35 6315
/proc/meminfo: memFree=493384/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=209196 CPUtime=125.39
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 53875 0 0 0 12516 23 0 0 25 0 1 0 1578429 214216704 52009 1283457024 134512640 136285277 4291743440 18446744073709551615 134967003 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 52299 52009 234 433 0 51864 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 211788

[startup+140.811 s]
/proc/loadavg: 1.01 1.03 1.00 2/35 6315
/proc/meminfo: memFree=493384/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=209196 CPUtime=138.19
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 53883 0 0 0 13796 23 0 0 25 0 1 0 1578429 214216704 52017 1283457024 134512640 136285277 4291743440 18446744073709551615 134931519 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 52299 52017 234 433 0 51864 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 211788

[startup+147.213 s]
/proc/loadavg: 1.01 1.03 1.00 2/35 6315
/proc/meminfo: memFree=493384/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=209196 CPUtime=144.58
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 53889 0 0 0 14435 23 0 0 25 0 1 0 1578429 214216704 52023 1283457024 134512640 136285277 4291743440 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 52299 52023 234 433 0 51864 0
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (KiB) 211788

[startup+150.414 s]
/proc/loadavg: 1.01 1.03 1.00 2/35 6315
/proc/meminfo: memFree=487432/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=219252 CPUtime=147.78
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 56394 0 0 0 14753 25 0 0 25 0 1 0 1578429 224514048 54528 1283457024 134512640 136285277 4291743440 18446744073709551615 134930686 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 54813 54528 234 433 0 54378 0
Current children cumulated CPU time (s) 150.26
Current children cumulated vsize (KiB) 221844

[startup+153.604 s]
/proc/loadavg: 1.01 1.02 1.00 2/35 6315
/proc/meminfo: memFree=474412/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=228096 CPUtime=150.97
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 58612 0 0 0 15070 27 0 0 25 0 1 0 1578429 233570304 56746 1283457024 134512640 136285277 4291743440 18446744073709551615 134686305 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 57024 56746 234 433 0 56589 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 230688

[startup+155.205 s]
/proc/loadavg: 1.01 1.02 1.00 2/35 6315
/proc/meminfo: memFree=474412/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=228096 CPUtime=152.57
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 58612 0 0 0 15230 27 0 0 25 0 1 0 1578429 233570304 56746 1283457024 134512640 136285277 4291743440 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 57024 56746 234 433 0 56589 0
Current children cumulated CPU time (s) 155.05
Current children cumulated vsize (KiB) 230688

[startup+156.005 s]
/proc/loadavg: 1.01 1.02 1.00 2/35 6315
/proc/meminfo: memFree=474412/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=228096 CPUtime=153.37
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 58612 0 0 0 15310 27 0 0 25 0 1 0 1578429 233570304 56746 1283457024 134512640 136285277 4291743440 18446744073709551615 134959509 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 57024 56746 234 433 0 56589 0
Current children cumulated CPU time (s) 155.85
Current children cumulated vsize (KiB) 230688

[startup+156.405 s]
/proc/loadavg: 1.01 1.02 1.00 2/35 6315
/proc/meminfo: memFree=474412/1048576 swapFree=0/0
[pid=6300] ppid=6299 vsize=2592 CPUtime=2.48
/proc/6300/stat : 6300 (aspcud-trendy-1) S 6299 6300 1511 34817 1511 4202496 623 25372 0 0 0 0 232 16 18 0 1 0 1578427 2654208 298 1283457024 134512640 135304128 4293376160 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/6300/statm: 648 298 251 194 0 35 0
[pid=6312] ppid=6300 vsize=177176 CPUtime=153.77
/proc/6312/stat : 6312 (clasp) R 6300 6300 1511 34817 1511 4202496 58619 0 0 0 15346 31 0 0 25 0 1 0 1578429 181428224 10266 1283457024 134512640 136285277 4291743440 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/6312/statm: 44294 10266 241 433 0 43859 0
Current children cumulated CPU time (s) 156.25
Current children cumulated vsize (KiB) 179768

Child status: 0
Real time (s): 156.444
CPU time (s): 156.286
CPU user time (s): 155.794
CPU system time (s): 0.49203
CPU usage (%): 99.8989
Max. virtual memory (cumulated for all children) (KiB): 230688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.794
system time used= 0.49203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88296
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= 1247
involuntary context switches= 2702

runsolver used 0 second user time and 0 second system time

The end