Name | web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
MD5SUM | 2fc65c15b9b26fc3028e8a890f1d86ad |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 201731 |
Total number of constraints | 592525 |
Number of constraints which are clauses | 579429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13096 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc11 THE 2005-09-23 15:18:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8510 boxname=wulflinc11 idbench=306 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 2fc65c15b9b26fc3028e8a890f1d86ad /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb IDLAUNCH: 8510 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 896160 kB Buffers: 8400 kB Cached: 104412 kB SwapCached: 0 kB Active: 74480 kB Inactive: 47880 kB HighTotal: 131008 kB HighFree: 24220 kB LowTotal: 903652 kB LowFree: 871940 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10296 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:38:30 (client local time) WITH STATUS 0 IN 1203.94 SECONDS stats: 8510 7 1203.94 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 15614/479651 Time: 59.088/86400 c Decision: 15723/479651 Time: 170.828/86400 c Decision: 17551/479651 Time: 255.542/86400 c Decision: 17551/479651 Time: 285.067/86400 c Decision: 17590/479651 Time: 366.673/86400 c Decision: 17594/479651 Time: 399.298/86400 c Decision: 17600/479651 Time: 451.424/86400 c Decision: 17694/479651 Time: 555.369/86400 c Decision: 17785/479651 Time: 670.13/86400 c Decision: 17800/479651 Time: 753.288/86400 c Decision: 17805/479651 Time: 802.991/86400 c Decision: 17805/479651 Time: 855.685/86400 c Decision: 17904/479651 Time: 1030.92/86400 c Decision: 17904/479651 Time: 1080.14/86400 c Decision: 17914/479651 Time: 1124.07/86400s UNKNOWN
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/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21208914 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 373 2 364 364 0 9 0 [pid=8311] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb [startup+10.0015 s] Raw data (loadavg): 0.84 0.92 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 5464 0 0 0 981 15 0 0 25 0 1 0 21208914 19247104 3532 4294967295 134512640 135987407 3221224544 3221221848 134639648 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 4699 3532 364 364 0 4335 0 [pid=8311] vsize: 18796 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 18796 [startup+20.0023 s] Raw data (loadavg): 0.86 0.93 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 10707 0 0 0 1966 28 0 0 25 0 1 0 21208914 36642816 6756 4294967295 134512640 135987407 3221224544 3221221504 134887785 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 8946 6756 364 364 0 8582 0 [pid=8311] vsize: 35784 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 35784 [startup+30.0031 s] Raw data (loadavg): 0.88 0.93 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 14823 0 0 0 2952 41 0 0 25 0 1 0 21208914 47529984 9303 4294967295 134512640 135987407 3221224544 3221221792 134979162 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 11604 9303 364 364 0 11240 0 [pid=8311] vsize: 46416 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 46416 [startup+40.0039 s] Raw data (loadavg): 0.90 0.93 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 21037 0 0 0 3934 57 0 0 25 0 1 0 21208914 79826944 15359 4294967295 134512640 135987407 3221224544 3221221280 134856487 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 19489 15362 364 364 0 19125 0 [pid=8311] vsize: 77956 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 77956 [startup+50.0047 s] Raw data (loadavg): 0.92 0.93 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 23624 0 0 0 4922 67 0 0 25 0 1 0 21208914 75624448 15609 4294967295 134512640 135987407 3221224544 3221221696 134878178 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 18463 15610 364 364 0 18099 0 [pid=8311] vsize: 73852 Current children cumulated CPU time (s) 49.89 Current children cumulated vsize (Kb) 73852 [startup+60.0045 s] Raw data (loadavg): 0.93 0.93 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 29204 0 0 0 5906 81 0 0 25 0 1 0 21208914 92667904 18085 4294967295 134512640 135987407 3221224544 3221221692 134642045 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 22624 18085 364 364 0 22260 0 [pid=8311] vsize: 90496 Current children cumulated CPU time (s) 59.87 Current children cumulated vsize (Kb) 90496 [startup+70.0043 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 49984 0 0 0 6860 126 0 0 25 0 1 0 21208914 184463360 33853 4294967295 134512640 135987407 3221224544 3221217696 134887487 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 45035 33857 364 364 0 44671 0 [pid=8311] vsize: 180140 Current children cumulated CPU time (s) 69.86 Current children cumulated vsize (Kb) 180140 [startup+80.005 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 61922 0 0 0 7821 161 0 0 25 0 1 0 21208914 190431232 38528 4294967295 134512640 135987407 3221224544 3221223232 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 46492 38528 364 364 0 46128 0 [pid=8311] vsize: 185968 Current children cumulated CPU time (s) 79.82 Current children cumulated vsize (Kb) 185968 [startup+90.0059 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 63284 0 0 0 8794 171 0 0 25 0 1 0 21208914 196337664 39725 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 47934 39725 364 364 0 47570 0 [pid=8311] vsize: 191736 Current children cumulated CPU time (s) 89.65 Current children cumulated vsize (Kb) 191736 [startup+100.006 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 64811 0 0 0 9781 177 0 0 25 0 1 0 21208914 203112448 40900 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 49588 40900 364 364 0 49224 0 [pid=8311] vsize: 198352 Current children cumulated CPU time (s) 99.58 Current children cumulated vsize (Kb) 198352 [startup+110.006 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 66269 0 0 0 10771 182 0 0 25 0 1 0 21208914 208756736 41899 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 50966 41899 364 364 0 50602 0 [pid=8311] vsize: 203864 Current children cumulated CPU time (s) 109.53 Current children cumulated vsize (Kb) 203864 [startup+120.006 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 66917 0 0 0 11765 185 0 0 25 0 1 0 21208914 211017728 42350 4294967295 134512640 135987407 3221224544 3221223232 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 51518 42350 364 364 0 51154 0 [pid=8311] vsize: 206072 Current children cumulated CPU time (s) 119.5 Current children cumulated vsize (Kb) 206072 [startup+130.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 67082 0 0 0 12757 188 0 0 25 0 1 0 21208914 211816448 42515 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 51713 42515 364 364 0 51349 0 [pid=8311] vsize: 206852 Current children cumulated CPU time (s) 129.45 Current children cumulated vsize (Kb) 206852 [startup+140.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 68116 0 0 0 13749 192 0 0 25 0 1 0 21208914 212221952 42612 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 51812 42612 364 364 0 51448 0 [pid=8311] vsize: 207248 Current children cumulated CPU time (s) 139.41 Current children cumulated vsize (Kb) 207248 [startup+150.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69043 0 0 0 14735 199 0 0 25 0 1 0 21208914 215678976 43144 4294967295 134512640 135987407 3221224544 3221223408 134812612 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 52656 43144 364 364 0 52292 0 [pid=8311] vsize: 210624 Current children cumulated CPU time (s) 149.34 Current children cumulated vsize (Kb) 210624 [startup+160.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69388 0 0 0 15730 201 0 0 25 0 1 0 21208914 216739840 43358 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 52915 43358 364 364 0 52551 0 [pid=8311] vsize: 211660 Current children cumulated CPU time (s) 159.31 Current children cumulated vsize (Kb) 211660 [startup+170.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69886 0 0 0 16699 212 0 0 25 0 1 0 21208914 218333184 43658 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 53304 43658 364 364 0 52940 0 [pid=8311] vsize: 213216 Current children cumulated CPU time (s) 169.11 Current children cumulated vsize (Kb) 213216 [startup+180.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 70204 0 0 0 17684 218 0 0 25 0 1 0 21208914 219668480 43910 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 53630 43910 364 364 0 53266 0 [pid=8311] vsize: 214520 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (Kb) 214520 [startup+190.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 70829 0 0 0 18672 223 0 0 25 0 1 0 21208914 222461952 44370 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 54312 44370 364 364 0 53948 0 [pid=8311] vsize: 217248 Current children cumulated CPU time (s) 188.95 Current children cumulated vsize (Kb) 217248 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71251 0 0 0 19659 227 0 0 25 0 1 0 21208914 224063488 44661 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 54703 44661 364 364 0 54339 0 [pid=8311] vsize: 218812 Current children cumulated CPU time (s) 198.86 Current children cumulated vsize (Kb) 218812 [startup+210.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71582 0 0 0 20649 231 0 0 25 0 1 0 21208914 225120256 44860 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 54961 44860 364 364 0 54597 0 [pid=8311] vsize: 219844 Current children cumulated CPU time (s) 208.8 Current children cumulated vsize (Kb) 219844 [startup+220.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71771 0 0 0 21641 234 0 0 25 0 1 0 21208914 225513472 44951 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 55057 44951 364 364 0 54693 0 [pid=8311] vsize: 220228 Current children cumulated CPU time (s) 218.75 Current children cumulated vsize (Kb) 220228 [startup+230.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71810 0 0 0 22633 237 0 0 25 0 1 0 21208914 225513472 44990 4294967295 134512640 135987407 3221224544 3221223232 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 55057 44990 364 364 0 54693 0 [pid=8311] vsize: 220228 Current children cumulated CPU time (s) 228.7 Current children cumulated vsize (Kb) 220228 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71922 0 0 0 23621 241 0 0 25 0 1 0 21208914 225775616 45036 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 55121 45036 364 364 0 54757 0 [pid=8311] vsize: 220484 Current children cumulated CPU time (s) 238.62 Current children cumulated vsize (Kb) 220484 [startup+250.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 72901 0 0 0 24611 246 0 0 25 0 1 0 21208914 226041856 45078 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 55186 45078 364 364 0 54822 0 [pid=8311] vsize: 220744 Current children cumulated CPU time (s) 248.57 Current children cumulated vsize (Kb) 220744 [startup+260.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73044 0 0 0 25598 250 0 0 25 0 1 0 21208914 226574336 45221 4294967295 134512640 135987407 3221224544 3221223232 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 55316 45221 364 364 0 54952 0 [pid=8311] vsize: 221264 Current children cumulated CPU time (s) 258.48 Current children cumulated vsize (Kb) 221264 [startup+270.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73246 0 0 0 26588 254 0 0 25 0 1 0 21208914 227504128 45390 4294967295 134512640 135987407 3221224544 3221223360 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 55543 45390 364 364 0 55179 0 [pid=8311] vsize: 222172 Current children cumulated CPU time (s) 268.42 Current children cumulated vsize (Kb) 222172 [startup+280.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73798 0 0 0 27577 258 0 0 25 0 1 0 21208914 229085184 45680 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 55929 45680 364 364 0 55565 0 [pid=8311] vsize: 223716 Current children cumulated CPU time (s) 278.35 Current children cumulated vsize (Kb) 223716 [startup+290.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73841 0 0 0 28571 260 0 0 25 0 1 0 21208914 229351424 45723 4294967295 134512640 135987407 3221224544 3221223328 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 55994 45723 364 364 0 55630 0 [pid=8311] vsize: 223976 Current children cumulated CPU time (s) 288.31 Current children cumulated vsize (Kb) 223976 [startup+300.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73859 0 0 0 29565 262 0 0 25 0 1 0 21208914 229351424 45741 4294967295 134512640 135987407 3221224544 3221223392 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 55994 45741 364 364 0 55630 0 [pid=8311] vsize: 223976 Current children cumulated CPU time (s) 298.27 Current children cumulated vsize (Kb) 223976 [startup+310.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74177 0 0 0 30557 266 0 0 25 0 1 0 21208914 230404096 45863 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56251 45863 364 364 0 55887 0 [pid=8311] vsize: 225004 Current children cumulated CPU time (s) 308.23 Current children cumulated vsize (Kb) 225004 [startup+320.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74285 0 0 0 31547 269 0 0 25 0 1 0 21208914 230801408 45938 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56348 45938 364 364 0 55984 0 [pid=8311] vsize: 225392 Current children cumulated CPU time (s) 318.16 Current children cumulated vsize (Kb) 225392 [startup+330.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74301 0 0 0 32538 272 0 0 25 0 1 0 21208914 230801408 45954 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56348 45954 364 364 0 55984 0 [pid=8311] vsize: 225392 Current children cumulated CPU time (s) 328.1 Current children cumulated vsize (Kb) 225392 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75243 0 0 0 33528 277 0 0 25 0 1 0 21208914 230801408 45959 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56348 45959 364 364 0 55984 0 [pid=8311] vsize: 225392 Current children cumulated CPU time (s) 338.05 Current children cumulated vsize (Kb) 225392 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75379 0 0 0 34523 279 0 0 25 0 1 0 21208914 231329792 46030 4294967295 134512640 135987407 3221224544 3221223392 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56477 46030 364 364 0 56113 0 [pid=8311] vsize: 225908 Current children cumulated CPU time (s) 348.02 Current children cumulated vsize (Kb) 225908 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75394 0 0 0 35517 281 0 0 25 0 1 0 21208914 231329792 46045 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56477 46045 364 364 0 56113 0 [pid=8311] vsize: 225908 Current children cumulated CPU time (s) 357.98 Current children cumulated vsize (Kb) 225908 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 76735 0 0 0 36510 285 0 0 25 0 1 0 21208914 232378368 46189 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56733 46189 364 364 0 56369 0 [pid=8311] vsize: 226932 Current children cumulated CPU time (s) 367.95 Current children cumulated vsize (Kb) 226932 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 76806 0 0 0 37503 288 0 0 25 0 1 0 21208914 232509440 46227 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 56765 46227 364 364 0 56401 0 [pid=8311] vsize: 227060 Current children cumulated CPU time (s) 377.91 Current children cumulated vsize (Kb) 227060 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77264 0 0 0 38489 292 0 0 25 0 1 0 21208914 234094592 46489 4294967295 134512640 135987407 3221224544 3221223232 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57152 46489 364 364 0 56788 0 [pid=8311] vsize: 228608 Current children cumulated CPU time (s) 387.81 Current children cumulated vsize (Kb) 228608 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 77369 0 0 0 39475 297 0 0 25 0 1 0 21208914 234491904 46561 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57249 46561 364 364 0 56885 0 [pid=8311] vsize: 228996 Current children cumulated CPU time (s) 397.72 Current children cumulated vsize (Kb) 228996 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77519 0 0 0 40466 300 0 0 25 0 1 0 21208914 235290624 46711 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57444 46711 364 364 0 57080 0 [pid=8311] vsize: 229776 Current children cumulated CPU time (s) 407.66 Current children cumulated vsize (Kb) 229776 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 77566 0 0 0 41457 303 0 0 25 0 1 0 21208914 235556864 46758 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57509 46758 364 364 0 57145 0 [pid=8311] vsize: 230036 Current children cumulated CPU time (s) 417.6 Current children cumulated vsize (Kb) 230036 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77592 0 0 0 42454 304 0 0 25 0 1 0 21208914 235556864 46784 4294967295 134512640 135987407 3221224544 3221223392 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57509 46784 364 364 0 57145 0 [pid=8311] vsize: 230036 Current children cumulated CPU time (s) 427.58 Current children cumulated vsize (Kb) 230036 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77692 0 0 0 43450 305 0 0 25 0 1 0 21208914 235687936 46851 4294967295 134512640 135987407 3221224544 3221223312 134812419 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57541 46851 364 364 0 57177 0 [pid=8311] vsize: 230164 Current children cumulated CPU time (s) 437.55 Current children cumulated vsize (Kb) 230164 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78736 0 0 0 44441 310 0 0 25 0 1 0 21208914 235950080 46892 4294967295 134512640 135987407 3221224544 3221223232 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57605 46892 364 364 0 57241 0 [pid=8311] vsize: 230420 Current children cumulated CPU time (s) 447.51 Current children cumulated vsize (Kb) 230420 [startup+460.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78923 0 0 0 45433 314 0 0 25 0 1 0 21208914 236478464 47014 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57734 47014 364 364 0 57370 0 [pid=8311] vsize: 230936 Current children cumulated CPU time (s) 457.47 Current children cumulated vsize (Kb) 230936 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78935 0 0 0 46423 316 0 0 25 0 1 0 21208914 236478464 47026 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57734 47026 364 364 0 57370 0 [pid=8311] vsize: 230936 Current children cumulated CPU time (s) 467.39 Current children cumulated vsize (Kb) 230936 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 79886 0 0 0 47404 324 0 0 25 0 1 0 21208914 236478464 47040 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57734 47040 364 364 0 57370 0 [pid=8311] vsize: 230936 Current children cumulated CPU time (s) 477.28 Current children cumulated vsize (Kb) 230936 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 79993 0 0 0 48387 330 0 0 25 0 1 0 21208914 236478464 47147 4294967295 134512640 135987407 3221224544 3221223328 134812304 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57734 47147 364 364 0 57370 0 [pid=8311] vsize: 230936 Current children cumulated CPU time (s) 487.17 Current children cumulated vsize (Kb) 230936 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80135 0 0 0 49374 334 0 0 25 0 1 0 21208914 236740608 47224 4294967295 134512640 135987407 3221224544 3221223376 134812778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57798 47224 364 364 0 57434 0 [pid=8311] vsize: 231192 Current children cumulated CPU time (s) 497.08 Current children cumulated vsize (Kb) 231192 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80168 0 0 0 50362 337 0 0 25 0 1 0 21208914 236875776 47257 4294967295 134512640 135987407 3221224544 3221223104 134788469 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57831 47257 364 364 0 57467 0 [pid=8311] vsize: 231324 Current children cumulated CPU time (s) 506.99 Current children cumulated vsize (Kb) 231324 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80209 0 0 0 51349 342 0 0 25 0 1 0 21208914 236875776 47298 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57831 47298 364 364 0 57467 0 [pid=8311] vsize: 231324 Current children cumulated CPU time (s) 516.91 Current children cumulated vsize (Kb) 231324 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80223 0 0 0 52343 344 0 0 25 0 1 0 21208914 236875776 47312 4294967295 134512640 135987407 3221224544 3221223184 134789466 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57831 47312 364 364 0 57467 0 [pid=8311] vsize: 231324 Current children cumulated CPU time (s) 526.87 Current children cumulated vsize (Kb) 231324 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81225 0 0 0 53333 349 0 0 25 0 1 0 21208914 237006848 47344 4294967295 134512640 135987407 3221224544 3221223392 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 57863 47344 364 364 0 57499 0 [pid=8311] vsize: 231452 Current children cumulated CPU time (s) 536.82 Current children cumulated vsize (Kb) 231452 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81231 0 0 0 54320 354 0 0 25 0 1 0 21208914 237006848 47350 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57863 47350 364 364 0 57499 0 [pid=8311] vsize: 231452 Current children cumulated CPU time (s) 546.74 Current children cumulated vsize (Kb) 231452 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81255 0 0 0 55314 356 0 0 25 0 1 0 21208914 237006848 47374 4294967295 134512640 135987407 3221224544 3221223392 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 57863 47374 364 364 0 57499 0 [pid=8311] vsize: 231452 Current children cumulated CPU time (s) 556.7 Current children cumulated vsize (Kb) 231452 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81459 0 0 0 56304 359 0 0 25 0 1 0 21208914 237830144 47448 4294967295 134512640 135987407 3221224544 3221223232 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58064 47448 364 364 0 57700 0 [pid=8311] vsize: 232256 Current children cumulated CPU time (s) 566.63 Current children cumulated vsize (Kb) 232256 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81524 0 0 0 57296 362 0 0 25 0 1 0 21208914 237830144 47513 4294967295 134512640 135987407 3221224544 3221223232 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58064 47513 364 364 0 57700 0 [pid=8311] vsize: 232256 Current children cumulated CPU time (s) 576.58 Current children cumulated vsize (Kb) 232256 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81858 0 0 0 58286 366 0 0 25 0 1 0 21208914 238747648 47620 4294967295 134512640 135987407 3221224544 3221223232 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58288 47620 364 364 0 57924 0 [pid=8311] vsize: 233152 Current children cumulated CPU time (s) 586.52 Current children cumulated vsize (Kb) 233152 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81878 0 0 0 59277 369 0 0 25 0 1 0 21208914 238747648 47640 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58288 47640 364 364 0 57924 0 [pid=8311] vsize: 233152 Current children cumulated CPU time (s) 596.46 Current children cumulated vsize (Kb) 233152 [startup+610.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81956 0 0 0 60267 373 0 0 25 0 1 0 21208914 239009792 47653 4294967295 134512640 135987407 3221224544 3221223360 134824696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58352 47654 364 364 0 57988 0 [pid=8311] vsize: 233408 Current children cumulated CPU time (s) 606.4 Current children cumulated vsize (Kb) 233408 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81975 0 0 0 61258 375 0 0 25 0 1 0 21208914 239009792 47672 4294967295 134512640 135987407 3221224544 3221223360 134824722 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58352 47672 364 364 0 57988 0 [pid=8311] vsize: 233408 Current children cumulated CPU time (s) 616.33 Current children cumulated vsize (Kb) 233408 [startup+630.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 82000 0 0 0 62250 378 0 0 25 0 1 0 21208914 239009792 47697 4294967295 134512640 135987407 3221224544 3221223232 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58352 47697 364 364 0 57988 0 [pid=8311] vsize: 233408 Current children cumulated CPU time (s) 626.28 Current children cumulated vsize (Kb) 233408 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83012 0 0 0 63244 381 0 0 25 0 1 0 21208914 239276032 47772 4294967295 134512640 135987407 3221224544 3221223232 134812049 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58417 47772 364 364 0 58053 0 [pid=8311] vsize: 233668 Current children cumulated CPU time (s) 636.25 Current children cumulated vsize (Kb) 233668 [startup+650.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83024 0 0 0 64238 383 0 0 25 0 1 0 21208914 239276032 47784 4294967295 134512640 135987407 3221224544 3221223300 134811684 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58417 47784 364 364 0 58053 0 [pid=8311] vsize: 233668 Current children cumulated CPU time (s) 646.21 Current children cumulated vsize (Kb) 233668 [startup+660.03 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 83127 0 0 0 65227 386 0 0 25 0 1 0 21208914 239538176 47822 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58481 47822 364 364 0 58117 0 [pid=8311] vsize: 233924 Current children cumulated CPU time (s) 656.13 Current children cumulated vsize (Kb) 233924 [startup+670.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83136 0 0 0 66215 391 0 0 25 0 1 0 21208914 239538176 47831 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58481 47831 364 364 0 58117 0 [pid=8311] vsize: 233924 Current children cumulated CPU time (s) 666.06 Current children cumulated vsize (Kb) 233924 [startup+680.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83264 0 0 0 67205 395 0 0 25 0 1 0 21208914 239964160 47894 4294967295 134512640 135987407 3221224544 3221223232 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58585 47894 364 364 0 58221 0 [pid=8311] vsize: 234340 Current children cumulated CPU time (s) 676 Current children cumulated vsize (Kb) 234340 [startup+690.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83601 0 0 0 68196 399 0 0 25 0 1 0 21208914 240750592 48036 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58777 48036 364 364 0 58413 0 [pid=8311] vsize: 235108 Current children cumulated CPU time (s) 685.95 Current children cumulated vsize (Kb) 235108 [startup+700.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83607 0 0 0 69188 401 0 0 25 0 1 0 21208914 240750592 48042 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58777 48042 364 364 0 58413 0 [pid=8311] vsize: 235108 Current children cumulated CPU time (s) 695.89 Current children cumulated vsize (Kb) 235108 [startup+710.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83649 0 0 0 70178 405 0 0 25 0 1 0 21208914 240750592 48084 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58777 48084 364 364 0 58413 0 [pid=8311] vsize: 235108 Current children cumulated CPU time (s) 705.83 Current children cumulated vsize (Kb) 235108 [startup+720.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83671 0 0 0 71170 407 0 0 25 0 1 0 21208914 240750592 48106 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58777 48106 364 364 0 58413 0 [pid=8311] vsize: 235108 Current children cumulated CPU time (s) 715.77 Current children cumulated vsize (Kb) 235108 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83827 0 0 0 72162 410 0 0 25 0 1 0 21208914 241274880 48132 4294967295 134512640 135987407 3221224544 3221223232 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58905 48132 364 364 0 58541 0 [pid=8311] vsize: 235620 Current children cumulated CPU time (s) 725.72 Current children cumulated vsize (Kb) 235620 [startup+740.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83902 0 0 0 73152 414 0 0 25 0 1 0 21208914 241537024 48142 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 58969 48142 364 364 0 58605 0 [pid=8311] vsize: 235876 Current children cumulated CPU time (s) 735.66 Current children cumulated vsize (Kb) 235876 [startup+750.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83984 0 0 0 74138 418 0 0 25 0 1 0 21208914 241799168 48159 4294967295 134512640 135987407 3221224544 3221223264 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59033 48159 364 364 0 58669 0 [pid=8311] vsize: 236132 Current children cumulated CPU time (s) 745.56 Current children cumulated vsize (Kb) 236132 [startup+760.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 84932 0 0 0 75127 424 0 0 25 0 1 0 21208914 241799168 48170 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59033 48170 364 364 0 58669 0 [pid=8311] vsize: 236132 Current children cumulated CPU time (s) 755.51 Current children cumulated vsize (Kb) 236132 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 84943 0 0 0 76119 427 0 0 25 0 1 0 21208914 241799168 48181 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59033 48181 364 364 0 58669 0 [pid=8311] vsize: 236132 Current children cumulated CPU time (s) 765.46 Current children cumulated vsize (Kb) 236132 [startup+780.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85017 0 0 0 77108 430 0 0 25 0 1 0 21208914 242061312 48190 4294967295 134512640 135987407 3221224544 3221223232 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59097 48190 364 364 0 58733 0 [pid=8311] vsize: 236388 Current children cumulated CPU time (s) 775.38 Current children cumulated vsize (Kb) 236388 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85022 0 0 0 78097 434 0 0 25 0 1 0 21208914 242061312 48195 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59097 48195 364 364 0 58733 0 [pid=8311] vsize: 236388 Current children cumulated CPU time (s) 785.31 Current children cumulated vsize (Kb) 236388 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85027 0 0 0 79088 437 0 0 25 0 1 0 21208914 242061312 48200 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59097 48200 364 364 0 58733 0 [pid=8311] vsize: 236388 Current children cumulated CPU time (s) 795.25 Current children cumulated vsize (Kb) 236388 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85276 0 0 0 80074 443 0 0 25 0 1 0 21208914 243396608 48449 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59423 48449 364 364 0 59059 0 [pid=8311] vsize: 237692 Current children cumulated CPU time (s) 805.17 Current children cumulated vsize (Kb) 237692 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85389 0 0 0 81063 447 0 0 25 0 1 0 21208914 243593216 48562 4294967295 134512640 135987407 3221224544 3221223328 134812406 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48562 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 815.1 Current children cumulated vsize (Kb) 237884 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85399 0 0 0 82047 452 0 0 25 0 1 0 21208914 243593216 48572 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48572 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 824.99 Current children cumulated vsize (Kb) 237884 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86350 0 0 0 83036 458 0 0 25 0 1 0 21208914 243593216 48586 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48586 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 834.94 Current children cumulated vsize (Kb) 237884 [startup+850.037 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 86355 0 0 0 84027 461 0 0 25 0 1 0 21208914 243593216 48591 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8311/statm): 59471 48591 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 844.88 Current children cumulated vsize (Kb) 237884 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86365 0 0 0 85019 463 0 0 25 0 1 0 21208914 243593216 48601 4294967295 134512640 135987407 3221224544 3221223232 134812138 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 59471 48601 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 854.82 Current children cumulated vsize (Kb) 237884 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 86373 0 0 0 86009 467 0 0 25 0 1 0 21208914 243593216 48609 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48609 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 864.76 Current children cumulated vsize (Kb) 237884 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86381 0 0 0 86995 471 0 0 25 0 1 0 21208914 243593216 48617 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48617 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 874.66 Current children cumulated vsize (Kb) 237884 [startup+890.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87319 0 0 0 87986 476 0 0 25 0 1 0 21208914 243593216 48618 4294967295 134512640 135987407 3221224544 3221223408 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59471 48618 364 364 0 59107 0 [pid=8311] vsize: 237884 Current children cumulated CPU time (s) 884.62 Current children cumulated vsize (Kb) 237884 [startup+900.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87531 0 0 0 88976 480 0 0 25 0 1 0 21208914 244752384 48830 4294967295 134512640 135987407 3221224544 3221223232 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48830 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 894.56 Current children cumulated vsize (Kb) 239016 [startup+910.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87557 0 0 0 89964 484 0 0 25 0 1 0 21208914 244752384 48856 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48856 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 904.48 Current children cumulated vsize (Kb) 239016 [startup+920.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87558 0 0 0 90957 486 0 0 25 0 1 0 21208914 244752384 48857 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48857 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 914.43 Current children cumulated vsize (Kb) 239016 [startup+930.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87559 0 0 0 91949 489 0 0 25 0 1 0 21208914 244752384 48858 4294967295 134512640 135987407 3221224544 3221223292 134811686 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48858 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 924.38 Current children cumulated vsize (Kb) 239016 [startup+940.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88498 0 0 0 92941 493 0 0 25 0 1 0 21208914 244752384 48860 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48860 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 934.34 Current children cumulated vsize (Kb) 239016 [startup+950.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88499 0 0 0 93931 496 0 0 25 0 1 0 21208914 244752384 48861 4294967295 134512640 135987407 3221224544 3221223388 134812764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59754 48861 364 364 0 59390 0 [pid=8311] vsize: 239016 Current children cumulated CPU time (s) 944.27 Current children cumulated vsize (Kb) 239016 [startup+960.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88582 0 0 0 94922 499 0 0 25 0 1 0 21208914 245014528 48879 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59818 48879 364 364 0 59454 0 [pid=8311] vsize: 239272 Current children cumulated CPU time (s) 954.21 Current children cumulated vsize (Kb) 239272 [startup+970.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88583 0 0 0 95915 503 0 0 25 0 1 0 21208914 245014528 48880 4294967295 134512640 135987407 3221224544 3221223312 134812433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59818 48880 364 364 0 59454 0 [pid=8311] vsize: 239272 Current children cumulated CPU time (s) 964.18 Current children cumulated vsize (Kb) 239272 [startup+980.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88588 0 0 0 96904 507 0 0 25 0 1 0 21208914 245014528 48885 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59818 48885 364 364 0 59454 0 [pid=8311] vsize: 239272 Current children cumulated CPU time (s) 974.11 Current children cumulated vsize (Kb) 239272 [startup+990.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88597 0 0 0 97892 511 0 0 25 0 1 0 21208914 245014528 48894 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59818 48894 364 364 0 59454 0 [pid=8311] vsize: 239272 Current children cumulated CPU time (s) 984.03 Current children cumulated vsize (Kb) 239272 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88601 0 0 0 98883 514 0 0 25 0 1 0 21208914 245014528 48898 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59818 48898 364 364 0 59454 0 [pid=8311] vsize: 239272 Current children cumulated CPU time (s) 993.97 Current children cumulated vsize (Kb) 239272 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88687 0 0 0 99875 517 0 0 25 0 1 0 21208914 245276672 48919 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59882 48919 364 364 0 59518 0 [pid=8311] vsize: 239528 Current children cumulated CPU time (s) 1003.92 Current children cumulated vsize (Kb) 239528 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88695 0 0 0 100868 519 0 0 25 0 1 0 21208914 245276672 48927 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59882 48927 364 364 0 59518 0 [pid=8311] vsize: 239528 Current children cumulated CPU time (s) 1013.87 Current children cumulated vsize (Kb) 239528 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88705 0 0 0 101863 521 0 0 25 0 1 0 21208914 245276672 48937 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59882 48937 364 364 0 59518 0 [pid=8311] vsize: 239528 Current children cumulated CPU time (s) 1023.84 Current children cumulated vsize (Kb) 239528 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88792 0 0 0 102856 523 0 0 25 0 1 0 21208914 245538816 48959 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59946 48959 364 364 0 59582 0 [pid=8311] vsize: 239784 Current children cumulated CPU time (s) 1033.79 Current children cumulated vsize (Kb) 239784 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88804 0 0 0 103849 526 0 0 25 0 1 0 21208914 245538816 48971 4294967295 134512640 135987407 3221224544 3221223232 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59946 48971 364 364 0 59582 0 [pid=8311] vsize: 239784 Current children cumulated CPU time (s) 1043.75 Current children cumulated vsize (Kb) 239784 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88817 0 0 0 104841 528 0 0 25 0 1 0 21208914 245538816 48984 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 59946 48984 364 364 0 59582 0 [pid=8311] vsize: 239784 Current children cumulated CPU time (s) 1053.69 Current children cumulated vsize (Kb) 239784 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88994 0 0 0 105835 531 0 0 25 0 1 0 21208914 246063104 49031 4294967295 134512640 135987407 3221224544 3221223408 134812653 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60074 49031 364 364 0 59710 0 [pid=8311] vsize: 240296 Current children cumulated CPU time (s) 1063.66 Current children cumulated vsize (Kb) 240296 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89022 0 0 0 106829 534 0 0 25 0 1 0 21208914 246063104 49059 4294967295 134512640 135987407 3221224544 3221223304 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60074 49059 364 364 0 59710 0 [pid=8311] vsize: 240296 Current children cumulated CPU time (s) 1073.63 Current children cumulated vsize (Kb) 240296 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89265 0 0 0 107819 537 0 0 25 0 1 0 21208914 246849536 49107 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60266 49107 364 364 0 59902 0 [pid=8311] vsize: 241064 Current children cumulated CPU time (s) 1083.56 Current children cumulated vsize (Kb) 241064 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89270 0 0 0 108810 540 0 0 25 0 1 0 21208914 246849536 49112 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 60266 49112 364 364 0 59902 0 [pid=8311] vsize: 241064 Current children cumulated CPU time (s) 1093.5 Current children cumulated vsize (Kb) 241064 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89275 0 0 0 109804 542 0 0 25 0 1 0 21208914 246849536 49117 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8311/statm): 60266 49117 364 364 0 59902 0 [pid=8311] vsize: 241064 Current children cumulated CPU time (s) 1103.46 Current children cumulated vsize (Kb) 241064 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90291 0 0 0 110794 547 0 0 25 0 1 0 21208914 247111680 49131 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60330 49131 364 364 0 59966 0 [pid=8311] vsize: 241320 Current children cumulated CPU time (s) 1113.41 Current children cumulated vsize (Kb) 241320 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90351 0 0 0 111785 551 0 0 25 0 1 0 21208914 247382016 49191 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49191 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1123.36 Current children cumulated vsize (Kb) 241584 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90367 0 0 0 112779 553 0 0 25 0 1 0 21208914 247382016 49207 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49207 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1133.32 Current children cumulated vsize (Kb) 241584 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90385 0 0 0 113771 556 0 0 25 0 1 0 21208914 247382016 49225 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49225 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1143.27 Current children cumulated vsize (Kb) 241584 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90407 0 0 0 114765 559 0 0 25 0 1 0 21208914 247382016 49247 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49247 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1153.24 Current children cumulated vsize (Kb) 241584 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91353 0 0 0 115755 563 0 0 25 0 1 0 21208914 247382016 49256 4294967295 134512640 135987407 3221224544 3221223328 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49256 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1163.18 Current children cumulated vsize (Kb) 241584 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91359 0 0 0 116747 566 0 0 25 0 1 0 21208914 247382016 49262 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60396 49262 364 364 0 60032 0 [pid=8311] vsize: 241584 Current children cumulated CPU time (s) 1173.13 Current children cumulated vsize (Kb) 241584 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91437 0 0 0 117740 568 0 0 25 0 1 0 21208914 247513088 49307 4294967295 134512640 135987407 3221224544 3221223328 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60428 49307 364 364 0 60064 0 [pid=8311] vsize: 241712 Current children cumulated CPU time (s) 1183.08 Current children cumulated vsize (Kb) 241712 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91445 0 0 0 118732 571 0 0 25 0 1 0 21208914 247513088 49315 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60428 49315 364 364 0 60064 0 [pid=8311] vsize: 241712 Current children cumulated CPU time (s) 1193.03 Current children cumulated vsize (Kb) 241712 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 92388 0 0 0 119723 575 0 0 25 0 1 0 21208914 247513088 49321 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60428 49321 364 364 0 60064 0 [pid=8311] vsize: 241712 Current children cumulated CPU time (s) 1202.98 Current children cumulated vsize (Kb) 241712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 8311 Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 92388 0 0 0 119723 575 0 0 25 0 1 0 21208914 247513088 49321 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8311/statm): 60428 49321 364 364 0 60064 0 [pid=8311] vsize: 241712 Current children cumulated CPU time (s) 1202.98 Current children cumulated vsize (Kb) 241712 Sending SIGTERM to -8311 Sleeping 2 seconds One traced child (pid=8311) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1211.01 CPU time (s): 1203.94 CPU user time (s): 1198.08 CPU system time (s): 5.85811 CPU usage (%): 99.4165 Max. virtual memory (cumulated for all children) (Kb): 241712
ERROR: no interpretation found !