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/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-real//ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.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.10 1.22 1.15 5/35 3233
/proc/meminfo: memFree=361192/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) R 3231 3232 1511 34817 1511 4202496 361 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=3980 CPUtime=0
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 492 0 0 0 0 0 0 0 25 0 1 0 5234877 4075520 421 1283457024 134512640 134752139 4294166784 18446744073709551615 134682182 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 995 421 286 59 0 159 0

[startup+0.153366 s]
/proc/loadavg: 1.10 1.22 1.15 5/35 3233
/proc/meminfo: memFree=361192/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=8812 CPUtime=0.14
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 1692 0 0 0 13 1 0 0 25 0 1 0 5234877 9023488 1621 1283457024 134512640 134752139 4294166784 18446744073709551615 134681639 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 2203 1621 286 59 0 1367 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 11384

[startup+0.203377 s]
/proc/loadavg: 1.10 1.22 1.15 5/35 3233
/proc/meminfo: memFree=361192/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=10264 CPUtime=0.19
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 2069 0 0 0 18 1 0 0 25 0 1 0 5234877 10510336 1998 1283457024 134512640 134752139 4294166784 18446744073709551615 134695505 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 2566 1998 286 59 0 1730 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12836

[startup+0.313411 s]
/proc/loadavg: 1.10 1.22 1.15 5/35 3233
/proc/meminfo: memFree=361192/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=13364 CPUtime=0.3
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 2826 0 0 0 28 2 0 0 25 0 1 0 5234877 13684736 2755 1283457024 134512640 134752139 4294166784 18446744073709551615 4157014755 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 3341 2755 286 59 0 2505 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15936

[startup+0.71349 s]
/proc/loadavg: 1.10 1.22 1.15 5/35 3233
/proc/meminfo: memFree=361192/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=23212 CPUtime=0.7
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 5287 0 0 0 67 3 0 0 25 0 1 0 5234877 23769088 5216 1283457024 134512640 134752139 4294166784 18446744073709551615 134681846 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 5803 5216 286 59 0 4967 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25784

[startup+1.51367 s]
/proc/loadavg: 1.10 1.22 1.15 2/36 3234
/proc/meminfo: memFree=330428/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47888 CPUtime=1.5
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 11588 0 0 0 130 20 0 0 25 0 1 0 5234877 49037312 11206 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 11972 11206 322 59 0 11136 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 50460

[startup+3.11401 s]
/proc/loadavg: 1.10 1.22 1.15 2/38 3236
/proc/meminfo: memFree=303116/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47888 CPUtime=1.65
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11592 0 0 0 135 30 0 0 25 0 1 0 5234877 49037312 11209 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11972 11209 325 59 0 11136 0
[pid=3235] ppid=3233 vsize=1672 CPUtime=0
/proc/3235/stat : 3235 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 25 0 1 0 5235043 1712128 124 1283457024 134512640 134593992 4291624816 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3235/statm: 418 124 108 20 0 45 0
[pid=3236] ppid=3235 vsize=31132 CPUtime=1.43
/proc/3236/stat : 3236 (minisatp_32) R 3235 3232 1511 34817 1511 4202496 8769 0 0 0 124 19 0 0 25 0 1 0 5235045 31879168 7375 1283457024 134512640 135413687 4291909584 18446744073709551615 134657337 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3236/statm: 7783 7375 89 220 0 7561 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83264

[startup+6.30479 s]
/proc/loadavg: 1.10 1.21 1.15 4/38 3238
/proc/meminfo: memFree=313540/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47892 CPUtime=5.46
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11702 28830 0 0 149 50 313 34 18 0 1 0 5234877 49041408 11228 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11973 11228 333 59 0 11137 0
[pid=3237] ppid=3233 vsize=1676 CPUtime=0
/proc/3237/stat : 3237 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 5235425 1716224 124 1283457024 134512640 134593992 4289799600 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3237/statm: 419 124 108 20 0 46 0
[pid=3238] ppid=3237 vsize=23552 CPUtime=0.81
/proc/3238/stat : 3238 (minisatp_32) R 3237 3232 1511 34817 1511 4202496 5200 0 0 0 81 0 0 0 23 0 1 0 5235426 24117248 4563 1283457024 134512640 135413687 4287802352 18446744073709551615 134714706 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3238/statm: 5888 4563 77 220 0 5666 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 75692

