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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-real//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201108300820/aspcud-1.5/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.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.19 1.10 1.03 3/37 7562
/proc/meminfo: memFree=929644/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=976 CPUtime=0
/proc/7562/stat : 7562 (aspcud-1.5) R 7561 7562 2160 34817 2160 4194304 107 0 0 0 0 0 0 0 25 0 1 0 53702381 999424 33 1283457024 134512640 135304128 4288496576 18446744073709551615 4160537279 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7562/statm: 244 33 25 194 0 12 0

[startup+0.178391 s]
/proc/loadavg: 1.19 1.10 1.03 3/37 7562
/proc/meminfo: memFree=929644/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2600

[startup+0.206353 s]
/proc/loadavg: 1.19 1.10 1.03 3/37 7562
/proc/meminfo: memFree=929644/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2600

[startup+0.306345 s]
/proc/loadavg: 1.19 1.10 1.03 3/37 7562
/proc/meminfo: memFree=929644/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2600

[startup+0.70636 s]
/proc/loadavg: 1.19 1.10 1.03 3/37 7562
/proc/meminfo: memFree=929644/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2600

[startup+1.50644 s]
/proc/loadavg: 1.19 1.10 1.03 2/41 7573
/proc/meminfo: memFree=900204/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=1928 CPUtime=0
/proc/7571/stat : 7571 (clasp) S 7562 7562 2160 34817 2160 4202496 274 0 19 0 0 0 0 0 22 0 1 0 53702382 1974272 160 1283457024 134512640 136285277 4288024432 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7571/statm: 482 160 144 433 0 47 0
[pid=7572] ppid=7562 vsize=2580 CPUtime=0
/proc/7572/stat : 7572 (gringo) S 7562 7562 2160 34817 2160 4202496 381 0 23 0 0 0 0 0 21 0 1 0 53702382 2641920 271 1283457024 134512640 136933539 4294704688 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/7572/statm: 645 271 242 592 0 50 0
[pid=7573] ppid=7562 vsize=26164 CPUtime=0.99
/proc/7573/stat : 7573 (cudf2lp) R 7562 7562 2160 34817 2160 4202496 7439 0 15 0 98 1 0 0 25 0 1 0 53702382 26791936 5855 1283457024 134512640 135786343 4290365568 18446744073709551615 135044573 0 0 6 0 0 0 0 17 0 0 0 0
/proc/7573/statm: 6541 5855 128 311 0 6228 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 33272

[startup+3.10696 s]
/proc/loadavg: 1.19 1.10 1.03 2/41 7573
/proc/meminfo: memFree=859632/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=9680 CPUtime=0.04
/proc/7571/stat : 7571 (clasp) S 7562 7562 2160 34817 2160 4202496 2462 0 22 0 4 0 0 0 18 0 1 0 53702382 9912320 2147 1283457024 134512640 136285277 4288024432 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7571/statm: 2420 2147 177 433 0 1985 0
[pid=7572] ppid=7562 vsize=14952 CPUtime=0.43
/proc/7572/stat : 7572 (gringo) R 7562 7562 2160 34817 2160 4202496 4194 0 23 0 41 2 0 0 18 0 1 0 53702382 15310848 2602 1283457024 134512640 136933539 4294704688 18446744073709551615 134794904 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/7572/statm: 3738 2602 242 592 0 3143 0
[pid=7573] ppid=7562 vsize=47064 CPUtime=2.04
/proc/7573/stat : 7573 (cudf2lp) R 7562 7562 2160 34817 2160 4202496 16022 0 15 0 198 6 0 0 25 0 1 0 53702382 48193536 11590 1283457024 134512640 135786343 4290365568 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0
/proc/7573/statm: 11766 11590 139 311 0 11453 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 74296

