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/packup2mp4tr-0.6/rand390.cudf.dudf-random.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-random//rand390.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand390.cudf.dudf-random.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.19 1.12 1.03 5/36 9152
/proc/meminfo: memFree=466312/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) R 9150 9151 1511 34817 1511 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=2572 CPUtime=0
/proc/9152/stat : 9152 (packup2mp4tr-0.) R 9151 9151 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 41 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/9152/statm: 994 423 286 59 0 158 0

[startup+0.213494 s]
/proc/loadavg: 1.19 1.12 1.03 5/36 9152
/proc/meminfo: memFree=466312/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=10352 CPUtime=0.21
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 2087 0 0 0 21 0 0 0 25 0 1 0 2139046 10600448 2016 1283457024 134512640 134752139 4294320480 18446744073709551615 134681583 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 2588 2016 286 59 0 1752 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12924

[startup+0.303471 s]
/proc/loadavg: 1.19 1.12 1.03 5/36 9152
/proc/meminfo: memFree=466312/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=12844 CPUtime=0.3
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 2712 0 0 0 30 0 0 0 25 0 1 0 2139046 13152256 2641 1283457024 134512640 134752139 4294320480 18446744073709551615 4159360444 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 3211 2641 286 59 0 2375 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15416

[startup+0.413492 s]
/proc/loadavg: 1.19 1.12 1.03 5/36 9152
/proc/meminfo: memFree=466312/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=15880 CPUtime=0.41
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 3445 0 0 0 41 0 0 0 25 0 1 0 2139046 16261120 3374 1283457024 134512640 134752139 4294320480 18446744073709551615 4157605295 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 3970 3374 286 59 0 3134 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 18452

[startup+0.703549 s]
/proc/loadavg: 1.19 1.12 1.03 5/36 9152
/proc/meminfo: memFree=466312/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=22676 CPUtime=0.7
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 5166 0 0 0 70 0 0 0 25 0 1 0 2139046 23220224 5095 1283457024 134512640 134752139 4294320480 18446744073709551615 134706197 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 5669 5095 286 59 0 4833 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25248

[startup+1.50372 s]
/proc/loadavg: 1.17 1.11 1.03 2/37 9153
/proc/meminfo: memFree=436044/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=47000 CPUtime=1.49
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 11304 0 0 0 148 1 0 0 25 0 1 0 2139046 48128000 11184 1283457024 134512640 134752139 4294320480 18446744073709551615 4159784503 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 11750 11184 317 59 0 10914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49572

[startup+3.10404 s]
/proc/loadavg: 1.17 1.11 1.03 2/39 9155
/proc/meminfo: memFree=405632/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53272 CPUtime=1.9
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 12920 0 0 0 174 16 0 0 25 0 1 0 2139046 54550528 12574 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13318 12574 325 59 0 12482 0
[pid=9154] ppid=9152 vsize=1668 CPUtime=0
/proc/9154/stat : 9154 (sh) S 9152 9151 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 25 0 1 0 2139237 1708032 123 1283457024 134512640 134593992 4288584848 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9154/statm: 417 123 108 20 0 44 0
[pid=9155] ppid=9154 vsize=30980 CPUtime=1.18
/proc/9155/stat : 9155 (minisatp_32) R 9154 9151 1511 34817 1511 4202496 7130 0 0 0 114 4 0 0 25 0 1 0 2139238 31723520 6385 1283457024 134512640 135413687 4291280704 18446744073709551615 134948489 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9155/statm: 7745 6385 85 220 0 7523 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88492

[startup+6.30486 s]
/proc/loadavg: 1.17 1.11 1.03 2/39 9158
/proc/meminfo: memFree=407624/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53276 CPUtime=5.32
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13025 26427 0 0 189 36 282 25 18 0 1 0 2139046 54554624 12592 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13319 12592 333 59 0 12483 0
[pid=9157] ppid=9152 vsize=1676 CPUtime=0
/proc/9157/stat : 9157 (sh) S 9152 9151 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 2139579 1716224 124 1283457024 134512640 134593992 4291913664 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9157/statm: 419 124 108 20 0 46 0
[pid=9158] ppid=9157 vsize=26008 CPUtime=0.96
/proc/9158/stat : 9158 (minisatp_32) R 9157 9151 1511 34817 1511 4202496 5797 0 0 0 94 2 0 0 23 0 1 0 2139580 26632192 5138 1283457024 134512640 135413687 4292757664 18446744073709551615 134752944 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9158/statm: 6502 5138 77 220 0 6280 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83532

