Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb |
MD5SUM | 4f0cac14ed3568050c2c57bb69fdb664 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2655 |
Total number of constraints | 2801 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2800 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2655 |
LAUNCH ON wulflinc32 THE 2005-09-23 17:54:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9113 boxname=wulflinc32 idbench=909 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4f0cac14ed3568050c2c57bb69fdb664 /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb IDLAUNCH: 9113 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.145 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 : 3 cpu MHz : 451.145 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: 1034724 kB MemFree: 920204 kB Buffers: 15372 kB Cached: 79284 kB SwapCached: 0 kB Active: 42492 kB Inactive: 55060 kB HighTotal: 131072 kB HighFree: 47328 kB LowTotal: 903652 kB LowFree: 872876 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6988 kB Slab: 11268 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 18:14:48 (client local time) WITH STATUS 0 IN 1203.09 SECONDS stats: 9113 7 1203.09 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 11076/263328 Time: 128.321/86400 c Decision: 11076/263328 Time: 218.05/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/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22105163 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 373 10 364 364 0 9 0 [pid=9035] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-mod010.opb [startup+10.002 s] Raw data (loadavg): 0.93 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 28219 0 0 0 933 63 0 0 25 0 1 0 22105163 89972736 17103 4294967295 134512640 135987407 3221224560 3220689476 135479919 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 21966 17103 364 364 0 21602 0 [pid=9035] vsize: 87864 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 87864 [startup+20.0027 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 43122 0 0 0 1892 98 0 0 25 0 1 0 22105163 132149248 26554 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 32263 26554 364 364 0 31899 0 [pid=9035] vsize: 129052 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 129052 [startup+30.0035 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 44356 0 0 0 2877 104 0 0 25 0 1 0 22105163 137928704 27689 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 33674 27689 364 364 0 33310 0 [pid=9035] vsize: 134696 Current children cumulated CPU time (s) 29.81 Current children cumulated vsize (Kb) 134696 [startup+40.0043 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 44882 0 0 0 3866 108 0 0 25 0 1 0 22105163 140812288 28182 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 34378 28182 364 364 0 34014 0 [pid=9035] vsize: 137512 Current children cumulated CPU time (s) 39.74 Current children cumulated vsize (Kb) 137512 [startup+50.004 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45247 0 0 0 4855 112 0 0 25 0 1 0 22105163 142614528 28514 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 34818 28514 364 364 0 34454 0 [pid=9035] vsize: 139272 Current children cumulated CPU time (s) 49.67 Current children cumulated vsize (Kb) 139272 [startup+60.0048 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45491 0 0 0 5847 115 0 0 25 0 1 0 22105163 143683584 28758 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 35079 28758 364 364 0 34715 0 [pid=9035] vsize: 140316 Current children cumulated CPU time (s) 59.62 Current children cumulated vsize (Kb) 140316 [startup+70.0056 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 45739 0 0 0 6839 118 0 0 25 0 1 0 22105163 144900096 29006 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 35376 29006 364 364 0 35012 0 [pid=9035] vsize: 141504 Current children cumulated CPU time (s) 69.57 Current children cumulated vsize (Kb) 141504 [startup+80.0053 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46056 0 0 0 7831 121 0 0 25 0 1 0 22105163 146247680 29290 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 35705 29290 364 364 0 35341 0 [pid=9035] vsize: 142820 Current children cumulated CPU time (s) 79.52 Current children cumulated vsize (Kb) 142820 [startup+90.0051 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46329 0 0 0 8822 125 0 0 25 0 1 0 22105163 147734528 29563 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 36068 29563 364 364 0 35704 0 [pid=9035] vsize: 144272 Current children cumulated CPU time (s) 89.47 Current children cumulated vsize (Kb) 144272 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46627 0 0 0 9812 128 0 0 25 0 1 0 22105163 149217280 29828 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 36430 29828 364 364 0 36066 0 [pid=9035] vsize: 145720 Current children cumulated CPU time (s) 99.4 Current children cumulated vsize (Kb) 145720 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 46827 0 0 0 10802 132 0 0 25 0 1 0 22105163 150024192 29995 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 36627 29995 364 364 0 36263 0 [pid=9035] vsize: 146508 Current children cumulated CPU time (s) 109.34 Current children cumulated vsize (Kb) 146508 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47063 0 0 0 11792 134 0 0 25 0 1 0 22105163 151166976 30231 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 36906 30231 364 364 0 36542 0 [pid=9035] vsize: 147624 Current children cumulated CPU time (s) 119.26 Current children cumulated vsize (Kb) 147624 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47158 0 0 0 12781 138 0 0 25 0 1 0 22105163 151572480 30326 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37005 30326 364 364 0 36641 0 [pid=9035] vsize: 148020 Current children cumulated CPU time (s) 129.19 Current children cumulated vsize (Kb) 148020 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 47433 0 0 0 13771 142 0 0 25 0 1 0 22105163 152788992 30601 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37302 30601 364 364 0 36938 0 [pid=9035] vsize: 149208 Current children cumulated CPU time (s) 139.13 Current children cumulated vsize (Kb) 149208 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48035 0 0 0 14763 146 0 0 25 0 1 0 22105163 153194496 30688 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 37401 30688 364 364 0 37037 0 [pid=9035] vsize: 149604 Current children cumulated CPU time (s) 149.09 Current children cumulated vsize (Kb) 149604 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48186 0 0 0 15754 149 0 0 25 0 1 0 22105163 153731072 30806 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37532 30806 364 364 0 37168 0 [pid=9035] vsize: 150128 Current children cumulated CPU time (s) 159.03 Current children cumulated vsize (Kb) 150128 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48299 0 0 0 16745 153 0 0 25 0 1 0 22105163 154271744 30919 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37664 30919 364 364 0 37300 0 [pid=9035] vsize: 150656 Current children cumulated CPU time (s) 168.98 Current children cumulated vsize (Kb) 150656 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 48369 0 0 0 17738 155 0 0 25 0 1 0 22105163 154542080 30989 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37730 30989 364 364 0 37366 0 [pid=9035] vsize: 150920 Current children cumulated CPU time (s) 178.93 Current children cumulated vsize (Kb) 150920 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48404 0 0 0 18730 159 0 0 25 0 1 0 22105163 154677248 31024 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37763 31024 364 364 0 37399 0 [pid=9035] vsize: 151052 Current children cumulated CPU time (s) 188.89 Current children cumulated vsize (Kb) 151052 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48462 0 0 0 19722 162 0 0 25 0 1 0 22105163 154808320 31049 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37795 31049 364 364 0 37431 0 [pid=9035] vsize: 151180 Current children cumulated CPU time (s) 198.84 Current children cumulated vsize (Kb) 151180 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48558 0 0 0 20715 164 0 0 25 0 1 0 22105163 155074560 31112 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 37860 31112 364 364 0 37496 0 [pid=9035] vsize: 151440 Current children cumulated CPU time (s) 208.79 Current children cumulated vsize (Kb) 151440 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48689 0 0 0 21705 167 0 0 25 0 1 0 22105163 155611136 31210 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 37991 31210 364 364 0 37627 0 [pid=9035] vsize: 151964 Current children cumulated CPU time (s) 218.72 Current children cumulated vsize (Kb) 151964 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 48757 0 0 0 22695 170 0 0 25 0 1 0 22105163 155881472 31278 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 38057 31278 364 364 0 37693 0 [pid=9035] vsize: 152228 Current children cumulated CPU time (s) 228.65 Current children cumulated vsize (Kb) 152228 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49362 0 0 0 23688 173 0 0 25 0 1 0 22105163 156286976 31368 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38156 31368 364 364 0 37792 0 [pid=9035] vsize: 152624 Current children cumulated CPU time (s) 238.61 Current children cumulated vsize (Kb) 152624 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49444 0 0 0 24679 177 0 0 25 0 1 0 22105163 156557312 31450 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 38222 31450 364 364 0 37858 0 [pid=9035] vsize: 152888 Current children cumulated CPU time (s) 248.56 Current children cumulated vsize (Kb) 152888 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49539 0 0 0 25672 179 0 0 25 0 1 0 22105163 156823552 31512 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 38287 31512 364 364 0 37923 0 [pid=9035] vsize: 153148 Current children cumulated CPU time (s) 258.51 Current children cumulated vsize (Kb) 153148 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49664 0 0 0 26663 182 0 0 25 0 1 0 22105163 157220864 31571 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 38384 31571 364 364 0 38020 0 [pid=9035] vsize: 153536 Current children cumulated CPU time (s) 268.45 Current children cumulated vsize (Kb) 153536 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49713 0 0 0 27653 185 0 0 25 0 1 0 22105163 157491200 31620 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38450 31620 364 364 0 38086 0 [pid=9035] vsize: 153800 Current children cumulated CPU time (s) 278.38 Current children cumulated vsize (Kb) 153800 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 49842 0 0 0 28644 189 0 0 25 0 1 0 22105163 158167040 31749 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38615 31749 364 364 0 38251 0 [pid=9035] vsize: 154460 Current children cumulated CPU time (s) 288.33 Current children cumulated vsize (Kb) 154460 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 49923 0 0 0 29633 192 0 0 25 0 1 0 22105163 158572544 31830 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38714 31830 364 364 0 38350 0 [pid=9035] vsize: 154856 Current children cumulated CPU time (s) 298.25 Current children cumulated vsize (Kb) 154856 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50038 0 0 0 30622 197 0 0 25 0 1 0 22105163 159248384 31945 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38879 31945 364 364 0 38515 0 [pid=9035] vsize: 155516 Current children cumulated CPU time (s) 308.19 Current children cumulated vsize (Kb) 155516 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9035 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50082 0 0 0 31615 199 0 0 25 0 1 0 22105163 159518720 31989 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 38945 31989 364 364 0 38581 0 [pid=9035] vsize: 155780 Current children cumulated CPU time (s) 318.14 Current children cumulated vsize (Kb) 155780 [startup+330.013 s] Raw data (loadavg): 1.07 0.99 0.96 2/59 9078 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50198 0 0 0 32606 202 0 0 25 0 1 0 22105163 159916032 32039 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 39042 32039 364 364 0 38678 0 [pid=9035] vsize: 156168 Current children cumulated CPU time (s) 328.08 Current children cumulated vsize (Kb) 156168 [startup+340.013 s] Raw data (loadavg): 1.06 0.99 0.96 2/55 9090 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50232 0 0 0 33598 205 0 0 25 0 1 0 22105163 160051200 32073 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 39075 32073 364 364 0 38711 0 [pid=9035] vsize: 156300 Current children cumulated CPU time (s) 338.03 Current children cumulated vsize (Kb) 156300 [startup+350.013 s] Raw data (loadavg): 1.13 1.00 0.97 2/55 9090 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50260 0 0 0 34589 208 0 0 25 0 1 0 22105163 160186368 32101 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 39108 32101 364 364 0 38744 0 [pid=9035] vsize: 156432 Current children cumulated CPU time (s) 347.97 Current children cumulated vsize (Kb) 156432 [startup+360.014 s] Raw data (loadavg): 1.11 1.00 0.97 2/55 9090 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50356 0 0 0 35579 211 0 0 25 0 1 0 22105163 160583680 32164 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 39205 32164 364 364 0 38841 0 [pid=9035] vsize: 156820 Current children cumulated CPU time (s) 357.9 Current children cumulated vsize (Kb) 156820 [startup+370.015 s] Raw data (loadavg): 1.09 1.00 0.97 2/55 9090 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 50706 0 0 0 36567 216 0 0 25 0 1 0 22105163 162037760 32349 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 39560 32349 364 364 0 39196 0 [pid=9035] vsize: 158240 Current children cumulated CPU time (s) 367.83 Current children cumulated vsize (Kb) 158240 [startup+380.014 s] Raw data (loadavg): 1.08 1.00 0.97 1/55 9090 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 51016 0 0 0 37555 220 0 0 25 0 1 0 22105163 163635200 32626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9035/statm): 39950 32626 364 364 0 39586 0 [pid=9035] vsize: 159800 Current children cumulated CPU time (s) 377.75 Current children cumulated vsize (Kb) 159800 [startup+390.015 s] Raw data (loadavg): 1.06 1.00 0.97 2/55 9092 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 51570 0 0 0 38544 224 0 0 25 0 1 0 22105163 165961728 33015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 40518 33015 364 364 0 40154 0 [pid=9035] vsize: 162072 Current children cumulated CPU time (s) 387.68 Current children cumulated vsize (Kb) 162072 [startup+400.015 s] Raw data (loadavg): 1.05 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 51820 0 0 0 39533 228 0 0 25 0 1 0 22105163 167030784 33199 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 40779 33199 364 364 0 40415 0 [pid=9035] vsize: 163116 Current children cumulated CPU time (s) 397.61 Current children cumulated vsize (Kb) 163116 [startup+410.016 s] Raw data (loadavg): 1.04 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52402 0 0 0 40521 232 0 0 25 0 1 0 22105163 169144320 33418 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 41295 33418 364 364 0 40931 0 [pid=9035] vsize: 165180 Current children cumulated CPU time (s) 407.53 Current children cumulated vsize (Kb) 165180 [startup+420.017 s] Raw data (loadavg): 1.04 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52564 0 0 0 41511 235 0 0 25 0 1 0 22105163 169816064 33547 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 41459 33547 364 364 0 41095 0 [pid=9035] vsize: 165836 Current children cumulated CPU time (s) 417.46 Current children cumulated vsize (Kb) 165836 [startup+430.017 s] Raw data (loadavg): 1.03 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 52671 0 0 0 42502 238 0 0 25 0 1 0 22105163 170545152 33654 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 41637 33654 364 364 0 41273 0 [pid=9035] vsize: 166548 Current children cumulated CPU time (s) 427.4 Current children cumulated vsize (Kb) 166548 [startup+440.018 s] Raw data (loadavg): 1.03 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53070 0 0 0 43490 242 0 0 25 0 1 0 22105163 172068864 33855 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 42009 33855 364 364 0 41645 0 [pid=9035] vsize: 168036 Current children cumulated CPU time (s) 437.32 Current children cumulated vsize (Kb) 168036 [startup+450.019 s] Raw data (loadavg): 1.02 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53301 0 0 0 44481 246 0 0 25 0 1 0 22105163 173064192 34020 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 42252 34020 364 364 0 41888 0 [pid=9035] vsize: 169008 Current children cumulated CPU time (s) 447.27 Current children cumulated vsize (Kb) 169008 [startup+460.02 s] Raw data (loadavg): 1.02 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 53734 0 0 0 45471 250 0 0 25 0 1 0 22105163 174579712 34222 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 42622 34222 364 364 0 42258 0 [pid=9035] vsize: 170488 Current children cumulated CPU time (s) 457.21 Current children cumulated vsize (Kb) 170488 [startup+470.019 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 54457 0 0 0 46461 254 0 0 25 0 1 0 22105163 176685056 34549 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 43136 34549 364 364 0 42772 0 [pid=9035] vsize: 172544 Current children cumulated CPU time (s) 467.15 Current children cumulated vsize (Kb) 172544 [startup+480.019 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 54872 0 0 0 47452 258 0 0 25 0 1 0 22105163 178135040 34733 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 43490 34733 364 364 0 43126 0 [pid=9035] vsize: 173960 Current children cumulated CPU time (s) 477.1 Current children cumulated vsize (Kb) 173960 [startup+490.02 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55228 0 0 0 48441 262 0 0 25 0 1 0 22105163 179453952 34891 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 43812 34891 364 364 0 43448 0 [pid=9035] vsize: 175248 Current children cumulated CPU time (s) 487.03 Current children cumulated vsize (Kb) 175248 [startup+500.02 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55317 0 0 0 49432 266 0 0 25 0 1 0 22105163 179716096 34914 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 43876 34914 364 364 0 43512 0 [pid=9035] vsize: 175504 Current children cumulated CPU time (s) 496.98 Current children cumulated vsize (Kb) 175504 [startup+510.021 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55428 0 0 0 50419 270 0 0 25 0 1 0 22105163 180113408 34959 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 43973 34959 364 364 0 43609 0 [pid=9035] vsize: 175892 Current children cumulated CPU time (s) 506.89 Current children cumulated vsize (Kb) 175892 [startup+520.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55432 0 0 0 51407 274 0 0 25 0 1 0 22105163 180113408 34963 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 43973 34963 364 364 0 43609 0 [pid=9035] vsize: 175892 Current children cumulated CPU time (s) 516.81 Current children cumulated vsize (Kb) 175892 [startup+530.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55523 0 0 0 52398 277 0 0 25 0 1 0 22105163 180379648 35021 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44038 35021 364 364 0 43674 0 [pid=9035] vsize: 176152 Current children cumulated CPU time (s) 526.75 Current children cumulated vsize (Kb) 176152 [startup+540.022 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 55565 0 0 0 53388 280 0 0 25 0 1 0 22105163 180514816 35063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44071 35063 364 364 0 43707 0 [pid=9035] vsize: 176284 Current children cumulated CPU time (s) 536.68 Current children cumulated vsize (Kb) 176284 [startup+550.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 55800 0 0 0 54377 285 0 0 25 0 1 0 22105163 181039104 35166 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44199 35166 364 364 0 43835 0 [pid=9035] vsize: 176796 Current children cumulated CPU time (s) 546.62 Current children cumulated vsize (Kb) 176796 [startup+560.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56101 0 0 0 55368 288 0 0 25 0 1 0 22105163 181825536 35271 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44391 35271 364 364 0 44027 0 [pid=9035] vsize: 177564 Current children cumulated CPU time (s) 556.56 Current children cumulated vsize (Kb) 177564 [startup+570.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56119 0 0 0 56358 291 0 0 25 0 1 0 22105163 181825536 35289 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44391 35289 364 364 0 44027 0 [pid=9035] vsize: 177564 Current children cumulated CPU time (s) 566.49 Current children cumulated vsize (Kb) 177564 [startup+580.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56239 0 0 0 57346 296 0 0 25 0 1 0 22105163 182226944 35376 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44489 35376 364 364 0 44125 0 [pid=9035] vsize: 177956 Current children cumulated CPU time (s) 576.42 Current children cumulated vsize (Kb) 177956 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56323 0 0 0 58338 298 0 0 25 0 1 0 22105163 182489088 35394 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44553 35394 364 364 0 44189 0 [pid=9035] vsize: 178212 Current children cumulated CPU time (s) 586.36 Current children cumulated vsize (Kb) 178212 [startup+600.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56330 0 0 0 59327 303 0 0 25 0 1 0 22105163 182489088 35401 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44553 35401 364 364 0 44189 0 [pid=9035] vsize: 178212 Current children cumulated CPU time (s) 596.3 Current children cumulated vsize (Kb) 178212 [startup+610.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56333 0 0 0 60316 307 0 0 25 0 1 0 22105163 182489088 35404 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44553 35404 364 364 0 44189 0 [pid=9035] vsize: 178212 Current children cumulated CPU time (s) 606.23 Current children cumulated vsize (Kb) 178212 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 56414 0 0 0 61304 311 0 0 25 0 1 0 22105163 182886400 35452 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44650 35452 364 364 0 44286 0 [pid=9035] vsize: 178600 Current children cumulated CPU time (s) 616.15 Current children cumulated vsize (Kb) 178600 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56418 0 0 0 62296 314 0 0 25 0 1 0 22105163 182886400 35456 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44650 35456 364 364 0 44286 0 [pid=9035] vsize: 178600 Current children cumulated CPU time (s) 626.1 Current children cumulated vsize (Kb) 178600 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9096 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56470 0 0 0 63285 317 0 0 25 0 1 0 22105163 183017472 35475 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44682 35475 364 364 0 44318 0 [pid=9035] vsize: 178728 Current children cumulated CPU time (s) 636.02 Current children cumulated vsize (Kb) 178728 [startup+650.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56477 0 0 0 64274 322 0 0 25 0 1 0 22105163 183017472 35482 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44682 35482 364 364 0 44318 0 [pid=9035] vsize: 178728 Current children cumulated CPU time (s) 645.96 Current children cumulated vsize (Kb) 178728 [startup+660.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56566 0 0 0 65263 325 0 0 25 0 1 0 22105163 183283712 35538 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44747 35538 364 364 0 44383 0 [pid=9035] vsize: 178988 Current children cumulated CPU time (s) 655.88 Current children cumulated vsize (Kb) 178988 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56571 0 0 0 66256 327 0 0 25 0 1 0 22105163 183283712 35543 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44747 35543 364 364 0 44383 0 [pid=9035] vsize: 178988 Current children cumulated CPU time (s) 665.83 Current children cumulated vsize (Kb) 178988 [startup+680.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56576 0 0 0 67247 331 0 0 25 0 1 0 22105163 183283712 35548 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44747 35548 364 364 0 44383 0 [pid=9035] vsize: 178988 Current children cumulated CPU time (s) 675.78 Current children cumulated vsize (Kb) 178988 [startup+690.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56582 0 0 0 68236 334 0 0 25 0 1 0 22105163 183283712 35554 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44747 35554 364 364 0 44383 0 [pid=9035] vsize: 178988 Current children cumulated CPU time (s) 685.7 Current children cumulated vsize (Kb) 178988 [startup+700.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56637 0 0 0 69225 338 0 0 25 0 1 0 22105163 183554048 35609 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44813 35609 364 364 0 44449 0 [pid=9035] vsize: 179252 Current children cumulated CPU time (s) 695.63 Current children cumulated vsize (Kb) 179252 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56643 0 0 0 70215 342 0 0 25 0 1 0 22105163 183554048 35615 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44813 35615 364 364 0 44449 0 [pid=9035] vsize: 179252 Current children cumulated CPU time (s) 705.57 Current children cumulated vsize (Kb) 179252 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56689 0 0 0 71205 345 0 0 25 0 1 0 22105163 183685120 35628 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44845 35628 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 715.5 Current children cumulated vsize (Kb) 179380 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56695 0 0 0 72196 349 0 0 25 0 1 0 22105163 183685120 35634 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44845 35634 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 725.45 Current children cumulated vsize (Kb) 179380 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56698 0 0 0 73187 351 0 0 25 0 1 0 22105163 183685120 35637 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44845 35637 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 735.38 Current children cumulated vsize (Kb) 179380 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56704 0 0 0 74178 354 0 0 25 0 1 0 22105163 183685120 35643 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44845 35643 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 745.32 Current children cumulated vsize (Kb) 179380 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56718 0 0 0 75169 357 0 0 25 0 1 0 22105163 183685120 35657 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44845 35657 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 755.26 Current children cumulated vsize (Kb) 179380 [startup+770.032 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) T 9034 9035 4005 0 -1 0 56728 0 0 0 76161 360 0 0 25 0 1 0 22105163 183685120 35667 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9035/statm): 44845 35667 364 364 0 44481 0 [pid=9035] vsize: 179380 Current children cumulated CPU time (s) 765.21 Current children cumulated vsize (Kb) 179380 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56808 0 0 0 77151 362 0 0 25 0 1 0 22105163 183951360 35714 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 44910 35714 364 364 0 44546 0 [pid=9035] vsize: 179640 Current children cumulated CPU time (s) 775.13 Current children cumulated vsize (Kb) 179640 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56869 0 0 0 78140 367 0 0 25 0 1 0 22105163 184352768 35775 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45008 35775 364 364 0 44644 0 [pid=9035] vsize: 180032 Current children cumulated CPU time (s) 785.07 Current children cumulated vsize (Kb) 180032 [startup+800.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56879 0 0 0 79130 371 0 0 25 0 1 0 22105163 184352768 35785 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45008 35785 364 364 0 44644 0 [pid=9035] vsize: 180032 Current children cumulated CPU time (s) 795.01 Current children cumulated vsize (Kb) 180032 [startup+810.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56908 0 0 0 80121 374 0 0 25 0 1 0 22105163 184487936 35814 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45041 35814 364 364 0 44677 0 [pid=9035] vsize: 180164 Current children cumulated CPU time (s) 804.95 Current children cumulated vsize (Kb) 180164 [startup+820.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56922 0 0 0 81111 377 0 0 25 0 1 0 22105163 184487936 35828 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45041 35828 364 364 0 44677 0 [pid=9035] vsize: 180164 Current children cumulated CPU time (s) 814.88 Current children cumulated vsize (Kb) 180164 [startup+830.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56930 0 0 0 82102 380 0 0 25 0 1 0 22105163 184487936 35836 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45041 35836 364 364 0 44677 0 [pid=9035] vsize: 180164 Current children cumulated CPU time (s) 824.82 Current children cumulated vsize (Kb) 180164 [startup+840.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56944 0 0 0 83093 383 0 0 25 0 1 0 22105163 184487936 35850 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45041 35850 364 364 0 44677 0 [pid=9035] vsize: 180164 Current children cumulated CPU time (s) 834.76 Current children cumulated vsize (Kb) 180164 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 56951 0 0 0 84086 386 0 0 25 0 1 0 22105163 184487936 35857 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45041 35857 364 364 0 44677 0 [pid=9035] vsize: 180164 Current children cumulated CPU time (s) 844.72 Current children cumulated vsize (Kb) 180164 [startup+860.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57011 0 0 0 85078 388 0 0 25 0 1 0 22105163 184619008 35884 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45073 35884 364 364 0 44709 0 [pid=9035] vsize: 180292 Current children cumulated CPU time (s) 854.66 Current children cumulated vsize (Kb) 180292 [startup+870.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57017 0 0 0 86070 391 0 0 25 0 1 0 22105163 184619008 35890 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45073 35890 364 364 0 44709 0 [pid=9035] vsize: 180292 Current children cumulated CPU time (s) 864.61 Current children cumulated vsize (Kb) 180292 [startup+880.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57089 0 0 0 87062 394 0 0 25 0 1 0 22105163 184750080 35929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45105 35929 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 874.56 Current children cumulated vsize (Kb) 180420 [startup+890.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57093 0 0 0 88052 397 0 0 25 0 1 0 22105163 184750080 35933 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45105 35933 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 884.49 Current children cumulated vsize (Kb) 180420 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57099 0 0 0 89043 400 0 0 25 0 1 0 22105163 184750080 35939 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45105 35939 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 894.43 Current children cumulated vsize (Kb) 180420 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57104 0 0 0 90035 402 0 0 25 0 1 0 22105163 184750080 35944 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45105 35944 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 904.37 Current children cumulated vsize (Kb) 180420 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57110 0 0 0 91026 406 0 0 25 0 1 0 22105163 184750080 35950 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45105 35950 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 914.32 Current children cumulated vsize (Kb) 180420 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57117 0 0 0 92017 409 0 0 25 0 1 0 22105163 184750080 35957 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45105 35957 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 924.26 Current children cumulated vsize (Kb) 180420 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57126 0 0 0 93008 412 0 0 25 0 1 0 22105163 184750080 35966 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45105 35966 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 934.2 Current children cumulated vsize (Kb) 180420 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57134 0 0 0 93996 416 0 0 25 0 1 0 22105163 184750080 35974 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45105 35974 364 364 0 44741 0 [pid=9035] vsize: 180420 Current children cumulated CPU time (s) 944.12 Current children cumulated vsize (Kb) 180420 [startup+960.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57163 0 0 0 94986 419 0 0 25 0 1 0 22105163 184885248 36003 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45138 36003 364 364 0 44774 0 [pid=9035] vsize: 180552 Current children cumulated CPU time (s) 954.05 Current children cumulated vsize (Kb) 180552 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57186 0 0 0 95977 422 0 0 25 0 1 0 22105163 185020416 36026 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45171 36026 364 364 0 44807 0 [pid=9035] vsize: 180684 Current children cumulated CPU time (s) 963.99 Current children cumulated vsize (Kb) 180684 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57207 0 0 0 96967 426 0 0 25 0 1 0 22105163 185155584 36047 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45204 36047 364 364 0 44840 0 [pid=9035] vsize: 180816 Current children cumulated CPU time (s) 973.93 Current children cumulated vsize (Kb) 180816 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57214 0 0 0 97959 428 0 0 25 0 1 0 22105163 185155584 36054 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45204 36054 364 364 0 44840 0 [pid=9035] vsize: 180816 Current children cumulated CPU time (s) 983.87 Current children cumulated vsize (Kb) 180816 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57243 0 0 0 98948 432 0 0 25 0 1 0 22105163 185290752 36083 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36083 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 993.8 Current children cumulated vsize (Kb) 180948 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57249 0 0 0 99942 434 0 0 25 0 1 0 22105163 185290752 36089 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36089 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1003.76 Current children cumulated vsize (Kb) 180948 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57252 0 0 0 100934 437 0 0 25 0 1 0 22105163 185290752 36092 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36092 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1013.71 Current children cumulated vsize (Kb) 180948 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57259 0 0 0 101925 440 0 0 25 0 1 0 22105163 185290752 36099 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36099 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1023.65 Current children cumulated vsize (Kb) 180948 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57264 0 0 0 102914 445 0 0 25 0 1 0 22105163 185290752 36104 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36104 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1033.59 Current children cumulated vsize (Kb) 180948 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57268 0 0 0 103906 447 0 0 25 0 1 0 22105163 185290752 36108 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36108 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1043.53 Current children cumulated vsize (Kb) 180948 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57273 0 0 0 104898 449 0 0 25 0 1 0 22105163 185290752 36113 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36113 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1053.47 Current children cumulated vsize (Kb) 180948 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57277 0 0 0 105889 452 0 0 25 0 1 0 22105163 185290752 36117 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36117 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1063.41 Current children cumulated vsize (Kb) 180948 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57281 0 0 0 106881 454 0 0 25 0 1 0 22105163 185290752 36121 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45237 36121 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1073.35 Current children cumulated vsize (Kb) 180948 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57298 0 0 0 107872 457 0 0 25 0 1 0 22105163 185290752 36138 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45237 36138 364 364 0 44873 0 [pid=9035] vsize: 180948 Current children cumulated CPU time (s) 1083.29 Current children cumulated vsize (Kb) 180948 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57319 0 0 0 108861 460 0 0 25 0 1 0 22105163 185425920 36159 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36159 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1093.21 Current children cumulated vsize (Kb) 181080 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57322 0 0 0 109852 463 0 0 25 0 1 0 22105163 185425920 36162 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36162 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1103.15 Current children cumulated vsize (Kb) 181080 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57326 0 0 0 110843 467 0 0 25 0 1 0 22105163 185425920 36166 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36166 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1113.1 Current children cumulated vsize (Kb) 181080 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57331 0 0 0 111835 469 0 0 25 0 1 0 22105163 185425920 36171 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36171 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1123.04 Current children cumulated vsize (Kb) 181080 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57335 0 0 0 112825 473 0 0 25 0 1 0 22105163 185425920 36175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36175 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1132.98 Current children cumulated vsize (Kb) 181080 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57339 0 0 0 113818 475 0 0 25 0 1 0 22105163 185425920 36179 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36179 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1142.93 Current children cumulated vsize (Kb) 181080 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57344 0 0 0 114809 478 0 0 25 0 1 0 22105163 185425920 36184 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45270 36184 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1152.87 Current children cumulated vsize (Kb) 181080 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57353 0 0 0 115800 480 0 0 25 0 1 0 22105163 185425920 36193 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45270 36193 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1162.8 Current children cumulated vsize (Kb) 181080 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57357 0 0 0 116791 484 0 0 25 0 1 0 22105163 185425920 36197 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45270 36197 364 364 0 44906 0 [pid=9035] vsize: 181080 Current children cumulated CPU time (s) 1172.75 Current children cumulated vsize (Kb) 181080 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57385 0 0 0 117780 488 0 0 25 0 1 0 22105163 185561088 36225 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9035/statm): 45303 36225 364 364 0 44939 0 [pid=9035] vsize: 181212 Current children cumulated CPU time (s) 1182.68 Current children cumulated vsize (Kb) 181212 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57430 0 0 0 118772 491 0 0 25 0 1 0 22105163 185692160 36237 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45335 36237 364 364 0 44971 0 [pid=9035] vsize: 181340 Current children cumulated CPU time (s) 1192.63 Current children cumulated vsize (Kb) 181340 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57435 0 0 0 119761 494 0 0 25 0 1 0 22105163 185692160 36242 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45335 36242 364 364 0 44971 0 [pid=9035] vsize: 181340 Current children cumulated CPU time (s) 1202.55 Current children cumulated vsize (Kb) 181340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9098 Raw data (/proc/9035/stat): 9035 (pb2sat) R 9034 9035 4005 0 -1 0 57435 0 0 0 119761 494 0 0 25 0 1 0 22105163 185692160 36242 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9035/statm): 45335 36242 364 364 0 44971 0 [pid=9035] vsize: 181340 Current children cumulated CPU time (s) 1202.55 Current children cumulated vsize (Kb) 181340 Sending SIGTERM to -9035 Sleeping 2 seconds One traced child (pid=9035) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1210.59 CPU time (s): 1203.09 CPU user time (s): 1198.07 CPU system time (s): 5.02524 CPU usage (%): 99.3811 Max. virtual memory (cumulated for all children) (Kb): 181340
ERROR: no interpretation found !