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/rand314.cudf.s-e-l-s-s.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand314.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand314.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: 0.92 1.07 0.99 5/36 8143 /proc/meminfo: memFree=390612/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=4112 CPUtime=0.02 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 532 0 0 0 2 0 0 0 25 0 1 0 10240693 4210688 460 1283457024 134512640 134752139 4287712000 18446744073709551615 134681648 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 1028 460 286 59 0 192 0 [startup+0.163495 s] /proc/loadavg: 0.92 1.07 0.99 5/36 8143 /proc/meminfo: memFree=390612/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=9996 CPUtime=0.16 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 1998 0 0 0 16 0 0 0 25 0 1 0 10240693 10235904 1926 1283457024 134512640 134752139 4287712000 18446744073709551615 134681895 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 2499 1926 286 59 0 1663 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 12568 [startup+0.213501 s] /proc/loadavg: 0.92 1.07 0.99 5/36 8143 /proc/meminfo: memFree=390612/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=11844 CPUtime=0.21 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 2466 0 0 0 21 0 0 0 25 0 1 0 10240693 12128256 2394 1283457024 134512640 134752139 4287712000 18446744073709551615 4159032036 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 2961 2394 286 59 0 2125 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 14416 [startup+0.313516 s] /proc/loadavg: 0.92 1.07 0.99 5/36 8143 /proc/meminfo: memFree=390612/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=15100 CPUtime=0.31 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 3273 0 0 0 31 0 0 0 25 0 1 0 10240693 15462400 3201 1283457024 134512640 134752139 4287712000 18446744073709551615 134681583 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 3775 3201 286 59 0 2939 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 17672 [startup+0.713578 s] /proc/loadavg: 0.92 1.07 0.99 5/36 8143 /proc/meminfo: memFree=390612/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=26528 CPUtime=0.71 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 6120 0 0 0 71 0 0 0 25 0 1 0 10240693 27164672 6048 1283457024 134512640 134752139 4287712000 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 6632 6048 286 59 0 5796 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 29100 [startup+1.5139 s] /proc/loadavg: 0.92 1.07 0.99 2/37 8144 /proc/meminfo: memFree=358080/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=54288 CPUtime=1.51 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 13134 0 0 0 148 3 0 0 25 0 1 0 10240693 55590912 13013 1283457024 134512640 134752139 4287712000 18446744073709551615 4157605266 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 13572 13013 316 59 0 12736 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 56860 [startup+3.11429 s] /proc/loadavg: 0.92 1.07 0.99 2/39 8147 /proc/meminfo: memFree=327420/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58440 CPUtime=1.9 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14177 0 0 0 172 18 0 0 25 0 1 0 10240693 59842560 13809 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14610 13809 324 59 0 13774 0 [pid=8146] ppid=8143 vsize=1676 CPUtime=0 /proc/8146/stat : 8146 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 25 0 1 0 10240882 1716224 124 1283457024 134512640 134593992 4291069680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8146/statm: 419 124 108 20 0 46 0 [pid=8147] ppid=8146 vsize=29440 CPUtime=1.21 /proc/8147/stat : 8147 (minisatp_32) R 8146 8142 4778 34817 4778 4202496 6766 0 0 0 115 6 0 0 25 0 1 0 10240884 30146560 6119 1283457024 134512640 135413687 4293210384 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8147/statm: 7360 6119 85 220 0 7138 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 92128 [startup+6.31529 s] /proc/loadavg: 0.93 1.06 0.99 2/39 8149 /proc/meminfo: memFree=318492/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=39952 CPUtime=1.52 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 10671 0 0 0 134 18 0 0 25 0 1 0 10241173 40910848 9013 1283457024 134512640 135413687 4292200480 18446744073709551615 134973591 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 9988 9013 94 220 0 9766 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 102640 [startup+12.7074 s] /proc/loadavg: 0.93 1.06 0.99 2/39 8150 /proc/meminfo: memFree=155936/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=202800 CPUtime=7.9 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 65252 0 0 0 760 30 0 0 25 0 1 0 10241173 207667200 44496 1283457024 134512640 135413687 4292200480 18446744073709551615 134650312 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 50700 44496 110 220 0 50478 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 265488 [startup+25.5125 s] /proc/loadavg: 0.95 1.06 0.99 2/39 8151 /proc/meminfo: memFree=53140/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315116 CPUtime=20.7 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 108900 0 0 0 2019 51 0 0 25 0 1 0 10241173 322678784 70211 1283457024 134512640 135413687 4292200480 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78779 70211 110 220 0 78557 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 377804 [startup+51.11 s] /proc/loadavg: 0.96 1.05 0.99 2/39 8153 /proc/meminfo: memFree=49668/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315528 CPUtime=46.26 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 110809 0 0 0 4575 51 0 0 25 0 1 0 10241173 323100672 71075 1283457024 134512640 135413687 4292200480 18446744073709551615 134649499 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78882 71075 110 220 0 78660 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 378216 Solver just ended. Dumping a history of the last processes samples [startup+51.2101 s] /proc/loadavg: 0.96 1.05 0.99 2/39 8153 /proc/meminfo: memFree=49668/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315528 CPUtime=46.36 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 110810 0 0 0 4585 51 0 0 25 0 1 0 10241173 323100672 71076 1283457024 134512640 135413687 4292200480 18446744073709551615 134649445 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78882 71076 110 220 0 78660 0 Current children cumulated CPU time (s) 51.15 Current children cumulated vsize (KiB) 378216 [startup+64.0142 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=48072/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315672 CPUtime=59.15 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 111254 0 0 0 5863 52 0 0 25 0 1 0 10241173 323248128 71490 1283457024 134512640 135413687 4292200480 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78918 71490 110 220 0 78696 0 Current children cumulated CPU time (s) 63.94 Current children cumulated vsize (KiB) 378360 [startup+67.2152 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=47824/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315672 CPUtime=62.35 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 111329 0 0 0 6181 54 0 0 25 0 1 0 10241173 323248128 71564 1283457024 134512640 135413687 4292200480 18446744073709551615 134651774 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78918 71564 110 220 0 78696 0 Current children cumulated CPU time (s) 67.14 Current children cumulated vsize (KiB) 378360 [startup+70.4062 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=47576/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315672 CPUtime=65.54 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 111373 0 0 0 6500 54 0 0 25 0 1 0 10241173 323248128 71608 1283457024 134512640 135413687 4292200480 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78918 71608 110 220 0 78696 0 Current children cumulated CPU time (s) 70.33 Current children cumulated vsize (KiB) 378360 [startup+71.2065 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=47576/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=315672 CPUtime=66.34 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 111385 0 0 0 6580 54 0 0 25 0 1 0 10241173 323248128 71620 1283457024 134512640 135413687 4292200480 18446744073709551615 134666458 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 78918 71620 110 220 0 78696 0 Current children cumulated CPU time (s) 71.13 Current children cumulated vsize (KiB) 378360 [startup+72.0068 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=46460/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=316144 CPUtime=67.14 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 112039 0 0 0 6660 54 0 0 25 0 1 0 10241173 323731456 71755 1283457024 134512640 135413687 4292200480 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 79036 71755 110 220 0 78814 0 Current children cumulated CPU time (s) 71.93 Current children cumulated vsize (KiB) 378832 [startup+72.4069 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=46460/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=58444 CPUtime=4.79 /proc/8143/stat : 8143 (packup) S 8142 8142 4778 34817 4778 4202496 14253 17225 0 0 190 34 235 20 18 0 1 0 10240693 59846656 13818 1283457024 134512640 134752139 4287712000 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/8143/statm: 14611 13818 332 59 0 13775 0 [pid=8148] ppid=8143 vsize=1672 CPUtime=0 /proc/8148/stat : 8148 (sh) S 8143 8142 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10241172 1712128 124 1283457024 134512640 134593992 4292114416 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8148/statm: 418 124 108 20 0 45 0 [pid=8149] ppid=8148 vsize=300976 CPUtime=67.54 /proc/8149/stat : 8149 (minisatp_32) R 8148 8142 4778 34817 4778 4202496 112051 0 0 0 6700 54 0 0 25 0 1 0 10241173 308199424 68602 1283457024 134512640 135413687 4292200480 18446744073709551615 134597360 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/8149/statm: 75244 68602 118 220 0 75022 0 Current children cumulated CPU time (s) 72.33 Current children cumulated vsize (KiB) 363664 [startup+72.5085 s] /proc/loadavg: 0.97 1.05 0.99 2/38 8153 /proc/meminfo: memFree=46460/1048576 swapFree=0/0 [pid=8142] ppid=8141 vsize=2572 CPUtime=0 /proc/8142/stat : 8142 (packup2mp4pa-0.) S 8141 8142 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 10240693 2633728 275 1283457024 134512640 135304128 4288189360 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/8142/statm: 643 275 233 194 0 30 0 [pid=8143] ppid=8142 vsize=57672 CPUtime=72.44 /proc/8143/stat : 8143 (packup) R 8142 8142 4778 34817 4778 4202496 24720 129425 0 0 193 38 6936 77 18 0 1 0 10240693 59056128 13638 1283457024 134512640 134752139 4287712000 18446744073709551615 4157573358 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/8143/statm: 14418 13638 345 59 0 13582 0 Current children cumulated CPU time (s) 72.44 Current children cumulated vsize (KiB) 60244 Child status: 0 Real time (s): 72.5889 CPU time (s): 72.5325 CPU user time (s): 71.3645 CPU system time (s): 1.16807 CPU usage (%): 99.9224 Max. virtual memory (cumulated for all children) (KiB): 395456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.3645 system time used= 1.16807 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156755 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= 11 involuntary context switches= 928 runsolver used 0 second user time and 0 second system time The end