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/201108251442/packup2mp4pa-0.6/rand90.cudf.s-e-l-s-s.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand90.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand90.cudf.s-e-l-s-s.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.51 1.43 1.18 5/36 13879 /proc/meminfo: memFree=358272/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=4376 CPUtime=0.01 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 582 0 0 0 1 0 0 0 25 0 1 0 10601203 4481024 511 1283457024 134512640 134752139 4291018288 18446744073709551615 4157477603 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 1094 511 286 59 0 258 0 [startup+0.227633 s] /proc/loadavg: 1.51 1.43 1.18 5/36 13879 /proc/meminfo: memFree=358272/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=12456 CPUtime=0.22 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 2605 0 0 0 20 2 0 0 25 0 1 0 10601203 12754944 2534 1283457024 134512640 134752139 4291018288 18446744073709551615 134695944 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 3114 2534 286 59 0 2278 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 15032 [startup+0.307644 s] /proc/loadavg: 1.51 1.43 1.18 5/36 13879 /proc/meminfo: memFree=358272/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=14964 CPUtime=0.3 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 3237 0 0 0 28 2 0 0 25 0 1 0 10601203 15323136 3166 1283457024 134512640 134752139 4291018288 18446744073709551615 134643744 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 3741 3166 286 59 0 2905 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17540 [startup+0.407668 s] /proc/loadavg: 1.51 1.43 1.18 5/36 13879 /proc/meminfo: memFree=358272/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=18132 CPUtime=0.4 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 4027 0 0 0 37 3 0 0 25 0 1 0 10601203 18567168 3956 1283457024 134512640 134752139 4291018288 18446744073709551615 134681583 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 4533 3956 286 59 0 3697 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 20708 [startup+0.707754 s] /proc/loadavg: 1.51 1.43 1.18 5/36 13879 /proc/meminfo: memFree=358272/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=26392 CPUtime=0.7 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 6099 0 0 0 64 6 0 0 25 0 1 0 10601203 27025408 6028 1283457024 134512640 134752139 4291018288 18446744073709551615 134681869 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 6598 6028 286 59 0 5762 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 28968 [startup+1.508 s] /proc/loadavg: 1.51 1.43 1.18 2/37 13880 /proc/meminfo: memFree=323508/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=53868 CPUtime=1.51 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 13044 0 0 0 142 9 0 0 25 0 1 0 10601203 55160832 12924 1283457024 134512640 134752139 4291018288 18446744073709551615 134638265 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 13467 12924 316 59 0 12631 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 56444 [startup+3.10839 s] /proc/loadavg: 1.51 1.43 1.18 2/39 13882 /proc/meminfo: memFree=293716/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57576 CPUtime=1.88 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 13968 0 0 0 156 32 0 0 25 0 1 0 10601203 58957824 13613 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14394 13613 324 59 0 13558 0 [pid=13881] ppid=13879 vsize=1672 CPUtime=0 /proc/13881/stat : 13881 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 25 0 1 0 10601389 1712128 124 1283457024 134512640 134593992 4291401536 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13881/statm: 418 124 108 20 0 45 0 [pid=13882] ppid=13881 vsize=29708 CPUtime=1.23 /proc/13882/stat : 13882 (minisatp_32) R 13881 13878 4778 34817 4778 4202496 6979 0 0 0 110 13 0 0 25 0 1 0 10601391 30420992 6258 1283457024 134512640 135413687 4294314528 18446744073709551615 134686304 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13882/statm: 7427 6258 85 220 0 7205 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 91532 [startup+6.31563 s] /proc/loadavg: 1.47 1.42 1.18 2/39 13884 /proc/meminfo: memFree=268544/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=60324 CPUtime=2.14 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 18255 0 0 0 194 20 0 0 25 0 1 0 10601620 61771776 13473 1283457024 134512640 135413687 4293198096 18446744073709551615 134656149 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 15081 13473 109 220 0 14859 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 122152 [startup+12.7073 s] /proc/loadavg: 1.43 1.41 1.18 2/39 13885 /proc/meminfo: memFree=170840/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=145068 CPUtime=8.53 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 48397 0 0 0 820 33 0 0 25 0 1 0 10601620 148549632 32882 1283457024 134512640 135413687 4293198096 18446744073709551615 134707945 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 36267 32882 110 220 0 36045 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 206896 Solver just ended. Dumping a history of the last processes samples [startup+12.9073 s] /proc/loadavg: 1.43 1.41 1.18 2/39 13885 /proc/meminfo: memFree=170840/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=154172 CPUtime=8.73 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 51426 0 0 0 839 34 0 0 25 0 1 0 10601620 157872128 35853 1283457024 134512640 135413687 4293198096 18446744073709551615 134686229 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 38543 35853 110 220 0 38321 0 Current children cumulated CPU time (s) 12.81 Current children cumulated vsize (KiB) 216000 [startup+16.1083 s] /proc/loadavg: 1.40 1.41 1.18 2/39 13885 /proc/meminfo: memFree=122976/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=204044 CPUtime=11.92 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 66882 0 0 0 1148 44 0 0 25 0 1 0 10601620 208941056 44873 1283457024 134512640 135413687 4293198096 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 51011 44873 139 220 0 50789 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 265872 [startup+16.9086 s] /proc/loadavg: 1.40 1.41 1.18 2/39 13885 /proc/meminfo: memFree=122852/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=204044 CPUtime=12.72 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 67574 0 0 0 1228 44 0 0 25 0 1 0 10601620 208941056 44884 1283457024 134512640 135413687 4293198096 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 51011 44884 138 220 0 50789 0 Current children cumulated CPU time (s) 16.8 Current children cumulated vsize (KiB) 265872 [startup+17.3088 s] /proc/loadavg: 1.40 1.41 1.18 2/39 13885 /proc/meminfo: memFree=122852/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=204044 CPUtime=13.12 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202496 67579 0 0 0 1268 44 0 0 25 0 1 0 10601620 208941056 44889 1283457024 134512640 135413687 4293198096 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 51011 44889 138 220 0 50789 0 Current children cumulated CPU time (s) 17.2 Current children cumulated vsize (KiB) 265872 [startup+17.5097 s] /proc/loadavg: 1.40 1.41 1.18 2/39 13885 /proc/meminfo: memFree=122852/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=57580 CPUtime=4.08 /proc/13879/stat : 13879 (packup) S 13878 13878 4778 34817 4778 4202496 14040 11854 0 0 169 51 169 19 18 0 1 0 10601203 58961920 13622 1283457024 134512640 134752139 4291018288 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/13879/statm: 14395 13622 332 59 0 13559 0 [pid=13883] ppid=13879 vsize=1672 CPUtime=0 /proc/13883/stat : 13883 (sh) S 13879 13878 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10601619 1712128 124 1283457024 134512640 134593992 4292073440 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13883/statm: 418 124 108 20 0 45 0 [pid=13884] ppid=13883 vsize=0 CPUtime=13.33 /proc/13884/stat : 13884 (minisatp_32) R 13883 13878 4778 34817 4778 4202500 67931 0 0 0 1286 47 0 0 25 0 1 0 10601620 0 0 1283457024 0 0 0 0 0 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/13884/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 17.41 Current children cumulated vsize (KiB) 61828 [startup+17.6095 s] /proc/loadavg: 1.40 1.41 1.18 2/39 13885 /proc/meminfo: memFree=122852/1048576 swapFree=0/0 [pid=13878] ppid=13877 vsize=2576 CPUtime=0 /proc/13878/stat : 13878 (packup2mp4pa-0.) S 13877 13878 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10601203 2637824 275 1283457024 134512640 135304128 4292745232 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/13878/statm: 644 275 233 194 0 31 0 [pid=13879] ppid=13878 vsize=56224 CPUtime=17.51 /proc/13879/stat : 13879 (packup) R 13878 13878 4778 34817 4778 4202496 26056 79933 0 0 175 55 1455 66 18 0 1 0 10601203 57573376 13295 1283457024 134512640 134752139 4291018288 18446744073709551615 4157466013 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/13879/statm: 14056 13295 344 59 0 13220 0 Current children cumulated CPU time (s) 17.51 Current children cumulated vsize (KiB) 58800 Child status: 0 Real time (s): 17.6541 CPU time (s): 17.5691 CPU user time (s): 16.333 CPU system time (s): 1.23608 CPU usage (%): 99.5184 Max. virtual memory (cumulated for all children) (KiB): 294904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.333 system time used= 1.23608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106889 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= 13 involuntary context switches= 260 runsolver used 0 second user time and 0 second system time The end