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/201108300820/aspcud-1.5/rand59.cudf.dudf-random.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-random//rand59.cudf /home/misc2010/tmp/201108300820/aspcud-1.5/rand59.cudf.dudf-random.result +sum(installedsize) 

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.03 1.01 4/40 7909
/proc/meminfo: memFree=912660/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2584 CPUtime=0
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 25 0 1 0 53890989 2646016 279 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/7907/statm: 646 279 234 194 0 33 0
[pid=7908] ppid=7907 vsize=2584 CPUtime=0
/proc/7908/stat : 7908 (aspcud-1.5) R 7907 7907 2160 34817 2160 4202560 110 0 0 0 0 0 0 0 25 0 1 0 53890989 2646016 132 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/7908/statm: 646 132 86 194 0 33 0
[pid=7909] ppid=7908 vsize=2584 CPUtime=0
/proc/7909/stat : 7909 (aspcud-1.5) R 7908 7907 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 1 0 53890989 2646016 46 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/7909/statm: 646 46 0 194 0 33 0

[startup+0.148226 s]
/proc/loadavg: 1.12 1.03 1.01 4/40 7909
/proc/meminfo: memFree=912660/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.204247 s]
/proc/loadavg: 1.12 1.03 1.01 4/40 7909
/proc/meminfo: memFree=912660/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.309237 s]
/proc/loadavg: 1.12 1.03 1.01 4/40 7909
/proc/meminfo: memFree=912660/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.704261 s]
/proc/loadavg: 1.12 1.03 1.01 4/40 7909
/proc/meminfo: memFree=912660/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+1.51354 s]
/proc/loadavg: 1.12 1.03 1.01 2/42 7918
/proc/meminfo: memFree=882940/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=1928 CPUtime=0
/proc/7916/stat : 7916 (clasp) S 7907 7907 2160 34817 2160 4202496 274 0 18 0 0 0 0 0 23 0 1 0 53890990 1974272 159 1283457024 134512640 136285277 4289756864 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7916/statm: 482 159 144 433 0 47 0
[pid=7917] ppid=7907 vsize=2584 CPUtime=0
/proc/7917/stat : 7917 (gringo) S 7907 7907 2160 34817 2160 4202496 382 0 23 0 0 0 0 0 22 0 1 0 53890990 2646016 272 1283457024 134512640 136933539 4293080048 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/7917/statm: 646 272 242 592 0 51 0
[pid=7918] ppid=7907 vsize=31104 CPUtime=1.09
/proc/7918/stat : 7918 (cudf2lp) R 7907 7907 2160 34817 2160 4202496 8384 0 15 0 105 4 0 0 25 0 1 0 53890990 31850496 6897 1283457024 134512640 135786343 4292003296 18446744073709551615 134554524 0 0 6 0 0 0 0 17 0 0 0 0
/proc/7918/statm: 7776 6897 135 311 0 7463 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 38208

[startup+3.11408 s]
/proc/loadavg: 1.12 1.03 1.01 3/42 7919
/proc/meminfo: memFree=846668/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=0.01
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 584 1521 0 0 0 0 0 1 25 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=23684 CPUtime=0.09
/proc/7916/stat : 7916 (clasp) S 7907 7907 2160 34817 2160 4202496 6672 0 21 0 4 5 0 0 18 0 1 0 53890990 24252416 5496 1283457024 134512640 136285277 4289756864 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7916/statm: 5921 5496 177 433 0 5486 0
[pid=7917] ppid=7907 vsize=31608 CPUtime=1.21
/proc/7917/stat : 7917 (gringo) R 7907 7907 2160 34817 2160 4202496 9918 0 23 0 112 9 0 0 18 0 1 0 53890990 32366592 6804 1283457024 134512640 136933539 4293080048 18446744073709551615 134685935 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/7917/statm: 7902 6804 242 592 0 7307 0
[pid=7918] ppid=7907 vsize=26528 CPUtime=1.37
/proc/7918/stat : 7918 (cudf2lp) R 7907 7907 2160 34817 2160 4202496 8646 0 15 0 132 5 0 0 25 0 1 0 53890990 27164672 6415 1283457024 134512640 135786343 4292003296 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0
/proc/7918/statm: 6632 6415 139 311 0 6319 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 84412

