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/201108241238/packup2mp4tr-0.6/4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-real//4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.dudf-real.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.95 1.06 1.07 5/34 23184 /proc/meminfo: memFree=347868/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) R 23182 23183 1511 34817 1511 4202496 360 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=2568 CPUtime=0 /proc/23184/stat : 23184 (packup2mp4tr-0.) R 23183 23183 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 41 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/23184/statm: 642 41 0 194 0 29 0 [startup+0.155179 s] /proc/loadavg: 0.95 1.06 1.07 5/34 23184 /proc/meminfo: memFree=347868/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=8952 CPUtime=0.15 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 1740 0 0 0 14 1 0 0 25 0 1 0 4694848 9166848 1669 1283457024 134512640 134752139 4288711632 18446744073709551615 134681798 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 2238 1669 286 59 0 1402 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 11520 [startup+0.215185 s] /proc/loadavg: 0.95 1.06 1.07 5/34 23184 /proc/meminfo: memFree=347868/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=10800 CPUtime=0.21 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 2185 0 0 0 20 1 0 0 25 0 1 0 4694848 11059200 2114 1283457024 134512640 134752139 4288711632 18446744073709551615 134626407 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 2700 2114 286 59 0 1864 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 13368 [startup+0.315204 s] /proc/loadavg: 0.95 1.06 1.07 5/34 23184 /proc/meminfo: memFree=347868/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=13636 CPUtime=0.31 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 2885 0 0 0 30 1 0 0 25 0 1 0 4694848 13963264 2814 1283457024 134512640 134752139 4288711632 18446744073709551615 4156701204 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 3409 2814 286 59 0 2573 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 16204 [startup+0.715278 s] /proc/loadavg: 0.95 1.06 1.07 5/34 23184 /proc/meminfo: memFree=347868/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=23468 CPUtime=0.71 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 5348 0 0 0 68 3 0 0 25 0 1 0 4694848 24031232 5277 1283457024 134512640 134752139 4288711632 18446744073709551615 4156984688 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 5867 5277 286 59 0 5031 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 26036 [startup+1.51549 s] /proc/loadavg: 0.95 1.06 1.07 2/35 23185 /proc/meminfo: memFree=314996/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44284 CPUtime=1.5 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 10704 0 0 0 130 20 0 0 25 0 1 0 4694848 45346816 10353 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 11071 10353 324 59 0 10235 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 46852 [startup+3.11586 s] /proc/loadavg: 0.95 1.06 1.07 2/37 23187 /proc/meminfo: memFree=290536/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44284 CPUtime=1.5 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10706 0 0 0 130 20 0 0 25 0 1 0 4694848 45346816 10354 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11071 10354 325 59 0 10235 0 [pid=23186] ppid=23184 vsize=1676 CPUtime=0 /proc/23186/stat : 23186 (sh) S 23184 23183 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 25 0 1 0 4694997 1716224 124 1283457024 134512640 134593992 4286767824 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23186/statm: 419 124 108 20 0 46 0 [pid=23187] ppid=23186 vsize=40016 CPUtime=1.59 /proc/23187/stat : 23187 (minisatp_32) R 23186 23183 1511 34817 1511 4202496 13295 0 0 0 146 13 0 0 25 0 1 0 4694999 40976384 9326 1283457024 134512640 135413687 4290532992 18446744073709551615 134705587 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23187/statm: 10004 9326 106 220 0 9782 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88544 [startup+6.30635 s] /proc/loadavg: 0.95 1.05 1.07 2/37 23189 /proc/meminfo: memFree=270944/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44288 CPUtime=4.17 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10785 16049 0 0 142 36 226 13 18 0 1 0 4694848 45350912 10370 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11072 10370 333 59 0 10236 0 [pid=23188] ppid=23184 vsize=1672 CPUtime=0 /proc/23188/stat : 23188 (sh) S 23184 23183 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 18 0 1 0 4695266 1712128 123 1283457024 134512640 134593992 4287036176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23188/statm: 418 123 108 20 0 45 0 [pid=23189] ppid=23188 vsize=57500 CPUtime=2.11 /proc/23189/stat : 23189 (minisatp_32) R 23188 23183 1511 34817 1511 4202496 18625 0 0 0 191 20 0 0 25 0 1 0 4695267 58880000 12772 1283457024 134512640 135413687 4294640240 18446744073709551615 134662606 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23189/statm: 14375 12772 107 220 0 14153 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 106028 [startup+12.7084 s] /proc/loadavg: 0.95 1.05 1.07 2/37 23193 /proc/meminfo: memFree=288064/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=49496 CPUtime=1.39 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 12623 0 0 0 122 17 0 0 25 0 1 0 4695979 50683904 10678 1283457024 134512640 135413687 4289988096 18446744073709551615 134649079 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 12374 10678 90 220 0 12152 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 98036 Solver just ended. Dumping a history of the last processes samples [startup+12.8084 s] /proc/loadavg: 0.95 1.05 1.07 2/37 23193 /proc/meminfo: memFree=288064/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=58480 CPUtime=1.49 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 16187 0 0 0 131 18 0 0 25 0 1 0 4695979 59883520 13430 1283457024 134512640 135413687 4289988096 18446744073709551615 134656254 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 14620 13430 90 220 0 14398 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 107020 [startup+16.0094 s] /proc/loadavg: 0.96 1.05 1.07 2/37 23193 /proc/meminfo: memFree=200272/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=125968 CPUtime=4.69 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 44043 0 0 0 440 29 0 0 25 0 1 0 4695979 128991232 28314 1283457024 134512640 135413687 4289988096 18446744073709551615 134698573 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 31492 28314 107 220 0 31270 0 Current children cumulated CPU time (s) 15.98 Current children cumulated vsize (KiB) 174508 [startup+16.8096 s] /proc/loadavg: 0.96 1.05 1.07 2/37 23193 /proc/meminfo: memFree=177456/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=165432 CPUtime=5.49 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 53273 0 0 0 517 32 0 0 25 0 1 0 4695979 169402368 35460 1283457024 134512640 135413687 4289988096 18446744073709551615 134696821 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 41358 35460 107 220 0 41136 0 Current children cumulated CPU time (s) 16.78 Current children cumulated vsize (KiB) 213972 [startup+17.2097 s] /proc/loadavg: 0.96 1.05 1.07 2/37 23193 /proc/meminfo: memFree=177456/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=173228 CPUtime=5.89 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 55031 0 0 0 557 32 0 0 25 0 1 0 4695979 177385472 37151 1283457024 134512640 135413687 4289988096 18446744073709551615 134696685 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 43307 37151 107 220 0 43085 0 Current children cumulated CPU time (s) 17.18 Current children cumulated vsize (KiB) 221768 [startup+17.6102 s] /proc/loadavg: 0.96 1.05 1.07 2/37 23193 /proc/meminfo: memFree=175224/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=44296 CPUtime=11.29 /proc/23184/stat : 23184 (packup) S 23183 23183 1511 34817 1511 4202496 10939 69396 0 0 168 66 837 58 18 0 1 0 4694848 45359104 10379 1283457024 134512640 134752139 4288711632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23184/statm: 11074 10379 333 59 0 10238 0 [pid=23192] ppid=23184 vsize=1676 CPUtime=0 /proc/23192/stat : 23192 (sh) S 23184 23183 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4695978 1716224 124 1283457024 134512640 134593992 4292929712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23192/statm: 419 124 108 20 0 46 0 [pid=23193] ppid=23192 vsize=154892 CPUtime=6.29 /proc/23193/stat : 23193 (minisatp_32) R 23192 23183 1511 34817 1511 4202496 56804 0 0 0 594 35 0 0 25 0 1 0 4695979 158609408 32151 1283457024 134512640 135413687 4289988096 18446744073709551615 134992593 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/23193/statm: 38723 32151 117 220 0 38501 0 Current children cumulated CPU time (s) 17.58 Current children cumulated vsize (KiB) 203432 [startup+17.7099 s] /proc/loadavg: 0.96 1.05 1.07 2/37 23193 /proc/meminfo: memFree=175224/1048576 swapFree=0/0 [pid=23183] ppid=23182 vsize=2568 CPUtime=0 /proc/23183/stat : 23183 (packup2mp4tr-0.) S 23182 23183 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4694848 2629632 274 1283457024 134512640 135304128 4287728400 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23183/statm: 642 274 233 194 0 29 0 [pid=23184] ppid=23183 vsize=43328 CPUtime=17.69 /proc/23184/stat : 23184 (packup) R 23183 23183 1511 34817 1511 4202496 19624 126349 0 0 175 68 1432 94 18 0 1 0 4694848 44367872 10150 1283457024 134512640 134752139 4288711632 18446744073709551615 4156941843 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23184/statm: 10832 10150 346 59 0 9996 0 Current children cumulated CPU time (s) 17.69 Current children cumulated vsize (KiB) 45896 Child status: 0 Real time (s): 17.7493 CPU time (s): 17.7331 CPU user time (s): 16.101 CPU system time (s): 1.6321 CPU usage (%): 99.9088 Max. virtual memory (cumulated for all children) (KiB): 228844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.101 system time used= 1.6321 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147196 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= 19 involuntary context switches= 283 runsolver used 0 second user time and 0 second system time The end