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/rand477.cudf.s-e-l-s.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l-s/rand477.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand477.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.11 1.04 1.01 5/36 15544 /proc/meminfo: memFree=390264/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) R 15542 15543 4778 34817 4778 4202496 359 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=2568 CPUtime=0 /proc/15544/stat : 15544 (packup2mp4pa-0.) R 15543 15543 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 40 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/15544/statm: 642 40 0 194 0 29 0 [startup+0.159167 s] /proc/loadavg: 1.11 1.04 1.01 5/36 15544 /proc/meminfo: memFree=390264/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=9872 CPUtime=0.16 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 1948 0 0 0 14 2 0 0 25 0 1 0 10880143 10108928 1877 1283457024 134512640 134752139 4292106048 18446744073709551615 134694880 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 2468 1877 286 59 0 1632 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 12440 [startup+0.209172 s] /proc/loadavg: 1.11 1.04 1.01 5/36 15544 /proc/meminfo: memFree=390264/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=11720 CPUtime=0.21 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 2407 0 0 0 19 2 0 0 25 0 1 0 10880143 12001280 2336 1283457024 134512640 134752139 4292106048 18446744073709551615 4157041327 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 2930 2336 286 59 0 2094 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 14288 [startup+0.309189 s] /proc/loadavg: 1.11 1.04 1.01 5/36 15544 /proc/meminfo: memFree=390264/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=14820 CPUtime=0.31 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 3205 0 0 0 29 2 0 0 25 0 1 0 10880143 15175680 3134 1283457024 134512640 134752139 4292106048 18446744073709551615 134532393 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 3705 3134 286 59 0 2869 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 17388 [startup+0.709241 s] /proc/loadavg: 1.11 1.04 1.01 5/36 15544 /proc/meminfo: memFree=390264/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=26252 CPUtime=0.71 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 6060 0 0 0 69 2 0 0 25 0 1 0 10880143 26882048 5989 1283457024 134512640 134752139 4292106048 18446744073709551615 134681669 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 6563 5989 286 59 0 5727 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 28820 [startup+1.50943 s] /proc/loadavg: 1.10 1.04 1.01 2/37 15545 /proc/meminfo: memFree=357268/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=56844 CPUtime=1.5 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 13570 0 0 0 143 7 0 0 25 0 1 0 10880143 58208256 13450 1283457024 134512640 134752139 4292106048 18446744073709551615 134521660 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 14211 13450 319 59 0 13375 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 59412 [startup+3.10984 s] /proc/loadavg: 1.10 1.04 1.01 2/39 15547 /proc/meminfo: memFree=327972/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55932 CPUtime=1.82 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13577 0 0 0 157 25 0 0 25 0 1 0 10880143 57274368 13228 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13983 13228 324 59 0 13147 0 [pid=15546] ppid=15544 vsize=1668 CPUtime=0 /proc/15546/stat : 15546 (sh) S 15544 15543 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 25 0 1 0 10880325 1708032 123 1283457024 134512640 134593992 4293804432 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15546/statm: 417 123 108 20 0 44 0 [pid=15547] ppid=15546 vsize=27852 CPUtime=1.27 /proc/15547/stat : 15547 (minisatp_32) R 15546 15543 4778 34817 4778 4202496 6648 0 0 0 114 13 0 0 25 0 1 0 10880327 28520448 5891 1283457024 134512640 135413687 4291223344 18446744073709551615 134688660 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15547/statm: 6963 5891 89 220 0 6741 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88020 [startup+6.3108 s] /proc/loadavg: 1.10 1.04 1.01 2/39 15549 /proc/meminfo: memFree=313464/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=49552 CPUtime=1.98 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 15563 0 0 0 186 12 0 0 25 0 1 0 10880575 50741248 11204 1283457024 134512640 135413687 4293191952 18446744073709551615 134690666 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 12388 11204 112 220 0 12166 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 109732 [startup+12.7127 s] /proc/loadavg: 1.09 1.04 1.01 2/39 15550 /proc/meminfo: memFree=159340/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=197520 CPUtime=8.38 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 64191 0 0 0 806 32 0 0 25 0 1 0 10880575 202260480 42647 1283457024 134512640 135413687 4293191952 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 49380 42647 110 220 0 49158 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 257700 [startup+25.5067 s] /proc/loadavg: 1.07 1.04 1.00 2/39 15551 /proc/meminfo: memFree=60016/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=312104 CPUtime=21.16 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 109682 0 0 0 2062 54 0 0 25 0 1 0 10880575 319594496 68721 1283457024 134512640 135413687 4293191952 18446744073709551615 134650485 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78026 68721 110 220 0 77804 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 372284 Solver just ended. Dumping a history of the last processes samples [startup+25.6067 s] /proc/loadavg: 1.07 1.04 1.00 2/39 15551 /proc/meminfo: memFree=60016/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=312104 CPUtime=21.26 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 109683 0 0 0 2072 54 0 0 25 0 1 0 10880575 319594496 68722 1283457024 134512640 135413687 4293191952 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78026 68722 110 220 0 77804 0 Current children cumulated CPU time (s) 25.56 Current children cumulated vsize (KiB) 372284 [startup+32.0089 s] /proc/loadavg: 1.06 1.03 1.00 2/39 15552 /proc/meminfo: memFree=59520/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=313728 CPUtime=27.65 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 112380 0 0 0 2709 56 0 0 25 0 1 0 10880575 321257472 69174 1283457024 134512640 135413687 4293191952 18446744073709551615 134654782 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78432 69174 110 220 0 78210 0 Current children cumulated CPU time (s) 31.95 Current children cumulated vsize (KiB) 373908 [startup+33.6094 s] /proc/loadavg: 1.06 1.03 1.00 2/39 15552 /proc/meminfo: memFree=59396/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=312104 CPUtime=29.25 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 112911 0 0 0 2869 56 0 0 25 0 1 0 10880575 319594496 68865 1283457024 134512640 135413687 4293191952 18446744073709551615 134651307 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78026 68865 110 220 0 77804 0 Current children cumulated CPU time (s) 33.55 Current children cumulated vsize (KiB) 372284 [startup+34.4097 s] /proc/loadavg: 1.06 1.03 1.00 2/39 15552 /proc/meminfo: memFree=59396/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=312104 CPUtime=30.05 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 113370 0 0 0 2949 56 0 0 25 0 1 0 10880575 319594496 68873 1283457024 134512640 135413687 4293191952 18446744073709551615 134650085 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78026 68873 110 220 0 77804 0 Current children cumulated CPU time (s) 34.35 Current children cumulated vsize (KiB) 372284 [startup+34.8098 s] /proc/loadavg: 1.06 1.03 1.00 2/39 15552 /proc/meminfo: memFree=59396/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55936 CPUtime=4.29 /proc/15544/stat : 15544 (packup) S 15543 15543 4778 34817 4778 4202496 13649 15078 0 0 169 44 198 18 18 0 1 0 10880143 57278464 13237 1283457024 134512640 134752139 4292106048 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15544/statm: 13984 13237 332 59 0 13148 0 [pid=15548] ppid=15544 vsize=1676 CPUtime=0.01 /proc/15548/stat : 15548 (sh) S 15544 15543 4778 34817 4778 4202496 147 0 0 0 0 1 0 0 18 0 1 0 10880574 1716224 124 1283457024 134512640 134593992 4287538064 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15548/statm: 419 124 108 20 0 46 0 [pid=15549] ppid=15548 vsize=312104 CPUtime=30.45 /proc/15549/stat : 15549 (minisatp_32) R 15548 15543 4778 34817 4778 4202496 113374 0 0 0 2989 56 0 0 25 0 1 0 10880575 319594496 68877 1283457024 134512640 135413687 4293191952 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15549/statm: 78026 68877 110 220 0 77804 0 Current children cumulated CPU time (s) 34.75 Current children cumulated vsize (KiB) 372284 [startup+35.2099 s] /proc/loadavg: 1.06 1.03 1.00 2/37 15552 /proc/meminfo: memFree=337312/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=55940 CPUtime=35.15 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 16240 128613 0 0 172 44 3220 79 18 0 1 0 10880143 57282560 13251 1283457024 134512640 134752139 4292106048 18446744073709551615 4157393068 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 13985 13251 345 59 0 13149 0 Current children cumulated CPU time (s) 35.15 Current children cumulated vsize (KiB) 58508 [startup+35.3099 s] /proc/loadavg: 1.06 1.03 1.00 2/37 15552 /proc/meminfo: memFree=337312/1048576 swapFree=0/0 [pid=15543] ppid=15542 vsize=2568 CPUtime=0 /proc/15543/stat : 15543 (packup2mp4pa-0.) S 15542 15543 4778 34817 4778 4202496 376 0 0 0 0 0 0 0 25 0 1 0 10880143 2629632 273 1283457024 134512640 135304128 4292321184 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15543/statm: 642 273 233 194 0 29 0 [pid=15544] ppid=15543 vsize=50004 CPUtime=35.26 /proc/15544/stat : 15544 (packup) R 15543 15543 4778 34817 4778 4202496 25796 128613 0 0 181 46 3220 79 18 0 1 0 10880143 51204096 11994 1283457024 134512640 134752139 4292106048 18446744073709551615 134555028 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15544/statm: 12501 11994 345 59 0 11665 0 Current children cumulated CPU time (s) 35.26 Current children cumulated vsize (KiB) 52572 Child status: 0 Real time (s): 35.3185 CPU time (s): 35.2782 CPU user time (s): 34.0221 CPU system time (s): 1.25608 CPU usage (%): 99.886 Max. virtual memory (cumulated for all children) (KiB): 420792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.0221 system time used= 1.25608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154812 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= 481 runsolver used 0.008 second user time and 0 second system time The end