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/rand376.cudf.s-e.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand376.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand376.cudf.s-e.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: 0.99 0.97 0.98 5/36 12218
/proc/meminfo: memFree=516348/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) R 12216 12217 1511 34817 1511 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=2572 CPUtime=0
/proc/12218/stat : 12218 (packup2mp4tr-0.) R 12217 12217 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2937487 2633728 40 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/12218/statm: 643 40 0 194 0 30 0

[startup+0.185085 s]
/proc/loadavg: 0.99 0.97 0.98 5/36 12218
/proc/meminfo: memFree=516348/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=10344 CPUtime=0.19
/proc/12218/stat : 12218 (packup) R 12217 12217 1511 34817 1511 4202496 2078 0 0 0 19 0 0 0 25 0 1 0 2937487 10592256 2006 1283457024 134512640 134752139 4291044928 18446744073709551615 134694870 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/12218/statm: 2586 2006 286 59 0 1750 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12916

[startup+0.205085 s]
/proc/loadavg: 0.99 0.97 0.98 5/36 12218
/proc/meminfo: memFree=516348/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=11004 CPUtime=0.21
/proc/12218/stat : 12218 (packup) R 12217 12217 1511 34817 1511 4202496 2233 0 0 0 21 0 0 0 25 0 1 0 2937487 11268096 2161 1283457024 134512640 134752139 4291044928 18446744073709551615 134681718 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/12218/statm: 2751 2161 286 59 0 1915 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13576

[startup+0.305108 s]
/proc/loadavg: 0.99 0.97 0.98 5/36 12218
/proc/meminfo: memFree=516348/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=14076 CPUtime=0.31
/proc/12218/stat : 12218 (packup) R 12217 12217 1511 34817 1511 4202496 2998 0 0 0 31 0 0 0 25 0 1 0 2937487 14413824 2926 1283457024 134512640 134752139 4291044928 18446744073709551615 134706169 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/12218/statm: 3519 2926 286 59 0 2683 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 16648

[startup+0.705156 s]
/proc/loadavg: 0.99 0.97 0.98 5/36 12218
/proc/meminfo: memFree=516348/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28332 CPUtime=0.7
/proc/12218/stat : 12218 (packup) R 12217 12217 1511 34817 1511 4202496 6600 0 0 0 62 8 0 0 25 0 1 0 2937487 29011968 6414 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/12218/statm: 7083 6414 321 59 0 6247 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 30904