[startup+12.7069 s]
/proc/loadavg: 1.09 1.21 1.15 2/38 3240
/proc/meminfo: memFree=274604/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47896 CPUtime=10.49
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11817 70066 0 0 166 66 760 57 18 0 1 0 5234877 49045504 11238 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11974 11238 333 59 0 11138 0
[pid=3239] ppid=3233 vsize=1676 CPUtime=0
/proc/3239/stat : 3239 (sh) S 3233 3232 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 5235929 1716224 124 1283457024 134512640 134593992 4286808800 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3239/statm: 419 124 108 20 0 46 0
[pid=3240] ppid=3239 vsize=88740 CPUtime=2.18
/proc/3240/stat : 3240 (minisatp_32) R 3239 3232 1511 34817 1511 4202496 22965 0 0 0 202 16 0 0 25 0 1 0 5235930 90869760 18043 1283457024 134512640 135413687 4294779536 18446744073709551615 134688022 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3240/statm: 22185 18043 94 220 0 21963 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 140884

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

[startup+12.8069 s]
/proc/loadavg: 1.09 1.21 1.15 2/38 3240
/proc/meminfo: memFree=274604/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47896 CPUtime=10.49
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11817 70066 0 0 166 66 760 57 18 0 1 0 5234877 49045504 11238 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11974 11238 333 59 0 11138 0
[pid=3239] ppid=3233 vsize=1676 CPUtime=0
/proc/3239/stat : 3239 (sh) S 3233 3232 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 5235929 1716224 124 1283457024 134512640 134593992 4286808800 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3239/statm: 419 124 108 20 0 46 0
[pid=3240] ppid=3239 vsize=77376 CPUtime=2.28
/proc/3240/stat : 3240 (minisatp_32) R 3239 3232 1511 34817 1511 4202496 24017 0 0 0 212 16 0 0 25 0 1 0 5235930 79233024 17316 1283457024 134512640 135413687 4294779536 18446744073709551615 134656217 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3240/statm: 19344 17316 94 220 0 19122 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 129520

[startup+16.0077 s]
/proc/loadavg: 1.08 1.21 1.14 2/37 3240
/proc/meminfo: memFree=201452/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47900 CPUtime=15.98
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 11911 115118 0 0 179 87 1239 93 18 0 1 0 5234877 49049600 11239 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 11975 11239 333 59 0 11139 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 50472

[startup+19.2081 s]
/proc/loadavg: 1.08 1.21 1.14 2/37 3242
/proc/meminfo: memFree=209760/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47900 CPUtime=15.98
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11912 115118 0 0 179 87 1239 93 18 0 1 0 5234877 49049600 11239 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11975 11239 333 59 0 11139 0
[pid=3241] ppid=3233 vsize=1672 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 5236478 1712128 124 1283457024 134512640 134593992 4292083680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3241/statm: 418 124 108 20 0 45 0
[pid=3242] ppid=3241 vsize=120916 CPUtime=3.19
/proc/3242/stat : 3242 (minisatp_32) R 3241 3232 1511 34817 1511 4202496 38820 0 0 0 289 30 0 0 25 0 1 0 5236479 123817984 27262 1283457024 134512640 135413687 4290905824 18446744073709551615 134649264 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3242/statm: 30229 27262 94 220 0 30007 0
Current children cumulated CPU time (s) 19.17
Current children cumulated vsize (KiB) 173060

