Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb |
MD5SUM | 6f06e375914e0285ec75de90ad627758 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3584 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6291450 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 6291450 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.33 |
Number of variables | 170 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
LAUNCH ON wulflinc30 THE 2005-09-23 18:10:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9160 boxname=wulflinc30 idbench=956 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6f06e375914e0285ec75de90ad627758 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-markshare1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-markshare1.opb IDLAUNCH: 9160 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 934480 kB Buffers: 12712 kB Cached: 70656 kB SwapCached: 0 kB Active: 42960 kB Inactive: 43232 kB HighTotal: 131008 kB HighFree: 56420 kB LowTotal: 903652 kB LowFree: 878060 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8376 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 18:31:02 (client local time) WITH STATUS 10 IN 1209.81 SECONDS stats: 9160 0 1209.81 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 36224 c small objective detected c CONFLICT during preprocess c [startup+17.591 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+18.8209 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+20.0523 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+21.2826 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+22.513 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+23.7433 s] setting bit 17 to 0 c CONFLICT during preprocess c [startup+24.9745 s] setting bit 16 to 0 c Decision: 10920/304291 Time: 719.489/86400 c Decision: 10920/304291 Time: 786.701/86400 c Decision: 10920/304291 Time: 867.251/86400 c Decision: 10946/304291 Time: 981.367/86400 c Decision: 10946/304291 Time: 1055.93/86400 c Decision: 10946/304291 Time: 1160.69/86400s SATISFIABLE v -x11_bit0 x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 x11_bit2 -x11_bit3 x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 -x13_bit0 x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 x20_bit0 -x21_bit0 x22_bit0 x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 x3_bit2 -x3_bit3 -x3_bit4 x3_bit5 x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 x49_bit0 x50_bit0 -x51_bit0 x52_bit0 x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x5_bit0 -x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 x5_bit2 x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x60_bit0 -x61_bit0 -x62_bit0 -x7_bit0 x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit2 -x7_bit3 x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x9_bit0 x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit2 x9_bit3 x9_bit4 x9_bit5 x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22205047 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 373 2 364 364 0 9 0 [pid=10908] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-markshare1.opb [startup+10.0014 s] Raw data (loadavg): 0.92 0.95 0.90 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 27862 0 0 0 933 64 0 0 25 0 1 0 22205047 81289216 16713 4294967295 134512640 135987407 3221224560 3221214300 134636908 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 19846 16713 364 364 0 19482 0 [pid=10908] vsize: 79384 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 79384 [startup+20.0022 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 51407 0 0 0 1882 113 0 0 25 0 1 0 22205047 149188608 26098 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 36423 26098 364 364 0 36059 0 [pid=10908] vsize: 145692 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 145692 [startup+30.003 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 54592 0 0 0 2873 122 0 0 25 0 1 0 22205047 150036480 26243 4294967295 134512640 135987407 3221224560 3221223232 134824323 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 36630 26243 364 364 0 36266 0 [pid=10908] vsize: 146520 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 146520 [startup+40.0038 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 54939 0 0 0 3871 123 0 0 25 0 1 0 22205047 150900736 26524 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 36841 26524 364 364 0 36477 0 [pid=10908] vsize: 147364 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 147364 [startup+50.0046 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 55021 0 0 0 4870 124 0 0 25 0 1 0 22205047 151162880 26541 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 36905 26541 364 364 0 36541 0 [pid=10908] vsize: 147620 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 147620 [startup+60.0044 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 55212 0 0 0 5869 124 0 0 25 0 1 0 22205047 152023040 26667 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 37115 26667 364 364 0 36751 0 [pid=10908] vsize: 148460 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 148460 [startup+70.0052 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 55253 0 0 0 6868 124 0 0 25 0 1 0 22205047 152289280 26708 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 37180 26708 364 364 0 36816 0 [pid=10908] vsize: 148720 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 148720 [startup+80.006 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 55383 0 0 0 7867 125 0 0 25 0 1 0 22205047 152551424 26773 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 37244 26773 364 364 0 36880 0 [pid=10908] vsize: 148976 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 148976 [startup+90.0068 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 55458 0 0 0 8867 125 0 0 25 0 1 0 22205047 152813568 26783 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 37308 26783 364 364 0 36944 0 [pid=10908] vsize: 149232 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 149232 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 56500 0 0 0 9863 129 0 0 25 0 1 0 22205047 156536832 27545 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 38217 27545 364 364 0 37853 0 [pid=10908] vsize: 152868 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 152868 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 56684 0 0 0 10861 129 0 0 25 0 1 0 22205047 157237248 27705 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 38388 27705 364 364 0 38024 0 [pid=10908] vsize: 153552 Current children cumulated CPU time (s) 109.9 Current children cumulated vsize (Kb) 153552 [startup+120.008 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 56937 0 0 0 11860 130 0 0 25 0 1 0 22205047 157995008 27820 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 38573 27820 364 364 0 38209 0 [pid=10908] vsize: 154292 Current children cumulated CPU time (s) 119.9 Current children cumulated vsize (Kb) 154292 [startup+130.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57256 0 0 0 12858 131 0 0 25 0 1 0 22205047 159326208 28057 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 38898 28057 364 364 0 38534 0 [pid=10908] vsize: 155592 Current children cumulated CPU time (s) 129.89 Current children cumulated vsize (Kb) 155592 [startup+140.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57531 0 0 0 13856 133 0 0 25 0 1 0 22205047 160325632 28266 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39142 28266 364 364 0 38778 0 [pid=10908] vsize: 156568 Current children cumulated CPU time (s) 139.89 Current children cumulated vsize (Kb) 156568 [startup+150.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57538 0 0 0 14856 133 0 0 25 0 1 0 22205047 160325632 28273 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39142 28273 364 364 0 38778 0 [pid=10908] vsize: 156568 Current children cumulated CPU time (s) 149.89 Current children cumulated vsize (Kb) 156568 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57545 0 0 0 15855 133 0 0 25 0 1 0 22205047 160325632 28280 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39142 28280 364 364 0 38778 0 [pid=10908] vsize: 156568 Current children cumulated CPU time (s) 159.88 Current children cumulated vsize (Kb) 156568 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57615 0 0 0 16854 133 0 0 25 0 1 0 22205047 160587776 28285 4294967295 134512640 135987407 3221224560 3221223104 134811962 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39206 28285 364 364 0 38842 0 [pid=10908] vsize: 156824 Current children cumulated CPU time (s) 169.87 Current children cumulated vsize (Kb) 156824 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57697 0 0 0 17854 134 0 0 25 0 1 0 22205047 160849920 28302 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39270 28302 364 364 0 38906 0 [pid=10908] vsize: 157080 Current children cumulated CPU time (s) 179.88 Current children cumulated vsize (Kb) 157080 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57704 0 0 0 18853 134 0 0 25 0 1 0 22205047 160849920 28309 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39270 28309 364 364 0 38906 0 [pid=10908] vsize: 157080 Current children cumulated CPU time (s) 189.87 Current children cumulated vsize (Kb) 157080 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57716 0 0 0 19852 135 0 0 25 0 1 0 22205047 160849920 28321 4294967295 134512640 135987407 3221224560 3221223280 134812887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39270 28321 364 364 0 38906 0 [pid=10908] vsize: 157080 Current children cumulated CPU time (s) 199.87 Current children cumulated vsize (Kb) 157080 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57722 0 0 0 20851 135 0 0 25 0 1 0 22205047 160849920 28327 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 39270 28327 364 364 0 38906 0 [pid=10908] vsize: 157080 Current children cumulated CPU time (s) 209.86 Current children cumulated vsize (Kb) 157080 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57871 0 0 0 21850 136 0 0 25 0 1 0 22205047 178155520 28411 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43495 28411 364 364 0 43131 0 [pid=10908] vsize: 173980 Current children cumulated CPU time (s) 219.86 Current children cumulated vsize (Kb) 173980 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57877 0 0 0 22849 137 0 0 25 0 1 0 22205047 178155520 28417 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43495 28417 364 364 0 43131 0 [pid=10908] vsize: 173980 Current children cumulated CPU time (s) 229.86 Current children cumulated vsize (Kb) 173980 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57884 0 0 0 23848 137 0 0 25 0 1 0 22205047 178155520 28424 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43495 28424 364 364 0 43131 0 [pid=10908] vsize: 173980 Current children cumulated CPU time (s) 239.85 Current children cumulated vsize (Kb) 173980 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57889 0 0 0 24848 137 0 0 25 0 1 0 22205047 178155520 28429 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43495 28429 364 364 0 43131 0 [pid=10908] vsize: 173980 Current children cumulated CPU time (s) 249.85 Current children cumulated vsize (Kb) 173980 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 57994 0 0 0 25846 138 0 0 25 0 1 0 22205047 178556928 28501 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43593 28501 364 364 0 43229 0 [pid=10908] vsize: 174372 Current children cumulated CPU time (s) 259.84 Current children cumulated vsize (Kb) 174372 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58142 0 0 0 26845 138 0 0 25 0 1 0 22205047 179085312 28583 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43722 28583 364 364 0 43358 0 [pid=10908] vsize: 174888 Current children cumulated CPU time (s) 269.83 Current children cumulated vsize (Kb) 174888 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58147 0 0 0 27844 139 0 0 25 0 1 0 22205047 179085312 28588 4294967295 134512640 135987407 3221224560 3221223188 134812413 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43722 28588 364 364 0 43358 0 [pid=10908] vsize: 174888 Current children cumulated CPU time (s) 279.83 Current children cumulated vsize (Kb) 174888 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58261 0 0 0 28844 139 0 0 25 0 1 0 22205047 179482624 28636 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43819 28636 364 364 0 43455 0 [pid=10908] vsize: 175276 Current children cumulated CPU time (s) 289.83 Current children cumulated vsize (Kb) 175276 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58411 0 0 0 29842 140 0 0 25 0 1 0 22205047 180015104 28786 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 43949 28786 364 364 0 43585 0 [pid=10908] vsize: 175796 Current children cumulated CPU time (s) 299.82 Current children cumulated vsize (Kb) 175796 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58640 0 0 0 30841 140 0 0 25 0 1 0 22205047 180539392 28884 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44077 28884 364 364 0 43713 0 [pid=10908] vsize: 176308 Current children cumulated CPU time (s) 309.81 Current children cumulated vsize (Kb) 176308 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58645 0 0 0 31840 141 0 0 25 0 1 0 22205047 180539392 28889 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44077 28889 364 364 0 43713 0 [pid=10908] vsize: 176308 Current children cumulated CPU time (s) 319.81 Current children cumulated vsize (Kb) 176308 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58774 0 0 0 32839 141 0 0 25 0 1 0 22205047 180801536 28953 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44141 28953 364 364 0 43777 0 [pid=10908] vsize: 176564 Current children cumulated CPU time (s) 329.8 Current children cumulated vsize (Kb) 176564 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58782 0 0 0 33838 142 0 0 25 0 1 0 22205047 180801536 28961 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44141 28961 364 364 0 43777 0 [pid=10908] vsize: 176564 Current children cumulated CPU time (s) 339.8 Current children cumulated vsize (Kb) 176564 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58787 0 0 0 34837 142 0 0 25 0 1 0 22205047 180801536 28966 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44141 28966 364 364 0 43777 0 [pid=10908] vsize: 176564 Current children cumulated CPU time (s) 349.79 Current children cumulated vsize (Kb) 176564 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58791 0 0 0 35836 142 0 0 25 0 1 0 22205047 180801536 28970 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44141 28970 364 364 0 43777 0 [pid=10908] vsize: 176564 Current children cumulated CPU time (s) 359.78 Current children cumulated vsize (Kb) 176564 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58869 0 0 0 36835 143 0 0 25 0 1 0 22205047 181063680 28983 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 28983 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 369.78 Current children cumulated vsize (Kb) 176820 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58882 0 0 0 37834 143 0 0 25 0 1 0 22205047 181063680 28996 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 28996 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 379.77 Current children cumulated vsize (Kb) 176820 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58886 0 0 0 38833 144 0 0 25 0 1 0 22205047 181063680 29000 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29000 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 389.77 Current children cumulated vsize (Kb) 176820 [startup+400.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58898 0 0 0 39832 144 0 0 25 0 1 0 22205047 181063680 29012 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29012 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 399.76 Current children cumulated vsize (Kb) 176820 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58901 0 0 0 40831 144 0 0 25 0 1 0 22205047 181063680 29015 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29015 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 409.75 Current children cumulated vsize (Kb) 176820 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58906 0 0 0 41830 145 0 0 25 0 1 0 22205047 181063680 29020 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29020 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 419.75 Current children cumulated vsize (Kb) 176820 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58911 0 0 0 42829 145 0 0 25 0 1 0 22205047 181063680 29025 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29025 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 429.74 Current children cumulated vsize (Kb) 176820 [startup+440.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58916 0 0 0 43828 146 0 0 25 0 1 0 22205047 181063680 29030 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29030 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 439.74 Current children cumulated vsize (Kb) 176820 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 58921 0 0 0 44826 147 0 0 25 0 1 0 22205047 181063680 29035 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44205 29035 364 364 0 43841 0 [pid=10908] vsize: 176820 Current children cumulated CPU time (s) 449.73 Current children cumulated vsize (Kb) 176820 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59102 0 0 0 45825 147 0 0 25 0 1 0 22205047 181587968 29086 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29086 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 459.72 Current children cumulated vsize (Kb) 177332 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59106 0 0 0 46824 148 0 0 25 0 1 0 22205047 181587968 29090 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29090 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 469.72 Current children cumulated vsize (Kb) 177332 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59110 0 0 0 47823 148 0 0 25 0 1 0 22205047 181587968 29094 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29094 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 479.71 Current children cumulated vsize (Kb) 177332 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59114 0 0 0 48821 149 0 0 25 0 1 0 22205047 181587968 29098 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29098 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 489.7 Current children cumulated vsize (Kb) 177332 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59127 0 0 0 49820 149 0 0 25 0 1 0 22205047 181587968 29111 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29111 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 499.69 Current children cumulated vsize (Kb) 177332 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59131 0 0 0 50819 150 0 0 25 0 1 0 22205047 181587968 29115 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29115 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 509.69 Current children cumulated vsize (Kb) 177332 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59134 0 0 0 51818 150 0 0 25 0 1 0 22205047 181587968 29118 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29118 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 519.68 Current children cumulated vsize (Kb) 177332 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59139 0 0 0 52817 150 0 0 25 0 1 0 22205047 181587968 29123 4294967295 134512640 135987407 3221224560 3221223200 134812383 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29123 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 529.67 Current children cumulated vsize (Kb) 177332 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59143 0 0 0 53817 150 0 0 25 0 1 0 22205047 181587968 29127 4294967295 134512640 135987407 3221224560 3221223200 134812296 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29127 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 539.67 Current children cumulated vsize (Kb) 177332 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59147 0 0 0 54816 151 0 0 25 0 1 0 22205047 181587968 29131 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29131 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 549.67 Current children cumulated vsize (Kb) 177332 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59152 0 0 0 55815 152 0 0 25 0 1 0 22205047 181587968 29136 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29136 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 559.67 Current children cumulated vsize (Kb) 177332 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59156 0 0 0 56814 152 0 0 25 0 1 0 22205047 181587968 29140 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29140 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 569.66 Current children cumulated vsize (Kb) 177332 [startup+580.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59162 0 0 0 57812 153 0 0 25 0 1 0 22205047 181587968 29146 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29146 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 579.65 Current children cumulated vsize (Kb) 177332 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59168 0 0 0 58811 153 0 0 25 0 1 0 22205047 181587968 29152 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29152 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 589.64 Current children cumulated vsize (Kb) 177332 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59173 0 0 0 59810 154 0 0 25 0 1 0 22205047 181587968 29157 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29157 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 599.64 Current children cumulated vsize (Kb) 177332 [startup+610.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59180 0 0 0 60809 154 0 0 25 0 1 0 22205047 181587968 29164 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29164 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 609.63 Current children cumulated vsize (Kb) 177332 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59186 0 0 0 61808 154 0 0 25 0 1 0 22205047 181587968 29170 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44333 29170 364 364 0 43969 0 [pid=10908] vsize: 177332 Current children cumulated CPU time (s) 619.62 Current children cumulated vsize (Kb) 177332 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59304 0 0 0 62806 155 0 0 25 0 1 0 22205047 181850112 29223 4294967295 134512640 135987407 3221224560 3221223104 134812120 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29223 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 629.61 Current children cumulated vsize (Kb) 177588 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59308 0 0 0 63805 156 0 0 25 0 1 0 22205047 181850112 29227 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29227 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 639.61 Current children cumulated vsize (Kb) 177588 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59312 0 0 0 64804 156 0 0 25 0 1 0 22205047 181850112 29231 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29231 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 649.6 Current children cumulated vsize (Kb) 177588 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59317 0 0 0 65804 157 0 0 25 0 1 0 22205047 181850112 29236 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29236 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 659.61 Current children cumulated vsize (Kb) 177588 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59323 0 0 0 66802 157 0 0 25 0 1 0 22205047 181850112 29242 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29242 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 669.59 Current children cumulated vsize (Kb) 177588 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59329 0 0 0 67801 158 0 0 25 0 1 0 22205047 181850112 29248 4294967295 134512640 135987407 3221224560 3221223264 134789997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29248 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 679.59 Current children cumulated vsize (Kb) 177588 [startup+690.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59333 0 0 0 68800 158 0 0 25 0 1 0 22205047 181850112 29252 4294967295 134512640 135987407 3221224560 3221223172 134811684 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29252 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 689.58 Current children cumulated vsize (Kb) 177588 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59337 0 0 0 69800 158 0 0 25 0 1 0 22205047 181850112 29256 4294967295 134512640 135987407 3221224560 3221223180 134811680 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29256 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 699.58 Current children cumulated vsize (Kb) 177588 [startup+710.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59343 0 0 0 70798 158 0 0 25 0 1 0 22205047 181850112 29262 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29262 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 709.56 Current children cumulated vsize (Kb) 177588 [startup+720.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59349 0 0 0 71797 159 0 0 25 0 1 0 22205047 181850112 29268 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29268 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 719.56 Current children cumulated vsize (Kb) 177588 [startup+730.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59354 0 0 0 72796 159 0 0 25 0 1 0 22205047 181850112 29273 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29273 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 729.55 Current children cumulated vsize (Kb) 177588 [startup+740.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 59359 0 0 0 73795 159 0 0 25 0 1 0 22205047 181850112 29278 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44397 29278 364 364 0 44033 0 [pid=10908] vsize: 177588 Current children cumulated CPU time (s) 739.54 Current children cumulated vsize (Kb) 177588 [startup+750.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60220 0 0 0 74791 162 0 0 25 0 1 0 22205047 183042048 29479 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44688 29479 364 364 0 44324 0 [pid=10908] vsize: 178752 Current children cumulated CPU time (s) 749.53 Current children cumulated vsize (Kb) 178752 [startup+760.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60307 0 0 0 75789 163 0 0 25 0 1 0 22205047 183304192 29501 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44752 29501 364 364 0 44388 0 [pid=10908] vsize: 179008 Current children cumulated CPU time (s) 759.52 Current children cumulated vsize (Kb) 179008 [startup+770.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60330 0 0 0 76787 163 0 0 25 0 1 0 22205047 183304192 29524 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44752 29524 364 364 0 44388 0 [pid=10908] vsize: 179008 Current children cumulated CPU time (s) 769.5 Current children cumulated vsize (Kb) 179008 [startup+780.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60339 0 0 0 77785 164 0 0 25 0 1 0 22205047 183304192 29533 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44752 29533 364 364 0 44388 0 [pid=10908] vsize: 179008 Current children cumulated CPU time (s) 779.49 Current children cumulated vsize (Kb) 179008 [startup+790.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60419 0 0 0 78783 165 0 0 25 0 1 0 22205047 183566336 29548 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44816 29548 364 364 0 44452 0 [pid=10908] vsize: 179264 Current children cumulated CPU time (s) 789.48 Current children cumulated vsize (Kb) 179264 [startup+800.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60420 0 0 0 79783 165 0 0 25 0 1 0 22205047 183566336 29549 4294967295 134512640 135987407 3221224560 3221223264 134790062 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44816 29549 364 364 0 44452 0 [pid=10908] vsize: 179264 Current children cumulated CPU time (s) 799.48 Current children cumulated vsize (Kb) 179264 [startup+810.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 60422 0 0 0 80781 166 0 0 25 0 1 0 22205047 183566336 29551 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 44816 29551 364 364 0 44452 0 [pid=10908] vsize: 179264 Current children cumulated CPU time (s) 809.47 Current children cumulated vsize (Kb) 179264 [startup+820.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61027 0 0 0 81779 168 0 0 25 0 1 0 22205047 183750656 29561 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44861 29561 364 364 0 44497 0 [pid=10908] vsize: 179444 Current children cumulated CPU time (s) 819.47 Current children cumulated vsize (Kb) 179444 [startup+830.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61107 0 0 0 82778 168 0 0 25 0 1 0 22205047 184012800 29576 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44925 29576 364 364 0 44561 0 [pid=10908] vsize: 179700 Current children cumulated CPU time (s) 829.46 Current children cumulated vsize (Kb) 179700 [startup+840.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61107 0 0 0 83777 168 0 0 25 0 1 0 22205047 184012800 29576 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44925 29576 364 364 0 44561 0 [pid=10908] vsize: 179700 Current children cumulated CPU time (s) 839.45 Current children cumulated vsize (Kb) 179700 [startup+850.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61109 0 0 0 84776 169 0 0 25 0 1 0 22205047 184012800 29578 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44925 29578 364 364 0 44561 0 [pid=10908] vsize: 179700 Current children cumulated CPU time (s) 849.45 Current children cumulated vsize (Kb) 179700 [startup+860.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61125 0 0 0 85776 169 0 0 25 0 1 0 22205047 184012800 29594 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44925 29594 364 364 0 44561 0 [pid=10908] vsize: 179700 Current children cumulated CPU time (s) 859.45 Current children cumulated vsize (Kb) 179700 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61238 0 0 0 86774 170 0 0 25 0 1 0 22205047 184274944 29642 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29642 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 869.44 Current children cumulated vsize (Kb) 179956 [startup+880.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61241 0 0 0 87774 170 0 0 25 0 1 0 22205047 184274944 29645 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29645 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 879.44 Current children cumulated vsize (Kb) 179956 [startup+890.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61246 0 0 0 88773 171 0 0 25 0 1 0 22205047 184274944 29650 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29650 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 889.44 Current children cumulated vsize (Kb) 179956 [startup+900.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61864 0 0 0 89771 172 0 0 25 0 1 0 22205047 184274944 29673 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29673 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 899.43 Current children cumulated vsize (Kb) 179956 [startup+910.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61871 0 0 0 90771 172 0 0 25 0 1 0 22205047 184274944 29680 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29680 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 909.43 Current children cumulated vsize (Kb) 179956 [startup+920.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61876 0 0 0 91770 173 0 0 25 0 1 0 22205047 184274944 29685 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 44989 29685 364 364 0 44625 0 [pid=10908] vsize: 179956 Current children cumulated CPU time (s) 919.43 Current children cumulated vsize (Kb) 179956 [startup+930.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 61905 0 0 0 92769 173 0 0 25 0 1 0 22205047 184475648 29714 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45038 29714 364 364 0 44674 0 [pid=10908] vsize: 180152 Current children cumulated CPU time (s) 929.42 Current children cumulated vsize (Kb) 180152 [startup+940.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62336 0 0 0 93767 174 0 0 25 0 1 0 22205047 185999360 29948 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45410 29948 364 364 0 45046 0 [pid=10908] vsize: 181640 Current children cumulated CPU time (s) 939.41 Current children cumulated vsize (Kb) 181640 [startup+950.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62423 0 0 0 94766 174 0 0 25 0 1 0 22205047 186261504 29970 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45474 29970 364 364 0 45110 0 [pid=10908] vsize: 181896 Current children cumulated CPU time (s) 949.4 Current children cumulated vsize (Kb) 181896 [startup+960.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62447 0 0 0 95765 175 0 0 25 0 1 0 22205047 186261504 29994 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45474 29994 364 364 0 45110 0 [pid=10908] vsize: 181896 Current children cumulated CPU time (s) 959.4 Current children cumulated vsize (Kb) 181896 [startup+970.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62450 0 0 0 96764 175 0 0 25 0 1 0 22205047 186261504 29997 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45474 29997 364 364 0 45110 0 [pid=10908] vsize: 181896 Current children cumulated CPU time (s) 969.39 Current children cumulated vsize (Kb) 181896 [startup+980.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62472 0 0 0 97763 175 0 0 25 0 1 0 22205047 186261504 30019 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45474 30019 364 364 0 45110 0 [pid=10908] vsize: 181896 Current children cumulated CPU time (s) 979.38 Current children cumulated vsize (Kb) 181896 [startup+990.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62550 0 0 0 98762 176 0 0 25 0 1 0 22205047 186523648 30032 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45538 30032 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 989.38 Current children cumulated vsize (Kb) 182152 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 62555 0 0 0 99761 176 0 0 25 0 1 0 22205047 186523648 30037 4294967295 134512640 135987407 3221224560 3221223200 134812441 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45538 30037 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 999.37 Current children cumulated vsize (Kb) 182152 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63161 0 0 0 100758 178 0 0 25 0 1 0 22205047 186523648 30048 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45538 30048 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1009.36 Current children cumulated vsize (Kb) 182152 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63167 0 0 0 101757 178 0 0 25 0 1 0 22205047 186523648 30054 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45538 30054 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1019.35 Current children cumulated vsize (Kb) 182152 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63208 0 0 0 102757 179 0 0 25 0 1 0 22205047 186523648 30095 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10908/statm): 45538 30095 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1029.36 Current children cumulated vsize (Kb) 182152 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63214 0 0 0 103756 179 0 0 25 0 1 0 22205047 186523648 30101 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45538 30101 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1039.35 Current children cumulated vsize (Kb) 182152 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63218 0 0 0 104755 180 0 0 25 0 1 0 22205047 186523648 30105 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45538 30105 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1049.35 Current children cumulated vsize (Kb) 182152 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63224 0 0 0 105753 180 0 0 25 0 1 0 22205047 186523648 30111 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45538 30111 364 364 0 45174 0 [pid=10908] vsize: 182152 Current children cumulated CPU time (s) 1059.33 Current children cumulated vsize (Kb) 182152 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63257 0 0 0 106752 180 0 0 25 0 1 0 22205047 186712064 30144 4294967295 134512640 135987407 3221224560 3221223156 135478049 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45584 30144 364 364 0 45220 0 [pid=10908] vsize: 182336 Current children cumulated CPU time (s) 1069.32 Current children cumulated vsize (Kb) 182336 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 63265 0 0 0 107751 181 0 0 25 0 1 0 22205047 186712064 30152 4294967295 134512640 135987407 3221224560 3221223280 134812914 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45584 30152 364 364 0 45220 0 [pid=10908] vsize: 182336 Current children cumulated CPU time (s) 1079.32 Current children cumulated vsize (Kb) 182336 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64165 0 0 0 108748 183 0 0 25 0 1 0 22205047 187498496 30262 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45776 30262 364 364 0 45412 0 [pid=10908] vsize: 183104 Current children cumulated CPU time (s) 1089.31 Current children cumulated vsize (Kb) 183104 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64412 0 0 0 109747 184 0 0 25 0 1 0 22205047 188022784 30379 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45904 30379 364 364 0 45540 0 [pid=10908] vsize: 183616 Current children cumulated CPU time (s) 1099.31 Current children cumulated vsize (Kb) 183616 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64446 0 0 0 110746 184 0 0 25 0 1 0 22205047 188022784 30413 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45904 30413 364 364 0 45540 0 [pid=10908] vsize: 183616 Current children cumulated CPU time (s) 1109.3 Current children cumulated vsize (Kb) 183616 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64473 0 0 0 111746 184 0 0 25 0 1 0 22205047 188022784 30440 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45904 30440 364 364 0 45540 0 [pid=10908] vsize: 183616 Current children cumulated CPU time (s) 1119.3 Current children cumulated vsize (Kb) 183616 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64477 0 0 0 112746 184 0 0 25 0 1 0 22205047 188022784 30444 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 45904 30444 364 364 0 45540 0 [pid=10908] vsize: 183616 Current children cumulated CPU time (s) 1129.3 Current children cumulated vsize (Kb) 183616 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64698 0 0 0 113744 185 0 0 25 0 1 0 22205047 188547072 30535 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46032 30535 364 364 0 45668 0 [pid=10908] vsize: 184128 Current children cumulated CPU time (s) 1139.29 Current children cumulated vsize (Kb) 184128 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64887 0 0 0 114743 186 0 0 25 0 1 0 22205047 189071360 30595 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46160 30595 364 364 0 45796 0 [pid=10908] vsize: 184640 Current children cumulated CPU time (s) 1149.29 Current children cumulated vsize (Kb) 184640 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64944 0 0 0 115742 187 0 0 25 0 1 0 22205047 189071360 30652 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46160 30652 364 364 0 45796 0 [pid=10908] vsize: 184640 Current children cumulated CPU time (s) 1159.29 Current children cumulated vsize (Kb) 184640 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 64958 0 0 0 116741 187 0 0 25 0 1 0 22205047 189071360 30666 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46160 30666 364 364 0 45796 0 [pid=10908] vsize: 184640 Current children cumulated CPU time (s) 1169.28 Current children cumulated vsize (Kb) 184640 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 65163 0 0 0 117740 188 0 0 25 0 1 0 22205047 189595648 30742 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46288 30742 364 364 0 45924 0 [pid=10908] vsize: 185152 Current children cumulated CPU time (s) 1179.28 Current children cumulated vsize (Kb) 185152 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 65759 0 0 0 118738 189 0 0 25 0 1 0 22205047 189595648 30743 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46288 30743 364 364 0 45924 0 [pid=10908] vsize: 185152 Current children cumulated CPU time (s) 1189.27 Current children cumulated vsize (Kb) 185152 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 65760 0 0 0 119737 190 0 0 25 0 1 0 22205047 189595648 30744 4294967295 134512640 135987407 3221224560 3221223104 134811956 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46288 30744 364 364 0 45924 0 [pid=10908] vsize: 185152 Current children cumulated CPU time (s) 1199.27 Current children cumulated vsize (Kb) 185152 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 65760 0 0 0 120736 190 0 0 25 0 1 0 22205047 189595648 30744 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46288 30744 364 364 0 45924 0 [pid=10908] vsize: 185152 Current children cumulated CPU time (s) 1209.26 Current children cumulated vsize (Kb) 185152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10908 Raw data (/proc/10908/stat): 10908 (pb2sat) R 10907 10908 4004 0 -1 0 65760 0 0 0 120736 190 0 0 25 0 1 0 22205047 189595648 30744 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10908/statm): 46288 30744 364 364 0 45924 0 [pid=10908] vsize: 185152 Current children cumulated CPU time (s) 1209.26 Current children cumulated vsize (Kb) 185152 Sending SIGTERM to -10908 Sleeping 2 seconds One traced child (pid=10908) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.6 CPU time (s): 1209.81 CPU user time (s): 1207.84 CPU system time (s): 1.9687 CPU usage (%): 99.9342 Max. virtual memory (cumulated for all children) (Kb): 185152
Verifier: OK 36224