[startup+1.50529 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12221
/proc/meminfo: memFree=483692/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28332 CPUtime=0.79
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6604 0 0 0 68 11 0 0 25 0 1 0 2937487 29011968 6417 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7083 6417 324 59 0 6247 0
[pid=12220] ppid=12218 vsize=1676 CPUtime=0
/proc/12220/stat : 12220 (sh) S 12218 12217 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 25 0 1 0 2937566 1716224 124 1283457024 134512640 134593992 4288832720 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12220/statm: 419 124 108 20 0 46 0
[pid=12221] ppid=12220 vsize=19796 CPUtime=0.7
/proc/12221/stat : 12221 (minisatp_32) R 12220 12217 1511 34817 1511 4202496 4323 0 0 0 61 9 0 0 25 0 1 0 2937567 20271104 3703 1283457024 134512640 135413687 4288420992 18446744073709551615 134688096 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12221/statm: 4949 3703 89 220 0 4727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52376

[startup+3.10558 s]
/proc/loadavg: 0.99 0.97 0.98 4/39 12223
/proc/meminfo: memFree=489024/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28336 CPUtime=2.15
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6679 9550 0 0 76 20 107 12 18 0 1 0 2937487 29016064 6430 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7084 6430 332 59 0 6248 0
[pid=12222] ppid=12218 vsize=1672 CPUtime=0
/proc/12222/stat : 12222 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2937703 1712128 123 1283457024 134512640 134593992 4290657936 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12222/statm: 418 123 108 20 0 45 0
[pid=12223] ppid=12222 vsize=25340 CPUtime=0.93
/proc/12223/stat : 12223 (minisatp_32) R 12222 12217 1511 34817 1511 4202496 7916 0 0 0 82 11 0 0 23 0 1 0 2937703 25948160 5938 1283457024 134512640 135413687 4286669520 18446744073709551615 134689964 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12223/statm: 6335 5938 94 220 0 6113 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57920

[startup+6.30633 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12226
/proc/meminfo: memFree=445004/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28340 CPUtime=4.11
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6746 26656 0 0 86 27 272 26 18 0 1 0 2937487 29020160 6435 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7085 6435 332 59 0 6249 0
[pid=12224] ppid=12218 vsize=1672 CPUtime=0
/proc/12224/stat : 12224 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2937900 1712128 123 1283457024 134512640 134593992 4290862784 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12224/statm: 418 123 108 20 0 45 0
[pid=12225] ppid=12224 vsize=62608 CPUtime=2.17
/proc/12225/stat : 12225 (minisatp_32) R 12224 12217 1511 34817 1511 4202496 21913 0 0 0 197 20 0 0 25 0 1 0 2937900 64110592 14409 1283457024 134512640 135413687 4287550384 18446744073709551615 134689926 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12225/statm: 15652 14409 107 220 0 15430 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 95192

[startup+12.7086 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12228
/proc/meminfo: memFree=392312/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28344 CPUtime=6.83
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6809 50962 0 0 90 40 506 47 18 0 1 0 2937487 29024256 6436 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7086 6436 332 59 0 6250 0
[pid=12227] ppid=12218 vsize=1668 CPUtime=0
/proc/12227/stat : 12227 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2938171 1708032 123 1283457024 134512640 134593992 4292382768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12227/statm: 417 123 108 20 0 44 0
[pid=12228] ppid=12227 vsize=108492 CPUtime=5.85
/proc/12228/stat : 12228 (minisatp_32) R 12227 12217 1511 34817 1511 4202496 39189 0 0 0 564 21 0 0 25 0 1 0 2938171 111095808 24395 1283457024 134512640 135413687 4294826656 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12228/statm: 27123 24395 110 220 0 26901 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 141076

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

[startup+12.8086 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12228
/proc/meminfo: memFree=392312/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28344 CPUtime=6.83
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6809 50962 0 0 90 40 506 47 18 0 1 0 2937487 29024256 6436 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7086 6436 332 59 0 6250 0
[pid=12227] ppid=12218 vsize=1668 CPUtime=0
/proc/12227/stat : 12227 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2938171 1708032 123 1283457024 134512640 134593992 4292382768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12227/statm: 417 123 108 20 0 44 0
[pid=12228] ppid=12227 vsize=108492 CPUtime=5.95
/proc/12228/stat : 12228 (minisatp_32) R 12227 12217 1511 34817 1511 4202496 39193 0 0 0 574 21 0 0 25 0 1 0 2938171 111095808 24399 1283457024 134512640 135413687 4294826656 18446744073709551615 134651743 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12228/statm: 27123 24399 110 220 0 26901 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 141076

[startup+14.4089 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12228
/proc/meminfo: memFree=392188/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28344 CPUtime=6.83
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6809 50962 0 0 90 40 506 47 18 0 1 0 2937487 29024256 6436 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7086 6436 332 59 0 6250 0
[pid=12227] ppid=12218 vsize=1668 CPUtime=0
/proc/12227/stat : 12227 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2938171 1708032 123 1283457024 134512640 134593992 4292382768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12227/statm: 417 123 108 20 0 44 0
[pid=12228] ppid=12227 vsize=108492 CPUtime=7.55
/proc/12228/stat : 12228 (minisatp_32) R 12227 12217 1511 34817 1511 4202496 39286 0 0 0 734 21 0 0 25 0 1 0 2938171 111095808 24491 1283457024 134512640 135413687 4294826656 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12228/statm: 27123 24491 110 220 0 26901 0
Current children cumulated CPU time (s) 14.38
Current children cumulated vsize (KiB) 141076

[startup+16.0094 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12229
/proc/meminfo: memFree=391816/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28344 CPUtime=6.83
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6809 50962 0 0 90 40 506 47 18 0 1 0 2937487 29024256 6436 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7086 6436 332 59 0 6250 0
[pid=12227] ppid=12218 vsize=1668 CPUtime=0
/proc/12227/stat : 12227 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2938171 1708032 123 1283457024 134512640 134593992 4292382768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12227/statm: 417 123 108 20 0 44 0
[pid=12228] ppid=12227 vsize=108492 CPUtime=9.14
/proc/12228/stat : 12228 (minisatp_32) R 12227 12217 1511 34817 1511 4202496 39355 0 0 0 893 21 0 0 25 0 1 0 2938171 111095808 24560 1283457024 134512640 135413687 4294826656 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12228/statm: 27123 24560 110 220 0 26901 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 141076

[startup+16.8096 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12229
/proc/meminfo: memFree=391816/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28344 CPUtime=6.83
/proc/12218/stat : 12218 (packup) S 12217 12217 1511 34817 1511 4202496 6809 50962 0 0 90 40 506 47 18 0 1 0 2937487 29024256 6436 1283457024 134512640 134752139 4291044928 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/12218/statm: 7086 6436 332 59 0 6250 0
[pid=12227] ppid=12218 vsize=1668 CPUtime=0
/proc/12227/stat : 12227 (sh) S 12218 12217 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 2938171 1708032 123 1283457024 134512640 134593992 4292382768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/12227/statm: 417 123 108 20 0 44 0
[pid=12228] ppid=12227 vsize=108932 CPUtime=9.94
/proc/12228/stat : 12228 (minisatp_32) R 12227 12217 1511 34817 1511 4202496 39405 0 0 0 973 21 0 0 25 0 1 0 2938171 111546368 24608 1283457024 134512640 135413687 4294826656 18446744073709551615 134649844 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/12228/statm: 27233 24608 110 220 0 27011 0
Current children cumulated CPU time (s) 16.77
Current children cumulated vsize (KiB) 141516

[startup+17.0096 s]
/proc/loadavg: 0.99 0.97 0.98 2/39 12229
/proc/meminfo: memFree=391816/1048576 swapFree=0/0
[pid=12217] ppid=12216 vsize=2572 CPUtime=0
/proc/12217/stat : 12217 (packup2mp4tr-0.) S 12216 12217 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 2937486 2633728 273 1283457024 134512640 135304128 4287120048 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/12217/statm: 643 273 233 194 0 30 0
[pid=12218] ppid=12217 vsize=28348 CPUtime=16.98
/proc/12218/stat : 12218 (packup) R 12217 12217 1511 34817 1511 4202496 7663 90529 0 0 92 41 1496 69 18 0 1 0 2937487 29028352 6450 1283457024 134512640 134752139 4291044928 18446744073709551615 4157532398 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/12218/statm: 7087 6450 345 59 0 6251 0
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (KiB) 30920

Child status: 0
Real time (s): 17.0683
CPU time (s): 17.0491
CPU user time (s): 15.937
CPU system time (s): 1.11207
CPU usage (%): 99.8871
Max. virtual memory (cumulated for all children) (KiB): 147536

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

runsolver used 0 second user time and 0 second system time

The end