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/201007050905/aspcud-trendy-1.2/randc192b7.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//randc192b7.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/randc192b7.cudf.easy.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.19 1.18 1.10 6/38 30253 /proc/meminfo: memFree=470452/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) R 30251 30252 24102 769 24102 4202496 976 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 838 1283457024 134512640 135539072 4294673088 18446744073709551615 4159189408 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/30252/statm: 1148 838 399 251 0 406 0 [pid=30253] ppid=30252 vsize=4592 CPUtime=0 /proc/30253/stat : 30253 (aspcud-trendy-1) R 30252 30252 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 1 0 525190599 4702208 447 1283457024 134512640 135539072 4294673088 18446744073709551615 4159189408 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/30253/statm: 1148 447 8 251 0 406 0 [startup+0.193904 s] /proc/loadavg: 1.19 1.18 1.10 6/38 30253 /proc/meminfo: memFree=470452/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=3744 CPUtime=0.18 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 823 0 0 0 18 0 0 0 25 0 1 0 525190599 3833856 618 1283457024 134512640 135993029 4287523872 18446744073709551615 134567742 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 936 618 110 362 0 518 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8336 [startup+0.213902 s] /proc/loadavg: 1.19 1.18 1.10 6/38 30253 /proc/meminfo: memFree=470452/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=3992 CPUtime=0.2 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 868 0 0 0 20 0 0 0 25 0 1 0 525190599 4087808 663 1283457024 134512640 135993029 4287523872 18446744073709551615 134571489 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 998 663 110 362 0 580 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8584 [startup+0.313929 s] /proc/loadavg: 1.19 1.18 1.10 6/38 30253 /proc/meminfo: memFree=470452/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=4736 CPUtime=0.3 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 1072 0 0 0 30 0 0 0 25 0 1 0 525190599 4849664 867 1283457024 134512640 135993029 4287523872 18446744073709551615 134567239 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 1184 867 110 362 0 766 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9328 [startup+0.714026 s] /proc/loadavg: 1.19 1.18 1.10 6/38 30253 /proc/meminfo: memFree=470452/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=8456 CPUtime=0.7 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 1977 0 0 0 70 0 0 0 25 0 1 0 525190599 8658944 1772 1283457024 134512640 135993029 4287523872 18446744073709551615 134538157 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 2114 1772 110 362 0 1696 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 13048 [startup+1.51417 s] /proc/loadavg: 1.19 1.18 1.10 2/39 30254 /proc/meminfo: memFree=460308/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=15400 CPUtime=1.5 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 3726 0 0 0 150 0 0 0 25 0 1 0 525190599 15769600 3521 1283457024 134512640 135993029 4287523872 18446744073709551615 134566689 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 3850 3521 110 362 0 3432 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19992 [startup+3.11451 s] /proc/loadavg: 1.19 1.18 1.10 2/39 30254 /proc/meminfo: memFree=450884/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=0.01 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1034 0 0 0 0 1 0 0 25 0 1 0 525190597 4702208 840 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 840 401 251 0 406 0 [pid=30253] ppid=30252 vsize=29420 CPUtime=3.09 /proc/30253/stat : 30253 (cudf2lp) R 30252 30252 24102 769 24102 4202496 7111 0 0 0 308 1 0 0 25 0 1 0 525190599 30126080 6906 1283457024 134512640 135993029 4287523872 18446744073709551615 134570820 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30253/statm: 7355 6906 110 362 0 6937 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 34012 [startup+6.31513 s] /proc/loadavg: 1.18 1.17 1.10 3/40 30256 /proc/meminfo: memFree=454464/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=5.31 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1216 17982 0 0 0 1 452 78 18 0 1 0 525190597 4702208 843 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 843 404 251 0 406 0 [pid=30255] ppid=30252 vsize=28624 CPUtime=0.87 /proc/30255/stat : 30255 (bingo) R 30252 30252 24102 769 24102 4202496 9431 0 0 0 86 1 0 0 25 0 1 0 525191131 29310976 5810 1283457024 134512640 136195415 4292725056 18446744073709551615 135594668 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30255/statm: 7156 5810 205 411 0 6743 0 [pid=30256] ppid=30252 vsize=22028 CPUtime=0.08 /proc/30256/stat : 30256 (clasp) S 30252 30252 24102 769 24102 4202496 6315 0 0 0 8 0 0 0 21 0 1 0 525191133 22556672 5087 1283457024 134512640 136080129 4294816560 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/30256/statm: 5507 5087 144 383 0 5122 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 55244 [startup+12.7084 s] /proc/loadavg: 1.16 1.17 1.09 2/40 30256 /proc/meminfo: memFree=76248/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4592 CPUtime=5.31 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1216 17982 0 0 0 1 452 78 18 0 1 0 525190597 4702208 843 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1148 843 404 251 0 406 0 [pid=30255] ppid=30252 vsize=0 CPUtime=6.32 /proc/30255/stat : 30255 (bingo) Z 30252 30252 24102 769 24102 4202508 111871 0 0 0 596 36 0 0 25 0 1 0 525191131 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30255/statm: 0 0 0 0 0 0 0 [pid=30256] ppid=30252 vsize=106684 CPUtime=1.03 /proc/30256/stat : 30256 (clasp) R 30252 30252 24102 769 24102 4202496 29838 0 0 0 88 15 0 0 18 0 1 0 525191133 109244416 25785 1283457024 134512640 136080129 4294816560 18446744073709551615 134893465 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30256/statm: 26671 25785 158 383 0 26286 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 111276 [startup+25.5095 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30258 /proc/meminfo: memFree=339484/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=16.33 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1419 175728 0 0 0 1 1488 144 18 0 1 0 525190597 4833280 859 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 859 404 251 0 438 0 [pid=30257] ppid=30252 vsize=0 CPUtime=6.24 /proc/30257/stat : 30257 (bingo) Z 30252 30252 24102 769 24102 4202508 112412 0 0 0 572 52 0 0 25 0 1 0 525192234 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30257/statm: 0 0 0 0 0 0 0 [pid=30258] ppid=30252 vsize=133536 CPUtime=2.9 /proc/30258/stat : 30258 (clasp) R 30252 30252 24102 769 24102 4202496 45982 0 0 0 270 20 0 0 21 0 1 0 525192236 136740864 32730 1283457024 134512640 136080129 4292677904 18446744073709551615 135504627 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30258/statm: 33384 32730 183 383 0 32999 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 138256 Solver just ended. Dumping a history of the last processes samples [startup+25.6095 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30258 /proc/meminfo: memFree=339484/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=16.33 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1419 175728 0 0 0 1 1488 144 18 0 1 0 525190597 4833280 859 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 859 404 251 0 438 0 [pid=30257] ppid=30252 vsize=0 CPUtime=6.24 /proc/30257/stat : 30257 (bingo) Z 30252 30252 24102 769 24102 4202508 112412 0 0 0 572 52 0 0 25 0 1 0 525192234 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30257/statm: 0 0 0 0 0 0 0 [pid=30258] ppid=30252 vsize=133536 CPUtime=3 /proc/30258/stat : 30258 (clasp) R 30252 30252 24102 769 24102 4202496 45992 0 0 0 280 20 0 0 21 0 1 0 525192236 136740864 32740 1283457024 134512640 136080129 4292677904 18446744073709551615 135499167 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30258/statm: 33384 32740 183 383 0 32999 0 Current children cumulated CPU time (s) 25.57 Current children cumulated vsize (KiB) 138256 [startup+38.4111 s] /proc/loadavg: 1.30 1.20 1.10 3/40 30262 /proc/meminfo: memFree=449936/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=40316 CPUtime=1.28 /proc/30261/stat : 30261 (bingo) R 30252 30252 24102 769 24102 4202496 13264 0 0 0 122 6 0 0 25 0 1 0 525194297 41283584 8928 1283457024 134512640 136195415 4293151152 18446744073709551615 135584456 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30261/statm: 10079 8928 209 411 0 9666 0 [pid=30262] ppid=30252 vsize=26652 CPUtime=0.12 /proc/30262/stat : 30262 (clasp) S 30252 30252 24102 769 24102 4202496 7557 0 0 0 8 4 0 0 22 0 1 0 525194299 27291648 6324 1283457024 134512640 136080129 4286993312 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/30262/statm: 6663 6324 149 383 0 6278 0 Current children cumulated CPU time (s) 38.32 Current children cumulated vsize (KiB) 71688 [startup+44.8134 s] /proc/loadavg: 1.28 1.20 1.10 2/40 30262 /proc/meminfo: memFree=131500/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 [pid=30262] ppid=30252 vsize=109324 CPUtime=1.49 /proc/30262/stat : 30262 (clasp) R 30252 30252 24102 769 24102 4202496 31134 0 0 0 136 13 0 0 18 0 1 0 525194299 111947776 26378 1283457024 134512640 136080129 4286993312 18446744073709551615 134914044 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30262/statm: 27331 26378 163 383 0 26946 0 Current children cumulated CPU time (s) 44.71 Current children cumulated vsize (KiB) 114044 [startup+46.4138 s] /proc/loadavg: 1.28 1.20 1.10 2/40 30262 /proc/meminfo: memFree=341812/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 [pid=30262] ppid=30252 vsize=134540 CPUtime=3.1 /proc/30262/stat : 30262 (clasp) R 30252 30252 24102 769 24102 4202496 46052 0 0 0 290 20 0 0 21 0 1 0 525194299 137768960 32943 1283457024 134512640 136080129 4286993312 18446744073709551615 134800141 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30262/statm: 33635 32943 183 383 0 33250 0 Current children cumulated CPU time (s) 46.32 Current children cumulated vsize (KiB) 139260 [startup+47.2141 s] /proc/loadavg: 1.28 1.20 1.10 2/40 30262 /proc/meminfo: memFree=341812/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 [pid=30262] ppid=30252 vsize=125528 CPUtime=3.9 /proc/30262/stat : 30262 (clasp) R 30252 30252 24102 769 24102 4202496 46134 0 0 0 370 20 0 0 25 0 1 0 525194299 128540672 30824 1283457024 134512640 136080129 4286993312 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30262/statm: 31382 30824 193 383 0 30997 0 Current children cumulated CPU time (s) 47.12 Current children cumulated vsize (KiB) 130248 [startup+48.0143 s] /proc/loadavg: 1.26 1.19 1.10 2/40 30262 /proc/meminfo: memFree=349872/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 [pid=30262] ppid=30252 vsize=125528 CPUtime=4.7 /proc/30262/stat : 30262 (clasp) R 30252 30252 24102 769 24102 4202496 46134 0 0 0 450 20 0 0 25 0 1 0 525194299 128540672 30824 1283457024 134512640 136080129 4286993312 18446744073709551615 134809214 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30262/statm: 31382 30824 193 383 0 30997 0 Current children cumulated CPU time (s) 47.92 Current children cumulated vsize (KiB) 130248 [startup+48.4144 s] /proc/loadavg: 1.26 1.19 1.10 2/40 30262 /proc/meminfo: memFree=367604/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4720 CPUtime=36.92 /proc/30252/stat : 30252 (aspcud-trendy-1) S 30251 30252 24102 769 24102 4202496 1816 493267 0 0 0 1 3399 292 18 0 1 0 525190597 4833280 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4160127918 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30252/statm: 1180 860 404 251 0 438 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 [pid=30262] ppid=30252 vsize=107220 CPUtime=5.1 /proc/30262/stat : 30262 (clasp) R 30252 30252 24102 769 24102 4202496 46143 0 0 0 490 20 0 0 25 0 1 0 525194299 109793280 26342 1283457024 134512640 136080129 4286993312 18446744073709551615 135495516 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30262/statm: 26805 26342 202 383 0 26420 0 Current children cumulated CPU time (s) 48.32 Current children cumulated vsize (KiB) 111940 [startup+48.5144 s] /proc/loadavg: 1.26 1.19 1.10 2/40 30262 /proc/meminfo: memFree=367604/1048576 swapFree=2095456/2097144 [pid=30252] ppid=30251 vsize=4716 CPUtime=42.1 /proc/30252/stat : 30252 (aspcud-trendy-1) R 30251 30252 24102 769 24102 4202496 1843 539412 0 0 0 1 3895 314 18 0 1 0 525190597 4829184 860 1283457024 134512640 135539072 4294673088 18446744073709551615 4159189408 0 0 16781312 514 0 0 0 17 0 0 0 0 /proc/30252/statm: 1179 860 404 251 0 437 0 [pid=30261] ppid=30252 vsize=0 CPUtime=6.3 /proc/30261/stat : 30261 (bingo) Z 30252 30252 24102 769 24102 4202508 113735 0 0 0 579 51 0 0 25 0 1 0 525194297 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30261/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 48.4 Current children cumulated vsize (KiB) 4716 Child status: 0 Real time (s): 48.5447 CPU time (s): 48.483 CPU user time (s): 44.7828 CPU system time (s): 3.70023 CPU usage (%): 99.873 Max. virtual memory (cumulated for all children) (KiB): 587328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.7828 system time used= 3.70023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656302 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= 14492 involuntary context switches= 15119 runsolver used 0 second user time and 0 second system time The end