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/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.dudf-real.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-real//8680dd8a-8600-11e0-b285-00163e1e087d.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/8680dd8a-8600-11e0-b285-00163e1e087d.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: 1.17 1.07 1.07 4/34 28553 /proc/meminfo: memFree=335272/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=3440 CPUtime=0.01 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4194304 192 0 0 0 1 0 0 0 25 0 1 0 4925440 3522560 128 1283457024 134512640 134752139 4287345280 18446744073709551615 4160336207 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28553/statm: 860 128 103 59 0 20 0 [startup+0.14265 s] /proc/loadavg: 1.17 1.07 1.07 4/34 28553 /proc/meminfo: memFree=335272/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=8840 CPUtime=0.15 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 1713 0 0 0 14 1 0 0 25 0 1 0 4925440 9052160 1642 1283457024 134512640 134752139 4287345280 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 2210 1642 286 59 0 1374 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 11408 [startup+0.212664 s] /proc/loadavg: 1.17 1.07 1.07 4/34 28553 /proc/meminfo: memFree=335272/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=11216 CPUtime=0.21 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 2296 0 0 0 19 2 0 0 25 0 1 0 4925440 11485184 2225 1283457024 134512640 134752139 4287345280 18446744073709551615 134681672 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 2804 2225 286 59 0 1968 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 13784 [startup+0.302684 s] /proc/loadavg: 1.17 1.07 1.07 4/34 28553 /proc/meminfo: memFree=335272/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=13988 CPUtime=0.3 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 2999 0 0 0 28 2 0 0 25 0 1 0 4925440 14323712 2928 1283457024 134512640 134752139 4287345280 18446744073709551615 134681722 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 3497 2928 286 59 0 2661 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16556 [startup+0.702793 s] /proc/loadavg: 1.17 1.07 1.07 4/34 28553 /proc/meminfo: memFree=335272/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=25008 CPUtime=0.7 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 5740 0 0 0 67 3 0 0 25 0 1 0 4925440 25608192 5669 1283457024 134512640 134752139 4287345280 18446744073709551615 4157368417 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 6252 5669 286 59 0 5416 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 27576 [startup+1.503 s] /proc/loadavg: 1.17 1.07 1.07 2/35 28554 /proc/meminfo: memFree=300416/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47516 CPUtime=1.51 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 11500 0 0 0 134 17 0 0 25 0 1 0 4925440 48656384 11137 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 11879 11137 322 59 0 11043 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 50084 [startup+3.10332 s] /proc/loadavg: 1.17 1.07 1.07 2/37 28556 /proc/meminfo: memFree=275212/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47516 CPUtime=1.54 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11504 0 0 0 134 20 0 0 25 0 1 0 4925440 48656384 11140 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11879 11140 325 59 0 11043 0 [pid=28555] ppid=28553 vsize=1676 CPUtime=0 /proc/28555/stat : 28555 (sh) S 28553 28552 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 25 0 1 0 4925594 1716224 124 1283457024 134512640 134593992 4287910896 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28555/statm: 419 124 108 20 0 46 0 [pid=28556] ppid=28555 vsize=43508 CPUtime=1.55 /proc/28556/stat : 28556 (minisatp_32) R 28555 28552 1511 34817 1511 4202496 13071 0 0 0 139 16 0 0 25 0 1 0 4925595 44552192 9860 1283457024 134512640 135413687 4294691456 18446744073709551615 134648970 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28556/statm: 10877 9860 110 220 0 10655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 95268 [startup+6.30405 s] /proc/loadavg: 1.15 1.07 1.07 2/37 28558 /proc/meminfo: memFree=271120/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47520 CPUtime=4.64 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11587 25525 0 0 148 36 262 18 18 0 1 0 4925440 48660480 11157 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11880 11157 333 59 0 11044 0 [pid=28557] ppid=28553 vsize=1668 CPUtime=0 /proc/28557/stat : 28557 (sh) S 28553 28552 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4925905 1708032 123 1283457024 134512640 134593992 4293999024 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28557/statm: 417 123 108 20 0 44 0 [pid=28558] ppid=28557 vsize=53684 CPUtime=1.64 /proc/28558/stat : 28558 (minisatp_32) R 28557 28552 1511 34817 1511 4202496 15519 0 0 0 146 18 0 0 25 0 1 0 4925906 54972416 12124 1283457024 134512640 135413687 4286638800 18446744073709551615 134665999 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28558/statm: 13421 12124 136 220 0 13199 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 105440 [startup+12.7058 s] /proc/loadavg: 1.14 1.06 1.07 2/37 28560 /proc/meminfo: memFree=231944/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47524 CPUtime=9.54 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11686 69046 0 0 162 52 690 50 18 0 1 0 4925440 48664576 11166 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11881 11166 333 59 0 11045 0 [pid=28559] ppid=28553 vsize=1676 CPUtime=0.01 /proc/28559/stat : 28559 (sh) S 28553 28552 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 19 0 1 0 4926396 1716224 124 1283457024 134512640 134593992 4293384544 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28559/statm: 419 124 108 20 0 46 0 [pid=28560] ppid=28559 vsize=65020 CPUtime=3.12 /proc/28560/stat : 28560 (minisatp_32) R 28559 28552 1511 34817 1511 4202496 24105 0 0 0 288 24 0 0 25 0 1 0 4926397 66580480 14696 1283457024 134512640 135413687 4288724176 18446744073709551615 134631074 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28560/statm: 16255 14696 107 220 0 16033 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 116788 Solver just ended. Dumping a history of the last processes samples [startup+12.8058 s] /proc/loadavg: 1.14 1.06 1.07 2/37 28560 /proc/meminfo: memFree=231944/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47524 CPUtime=9.54 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11686 69046 0 0 162 52 690 50 18 0 1 0 4925440 48664576 11166 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11881 11166 333 59 0 11045 0 [pid=28559] ppid=28553 vsize=1676 CPUtime=0.01 /proc/28559/stat : 28559 (sh) S 28553 28552 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 19 0 1 0 4926396 1716224 124 1283457024 134512640 134593992 4293384544 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28559/statm: 419 124 108 20 0 46 0 [pid=28560] ppid=28559 vsize=75448 CPUtime=3.22 /proc/28560/stat : 28560 (minisatp_32) R 28559 28552 1511 34817 1511 4202496 26774 0 0 0 296 26 0 0 25 0 1 0 4926397 77258752 17032 1283457024 134512640 135413687 4288724176 18446744073709551615 134629283 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28560/statm: 18862 17032 107 220 0 18640 0 Current children cumulated CPU time (s) 12.77 Current children cumulated vsize (KiB) 127216 [startup+16.0104 s] /proc/loadavg: 1.13 1.06 1.07 2/37 28562 /proc/meminfo: memFree=267036/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47528 CPUtime=14.37 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11763 108333 0 0 179 66 1106 86 18 0 1 0 4925440 48668672 11167 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11882 11167 333 59 0 11046 0 [pid=28561] ppid=28553 vsize=1676 CPUtime=0 /proc/28561/stat : 28561 (sh) S 28553 28552 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 19 0 1 0 4926879 1716224 124 1283457024 134512640 134593992 4286997264 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28561/statm: 419 124 108 20 0 46 0 [pid=28562] ppid=28561 vsize=54004 CPUtime=1.6 /proc/28562/stat : 28562 (minisatp_32) R 28561 28552 1511 34817 1511 4202496 14370 0 0 0 144 16 0 0 25 0 1 0 4926880 55300096 11955 1283457024 134512640 135413687 4292886720 18446744073709551615 134525748 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28562/statm: 13501 11955 90 220 0 13279 0 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (KiB) 105776 [startup+17.6108 s] /proc/loadavg: 1.13 1.06 1.07 2/37 28562 /proc/meminfo: memFree=195612/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47528 CPUtime=14.37 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11763 108333 0 0 179 66 1106 86 18 0 1 0 4925440 48668672 11167 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11882 11167 333 59 0 11046 0 [pid=28561] ppid=28553 vsize=1676 CPUtime=0 /proc/28561/stat : 28561 (sh) S 28553 28552 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 19 0 1 0 4926879 1716224 124 1283457024 134512640 134593992 4286997264 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28561/statm: 419 124 108 20 0 46 0 [pid=28562] ppid=28561 vsize=107500 CPUtime=3.2 /proc/28562/stat : 28562 (minisatp_32) R 28561 28552 1511 34817 1511 4202496 34383 0 0 0 295 25 0 0 25 0 1 0 4926880 110080000 23279 1283457024 134512640 135413687 4292886720 18446744073709551615 134648894 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28562/statm: 26875 23279 94 220 0 26653 0 Current children cumulated CPU time (s) 17.57 Current children cumulated vsize (KiB) 159272 [startup+19.211 s] /proc/loadavg: 1.12 1.06 1.07 2/37 28562 /proc/meminfo: memFree=182096/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47528 CPUtime=14.37 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11763 108333 0 0 179 66 1106 86 18 0 1 0 4925440 48668672 11167 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11882 11167 333 59 0 11046 0 [pid=28561] ppid=28553 vsize=1676 CPUtime=0 /proc/28561/stat : 28561 (sh) S 28553 28552 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 19 0 1 0 4926879 1716224 124 1283457024 134512640 134593992 4286997264 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28561/statm: 419 124 108 20 0 46 0 [pid=28562] ppid=28561 vsize=127820 CPUtime=4.8 /proc/28562/stat : 28562 (minisatp_32) R 28561 28552 1511 34817 1511 4202496 43984 0 0 0 449 31 0 0 25 0 1 0 4926880 130887680 28489 1283457024 134512640 135413687 4292886720 18446744073709551615 134535218 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28562/statm: 31955 28489 107 220 0 31733 0 Current children cumulated CPU time (s) 19.17 Current children cumulated vsize (KiB) 179592 [startup+19.6111 s] /proc/loadavg: 1.12 1.06 1.07 2/37 28562 /proc/meminfo: memFree=182096/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=47528 CPUtime=14.37 /proc/28553/stat : 28553 (packup) S 28552 28552 1511 34817 1511 4202496 11763 108333 0 0 179 66 1106 86 18 0 1 0 4925440 48668672 11167 1283457024 134512640 134752139 4287345280 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/28553/statm: 11882 11167 333 59 0 11046 0 [pid=28561] ppid=28553 vsize=1676 CPUtime=0 /proc/28561/stat : 28561 (sh) S 28553 28552 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 19 0 1 0 4926879 1716224 124 1283457024 134512640 134593992 4286997264 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28561/statm: 419 124 108 20 0 46 0 [pid=28562] ppid=28561 vsize=146264 CPUtime=5.2 /proc/28562/stat : 28562 (minisatp_32) R 28561 28552 1511 34817 1511 4202496 47630 0 0 0 487 33 0 0 25 0 1 0 4926880 149774336 31793 1283457024 134512640 135413687 4292886720 18446744073709551615 134698724 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/28562/statm: 36566 31793 107 220 0 36344 0 Current children cumulated CPU time (s) 19.57 Current children cumulated vsize (KiB) 198036 [startup+20.012 s] /proc/loadavg: 1.12 1.06 1.07 2/37 28562 /proc/meminfo: memFree=163868/1048576 swapFree=0/0 [pid=28552] ppid=28551 vsize=2568 CPUtime=0 /proc/28552/stat : 28552 (packup2mp4tr-0.) S 28551 28552 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4925440 2629632 274 1283457024 134512640 135304128 4294822352 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/28552/statm: 642 274 233 194 0 29 0 [pid=28553] ppid=28552 vsize=46756 CPUtime=19.99 /proc/28553/stat : 28553 (packup) R 28552 28552 1511 34817 1511 4202496 19377 157153 0 0 182 72 1622 123 18 0 1 0 4925440 47878144 10987 1283457024 134512640 134752139 4287345280 18446744073709551615 4157614252 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/28553/statm: 11689 10987 346 59 0 10853 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (KiB) 49324 Child status: 0 Real time (s): 20.0858 CPU time (s): 20.0733 CPU user time (s): 18.1091 CPU system time (s): 1.96412 CPU usage (%): 99.9378 Max. virtual memory (cumulated for all children) (KiB): 203480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.1091 system time used= 1.96412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179568 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= 20 involuntary context switches= 316 runsolver used 0 second user time and 0 second system time The end