[startup+6.30788 s]
/proc/loadavg: 1.33 1.13 1.04 2/41 7573
/proc/meminfo: memFree=768124/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=0.01
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 1523 0 0 0 0 0 1 25 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=53712 CPUtime=0.31
/proc/7571/stat : 7571 (clasp) S 7562 7562 2160 34817 2160 4202496 15703 0 22 0 28 3 0 0 18 0 1 0 53702382 55001088 12910 1283457024 134512640 136285277 4288024432 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/7571/statm: 13428 12910 177 433 0 12993 0
[pid=7572] ppid=7562 vsize=77072 CPUtime=2.81
/proc/7572/stat : 7572 (gringo) R 7562 7562 2160 34817 2160 4202496 26204 0 23 0 265 16 0 0 18 0 1 0 53702382 78921728 15121 1283457024 134512640 136933539 4294704688 18446744073709551615 136192528 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/7572/statm: 19268 15121 242 592 0 18673 0
[pid=7573] ppid=7562 vsize=47064 CPUtime=2.6
/proc/7573/stat : 7573 (cudf2lp) R 7562 7562 2160 34817 2160 4202496 16022 0 15 0 252 8 0 0 25 0 1 0 53702382 48193536 11590 1283457024 134512640 135786343 4290365568 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0
/proc/7573/statm: 11766 11590 139 311 0 11453 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 180448

[startup+12.7096 s]
/proc/loadavg: 1.31 1.13 1.04 2/39 7573
/proc/meminfo: memFree=558348/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=2.95
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 17548 0 15 0 0 285 10 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=160176 CPUtime=1.51
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 46215 0 22 0 136 15 0 0 18 0 1 0 53702382 164020224 39169 1283457024 134512640 136285277 4288024432 18446744073709551615 134782266 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 40044 39169 177 433 0 39609 0
[pid=7572] ppid=7562 vsize=291704 CPUtime=7.65
/proc/7572/stat : 7572 (gringo) R 7562 7562 2160 34817 2160 4202496 92812 0 23 0 734 31 0 0 25 0 1 0 53702382 298704896 56545 1283457024 134512640 136933539 4294704688 18446744073709551615 135633710 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/7572/statm: 72926 56545 253 592 0 72331 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 454480

[startup+25.5135 s]
/proc/loadavg: 1.24 1.12 1.04 2/38 7573
/proc/meminfo: memFree=692904/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=212460 CPUtime=13.34
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 68326 0 22 0 1308 26 0 0 25 0 1 0 53702382 217559040 52333 1283457024 134512640 136285277 4288024432 18446744073709551615 134905616 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 53115 52333 219 433 0 52680 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 215060

[startup+51.1096 s]
/proc/loadavg: 1.16 1.11 1.04 2/38 7573
/proc/meminfo: memFree=467348/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=445796 CPUtime=38.92
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 127777 0 22 0 3846 46 0 0 25 0 1 0 53702382 456495104 111097 1283457024 134512640 136285277 4288024432 18446744073709551615 134955202 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 111449 111097 234 433 0 111014 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 448396

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

[startup+51.2096 s]
/proc/loadavg: 1.16 1.11 1.04 2/38 7573
/proc/meminfo: memFree=467348/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=447764 CPUtime=39.02
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 128268 0 22 0 3855 47 0 0 25 0 1 0 53702382 458510336 111588 1283457024 134512640 136285277 4288024432 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 111941 111588 234 433 0 111506 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 450364

[startup+64.0136 s]
/proc/loadavg: 1.13 1.11 1.04 2/39 7577
/proc/meminfo: memFree=220588/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=695352 CPUtime=51.77
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 190163 0 22 0 5109 68 0 0 25 0 1 0 53702382 712040448 173483 1283457024 134512640 136285277 4288024432 18446744073709551615 134639264 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 173838 173483 234 433 0 173403 0
Current children cumulated CPU time (s) 63.33
Current children cumulated vsize (KiB) 697952

[startup+70.4052 s]
/proc/loadavg: 1.11 1.10 1.03 2/39 7577
/proc/meminfo: memFree=37812/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=864760 CPUtime=58.15
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 232518 0 22 0 5731 84 0 0 25 0 1 0 53702382 885514240 215838 1283457024 134512640 136285277 4288024432 18446744073709551615 134650464 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 216190 215838 234 433 0 215755 0
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (KiB) 867360