[startup+6.3049 s]
/proc/loadavg: 1.19 1.05 1.01 3/41 7919
/proc/meminfo: memFree=720452/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=1.51
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 10170 0 15 0 0 145 6 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=84052 CPUtime=0.58
/proc/7916/stat : 7916 (clasp) S 7907 7907 2160 34817 2160 4202496 24021 0 21 0 48 10 0 0 18 0 1 0 53890990 86069248 20396 1283457024 134512640 136285277 4289756864 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7916/statm: 21013 20396 177 433 0 20578 0
[pid=7917] ppid=7907 vsize=153192 CPUtime=3.78
/proc/7917/stat : 7917 (gringo) R 7907 7907 2160 34817 2160 4202496 44776 0 23 0 356 22 0 0 21 0 1 0 53890990 156868608 30674 1283457024 134512640 136933539 4293080048 18446744073709551615 135748023 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/7917/statm: 38298 30674 253 592 0 37703 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 239836

[startup+12.7066 s]
/proc/loadavg: 1.18 1.04 1.01 2/40 7920
/proc/meminfo: memFree=789164/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=114012 CPUtime=6.46
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 34933 0 21 0 632 14 0 0 25 0 1 0 53890990 116748288 28252 1283457024 134512640 136285277 4289756864 18446744073709551615 134669900 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 28503 28252 234 433 0 28068 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 116604

[startup+25.5102 s]
/proc/loadavg: 1.14 1.04 1.01 2/40 7921
/proc/meminfo: memFree=650160/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=243976 CPUtime=19.26
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 67402 0 21 0 1906 20 0 0 25 0 1 0 53890990 249831424 60721 1283457024 134512640 136285277 4289756864 18446744073709551615 134955659 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 60994 60721 234 433 0 60559 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 246568

[startup+51.1062 s]
/proc/loadavg: 1.09 1.04 1.01 2/40 7923
/proc/meminfo: memFree=542652/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=357224 CPUtime=44.83
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 95747 0 21 0 4453 30 0 0 25 0 1 0 53890990 365797376 89066 1283457024 134512640 136285277 4289756864 18446744073709551615 134955194 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 89306 89066 234 433 0 88871 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 359816

[startup+102.309 s]
/proc/loadavg: 1.04 1.03 1.00 2/39 7925
/proc/meminfo: memFree=217052/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=676496 CPUtime=95.97
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 175500 0 21 0 9538 59 0 0 25 0 1 0 53890990 692731904 168819 1283457024 134512640 136285277 4289756864 18446744073709551615 134723339 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 169124 168819 234 433 0 168689 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 679088

