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/201007051233/aspcud-trendy-1.2/e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debian-dudf.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.04 1.01 6/34 16503 /proc/meminfo: memFree=768972/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) R 16501 16502 3447 769 3447 4202496 974 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 837 1283457024 134512640 135539072 4287515568 18446744073709551615 4158718368 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/16502/statm: 1147 837 399 251 0 405 0 [pid=16503] ppid=16502 vsize=4588 CPUtime=0 /proc/16503/stat : 16503 (aspcud-trendy-1) R 16502 16502 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 1 0 528698418 4698112 446 1283457024 134512640 135539072 4287515568 18446744073709551615 4158718368 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/16503/statm: 1147 446 8 251 0 405 0 [startup+0.16326 s] /proc/loadavg: 1.00 1.04 1.01 6/34 16503 /proc/meminfo: memFree=768972/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=3248 CPUtime=0.14 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 722 0 0 0 14 0 0 0 25 0 1 0 528698418 3325952 518 1283457024 134512640 135993029 4294355536 18446744073709551615 134609250 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 812 518 110 362 0 394 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 7836 [startup+0.213264 s] /proc/loadavg: 1.00 1.04 1.01 6/34 16503 /proc/meminfo: memFree=768972/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=3744 CPUtime=0.2 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 821 0 0 0 20 0 0 0 25 0 1 0 528698418 3833856 617 1283457024 134512640 135993029 4294355536 18446744073709551615 134569153 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 936 617 110 362 0 518 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8332 [startup+0.303277 s] /proc/loadavg: 1.00 1.04 1.01 6/34 16503 /proc/meminfo: memFree=768972/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=4488 CPUtime=0.28 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 1013 0 0 0 28 0 0 0 25 0 1 0 528698418 4595712 809 1283457024 134512640 135993029 4294355536 18446744073709551615 134585763 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 1122 809 110 362 0 704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9076 [startup+0.703338 s] /proc/loadavg: 1.00 1.04 1.01 6/34 16503 /proc/meminfo: memFree=768972/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=7712 CPUtime=0.68 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 1793 0 0 0 68 0 0 0 25 0 1 0 528698418 7897088 1589 1283457024 134512640 135993029 4294355536 18446744073709551615 134571466 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 1928 1589 110 362 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12300 [startup+1.50344 s] /proc/loadavg: 1.00 1.04 1.01 2/35 16504 /proc/meminfo: memFree=759796/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=13912 CPUtime=1.48 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 3356 0 0 0 147 1 0 0 25 0 1 0 528698418 14245888 3152 1283457024 134512640 135993029 4294355536 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 3478 3152 110 362 0 3060 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18500 [startup+3.10372 s] /proc/loadavg: 1.00 1.04 1.00 2/35 16504 /proc/meminfo: memFree=751364/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=0.01 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1033 0 0 0 0 1 0 0 25 0 1 0 528698416 4698112 839 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 839 401 251 0 405 0 [pid=16503] ppid=16502 vsize=26436 CPUtime=3.08 /proc/16503/stat : 16503 (cudf2lp) R 16502 16502 3447 769 3447 4202496 6404 0 0 0 304 4 0 0 25 0 1 0 528698418 27070464 6200 1283457024 134512640 135993029 4294355536 18446744073709551615 134567833 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16503/statm: 6609 6200 111 362 0 6191 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31024 [startup+6.30441 s] /proc/loadavg: 1.00 1.04 1.00 2/35 16504 /proc/meminfo: memFree=684032/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=5.63 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1226 20237 0 0 0 1 492 70 18 0 1 0 528698416 4698112 842 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 842 404 251 0 405 0 Current children cumulated CPU time (s) 5.63 Current children cumulated vsize (KiB) 4588 [startup+12.7054 s] /proc/loadavg: 1.07 1.05 1.01 2/36 16506 /proc/meminfo: memFree=672120/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4588 CPUtime=5.63 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1226 20237 0 0 0 1 492 70 18 0 1 0 528698416 4698112 842 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1147 842 404 251 0 405 0 [pid=16505] ppid=16502 vsize=0 CPUtime=4.88 /proc/16505/stat : 16505 (bingo) Z 16502 16502 3447 769 3447 4202508 88302 0 0 0 458 30 0 0 25 0 1 0 528698982 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16505/statm: 0 0 0 0 0 0 0 [pid=16506] ppid=16502 vsize=112240 CPUtime=2.14 /proc/16506/stat : 16506 (clasp) R 16502 16502 3447 769 3447 4202496 37726 0 0 0 198 16 0 0 19 0 1 0 528698984 114933760 27488 1283457024 134512640 136080129 4289240544 18446744073709551615 134800141 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16506/statm: 28060 27488 178 383 0 27675 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 116828 [startup+25.5026 s] /proc/loadavg: 1.06 1.05 1.01 3/36 16510 /proc/meminfo: memFree=704352/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=23.81 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1636 273330 0 0 0 1 2192 188 19 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16509] ppid=16502 vsize=56140 CPUtime=1.28 /proc/16509/stat : 16509 (bingo) R 16502 16502 3447 769 3447 4202496 17123 0 0 0 124 4 0 0 24 0 1 0 528700819 57487360 11820 1283457024 134512640 136195415 4293474784 18446744073709551615 134612871 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16509/statm: 14035 11820 220 411 0 13622 0 [pid=16510] ppid=16502 vsize=31696 CPUtime=0.18 /proc/16510/stat : 16510 (clasp) S 16502 16502 3447 769 3447 4202496 9241 0 0 0 12 6 0 0 23 0 1 0 528700819 32456704 7400 1283457024 134512640 136080129 4291008384 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/16510/statm: 7924 7400 149 383 0 7539 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 92552 Solver just ended. Dumping a history of the last processes samples [startup+25.6126 s] /proc/loadavg: 1.06 1.05 1.01 3/36 16510 /proc/meminfo: memFree=704352/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=23.81 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1636 273330 0 0 0 1 2192 188 19 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16509] ppid=16502 vsize=56140 CPUtime=1.39 /proc/16509/stat : 16509 (bingo) R 16502 16502 3447 769 3447 4202496 17180 0 0 0 135 4 0 0 24 0 1 0 528700819 57487360 11877 1283457024 134512640 136195415 4293474784 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16509/statm: 14035 11877 220 411 0 13622 0 [pid=16510] ppid=16502 vsize=32224 CPUtime=0.18 /proc/16510/stat : 16510 (clasp) S 16502 16502 3447 769 3447 4202496 9377 0 0 0 12 6 0 0 21 0 1 0 528700819 32997376 7536 1283457024 134512640 136080129 4291008384 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/16510/statm: 8056 7536 149 383 0 7671 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 93080 [startup+32.0137 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16510 /proc/meminfo: memFree=679560/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=27.05 /proc/16502/stat : 16502 (aspcud-trendy-1) R 16501 16502 3447 769 3447 4202496 1698 311065 0 0 2 1 2494 208 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4158718368 0 0 16781312 514 0 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16509] ppid=16502 vsize=0 CPUtime=4.74 /proc/16509/stat : 16509 (bingo) Z 16502 16502 3447 769 3447 4202508 89534 0 0 0 432 42 0 0 25 0 1 0 528700819 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16509/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 31.79 Current children cumulated vsize (KiB) 4716 [startup+35.2143 s] /proc/loadavg: 1.05 1.05 1.01 3/36 16512 /proc/meminfo: memFree=560140/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=157196 CPUtime=2.71 /proc/16511/stat : 16511 (bingo) R 16502 16502 3447 769 3447 4202496 41185 0 0 0 262 9 0 0 25 0 1 0 528701615 160968704 32929 1283457024 134512640 136195415 4293442000 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/16511/statm: 39299 32929 220 411 0 38886 0 [pid=16512] ppid=16502 vsize=71660 CPUtime=0.48 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 19882 0 0 0 40 8 0 0 18 0 1 0 528701618 73379840 17351 1283457024 134512640 136080129 4292380864 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 17915 17351 149 383 0 17530 0 Current children cumulated CPU time (s) 34.98 Current children cumulated vsize (KiB) 233572 [startup+38.4062 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16512 /proc/meminfo: memFree=396584/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=0 CPUtime=5.04 /proc/16511/stat : 16511 (bingo) Z 16502 16502 3447 769 3447 4202508 90254 0 0 0 474 30 0 0 25 0 1 0 528701615 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16511/statm: 0 0 0 0 0 0 0 [pid=16512] ppid=16502 vsize=93620 CPUtime=1.35 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 26422 0 0 0 124 11 0 0 18 0 1 0 528701618 95866880 22706 1283457024 134512640 136080129 4292380864 18446744073709551615 134910294 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 23405 22706 163 383 0 23020 0 Current children cumulated CPU time (s) 38.18 Current children cumulated vsize (KiB) 98336 [startup+39.2067 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16512 /proc/meminfo: memFree=669764/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=0 CPUtime=5.04 /proc/16511/stat : 16511 (bingo) Z 16502 16502 3447 769 3447 4202508 90254 0 0 0 474 30 0 0 25 0 1 0 528701615 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16511/statm: 0 0 0 0 0 0 0 [pid=16512] ppid=16502 vsize=114592 CPUtime=2.15 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 38175 0 0 0 202 13 0 0 19 0 1 0 528701618 117342208 28085 1283457024 134512640 136080129 4292380864 18446744073709551615 134789992 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 28648 28085 185 383 0 28263 0 Current children cumulated CPU time (s) 38.98 Current children cumulated vsize (KiB) 119308 [startup+39.6069 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16512 /proc/meminfo: memFree=654636/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=0 CPUtime=5.04 /proc/16511/stat : 16511 (bingo) Z 16502 16502 3447 769 3447 4202508 90254 0 0 0 474 30 0 0 25 0 1 0 528701615 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16511/statm: 0 0 0 0 0 0 0 [pid=16512] ppid=16502 vsize=107516 CPUtime=2.55 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 38181 0 0 0 242 13 0 0 20 0 1 0 528701618 110096384 26333 1283457024 134512640 136080129 4292380864 18446744073709551615 134624384 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 26879 26333 188 383 0 26494 0 Current children cumulated CPU time (s) 39.38 Current children cumulated vsize (KiB) 112232 [startup+39.807 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16512 /proc/meminfo: memFree=654636/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=0 CPUtime=5.04 /proc/16511/stat : 16511 (bingo) Z 16502 16502 3447 769 3447 4202508 90254 0 0 0 474 30 0 0 25 0 1 0 528701615 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16511/statm: 0 0 0 0 0 0 0 [pid=16512] ppid=16502 vsize=107516 CPUtime=2.75 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 38250 0 0 0 262 13 0 0 21 0 1 0 528701618 110096384 26402 1283457024 134512640 136080129 4292380864 18446744073709551615 134808696 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 26879 26402 191 383 0 26494 0 Current children cumulated CPU time (s) 39.58 Current children cumulated vsize (KiB) 112232 [startup+39.907 s] /proc/loadavg: 1.05 1.05 1.01 2/36 16512 /proc/meminfo: memFree=654636/1048576 swapFree=2094596/2097144 [pid=16502] ppid=16501 vsize=4716 CPUtime=31.79 /proc/16502/stat : 16502 (aspcud-trendy-1) S 16501 16502 3447 769 3447 4202496 1845 400599 0 0 2 1 2926 250 18 0 1 0 528698416 4829184 858 1283457024 134512640 135539072 4287515568 18446744073709551615 4159656878 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/16502/statm: 1179 858 404 251 0 437 0 [pid=16511] ppid=16502 vsize=0 CPUtime=5.04 /proc/16511/stat : 16511 (bingo) Z 16502 16502 3447 769 3447 4202508 90254 0 0 0 474 30 0 0 25 0 1 0 528701615 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/16511/statm: 0 0 0 0 0 0 0 [pid=16512] ppid=16502 vsize=81704 CPUtime=2.84 /proc/16512/stat : 16512 (clasp) R 16502 16502 3447 769 3447 4202496 38261 0 0 0 270 14 0 0 21 0 1 0 528701618 83664896 20227 1283457024 134512640 136080129 4292380864 18446744073709551615 135495369 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/16512/statm: 20426 20227 202 383 0 20041 0 Current children cumulated CPU time (s) 39.67 Current children cumulated vsize (KiB) 86420 Child status: 0 Real time (s): 39.9917 CPU time (s): 39.7945 CPU user time (s): 36.7783 CPU system time (s): 3.01619 CPU usage (%): 99.5068 Max. virtual memory (cumulated for all children) (KiB): 458984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.7783 system time used= 3.01619 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532264 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= 11826 involuntary context switches= 12321 runsolver used 0 second user time and 0 second system time The end