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/201007051419/aspcud-trendy-1.2/rand06f749.cudf.difficult.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand06f749.cudf.difficult.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.16 0.84 0.43 1/105 15124 /proc/meminfo: memFree=405520/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=2880 CPUtime=0 /proc/15124/stat : 15124 (runsolver) D 15123 15124 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 18 0 1 0 415061009 2949120 93 1283457024 134512640 134586868 4286873600 18446744073709551615 4158035226 0 0 0 24578 18446744071564332000 0 0 17 1 0 0 0 /proc/15124/statm: 720 93 62 19 0 52 0 [startup+0.152577 s] /proc/loadavg: 1.16 0.84 0.43 1/105 15124 /proc/meminfo: memFree=405520/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=1304 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) D 15123 15124 13759 34823 13904 4194304 88 0 1 0 0 0 0 0 18 0 1 0 415061009 1335296 16 1283457024 134512640 135539072 4289723376 18446744073709551615 4160401740 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/15124/statm: 326 16 11 251 0 10 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1304 [startup+0.204557 s] /proc/loadavg: 1.16 0.84 0.43 1/105 15124 /proc/meminfo: memFree=405520/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=1304 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) D 15123 15124 13759 34823 13904 4194304 88 0 2 0 0 0 0 0 18 0 1 0 415061009 1335296 17 1283457024 134512640 135539072 4289723376 18446744073709551615 4160429689 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/15124/statm: 326 17 12 251 0 10 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1304 [startup+0.304557 s] /proc/loadavg: 1.16 0.84 0.43 1/105 15124 /proc/meminfo: memFree=405520/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=1312 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4194304 97 0 4 0 0 0 0 0 18 0 1 0 415061009 1343488 27 1283457024 134512640 135539072 4289723376 18446744073709551615 4160479364 0 2147483391 0 0 18446744071697298955 0 0 17 0 0 0 0 /proc/15124/statm: 328 27 20 251 0 12 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1312 [startup+0.704597 s] /proc/loadavg: 1.16 0.84 0.43 1/105 15124 /proc/meminfo: memFree=405520/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=2876 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) D 15123 15124 13759 34823 13904 4194304 195 0 7 0 0 0 0 0 16 0 1 0 415061009 2945024 119 1283457024 134512640 135539072 4289723376 18446744073709551615 135219616 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/15124/statm: 719 119 94 251 0 20 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2876 [startup+1.50461 s] /proc/loadavg: 1.16 0.84 0.43 2/106 15125 /proc/meminfo: memFree=404560/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=3276 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) D 15123 15124 13759 34823 13904 4202496 336 0 14 0 0 0 0 0 16 0 1 0 415061009 3354624 255 1283457024 134512640 135539072 4289723376 18446744073709551615 135145648 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/15124/statm: 819 255 196 251 0 120 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3276 [startup+3.10467 s] /proc/loadavg: 1.07 0.82 0.43 2/107 15127 /proc/meminfo: memFree=399492/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4712 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1025 0 27 0 0 0 0 0 17 0 1 0 415061009 4825088 837 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15124/statm: 1178 837 399 251 0 436 0 [pid=15126] ppid=15124 vsize=11676 CPUtime=1.06 /proc/15126/stat : 15126 (cudf2lp) R 15124 15124 13759 34823 13904 4202496 2801 0 0 0 106 0 0 0 19 0 1 0 415061211 11956224 2601 1283457024 134512640 135993029 4290845888 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/15126/statm: 2919 2601 110 362 0 2501 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 16388 heavy processes: [startup+6.30482 s] /proc/loadavg: 1.07 0.82 0.43 2/107 15127 /proc/meminfo: memFree=370228/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4712 CPUtime=0 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1025 0 27 0 0 0 0 0 17 0 1 0 415061009 4825088 837 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15124/statm: 1178 837 399 251 0 436 0 [pid=15126] ppid=15124 vsize=39960 CPUtime=4.26 /proc/15126/stat : 15126 (cudf2lp) R 15124 15124 13759 34823 13904 4202496 9728 0 0 0 424 2 0 0 25 0 1 0 415061211 40919040 9528 1283457024 134512640 135993029 4290845888 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/15126/statm: 9990 9529 110 362 0 9572 0 Current children cumulated CPU time (s) 4.26 Current children cumulated vsize (KiB) 44672 heavy processes: [startup+12.7055 s] /proc/loadavg: 1.06 0.83 0.43 2/107 15129 /proc/meminfo: memFree=289760/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4712 CPUtime=7.76 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1210 27438 27 0 0 0 695 81 18 0 1 0 415061009 4825088 840 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1178 840 402 251 0 436 0 [pid=15128] ppid=15124 vsize=99952 CPUtime=2.89 /proc/15128/stat : 15128 (bingo) R 15124 15124 13759 34823 13904 4202496 32219 0 0 0 277 12 0 0 25 0 1 0 415061989 102350848 20315 1283457024 134512640 136195415 4288211568 18446744073709551615 134775349 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15128/statm: 24988 20315 220 411 0 24575 0 [pid=15129] ppid=15124 vsize=53776 CPUtime=0.04 /proc/15129/stat : 15129 (clasp) S 15124 15124 13759 34823 13904 4202496 15810 0 0 0 3 1 0 0 18 0 1 0 415061989 55066624 12964 1283457024 134512640 136080129 4290823392 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/15129/statm: 13444 12964 144 383 0 13059 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (KiB) 158440 [startup+25.5094 s] /proc/loadavg: 1.05 0.83 0.44 2/107 15130 /proc/meminfo: memFree=516332/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4712 CPUtime=7.76 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1210 27438 27 0 0 0 695 81 18 0 1 0 415061009 4825088 840 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1178 840 402 251 0 436 0 [pid=15128] ppid=15124 vsize=0 CPUtime=10.37 /proc/15128/stat : 15128 (bingo) Z 15124 15124 13759 34823 13904 4202508 174597 0 0 0 953 84 0 0 25 0 1 0 415061989 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15128/statm: 0 0 0 0 0 0 0 [pid=15129] ppid=15124 vsize=213096 CPUtime=6.25 /proc/15129/stat : 15129 (clasp) R 15124 15124 13759 34823 13904 4202496 75719 0 0 0 606 19 0 0 25 0 1 0 415061989 218210304 52324 1283457024 134512640 136080129 4290823392 18446744073709551615 134798261 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15129/statm: 53274 52324 180 383 0 52889 0 Current children cumulated CPU time (s) 24.38 Current children cumulated vsize (KiB) 217808 [startup+51.1068 s] /proc/loadavg: 1.03 0.85 0.45 3/107 15136 /proc/meminfo: memFree=592296/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=47.27 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1585 529379 27 0 2 0 4429 296 18 0 1 0 415061009 4829184 851 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/15124/statm: 1179 851 402 251 0 437 0 [pid=15135] ppid=15124 vsize=142588 CPUtime=3.56 /proc/15135/stat : 15135 (bingo) R 15124 15124 13759 34823 13904 4202496 43146 0 0 0 340 16 0 0 18 0 1 0 415065760 146010112 26499 1283457024 134512640 136195415 4290987280 18446744073709551615 134604492 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/15135/statm: 35647 26499 220 411 0 35234 0 [pid=15136] ppid=15124 vsize=83804 CPUtime=0.24 /proc/15136/stat : 15136 (clasp) R 15124 15124 13759 34823 13904 4202496 23952 0 0 0 21 3 0 0 18 0 1 0 415065760 85815296 20274 1283457024 134512640 136080129 4286673120 18446744073709551615 134713781 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15136/statm: 20951 20274 149 383 0 20566 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 231108 [startup+102.314 s] /proc/loadavg: 1.04 0.88 0.48 2/107 15142 /proc/meminfo: memFree=538336/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=25.89 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 2569 20 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134842258 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 104.19 Current children cumulated vsize (KiB) 204332 [startup+162.308 s] /proc/loadavg: 1.11 0.93 0.52 2/108 15148 /proc/meminfo: memFree=538888/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=85.84 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 8562 22 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134809317 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 164.14 Current children cumulated vsize (KiB) 204332 Solver just ended. Dumping a history of the last processes samples [startup+166.408 s] /proc/loadavg: 1.11 0.93 0.52 2/108 15148 /proc/meminfo: memFree=538888/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=89.87 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 8965 22 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 168.17 Current children cumulated vsize (KiB) 204332 [startup+169.604 s] /proc/loadavg: 1.10 0.93 0.53 2/108 15149 /proc/meminfo: memFree=538764/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=93.07 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 9285 22 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 171.37 Current children cumulated vsize (KiB) 204332 [startup+171.212 s] /proc/loadavg: 1.10 0.93 0.53 3/108 15149 /proc/meminfo: memFree=538756/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=94.63 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 9441 22 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 172.93 Current children cumulated vsize (KiB) 204332 [startup+172.813 s] /proc/loadavg: 1.09 0.93 0.53 2/108 15149 /proc/meminfo: memFree=538584/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=199616 CPUtime=96.23 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76339 0 0 0 9601 22 0 0 25 0 1 0 415067713 204406784 49216 1283457024 134512640 136080129 4294404160 18446744073709551615 134808816 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15139/statm: 49904 49216 193 383 0 49519 0 Current children cumulated CPU time (s) 174.53 Current children cumulated vsize (KiB) 204332 [startup+173.213 s] /proc/loadavg: 1.09 0.93 0.53 2/108 15149 /proc/meminfo: memFree=538584/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=198844 CPUtime=96.63 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76348 0 0 0 9641 22 0 0 25 0 1 0 415067713 203616256 49063 1283457024 134512640 136080129 4294404160 18446744073709551615 135501042 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15139/statm: 49711 49063 202 383 0 49326 0 Current children cumulated CPU time (s) 174.93 Current children cumulated vsize (KiB) 203560 [startup+173.413 s] /proc/loadavg: 1.09 0.93 0.53 2/108 15149 /proc/meminfo: memFree=538584/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=67.88 /proc/15124/stat : 15124 (aspcud-trendy-1) S 15123 15124 13759 34823 13904 4202496 1781 781585 27 0 2 1 6381 404 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 4160320430 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 [pid=15139] ppid=15124 vsize=146468 CPUtime=96.83 /proc/15139/stat : 15139 (clasp) R 15124 15124 13759 34823 13904 4202496 76349 0 0 0 9660 23 0 0 25 0 1 0 415067713 149983232 36427 1283457024 134512640 136080129 4294404160 18446744073709551615 135495516 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/15139/statm: 36617 36427 203 383 0 36232 0 Current children cumulated CPU time (s) 175.13 Current children cumulated vsize (KiB) 151184 [startup+173.513 s] /proc/loadavg: 1.09 0.93 0.53 2/108 15149 /proc/meminfo: memFree=538584/2097152 swapFree=2055676/2097144 [pid=15124] ppid=15123 vsize=4716 CPUtime=164.81 /proc/15124/stat : 15124 (aspcud-trendy-1) R 15123 15124 13759 34823 13904 4202496 1781 857935 27 0 2 1 16046 432 18 0 1 0 415061009 4829184 854 1283457024 134512640 135539072 4289723376 18446744073709551615 134788630 0 0 16781312 514 0 0 0 17 1 0 0 0 /proc/15124/statm: 1179 854 402 251 0 437 0 [pid=15138] ppid=15124 vsize=0 CPUtime=10.42 /proc/15138/stat : 15138 (bingo) Z 15124 15124 13759 34823 13904 4202508 177065 0 0 0 949 93 0 0 25 0 1 0 415067713 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/15138/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 175.23 Current children cumulated vsize (KiB) 4716 Child status: 0 Real time (s): 173.596 CPU time (s): 175.279 CPU user time (s): 169.991 CPU system time (s): 5.28833 CPU usage (%): 100.969 Max. virtual memory (cumulated for all children) (KiB): 822736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 169.991 system time used= 5.28833 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1038143 page faults= 27 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20089 involuntary context switches= 5374 runsolver used 0.016001 second user time and 0.076004 second system time The end