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/rand574.cudf.s-e.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand574.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand574.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: 1.01 1.02 1.00 5/36 19687
/proc/meminfo: memFree=519116/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=4108 CPUtime=0.01
/proc/19687/stat : 19687 (packup) R 19686 19686 1511 34817 1511 4202496 511 0 0 0 1 0 0 0 25 0 1 0 4545703 4206592 439 1283457024 134512640 134752139 4288000864 18446744073709551615 134681863 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19687/statm: 1027 439 286 59 0 191 0

[startup+0.153171 s]
/proc/loadavg: 1.01 1.02 1.00 5/36 19687
/proc/meminfo: memFree=519116/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=9416 CPUtime=0.15
/proc/19687/stat : 19687 (packup) R 19686 19686 1511 34817 1511 4202496 1837 0 0 0 15 0 0 0 25 0 1 0 4545703 9641984 1765 1283457024 134512640 134752139 4288000864 18446744073709551615 4157079098 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19687/statm: 2354 1765 286 59 0 1518 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11988

[startup+0.203187 s]
/proc/loadavg: 1.01 1.02 1.00 5/36 19687
/proc/meminfo: memFree=519116/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=11000 CPUtime=0.2
/proc/19687/stat : 19687 (packup) R 19686 19686 1511 34817 1511 4202496 2244 0 0 0 20 0 0 0 25 0 1 0 4545703 11264000 2172 1283457024 134512640 134752139 4288000864 18446744073709551615 134681880 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19687/statm: 2750 2172 286 59 0 1914 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13572

[startup+0.31322 s]
/proc/loadavg: 1.01 1.02 1.00 5/36 19687
/proc/meminfo: memFree=519116/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=14468 CPUtime=0.31
/proc/19687/stat : 19687 (packup) R 19686 19686 1511 34817 1511 4202496 3095 0 0 0 30 1 0 0 25 0 1 0 4545703 14815232 3023 1283457024 134512640 134752139 4288000864 18446744073709551615 134681770 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19687/statm: 3617 3023 286 59 0 2781 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17040

[startup+0.713316 s]
/proc/loadavg: 1.01 1.02 1.00 5/36 19687
/proc/meminfo: memFree=519116/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28412 CPUtime=0.7
/proc/19687/stat : 19687 (packup) R 19686 19686 1511 34817 1511 4202496 6628 0 0 0 68 2 0 0 25 0 1 0 4545703 29093888 6440 1283457024 134512640 134752139 4288000864 18446744073709551615 4157086507 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19687/statm: 7103 6440 321 59 0 6267 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 30984

[startup+1.51351 s]
/proc/loadavg: 1.17 1.05 1.01 2/39 19690
/proc/meminfo: memFree=486212/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28412 CPUtime=0.78
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6632 0 0 0 74 4 0 0 25 0 1 0 4545703 29093888 6443 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7103 6443 324 59 0 6267 0
[pid=19689] ppid=19687 vsize=1672 CPUtime=0
/proc/19689/stat : 19689 (sh) S 19687 19686 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 25 0 1 0 4545783 1712128 123 1283457024 134512640 134593992 4290354752 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19689/statm: 418 123 108 20 0 45 0
[pid=19690] ppid=19689 vsize=15128 CPUtime=0.71
/proc/19690/stat : 19690 (minisatp_32) R 19689 19686 1511 34817 1511 4202496 4317 0 0 0 61 10 0 0 25 0 1 0 4545783 15491072 3594 1283457024 134512640 135413687 4294220304 18446744073709551615 134697193 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19690/statm: 3782 3594 89 220 0 3560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47784

[startup+3.10442 s]
/proc/loadavg: 1.17 1.05 1.01 2/39 19692
/proc/meminfo: memFree=489188/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28416 CPUtime=2.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6708 8420 0 0 82 13 97 11 18 0 1 0 4545703 29097984 6457 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7104 6457 332 59 0 6268 0
[pid=19691] ppid=19687 vsize=1672 CPUtime=0
/proc/19691/stat : 19691 (sh) S 19687 19686 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4545908 1712128 124 1283457024 134512640 134593992 4292956352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19691/statm: 418 124 108 20 0 45 0
[pid=19692] ppid=19691 vsize=25268 CPUtime=1.04
/proc/19692/stat : 19692 (minisatp_32) R 19691 19686 1511 34817 1511 4202496 8282 0 0 0 95 9 0 0 23 0 1 0 4545909 25874432 5796 1283457024 134512640 135413687 4291829696 18446744073709551615 134699242 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19692/statm: 6317 5796 94 220 0 6095 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57928

