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/rand230.cudf.s-e-l-s-s.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand230.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand230.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.46 1.24 0.83 4/34 6677 /proc/meminfo: memFree=388044/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=3980 CPUtime=0.01 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 493 0 0 0 1 0 0 0 25 0 1 0 10066450 4075520 422 1283457024 134512640 134752139 4288265104 18446744073709551615 134694946 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 995 422 286 59 0 159 0 [startup+0.170163 s] /proc/loadavg: 1.46 1.24 0.83 4/34 6677 /proc/meminfo: memFree=388044/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=10260 CPUtime=0.17 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 2038 0 0 0 16 1 0 0 25 0 1 0 10066450 10506240 1967 1283457024 134512640 134752139 4288265104 18446744073709551615 134640379 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 2565 1967 286 59 0 1729 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 12832 [startup+0.210171 s] /proc/loadavg: 1.46 1.24 0.83 4/34 6677 /proc/meminfo: memFree=388044/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=11712 CPUtime=0.21 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 2410 0 0 0 20 1 0 0 25 0 1 0 10066450 11993088 2339 1283457024 134512640 134752139 4288265104 18446744073709551615 134681833 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 2928 2339 286 59 0 2092 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 14284 [startup+0.310199 s] /proc/loadavg: 1.46 1.24 0.83 4/34 6677 /proc/meminfo: memFree=388044/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=14968 CPUtime=0.3 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 3222 0 0 0 28 2 0 0 25 0 1 0 10066450 15327232 3151 1283457024 134512640 134752139 4288265104 18446744073709551615 4157039573 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 3742 3151 286 59 0 2906 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17540 [startup+0.710291 s] /proc/loadavg: 1.46 1.24 0.83 4/34 6677 /proc/meminfo: memFree=388044/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=26396 CPUtime=0.7 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 6077 0 0 0 66 4 0 0 25 0 1 0 10066450 27029504 6006 1283457024 134512640 134752139 4288265104 18446744073709551615 4158893965 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 6599 6006 286 59 0 5763 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 28968 [startup+1.51043 s] /proc/loadavg: 1.46 1.24 0.83 2/35 6678 /proc/meminfo: memFree=355520/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=53632 CPUtime=1.5 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 12971 0 0 0 142 8 0 0 25 0 1 0 10066450 54919168 12851 1283457024 134512640 134752139 4288265104 18446744073709551615 4157130166 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 13408 12851 316 59 0 12572 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 56204 [startup+3.11091 s] /proc/loadavg: 1.43 1.24 0.83 2/37 6680 /proc/meminfo: memFree=325356/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57604 CPUtime=1.89 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 13976 0 0 0 164 25 0 0 25 0 1 0 10066450 58986496 13620 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14401 13620 324 59 0 13565 0 [pid=6679] ppid=6677 vsize=1668 CPUtime=0 /proc/6679/stat : 6679 (sh) S 6677 6676 4778 34817 4778 4202496 145 0 0 0 0 0 0 0 25 0 1 0 10066637 1708032 123 1283457024 134512640 134593992 4287617952 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 417 123 108 20 0 44 0 [pid=6680] ppid=6679 vsize=28800 CPUtime=1.21 /proc/6680/stat : 6680 (minisatp_32) R 6679 6676 4778 34817 4778 4202496 6716 0 0 0 112 9 0 0 25 0 1 0 10066639 29491200 6041 1283457024 134512640 135413687 4291528576 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6680/statm: 7200 6041 85 220 0 6978 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 90644 [startup+6.30296 s] /proc/loadavg: 1.43 1.24 0.83 2/37 6682 /proc/meminfo: memFree=308996/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=57216 CPUtime=1.97 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 17001 0 0 0 180 17 0 0 25 0 1 0 10066882 58589184 12590 1283457024 134512640 135413687 4286685920 18446744073709551615 134679688 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 14304 12590 107 220 0 14082 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 119072 [startup+12.7045 s] /proc/loadavg: 1.36 1.23 0.83 2/37 6682 /proc/meminfo: memFree=122996/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=256648 CPUtime=8.37 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 77709 0 0 0 801 36 0 0 25 0 1 0 10066882 262807552 57173 1283457024 134512640 135413687 4286685920 18446744073709551615 134657325 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 64162 57173 109 220 0 63940 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 318504 Solver just ended. Dumping a history of the last processes samples [startup+12.8046 s] /proc/loadavg: 1.36 1.23 0.83 2/37 6682 /proc/meminfo: memFree=122996/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=226296 CPUtime=8.47 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 77718 0 0 0 810 37 0 0 25 0 1 0 10066882 231727104 52051 1283457024 134512640 135413687 4286685920 18446744073709551615 134662602 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 56574 52051 109 220 0 56352 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 288152 [startup+16.0053 s] /proc/loadavg: 1.36 1.23 0.83 2/37 6682 /proc/meminfo: memFree=61616/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=341592 CPUtime=11.67 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 98025 0 0 0 1117 50 0 0 25 0 1 0 10066882 349790208 70869 1283457024 134512640 135413687 4286685920 18446744073709551615 134683822 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 85398 70869 109 220 0 85176 0 Current children cumulated CPU time (s) 15.98 Current children cumulated vsize (KiB) 403448 [startup+16.8055 s] /proc/loadavg: 1.36 1.23 0.83 2/37 6682 /proc/meminfo: memFree=57276/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=311888 CPUtime=12.48 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 103326 0 0 0 1196 52 0 0 25 0 1 0 10066882 319373312 68709 1283457024 134512640 135413687 4286685920 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 77972 68709 109 220 0 77750 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 373744 [startup+17.6056 s] /proc/loadavg: 1.33 1.22 0.83 2/37 6682 /proc/meminfo: memFree=56284/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57608 CPUtime=4.31 /proc/6677/stat : 6677 (packup) S 6676 6676 4778 34817 4778 4202496 14041 15247 0 0 179 43 190 19 18 0 1 0 10066450 58990592 13629 1283457024 134512640 134752139 4288265104 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/6677/statm: 14402 13629 332 59 0 13566 0 [pid=6681] ppid=6677 vsize=1676 CPUtime=0 /proc/6681/stat : 6681 (sh) S 6677 6676 4778 34817 4778 4202496 146 0 0 0 0 0 0 0 19 0 1 0 10066881 1716224 124 1283457024 134512640 134593992 4292909232 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6681/statm: 419 124 108 20 0 46 0 [pid=6682] ppid=6681 vsize=312264 CPUtime=13.27 /proc/6682/stat : 6682 (minisatp_32) R 6681 6676 4778 34817 4778 4202496 103930 0 0 0 1275 52 0 0 25 0 1 0 10066882 319758336 68803 1283457024 134512640 135413687 4286685920 18446744073709551615 134649496 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/6682/statm: 78066 68803 109 220 0 77844 0 Current children cumulated CPU time (s) 17.58 Current children cumulated vsize (KiB) 374120 [startup+18.0101 s] /proc/loadavg: 1.33 1.22 0.83 2/37 6682 /proc/meminfo: memFree=56284/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=57612 CPUtime=17.99 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 16202 119337 0 0 180 45 1500 74 18 0 1 0 10066450 58994688 13643 1283457024 134512640 134752139 4288265104 18446744073709551615 4157098222 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 14403 13643 345 59 0 13567 0 Current children cumulated CPU time (s) 17.99 Current children cumulated vsize (KiB) 60184 [startup+18.1101 s] /proc/loadavg: 1.33 1.22 0.83 2/37 6682 /proc/meminfo: memFree=56284/1048576 swapFree=0/0 [pid=6676] ppid=6675 vsize=2572 CPUtime=0 /proc/6676/stat : 6676 (packup2mp4pa-0.) S 6675 6676 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 10066450 2633728 274 1283457024 134512640 135304128 4291825440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/6676/statm: 643 274 233 194 0 30 0 [pid=6677] ppid=6676 vsize=52740 CPUtime=18.09 /proc/6677/stat : 6677 (packup) R 6676 6676 4778 34817 4778 4202496 26332 119337 0 0 188 47 1500 74 18 0 1 0 10066450 54005760 12678 1283457024 134512640 134752139 4288265104 18446744073709551615 4157111257 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/6677/statm: 13185 12678 345 59 0 12349 0 Current children cumulated CPU time (s) 18.09 Current children cumulated vsize (KiB) 55312 Child status: 0 Real time (s): 18.1291 CPU time (s): 18.1171 CPU user time (s): 16.8971 CPU system time (s): 1.22008 CPU usage (%): 99.9339 Max. virtual memory (cumulated for all children) (KiB): 403448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.8971 system time used= 1.22008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146297 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= 264 runsolver used 0 second user time and 0.008 second system time The end