[startup+12.7065 s]
/proc/loadavg: 1.15 1.11 1.03 2/39 9160
/proc/meminfo: memFree=349220/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53280 CPUtime=10.12
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13124 67025 0 0 208 53 693 58 18 0 1 0 2139046 54558720 12602 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13320 12602 333 59 0 12484 0
[pid=9159] ppid=9152 vsize=1676 CPUtime=0.01
/proc/9159/stat : 9159 (sh) S 9152 9151 1511 34817 1511 4202496 148 0 0 0 0 1 0 0 18 0 1 0 2140062 1716224 124 1283457024 134512640 134593992 4286608048 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9159/statm: 419 124 108 20 0 46 0
[pid=9160] ppid=9159 vsize=76340 CPUtime=2.53
/proc/9160/stat : 9160 (minisatp_32) R 9159 9151 1511 34817 1511 4202496 22844 0 0 0 226 27 0 0 25 0 1 0 2140062 78172160 16861 1283457024 134512640 135413687 4292247584 18446744073709551615 134688064 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9160/statm: 19085 16861 94 220 0 18863 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 133868

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

[startup+12.9065 s]
/proc/loadavg: 1.15 1.11 1.03 2/39 9160
/proc/meminfo: memFree=349220/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53280 CPUtime=10.12
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13124 67025 0 0 208 53 693 58 18 0 1 0 2139046 54558720 12602 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13320 12602 333 59 0 12484 0
[pid=9159] ppid=9152 vsize=1676 CPUtime=0.01
/proc/9159/stat : 9159 (sh) S 9152 9151 1511 34817 1511 4202496 148 0 0 0 0 1 0 0 18 0 1 0 2140062 1716224 124 1283457024 134512640 134593992 4286608048 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9159/statm: 419 124 108 20 0 46 0
[pid=9160] ppid=9159 vsize=72156 CPUtime=2.73
/proc/9160/stat : 9160 (minisatp_32) R 9159 9151 1511 34817 1511 4202496 23808 0 0 0 246 27 0 0 25 0 1 0 2140062 73887744 16493 1283457024 134512640 135413687 4292247584 18446744073709551615 134649264 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9160/statm: 18039 16493 94 220 0 17817 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 129684

[startup+16.1076 s]
/proc/loadavg: 1.15 1.11 1.03 2/37 9161
/proc/meminfo: memFree=415576/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53284 CPUtime=15.79
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13210 111024 0 0 226 69 1190 94 18 0 1 0 2139046 54562816 12603 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13321 12603 333 59 0 12485 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 55856

[startup+19.3085 s]
/proc/loadavg: 1.30 1.14 1.04 2/39 9163
/proc/meminfo: memFree=307432/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53284 CPUtime=15.79
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13210 111024 0 0 226 69 1190 94 18 0 1 0 2139046 54562816 12603 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13321 12603 333 59 0 12485 0
[pid=9162] ppid=9152 vsize=1672 CPUtime=0.01
/proc/9162/stat : 9162 (sh) S 9152 9151 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 18 0 1 0 2140630 1712128 124 1283457024 134512640 134593992 4289389904 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9162/statm: 418 124 108 20 0 45 0
[pid=9163] ppid=9162 vsize=128080 CPUtime=3.45
/proc/9163/stat : 9163 (minisatp_32) R 9162 9151 1511 34817 1511 4202496 37646 0 0 0 316 29 0 0 25 0 1 0 2140631 131153920 26911 1283457024 134512640 135413687 4294343200 18446744073709551615 134683956 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9163/statm: 32020 26911 94 220 0 31798 0
Current children cumulated CPU time (s) 19.25
Current children cumulated vsize (KiB) 185608