[startup+6.30534 s]
/proc/loadavg: 1.17 1.05 1.01 2/39 19694
/proc/meminfo: memFree=446408/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28420 CPUtime=4.04
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6778 25443 0 0 91 23 269 21 18 0 1 0 4545703 29102080 6461 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7105 6461 332 59 0 6269 0
[pid=19693] ppid=19687 vsize=1672 CPUtime=0
/proc/19693/stat : 19693 (sh) S 19687 19686 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4546108 1712128 124 1283457024 134512640 134593992 4293443888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19693/statm: 418 124 108 20 0 45 0
[pid=19694] ppid=19693 vsize=50504 CPUtime=2.24
/proc/19694/stat : 19694 (minisatp_32) R 19693 19686 1511 34817 1511 4202496 18547 0 0 0 212 12 0 0 25 0 1 0 4546109 51716096 11682 1283457024 134512640 135413687 4294289952 18446744073709551615 134689145 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19694/statm: 12626 11682 94 220 0 12404 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83168

[startup+12.7072 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=409092/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=92632 CPUtime=5.63
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33101 0 0 0 535 28 0 0 25 0 1 0 4546410 94855168 20935 1283457024 134512640 135413687 4286794480 18446744073709551615 134649856 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 23158 20935 110 220 0 22936 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 125304

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

[startup+12.8072 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=409092/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=92632 CPUtime=5.73
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33106 0 0 0 545 28 0 0 25 0 1 0 4546410 94855168 20940 1283457024 134512640 135413687 4286794480 18446744073709551615 134649868 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 23158 20940 110 220 0 22936 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 125304

[startup+14.4079 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=408472/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=92936 CPUtime=7.33
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33216 0 0 0 705 28 0 0 25 0 1 0 4546410 95166464 21048 1283457024 134512640 135413687 4286794480 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 23234 21048 110 220 0 23012 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 125608

[startup+15.2082 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=408472/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=92936 CPUtime=8.13
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33249 0 0 0 785 28 0 0 25 0 1 0 4546410 95166464 21081 1283457024 134512640 135413687 4286794480 18446744073709551615 134651774 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 23234 21081 110 220 0 23012 0
Current children cumulated CPU time (s) 15.16
Current children cumulated vsize (KiB) 125608

[startup+15.4083 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=408224/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=92936 CPUtime=8.33
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33300 0 0 0 805 28 0 0 25 0 1 0 4546410 95166464 21131 1283457024 134512640 135413687 4286794480 18446744073709551615 134653560 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 23234 21131 110 220 0 23012 0
Current children cumulated CPU time (s) 15.36
Current children cumulated vsize (KiB) 125608

[startup+15.5083 s]
/proc/loadavg: 1.14 1.05 1.01 2/39 19697
/proc/meminfo: memFree=408224/1048576 swapFree=0/0
[pid=19686] ppid=19685 vsize=2572 CPUtime=0
/proc/19686/stat : 19686 (packup2mp4tr-0.) S 19685 19686 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 25 0 1 0 4545703 2633728 274 1283457024 134512640 135304128 4288709696 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19686/statm: 643 274 233 194 0 30 0
[pid=19687] ppid=19686 vsize=28424 CPUtime=7.03
/proc/19687/stat : 19687 (packup) S 19686 19686 1511 34817 1511 4202496 6843 49707 0 0 98 33 536 36 18 0 1 0 4545703 29106176 6462 1283457024 134512640 134752139 4288000864 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19687/statm: 7106 6462 332 59 0 6270 0
[pid=19696] ppid=19687 vsize=1676 CPUtime=0
/proc/19696/stat : 19696 (sh) S 19687 19686 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4546410 1716224 124 1283457024 134512640 134593992 4286825184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19696/statm: 419 124 108 20 0 46 0
[pid=19697] ppid=19696 vsize=89016 CPUtime=8.43
/proc/19697/stat : 19697 (minisatp_32) R 19696 19686 1511 34817 1511 4202496 33312 0 0 0 815 28 0 0 25 0 1 0 4546410 91152384 20270 1283457024 134512640 135413687 4286794480 18446744073709551615 134597339 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19697/statm: 22254 20270 118 220 0 22032 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 121688

Child status: 0
Real time (s): 15.5985
CPU time (s): 15.585
CPU user time (s): 14.5649
CPU system time (s): 1.02006
CPU usage (%): 99.9132
Max. virtual memory (cumulated for all children) (KiB): 136196

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

runsolver used 0 second user time and 0.008 second system time

The end