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/rand83.cudf.dudf-random.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-random//rand83.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand83.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.30 1.17 1.11 4/34 24316
/proc/meminfo: memFree=361308/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=3420 CPUtime=0
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 306 0 0 0 0 0 0 0 25 0 1 0 4721146 3502080 234 1283457024 134512640 134752139 4286753312 18446744073709551615 4157204112 0 0 0 0 0 0 0 17 0 0 0 0
/proc/24316/statm: 855 234 205 59 0 19 0

[startup+0.163072 s]
/proc/loadavg: 1.30 1.17 1.11 4/34 24316
/proc/meminfo: memFree=361308/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=8900 CPUtime=0.16
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 1718 0 0 0 14 2 0 0 25 0 1 0 4721146 9113600 1646 1283457024 134512640 134752139 4286753312 18446744073709551615 134682048 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 2225 1646 286 59 0 1389 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11472

[startup+0.213084 s]
/proc/loadavg: 1.30 1.17 1.11 4/34 24316
/proc/meminfo: memFree=361308/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=10352 CPUtime=0.22
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 2088 0 0 0 20 2 0 0 25 0 1 0 4721146 10600448 2016 1283457024 134512640 134752139 4286753312 18446744073709551615 4156848815 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 2588 2016 286 59 0 1752 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 12924

[startup+0.30311 s]
/proc/loadavg: 1.30 1.17 1.11 4/34 24316
/proc/meminfo: memFree=361308/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=12844 CPUtime=0.3
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 2715 0 0 0 28 2 0 0 25 0 1 0 4721146 13152256 2643 1283457024 134512640 134752139 4286753312 18446744073709551615 134706174 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 3211 2643 286 59 0 2375 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15416

[startup+0.703229 s]
/proc/loadavg: 1.30 1.17 1.11 4/34 24316
/proc/meminfo: memFree=361308/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=22676 CPUtime=0.7
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 5159 0 0 0 66 4 0 0 25 0 1 0 4721146 23220224 5087 1283457024 134512640 134752139 4286753312 18446744073709551615 134681499 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 5669 5087 286 59 0 4833 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25248

[startup+1.50346 s]
/proc/loadavg: 1.30 1.17 1.11 2/35 24317
/proc/meminfo: memFree=333396/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=47004 CPUtime=1.5
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 11306 0 0 0 145 5 0 0 25 0 1 0 4721146 48132096 11185 1283457024 134512640 134752139 4286753312 18446744073709551615 134668255 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 11751 11185 317 59 0 10915 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 49576

[startup+3.10385 s]
/proc/loadavg: 1.28 1.16 1.11 2/37 24319
/proc/meminfo: memFree=302860/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53276 CPUtime=1.91
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 12921 0 0 0 172 19 0 0 25 0 1 0 4721146 54554624 12575 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13319 12575 325 59 0 12483 0
[pid=24318] ppid=24316 vsize=1672 CPUtime=0
/proc/24318/stat : 24318 (sh) S 24316 24315 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 25 0 1 0 4721337 1712128 123 1283457024 134512640 134593992 4294080976 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24318/statm: 418 123 108 20 0 45 0
[pid=24319] ppid=24318 vsize=30724 CPUtime=1.18
/proc/24319/stat : 24319 (minisatp_32) R 24318 24315 1511 34817 1511 4202496 7092 0 0 0 115 3 0 0 25 0 1 0 4721339 31461376 6345 1283457024 134512640 135413687 4292726944 18446744073709551615 134714703 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24319/statm: 7681 6345 85 220 0 7459 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88244

[startup+6.30469 s]
/proc/loadavg: 1.28 1.16 1.11 2/37 24321
/proc/meminfo: memFree=305472/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53280 CPUtime=5.36
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13008 26309 0 0 182 44 276 34 18 0 1 0 4721146 54558720 12593 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13320 12593 333 59 0 12484 0
[pid=24320] ppid=24316 vsize=1668 CPUtime=0
/proc/24320/stat : 24320 (sh) S 24316 24315 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 4721682 1708032 123 1283457024 134512640 134593992 4290711184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24320/statm: 417 123 108 20 0 44 0
[pid=24321] ppid=24320 vsize=25324 CPUtime=0.94
/proc/24321/stat : 24321 (minisatp_32) R 24320 24315 1511 34817 1511 4202496 5636 0 0 0 92 2 0 0 23 0 1 0 4721683 25931776 4984 1283457024 134512640 135413687 4287839216 18446744073709551615 134966938 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24321/statm: 6331 4984 77 220 0 6109 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 82844

