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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/aspuncud-basic-1.7/embedded/install/rand179.cudf.log.runsolver /home/competition/aspuncud-basic-1.7/aspuncud-basic /home/competition/data/install/rand179.cudf /tmp/misc2012/2012-09-02-17:21/basic/aspuncud-basic-1.7/embedded/install/rand179.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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: 0.85 0.93 0.90 2/64 6227
/proc/meminfo: memFree=295184/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=3152 CPUtime=0
/proc/6227/stat : 6227 (runsolver) D 6226 6227 1745 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 1 0 115934280 3227648 96 18446744073709551615 134512640 134586868 4293991184 4293989232 4151206960 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/6227/statm: 788 96 64 19 0 73 0

[startup+0.113456 s]
/proc/loadavg: 0.85 0.93 0.90 2/64 6227
/proc/meminfo: memFree=295184/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.200327 s]
/proc/loadavg: 0.85 0.93 0.90 2/64 6227
/proc/meminfo: memFree=295184/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.300311 s]
/proc/loadavg: 0.85 0.93 0.90 2/64 6227
/proc/meminfo: memFree=295184/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.700242 s]
/proc/loadavg: 0.85 0.93 0.90 2/64 6227
/proc/meminfo: memFree=295184/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+1.50033 s]
/proc/loadavg: 0.85 0.93 0.90 2/66 6240
/proc/meminfo: memFree=258828/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6240] ppid=6227 vsize=50676 CPUtime=1.37
/proc/6240/stat : 6240 (cudf2lp) R 6227 6227 1745 0 -1 4202496 14431 0 0 0 132 5 0 0 20 0 1 0 115934284 51892224 11032 18446744073709551615 4194304 5690517 140736938585024 140736938582664 4360943 0 0 16781316 0 0 0 0 17 0 0 0 7 0 0
/proc/6240/statm: 12669 11032 160 366 0 12300 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 59888

[startup+3.10025 s]
/proc/loadavg: 0.85 0.93 0.90 2/66 6240
/proc/meminfo: memFree=214932/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=0.03
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 701 2802 0 0 0 0 2 1 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6240] ppid=6227 vsize=135184 CPUtime=2.93
/proc/6240/stat : 6240 (cudf2lp) R 6227 6227 1745 0 -1 4202496 37761 0 0 0 281 12 0 0 20 0 1 0 115934284 138428416 31033 18446744073709551615 4194304 5690517 140736938585024 140736938582152 4999200 0 0 16781316 0 0 0 0 17 0 0 0 10 0 0
/proc/6240/statm: 33796 31033 168 366 0 33427 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 144396

[startup+6.30024 s]
/proc/loadavg: 0.87 0.93 0.90 2/66 6241
/proc/meminfo: memFree=132348/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=3.57
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 729 42124 0 0 0 0 339 18 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645760 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6241] ppid=6227 vsize=193352 CPUtime=2.57
/proc/6241/stat : 6241 (gringo) R 6227 6227 1745 0 -1 4202496 49238 0 0 0 234 23 0 0 20 0 1 0 115934650 197992448 39958 18446744073709551615 4194304 6531320 140734318784576 140734318781560 5554437 0 0 16781316 16386 0 0 0 17 0 0 0 1 0 0
/proc/6241/statm: 48338 39958 282 571 0 47759 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 202564

[startup+12.7004 s]
/proc/loadavg: 0.96 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=3.9
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36550 0 17 0 382 8 0 0 20 0 1 0 115935138 127930368 30638 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4855815 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30638 226 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 156188

[startup+25.5003 s]
/proc/loadavg: 0.97 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=16.59
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36557 0 17 0 1649 10 0 0 20 0 1 0 115935138 127930368 30645 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4855815 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30645 226 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 156188