[startup+20.8084 s]
/proc/loadavg: 1.07 1.20 1.14 2/37 3242
/proc/meminfo: memFree=203064/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47900 CPUtime=15.98
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11912 115118 0 0 179 87 1239 93 18 0 1 0 5234877 49049600 11239 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11975 11239 333 59 0 11139 0
[pid=3241] ppid=3233 vsize=1672 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 5236478 1712128 124 1283457024 134512640 134593992 4292083680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3241/statm: 418 124 108 20 0 45 0
[pid=3242] ppid=3241 vsize=128432 CPUtime=4.79
/proc/3242/stat : 3242 (minisatp_32) R 3241 3232 1511 34817 1511 4202496 45275 0 0 0 446 33 0 0 25 0 1 0 5236479 131514368 28286 1283457024 134512640 135413687 4290905824 18446744073709551615 134960969 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3242/statm: 32108 28286 107 220 0 31886 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 180576

[startup+21.6086 s]
/proc/loadavg: 1.07 1.20 1.14 2/37 3242
/proc/meminfo: memFree=192772/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47900 CPUtime=15.98
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11912 115118 0 0 179 87 1239 93 18 0 1 0 5234877 49049600 11239 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11975 11239 333 59 0 11139 0
[pid=3241] ppid=3233 vsize=1672 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 5236478 1712128 124 1283457024 134512640 134593992 4292083680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3241/statm: 418 124 108 20 0 45 0
[pid=3242] ppid=3241 vsize=151048 CPUtime=5.59
/proc/3242/stat : 3242 (minisatp_32) R 3241 3232 1511 34817 1511 4202496 52907 0 0 0 523 36 0 0 25 0 1 0 5236479 154673152 33692 1283457024 134512640 135413687 4290905824 18446744073709551615 134699124 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3242/statm: 37762 33692 107 220 0 37540 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 203192

[startup+22.0099 s]
/proc/loadavg: 1.07 1.20 1.14 2/37 3242
/proc/meminfo: memFree=200212/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47900 CPUtime=15.98
/proc/3233/stat : 3233 (packup) S 3232 3232 1511 34817 1511 4202496 11912 115118 0 0 179 87 1239 93 18 0 1 0 5234877 49049600 11239 1283457024 134512640 134752139 4294166784 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/3233/statm: 11975 11239 333 59 0 11139 0
[pid=3241] ppid=3233 vsize=1672 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3233 3232 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 5236478 1712128 124 1283457024 134512640 134593992 4292083680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/3241/statm: 418 124 108 20 0 45 0
[pid=3242] ppid=3241 vsize=0 CPUtime=5.99
/proc/3242/stat : 3242 (minisatp_32) R 3241 3232 1511 34817 1511 4202500 53198 0 0 0 561 38 0 0 25 0 1 0 5236479 0 0 1283457024 0 0 0 0 0 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/3242/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.97
Current children cumulated vsize (KiB) 52144

[startup+22.1095 s]
/proc/loadavg: 1.07 1.20 1.14 2/37 3242
/proc/meminfo: memFree=200212/1048576 swapFree=0/0
[pid=3232] ppid=3231 vsize=2572 CPUtime=0
/proc/3232/stat : 3232 (packup2mp4tr-0.) S 3231 3232 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 5234877 2633728 274 1283457024 134512640 135304128 4294187328 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/3232/statm: 643 274 233 194 0 30 0
[pid=3233] ppid=3232 vsize=47128 CPUtime=22.07
/proc/3233/stat : 3233 (packup) R 3232 3232 1511 34817 1511 4202496 21147 168464 0 0 182 93 1800 132 18 0 1 0 5234877 48259072 11058 1283457024 134512640 134752139 4294166784 18446744073709551615 4158804161 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/3233/statm: 11782 11058 345 59 0 10946 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 49700

Child status: 0
Real time (s): 22.1834
CPU time (s): 22.1694
CPU user time (s): 19.8932
CPU system time (s): 2.27614
CPU usage (%): 99.9369
Max. virtual memory (cumulated for all children) (KiB): 210004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8932
system time used= 2.27614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191068
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= 346

runsolver used 0.012 second user time and 0 second system time

The end