[startup+12.7061 s]
/proc/loadavg: 1.23 1.16 1.10 2/37 24323
/proc/meminfo: memFree=243100/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53284 CPUtime=9.13
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13105 55462 0 0 199 63 591 60 18 0 1 0 4721146 54562816 12603 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13321 12603 333 59 0 12485 0
[pid=24322] ppid=24316 vsize=1676 CPUtime=0.01
/proc/24322/stat : 24322 (sh) S 24316 24315 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 19 0 1 0 4722061 1716224 124 1283457024 134512640 134593992 4288599184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24322/statm: 419 124 108 20 0 46 0
[pid=24323] ppid=24322 vsize=70056 CPUtime=3.55
/proc/24323/stat : 24323 (minisatp_32) R 24322 24315 1511 34817 1511 4202496 27003 0 0 0 333 22 0 0 25 0 1 0 4722061 71737344 16172 1283457024 134512640 135413687 4294121968 18446744073709551615 134699114 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24323/statm: 17514 16172 94 220 0 17292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127588

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

[startup+12.8061 s]
/proc/loadavg: 1.23 1.16 1.10 2/37 24323
/proc/meminfo: memFree=243100/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53284 CPUtime=9.13
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13105 55462 0 0 199 63 591 60 18 0 1 0 4721146 54562816 12603 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13321 12603 333 59 0 12485 0
[pid=24322] ppid=24316 vsize=1676 CPUtime=0.01
/proc/24322/stat : 24322 (sh) S 24316 24315 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 19 0 1 0 4722061 1716224 124 1283457024 134512640 134593992 4288599184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24322/statm: 419 124 108 20 0 46 0
[pid=24323] ppid=24322 vsize=70128 CPUtime=3.65
/proc/24323/stat : 24323 (minisatp_32) R 24322 24315 1511 34817 1511 4202496 27252 0 0 0 343 22 0 0 25 0 1 0 4722061 71811072 16224 1283457024 134512640 135413687 4294121968 18446744073709551615 134961229 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24323/statm: 17532 16224 107 220 0 17310 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 127660

[startup+16.0068 s]
/proc/loadavg: 1.23 1.16 1.10 2/37 24325
/proc/meminfo: memFree=296544/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53288 CPUtime=14.84
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13188 99757 0 0 214 83 1091 96 18 0 1 0 4721146 54566912 12604 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13322 12604 333 59 0 12486 0
[pid=24324] ppid=24316 vsize=1676 CPUtime=0
/proc/24324/stat : 24324 (sh) S 24316 24315 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4722631 1716224 124 1283457024 134512640 134593992 4289492336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24324/statm: 419 124 108 20 0 46 0
[pid=24325] ppid=24324 vsize=29484 CPUtime=1.15
/proc/24325/stat : 24325 (minisatp_32) R 24324 24315 1511 34817 1511 4202496 6655 0 0 0 115 0 0 0 25 0 1 0 4722632 30191616 5998 1283457024 134512640 135413687 4292743328 18446744073709551615 134547873 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24325/statm: 7371 5998 77 220 0 7149 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 87020

[startup+17.6072 s]
/proc/loadavg: 1.22 1.16 1.10 2/37 24325
/proc/meminfo: memFree=207140/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53288 CPUtime=14.84
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13188 99757 0 0 214 83 1091 96 18 0 1 0 4721146 54566912 12604 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13322 12604 333 59 0 12486 0
[pid=24324] ppid=24316 vsize=1676 CPUtime=0
/proc/24324/stat : 24324 (sh) S 24316 24315 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4722631 1716224 124 1283457024 134512640 134593992 4289492336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24324/statm: 419 124 108 20 0 46 0
[pid=24325] ppid=24324 vsize=117144 CPUtime=2.74
/proc/24325/stat : 24325 (minisatp_32) R 24324 24315 1511 34817 1511 4202496 34907 0 0 0 254 20 0 0 25 0 1 0 4722632 119955456 25361 1283457024 134512640 135413687 4292743328 18446744073709551615 134700004 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24325/statm: 29286 25361 94 220 0 29064 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 174680

