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/rand343.cudf.s-e-l-s.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l-s/rand343.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand343.cudf.s-e-l-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.01 1.05 1.05 4/36 9767 /proc/meminfo: memFree=387172/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) R 9765 9766 4778 34817 4778 4202496 361 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=2572 CPUtime=0 /proc/9767/stat : 9767 (packup2mp4pa-0.) R 9766 9766 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10396472 2633728 42 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/9767/statm: 643 42 0 194 0 30 0 [startup+0.17844 s] /proc/loadavg: 1.01 1.05 1.05 4/36 9767 /proc/meminfo: memFree=387172/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=10660 CPUtime=0.17 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 2147 0 0 0 16 1 0 0 25 0 1 0 10396472 10915840 2075 1283457024 134512640 134752139 4291165776 18446744073709551615 4157936935 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 2665 2075 286 59 0 1829 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 13232 [startup+0.20844 s] /proc/loadavg: 1.01 1.05 1.05 4/36 9767 /proc/meminfo: memFree=387172/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=11716 CPUtime=0.2 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 2405 0 0 0 19 1 0 0 25 0 1 0 10396472 11997184 2333 1283457024 134512640 134752139 4291165776 18446744073709551615 134694895 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 2929 2333 286 59 0 2093 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 14288 [startup+0.308469 s] /proc/loadavg: 1.01 1.05 1.05 4/36 9767 /proc/meminfo: memFree=387172/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=14816 CPUtime=0.3 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 3202 0 0 0 29 1 0 0 25 0 1 0 10396472 15171584 3130 1283457024 134512640 134752139 4291165776 18446744073709551615 134682087 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 3704 3130 286 59 0 2868 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17388 [startup+0.708577 s] /proc/loadavg: 1.01 1.05 1.05 4/36 9767 /proc/meminfo: memFree=387172/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=26116 CPUtime=0.7 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 6006 0 0 0 68 2 0 0 25 0 1 0 10396472 26742784 5934 1283457024 134512640 134752139 4291165776 18446744073709551615 134694895 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 6529 5934 286 59 0 5693 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 28688 [startup+1.50874 s] /proc/loadavg: 1.01 1.05 1.05 2/37 9768 /proc/meminfo: memFree=354428/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=56352 CPUtime=1.5 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 13453 0 0 0 143 7 0 0 25 0 1 0 10396472 57704448 13332 1283457024 134512640 134752139 4291165776 18446744073709551615 4157950893 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 14088 13332 319 59 0 13252 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 58924 [startup+3.10901 s] /proc/loadavg: 1.01 1.05 1.05 2/39 9770 /proc/meminfo: memFree=324636/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55464 CPUtime=1.82 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13459 0 0 0 150 32 0 0 25 0 1 0 10396472 56795136 13115 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13866 13115 324 59 0 13030 0 [pid=9769] ppid=9767 vsize=1672 CPUtime=0 /proc/9769/stat : 9769 (sh) S 9767 9766 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 25 0 1 0 10396653 1712128 123 1283457024 134512640 134593992 4289686944 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9769/statm: 418 123 108 20 0 45 0 [pid=9770] ppid=9769 vsize=29432 CPUtime=1.28 /proc/9770/stat : 9770 (minisatp_32) R 9769 9766 4778 34817 4778 4202496 6995 0 0 0 112 16 0 0 25 0 1 0 10396654 30138368 6231 1283457024 134512640 135413687 4290916064 18446744073709551615 134705768 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9770/statm: 7358 6231 89 220 0 7136 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 89140 [startup+6.30638 s] /proc/loadavg: 1.01 1.05 1.05 2/39 9772 /proc/meminfo: memFree=309012/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=61928 CPUtime=2.03 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 18474 0 0 0 182 21 0 0 25 0 1 0 10396899 63414272 13740 1283457024 134512640 135413687 4291006208 18446744073709551615 134679670 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 15482 13740 109 220 0 15260 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 121640 [startup+12.708 s] /proc/loadavg: 1.00 1.05 1.05 2/39 9773 /proc/meminfo: memFree=138148/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=249796 CPUtime=8.43 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 74517 0 0 0 800 43 0 0 25 0 1 0 10396899 255791104 53356 1283457024 134512640 135413687 4291006208 18446744073709551615 134649051 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 62449 53356 110 220 0 62227 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 309508 [startup+25.5112 s] /proc/loadavg: 1.00 1.05 1.04 2/39 9774 /proc/meminfo: memFree=48372/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=316656 CPUtime=21.22 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 108675 0 0 0 2060 62 0 0 25 0 1 0 10396899 324255744 71039 1283457024 134512640 135413687 4291006208 18446744073709551615 134650365 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79164 71039 110 220 0 78942 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 376368 Solver just ended. Dumping a history of the last processes samples [startup+25.6112 s] /proc/loadavg: 1.00 1.05 1.04 2/39 9774 /proc/meminfo: memFree=48372/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=316656 CPUtime=21.32 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 108678 0 0 0 2070 62 0 0 25 0 1 0 10396899 324255744 71042 1283457024 134512640 135413687 4291006208 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79164 71042 110 220 0 78942 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 376368 [startup+38.4055 s] /proc/loadavg: 1.00 1.05 1.04 2/39 9775 /proc/meminfo: memFree=46760/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=317056 CPUtime=34.1 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 109549 0 0 0 3347 63 0 0 25 0 1 0 10396899 324665344 71414 1283457024 134512640 135413687 4291006208 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79264 71414 110 220 0 79042 0 Current children cumulated CPU time (s) 38.19 Current children cumulated vsize (KiB) 376768 [startup+41.6065 s] /proc/loadavg: 1.00 1.05 1.04 2/39 9776 /proc/meminfo: memFree=46760/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=317056 CPUtime=37.31 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 109591 0 0 0 3667 64 0 0 25 0 1 0 10396899 324665344 71454 1283457024 134512640 135413687 4291006208 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79264 71454 110 220 0 79042 0 Current children cumulated CPU time (s) 41.4 Current children cumulated vsize (KiB) 376768 [startup+43.2069 s] /proc/loadavg: 1.00 1.04 1.04 2/39 9776 /proc/meminfo: memFree=46760/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=317056 CPUtime=38.91 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 109621 0 0 0 3827 64 0 0 25 0 1 0 10396899 324665344 71483 1283457024 134512640 135413687 4291006208 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79264 71483 110 220 0 79042 0 Current children cumulated CPU time (s) 43 Current children cumulated vsize (KiB) 376768 [startup+44.0071 s] /proc/loadavg: 1.00 1.04 1.04 2/39 9776 /proc/meminfo: memFree=46636/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=317056 CPUtime=39.7 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 109632 0 0 0 3906 64 0 0 25 0 1 0 10396899 324665344 71494 1283457024 134512640 135413687 4291006208 18446744073709551615 134651119 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79264 71494 110 220 0 79042 0 Current children cumulated CPU time (s) 43.79 Current children cumulated vsize (KiB) 376768 [startup+44.4073 s] /proc/loadavg: 1.00 1.04 1.04 2/39 9776 /proc/meminfo: memFree=46636/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=55468 CPUtime=4.09 /proc/9767/stat : 9767 (packup) S 9766 9766 4778 34817 4778 4202496 13528 13257 0 0 163 49 180 17 18 0 1 0 10396472 56799232 13124 1283457024 134512640 134752139 4291165776 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/9767/statm: 13867 13124 332 59 0 13031 0 [pid=9771] ppid=9767 vsize=1672 CPUtime=0 /proc/9771/stat : 9771 (sh) S 9767 9766 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 18 0 1 0 10396898 1712128 124 1283457024 134512640 134593992 4293632352 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9771/statm: 418 124 108 20 0 45 0 [pid=9772] ppid=9771 vsize=317340 CPUtime=40.1 /proc/9772/stat : 9772 (minisatp_32) R 9771 9766 4778 34817 4778 4202496 110244 0 0 0 3946 64 0 0 25 0 1 0 10396899 324956160 71611 1283457024 134512640 135413687 4291006208 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/9772/statm: 79335 71611 110 220 0 79113 0 Current children cumulated CPU time (s) 44.19 Current children cumulated vsize (KiB) 377052 [startup+44.6119 s] /proc/loadavg: 1.00 1.04 1.04 2/39 9776 /proc/meminfo: memFree=46636/1048576 swapFree=0/0 [pid=9766] ppid=9765 vsize=2572 CPUtime=0 /proc/9766/stat : 9766 (packup2mp4pa-0.) S 9765 9766 4778 34817 4778 4202496 379 0 0 0 0 0 0 0 25 0 1 0 10396471 2633728 275 1283457024 134512640 135304128 4289332432 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/9766/statm: 643 275 233 194 0 30 0 [pid=9767] ppid=9766 vsize=54696 CPUtime=44.39 /proc/9767/stat : 9767 (packup) R 9766 9766 4778 34817 4778 4202496 21011 123659 0 0 167 51 4137 84 18 0 1 0 10396472 56008704 12943 1283457024 134512640 134752139 4291165776 18446744073709551615 134622263 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/9767/statm: 13674 12943 344 59 0 12838 0 Current children cumulated CPU time (s) 44.39 Current children cumulated vsize (KiB) 57268 Child status: 0 Real time (s): 44.6944 CPU time (s): 44.4948 CPU user time (s): 43.1147 CPU system time (s): 1.38009 CPU usage (%): 99.5534 Max. virtual memory (cumulated for all children) (KiB): 424980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.1147 system time used= 1.38009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149645 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= 14 involuntary context switches= 589 runsolver used 0 second user time and 0 second system time The end