[startup+51.1003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=41.98
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36562 0 17 0 4187 11 0 0 20 0 1 0 115935138 127930368 30650 18446744073709551615 4194304 6012874 140737029477760 140737029476824 4494997 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30650 227 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 156188

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

[startup+51.2004 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=42.08
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36562 0 17 0 4197 11 0 0 20 0 1 0 115935138 127930368 30650 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4548913 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30650 227 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 156188

[startup+64.0003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=54.77
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36565 0 17 0 5465 12 0 0 20 0 1 0 115935138 127930368 30653 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4494997 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30653 227 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 63
Current children cumulated vsize (KiB) 156188

[startup+70.4003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244548/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=61.13
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36567 0 17 0 6101 12 0 0 20 0 1 0 115935138 127930368 30655 18446744073709551615 4194304 6012874 140737029477760 140737029476824 4532853 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30655 227 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 69.36
Current children cumulated vsize (KiB) 156188

[startup+72.0003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244424/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=62.71
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36767 0 17 0 6259 12 0 0 20 0 1 0 115935138 127930368 30855 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4541196 0 0 16781316 16386 0 0 0 17 0 0 0 16 0 0
/proc/6242/statm: 31233 30855 227 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 70.94
Current children cumulated vsize (KiB) 156188

[startup+72.8003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244052/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=63.49
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36770 0 18 0 6337 12 0 0 20 0 1 0 115935138 127930368 30859 18446744073709551615 4194304 6012874 140737029477760 140737029477080 4498576 0 0 16781316 16386 0 0 0 17 0 0 0 17 0 0
/proc/6242/statm: 31233 30859 231 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1308 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1131 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1131 508 598 0 597 0
Current children cumulated CPU time (s) 71.72
Current children cumulated vsize (KiB) 156188

[startup+73.6003 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244052/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=8.22
/proc/6227/stat : 6227 (aspuncud-basic) S 6226 6227 1745 0 -1 4202496 769 141867 0 4 0 0 757 65 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535645168 139945265538142 0 65536 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
[pid=6242] ppid=6227 vsize=124932 CPUtime=64.28
/proc/6242/stat : 6242 (unclasp) R 6227 6227 1745 0 -1 4202496 36770 0 18 0 6416 12 0 0 20 0 1 0 115935138 127930368 30859 18446744073709551615 4194304 6012874 140737029477760 140737029476824 5306996 0 0 16781316 16386 0 0 0 17 0 0 0 17 0 0
/proc/6242/statm: 31233 30859 231 444 0 30781 0
[pid=6243] ppid=6227 vsize=22044 CPUtime=0.01
/proc/6243/stat : 6243 (parse.py) S 6227 6227 1745 0 -1 4202496 1310 0 13 0 0 1 0 0 20 0 1 0 115935138 22573056 1133 18446744073709551615 4194304 6642060 140733910773264 140733910771544 139644768724768 0 0 16777220 20994 0 0 0 17 0 0 0 14 0 0
/proc/6243/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 72.51
Current children cumulated vsize (KiB) 156188

[startup+73.8037 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 6243
/proc/meminfo: memFree=244052/1022884 swapFree=0/0
[pid=6227] ppid=6226 vsize=9212 CPUtime=72.73
/proc/6227/stat : 6227 (aspuncud-basic) D 6226 6227 1745 0 -1 4202496 785 179975 0 35 0 0 7191 82 20 0 1 0 115934280 9433088 365 18446744073709551615 4194304 5129932 140733535647104 140733535644440 139945265680501 0 0 16781316 1115778811 0 0 0 17 0 0 0 1 0 0
/proc/6227/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (KiB) 9212

Child status: 0
Real time (s): 73.8537
CPU time (s): 72.7565
CPU user time (s): 71.9205
CPU system time (s): 0.836052
CPU usage (%): 98.5145
Max. virtual memory (cumulated for all children) (KiB): 428984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.9205
system time used= 0.836052
maximum resident set size= 361852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181013
page faults= 36
swaps= 0
block input operations= 73496
block output operations= 47984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130
involuntary context switches= 8931

runsolver used 0.100006 second user time and 0.33202 second system time

The end