[startup+20.1087 s]
/proc/loadavg: 1.30 1.14 1.04 2/39 9163
/proc/meminfo: memFree=308300/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53284 CPUtime=15.79
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13210 111024 0 0 226 69 1190 94 18 0 1 0 2139046 54562816 12603 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13321 12603 333 59 0 12485 0
[pid=9162] ppid=9152 vsize=1672 CPUtime=0.01
/proc/9162/stat : 9162 (sh) S 9152 9151 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 18 0 1 0 2140630 1712128 124 1283457024 134512640 134593992 4289389904 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9162/statm: 418 124 108 20 0 45 0
[pid=9163] ppid=9162 vsize=119328 CPUtime=4.25
/proc/9163/stat : 9163 (minisatp_32) R 9162 9151 1511 34817 1511 4202496 40463 0 0 0 396 29 0 0 25 0 1 0 2140631 122191872 26343 1283457024 134512640 135413687 4294343200 18446744073709551615 134698551 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9163/statm: 29832 26343 94 220 0 29610 0
Current children cumulated CPU time (s) 20.05
Current children cumulated vsize (KiB) 176856

[startup+20.909 s]
/proc/loadavg: 1.30 1.14 1.04 2/39 9163
/proc/meminfo: memFree=308300/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53284 CPUtime=15.79
/proc/9152/stat : 9152 (packup) S 9151 9151 1511 34817 1511 4202496 13210 111024 0 0 226 69 1190 94 18 0 1 0 2139046 54562816 12603 1283457024 134512640 134752139 4294320480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/9152/statm: 13321 12603 333 59 0 12485 0
[pid=9162] ppid=9152 vsize=1672 CPUtime=0.01
/proc/9162/stat : 9162 (sh) S 9152 9151 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 18 0 1 0 2140630 1712128 124 1283457024 134512640 134593992 4289389904 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/9162/statm: 418 124 108 20 0 45 0
[pid=9163] ppid=9162 vsize=136044 CPUtime=5.04
/proc/9163/stat : 9163 (minisatp_32) R 9162 9151 1511 34817 1511 4202496 46426 0 0 0 472 32 0 0 25 0 1 0 2140631 139309056 30963 1283457024 134512640 135413687 4294343200 18446744073709551615 134697136 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/9163/statm: 34011 30963 107 220 0 33789 0
Current children cumulated CPU time (s) 20.84
Current children cumulated vsize (KiB) 193572

[startup+21.3091 s]
/proc/loadavg: 1.27 1.14 1.04 2/39 9163
/proc/meminfo: memFree=291560/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=0
/proc/9151/stat : 9151 (packup2mp4tr-0.) S 9150 9151 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2139046 2633728 274 1283457024 134512640 135304128 4287855456 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/9151/statm: 643 274 233 194 0 30 0
[pid=9152] ppid=9151 vsize=53288 CPUtime=21.26
/proc/9152/stat : 9152 (packup) R 9151 9151 1511 34817 1511 4202496 16077 158560 0 0 228 73 1695 130 18 0 1 0 2139046 54566912 12616 1283457024 134512640 134752139 4294320480 18446744073709551615 134525596 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/9152/statm: 13322 12616 345 59 0 12486 0
Current children cumulated CPU time (s) 21.26
Current children cumulated vsize (KiB) 55860

[startup+21.4091 s]
/proc/loadavg: 1.27 1.14 1.04 2/39 9163
/proc/meminfo: memFree=291560/1048576 swapFree=0/0
[pid=9151] ppid=9150 vsize=2572 CPUtime=21.36
/proc/9151/stat : 9151 (packup2mp4tr-0.) R 9150 9151 1511 34817 1511 4202496 381 183348 0 0 1 0 1931 204 18 0 1 0 2139046 2633728 275 1283457024 134512640 135304128 4287855456 18446744073709551615 4160340500 0 0 4 84480 0 0 0 17 0 0 0 0
/proc/9151/statm: 643 275 234 194 0 30 0
Current children cumulated CPU time (s) 21.36
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 21.4094
CPU time (s): 21.3773
CPU user time (s): 19.3292
CPU system time (s): 2.04813
CPU usage (%): 99.8503
Max. virtual memory (cumulated for all children) (KiB): 202260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3292
system time used= 2.04813
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183735
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= 19
involuntary context switches= 334

runsolver used 0.008 second user time and 0 second system time

The end