[startup+19.2076 s]
/proc/loadavg: 1.22 1.16 1.10 2/37 24325
/proc/meminfo: memFree=202924/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53288 CPUtime=14.84
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13188 99757 0 0 214 83 1091 96 18 0 1 0 4721146 54566912 12604 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13322 12604 333 59 0 12486 0
[pid=24324] ppid=24316 vsize=1676 CPUtime=0
/proc/24324/stat : 24324 (sh) S 24316 24315 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4722631 1716224 124 1283457024 134512640 134593992 4289492336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24324/statm: 419 124 108 20 0 46 0
[pid=24325] ppid=24324 vsize=118588 CPUtime=4.34
/proc/24325/stat : 24325 (minisatp_32) R 24324 24315 1511 34817 1511 4202496 41837 0 0 0 413 21 0 0 25 0 1 0 4722632 121434112 26211 1283457024 134512640 135413687 4292743328 18446744073709551615 134689197 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24325/statm: 29647 26211 94 220 0 29425 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 176124

[startup+20.0079 s]
/proc/loadavg: 1.22 1.16 1.10 2/37 24325
/proc/meminfo: memFree=188788/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53288 CPUtime=14.84
/proc/24316/stat : 24316 (packup) S 24315 24315 1511 34817 1511 4202496 13188 99757 0 0 214 83 1091 96 18 0 1 0 4721146 54566912 12604 1283457024 134512640 134752139 4286753312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24316/statm: 13322 12604 333 59 0 12486 0
[pid=24324] ppid=24316 vsize=1676 CPUtime=0
/proc/24324/stat : 24324 (sh) S 24316 24315 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4722631 1716224 124 1283457024 134512640 134593992 4289492336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24324/statm: 419 124 108 20 0 46 0
[pid=24325] ppid=24324 vsize=140016 CPUtime=5.14
/proc/24325/stat : 24325 (minisatp_32) R 24324 24315 1511 34817 1511 4202496 47962 0 0 0 490 24 0 0 25 0 1 0 4722632 143376384 31628 1283457024 134512640 135413687 4292743328 18446744073709551615 134657039 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24325/statm: 35004 31628 107 220 0 34782 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (KiB) 197552

[startup+20.4079 s]
/proc/loadavg: 1.22 1.16 1.10 2/37 24325
/proc/meminfo: memFree=188788/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=53292 CPUtime=20.4
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202496 16105 148214 0 0 220 85 1613 122 18 0 1 0 4721146 54571008 12618 1283457024 134512640 134752139 4286753312 18446744073709551615 4159137508 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 13323 12618 346 59 0 12487 0
Current children cumulated CPU time (s) 20.4
Current children cumulated vsize (KiB) 55864

[startup+20.5083 s]
/proc/loadavg: 1.22 1.16 1.10 2/37 24325
/proc/meminfo: memFree=188788/1048576 swapFree=0/0
[pid=24315] ppid=24314 vsize=2572 CPUtime=0
/proc/24315/stat : 24315 (packup2mp4tr-0.) S 24314 24315 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 18 0 1 0 4721146 2633728 274 1283457024 134512640 135304128 4287431424 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24315/statm: 643 274 233 194 0 30 0
[pid=24316] ppid=24315 vsize=0 CPUtime=20.5
/proc/24316/stat : 24316 (packup) R 24315 24315 1511 34817 1511 4202500 24770 148214 0 0 228 87 1613 122 18 0 1 0 4721146 0 0 1283457024 0 0 0 0 0 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24316/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.5
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 20.5111
CPU time (s): 20.5093
CPU user time (s): 18.4172
CPU system time (s): 2.09213
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 197552

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

runsolver used 0 second user time and 0 second system time

The end