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/rand58.cudf.s-e-l.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l/rand58.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand58.cudf.s-e-l.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.00 1.01 1.00 5/34 15738 /proc/meminfo: memFree=375372/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=4108 CPUtime=0.01 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 519 0 0 0 1 0 0 0 25 0 1 0 10935933 4206592 448 1283457024 134512640 134752139 4290588112 18446744073709551615 134706197 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 1027 448 286 59 0 191 0 [startup+0.152837 s] /proc/loadavg: 1.00 1.01 1.00 5/34 15738 /proc/meminfo: memFree=375372/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=9520 CPUtime=0.15 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 1876 0 0 0 14 1 0 0 25 0 1 0 10935933 9748480 1805 1283457024 134512640 134752139 4290588112 18446744073709551615 4159446925 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 2380 1805 286 59 0 1544 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 12092 [startup+0.202849 s] /proc/loadavg: 1.00 1.01 1.00 5/34 15738 /proc/meminfo: memFree=375372/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=11236 CPUtime=0.2 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 2304 0 0 0 19 1 0 0 25 0 1 0 10935933 11505664 2233 1283457024 134512640 134752139 4290588112 18446744073709551615 134681869 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 2809 2233 286 59 0 1973 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 13808 [startup+0.312881 s] /proc/loadavg: 1.00 1.01 1.00 5/34 15738 /proc/meminfo: memFree=375372/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=14668 CPUtime=0.31 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 3173 0 0 0 28 3 0 0 25 0 1 0 10935933 15020032 3102 1283457024 134512640 134752139 4290588112 18446744073709551615 134682008 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 3667 3102 286 59 0 2831 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 17240 [startup+0.712966 s] /proc/loadavg: 1.00 1.01 1.00 5/34 15738 /proc/meminfo: memFree=375372/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=25424 CPUtime=0.71 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 5858 0 0 0 67 4 0 0 25 0 1 0 10935933 26034176 5787 1283457024 134512640 134752139 4290588112 18446744073709551615 4159446925 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 6356 5787 286 59 0 5520 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 27996 [startup+1.51315 s] /proc/loadavg: 1.00 1.01 1.00 2/35 15739 /proc/meminfo: memFree=339328/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39772 CPUtime=1.22 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9560 0 0 0 104 18 0 0 25 0 1 0 10935933 40726528 9239 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9943 9239 324 59 0 9107 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 42344 [startup+3.11354 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15741 /proc/meminfo: memFree=319828/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 42348 [startup+6.30449 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=273336/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=104288 CPUtime=3.41 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 32967 0 0 0 315 26 0 0 25 0 1 0 10936221 106790912 24011 1283457024 134512640 135413687 4293433680 18446744073709551615 134692035 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 26072 24011 107 220 0 25850 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 148304 [startup+12.7065 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151940/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209540 CPUtime=9.81 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 74693 0 0 0 936 45 0 0 25 0 1 0 10936221 214568960 46361 1283457024 134512640 135413687 4293433680 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52385 46361 110 220 0 52163 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 253556 Solver just ended. Dumping a history of the last processes samples [startup+12.8065 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151940/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209540 CPUtime=9.91 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 74695 0 0 0 946 45 0 0 25 0 1 0 10936221 214568960 46363 1283457024 134512640 135413687 4293433680 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52385 46363 110 220 0 52163 0 Current children cumulated CPU time (s) 12.77 Current children cumulated vsize (KiB) 253556 [startup+16.0074 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151692/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209540 CPUtime=13.11 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 75163 0 0 0 1266 45 0 0 25 0 1 0 10936221 214568960 46455 1283457024 134512640 135413687 4293433680 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52385 46455 110 220 0 52163 0 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (KiB) 253556 [startup+19.2082 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151692/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209944 CPUtime=16.31 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 75654 0 0 0 1584 47 0 0 25 0 1 0 10936221 214982656 46570 1283457024 134512640 135413687 4293433680 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52486 46570 110 220 0 52264 0 Current children cumulated CPU time (s) 19.17 Current children cumulated vsize (KiB) 253960 [startup+20.8087 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151072/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209944 CPUtime=17.91 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 75676 0 0 0 1744 47 0 0 25 0 1 0 10936221 214982656 46592 1283457024 134512640 135413687 4293433680 18446744073709551615 134649448 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52486 46592 110 220 0 52264 0 Current children cumulated CPU time (s) 20.77 Current children cumulated vsize (KiB) 253960 [startup+21.2088 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151072/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39776 CPUtime=2.86 /proc/15738/stat : 15738 (packup) S 15737 15737 4778 34817 4778 4202496 9620 11159 0 0 111 33 128 14 18 0 1 0 10935933 40730624 9248 1283457024 134512640 134752139 4290588112 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/15738/statm: 9944 9248 332 59 0 9108 0 [pid=15742] ppid=15738 vsize=1668 CPUtime=0 /proc/15742/stat : 15742 (sh) S 15738 15737 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 18 0 1 0 10936220 1708032 123 1283457024 134512640 134593992 4290772640 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15742/statm: 417 123 108 20 0 44 0 [pid=15743] ppid=15742 vsize=209944 CPUtime=18.31 /proc/15743/stat : 15743 (minisatp_32) R 15742 15737 4778 34817 4778 4202496 76078 0 0 0 1784 47 0 0 25 0 1 0 10936221 214982656 46618 1283457024 134512640 135413687 4293433680 18446744073709551615 134649496 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/15743/statm: 52486 46618 110 220 0 52264 0 Current children cumulated CPU time (s) 21.17 Current children cumulated vsize (KiB) 253960 [startup+21.4118 s] /proc/loadavg: 1.00 1.01 1.00 2/37 15743 /proc/meminfo: memFree=151072/1048576 swapFree=0/0 [pid=15737] ppid=15736 vsize=2572 CPUtime=0 /proc/15737/stat : 15737 (packup2mp4pa-0.) S 15736 15737 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10935933 2633728 274 1283457024 134512640 135304128 4293322912 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/15737/statm: 643 274 233 194 0 30 0 [pid=15738] ppid=15737 vsize=39780 CPUtime=21.38 /proc/15738/stat : 15738 (packup) R 15737 15737 4778 34817 4778 4202496 10981 87395 0 0 111 35 1927 65 18 0 1 0 10935933 40734720 9262 1283457024 134512640 134752139 4290588112 18446744073709551615 4157651182 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/15738/statm: 9945 9262 345 59 0 9109 0 Current children cumulated CPU time (s) 21.38 Current children cumulated vsize (KiB) 42352 Child status: 0 Real time (s): 21.4684 CPU time (s): 21.4453 CPU user time (s): 20.4333 CPU system time (s): 1.01206 CPU usage (%): 99.8928 Max. virtual memory (cumulated for all children) (KiB): 271612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.4333 system time used= 1.01206 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105823 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= 311 runsolver used 0 second user time and 0 second system time The end