[startup+162.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/38 7925
/proc/meminfo: memFree=58712/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=834292 CPUtime=155.89
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 214978 0 21 0 15512 77 0 0 25 0 1 0 53890990 854315008 208297 1283457024 134512640 136285277 4289756864 18446744073709551615 134951781 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 208573 208297 234 433 0 208138 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 836884

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

[startup+166.406 s]
/proc/loadavg: 1.01 1.02 1.00 2/38 7925
/proc/meminfo: memFree=58712/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=834292 CPUtime=159.99
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 214978 0 21 0 15922 77 0 0 25 0 1 0 53890990 854315008 208297 1283457024 134512640 136285277 4289756864 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 208573 208297 234 433 0 208138 0
Current children cumulated CPU time (s) 165.81
Current children cumulated vsize (KiB) 836884

[startup+179.209 s]
/proc/loadavg: 1.01 1.02 1.00 2/38 7925
/proc/meminfo: memFree=40484/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=865452 CPUtime=172.79
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 222771 0 21 0 17201 78 0 0 25 0 1 0 53890990 886222848 216090 1283457024 134512640 136285277 4289756864 18446744073709551615 134955188 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 216363 216090 234 433 0 215928 0
Current children cumulated CPU time (s) 178.61
Current children cumulated vsize (KiB) 868044

[startup+182.409 s]
/proc/loadavg: 1.01 1.02 1.00 2/38 7925
/proc/meminfo: memFree=5856/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=904616 CPUtime=175.98
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 232552 0 21 0 17515 83 0 0 25 0 1 0 53890990 926326784 225871 1283457024 134512640 136285277 4289756864 18446744073709551615 134639147 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 226154 225871 234 433 0 225719 0
Current children cumulated CPU time (s) 181.8
Current children cumulated vsize (KiB) 907208

[startup+185.604 s]
/proc/loadavg: 1.09 1.04 1.01 2/38 7925
/proc/meminfo: memFree=4408/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=948060 CPUtime=179.15
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 243428 0 21 0 17821 94 0 0 25 0 1 0 53890990 970813440 236747 1283457024 134512640 136285277 4289756864 18446744073709551615 134650380 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 237015 236747 234 433 0 236580 0
Current children cumulated CPU time (s) 184.97
Current children cumulated vsize (KiB) 950652

[startup+187.205 s]
/proc/loadavg: 1.09 1.04 1.01 2/38 7925
/proc/meminfo: memFree=4864/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 298 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 298 251 194 0 35 0
[pid=7916] ppid=7907 vsize=969184 CPUtime=180.75
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 248715 0 21 0 17972 103 0 0 25 0 1 0 53890990 992444416 242034 1283457024 134512640 136285277 4289756864 18446744073709551615 134985078 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 242296 242034 234 433 0 241861 0
Current children cumulated CPU time (s) 186.57
Current children cumulated vsize (KiB) 971776

[startup+188.005 s]
/proc/loadavg: 1.09 1.04 1.01 2/38 7925
/proc/meminfo: memFree=4864/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=5.82
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 585 57592 0 38 0 0 546 36 18 0 1 0 53890989 2654208 84 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 84 37 194 0 35 0
[pid=7916] ppid=7907 vsize=980756 CPUtime=181.54
/proc/7916/stat : 7916 (clasp) R 7907 7907 2160 34817 2160 4202496 251598 0 21 0 18045 109 0 0 25 0 1 0 53890990 1004294144 244726 1283457024 134512640 136285277 4289756864 18446744073709551615 134955202 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7916/statm: 245189 244726 43 433 0 244754 0
Current children cumulated CPU time (s) 187.36
Current children cumulated vsize (KiB) 983348

[startup+188.504 s]
/proc/loadavg: 1.09 1.04 1.01 1/37 7925
/proc/meminfo: memFree=982912/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=187.49
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 744 309275 14 59 0 0 18593 156 18 0 1 0 53890989 2654208 203 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 203 156 194 0 35 0
Current children cumulated CPU time (s) 187.49
Current children cumulated vsize (KiB) 2592

[startup+188.604 s]
/proc/loadavg: 1.09 1.04 1.01 1/37 7925
/proc/meminfo: memFree=982912/1048576 swapFree=0/0
[pid=7907] ppid=7906 vsize=2592 CPUtime=187.49
/proc/7907/stat : 7907 (aspcud-1.5) S 7906 7907 2160 34817 2160 4202496 799 309621 14 66 0 0 18593 156 19 0 1 0 53890989 2654208 214 1283457024 134512640 135304128 4293949744 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0
/proc/7907/statm: 648 214 167 194 0 35 0
Current children cumulated CPU time (s) 187.49
Current children cumulated vsize (KiB) 2592

Child status: 0
Real time (s): 188.646
CPU time (s): 187.504
CPU user time (s): 185.94
CPU system time (s): 1.5641
CPU usage (%): 99.3943
Max. virtual memory (cumulated for all children) (KiB): 983348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.94
system time used= 1.5641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312653
page faults= 85
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7075
involuntary context switches= 8387

runsolver used 0 second user time and 0 second system time

The end