[startup+73.6062 s]
/proc/loadavg: 1.11 1.10 1.03 2/39 7577
/proc/meminfo: memFree=16112/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=905956 CPUtime=61.35
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 242814 0 22 0 6049 86 0 0 25 0 1 0 53702382 927698944 226134 1283457024 134512640 136285277 4288024432 18446744073709551615 134963464 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 226489 226134 234 433 0 226054 0
Current children cumulated CPU time (s) 72.91
Current children cumulated vsize (KiB) 908556

[startup+76.8116 s]
/proc/loadavg: 1.18 1.12 1.04 2/39 7577
/proc/meminfo: memFree=4160/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 299 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 299 251 194 0 37 0
[pid=7571] ppid=7562 vsize=969416 CPUtime=64.53
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 258679 0 22 0 6351 102 0 0 25 0 1 0 53702382 992681984 241999 1283457024 134512640 136285277 4288024432 18446744073709551615 134649462 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 242354 241999 234 433 0 241919 0
Current children cumulated CPU time (s) 76.09
Current children cumulated vsize (KiB) 972016

[startup+77.6092 s]
/proc/loadavg: 1.18 1.12 1.04 1/39 7577
/proc/meminfo: memFree=4228/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=11.56
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 581 115711 0 38 0 0 1108 48 18 0 1 0 53702381 2662400 91 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 91 43 194 0 37 0
[pid=7571] ppid=7562 vsize=979544 CPUtime=65.27
/proc/7571/stat : 7571 (clasp) R 7562 7562 2160 34817 2160 4202496 261186 0 22 0 6422 105 0 0 25 0 1 0 53702382 1003053056 244400 1283457024 134512640 136285277 4288024432 18446744073709551615 134966723 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/7571/statm: 244886 244400 128 433 0 244451 0
Current children cumulated CPU time (s) 76.83
Current children cumulated vsize (KiB) 982144

[startup+79.2513 s]
/proc/loadavg: 1.18 1.12 1.04 1/39 7577
/proc/meminfo: memFree=4228/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=77.31
/proc/7562/stat : 7562 (aspcud-1.5) D 7561 7562 2160 34817 2160 4202496 587 377522 5 105 0 0 7539 192 18 0 1 0 53702381 2662400 60 1283457024 134512640 135304128 4288496576 18446744073709551615 134619292 0 65536 4 1132560123 18446744071564332000 0 0 17 0 0 0 0
/proc/7562/statm: 650 60 12 194 0 37 0
Current children cumulated CPU time (s) 77.31
Current children cumulated vsize (KiB) 2600

[startup+79.4073 s]
/proc/loadavg: 1.18 1.12 1.04 1/38 7577
/proc/meminfo: memFree=982784/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=77.31
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 739 377522 16 105 0 0 7539 192 18 0 1 0 53702381 2662400 204 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 204 156 194 0 37 0
Current children cumulated CPU time (s) 77.31
Current children cumulated vsize (KiB) 2600

[startup+79.5073 s]
/proc/loadavg: 1.18 1.12 1.04 1/38 7577
/proc/meminfo: memFree=982784/1048576 swapFree=0/0
[pid=7562] ppid=7561 vsize=2600 CPUtime=77.31
/proc/7562/stat : 7562 (aspcud-1.5) S 7561 7562 2160 34817 2160 4202496 791 377727 16 110 0 0 7539 192 19 0 1 0 53702381 2662400 215 1283457024 134512640 135304128 4288496576 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0
/proc/7562/statm: 650 215 167 194 0 37 0
Current children cumulated CPU time (s) 77.31
Current children cumulated vsize (KiB) 2600

Child status: 0
Real time (s): 79.5664
CPU time (s): 77.3288
CPU user time (s): 75.3967
CPU system time (s): 1.93212
CPU usage (%): 97.1878
Max. virtual memory (cumulated for all children) (KiB): 983876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.3967
system time used= 1.93212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380884
page faults= 132
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15453
involuntary context switches= 14226

runsolver used 0 second user time and 0.200012 second system time

The end