Name | mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb |
MD5SUM | 452acf9ed3adc2d2cfe293dad01c0934 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31244 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.08 |
Number of variables | 280 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 130 |
LAUNCH ON wulflinc17 THE 2005-09-23 17:21:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8918 boxname=wulflinc17 idbench=714 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 452acf9ed3adc2d2cfe293dad01c0934 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-markshare1_1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-markshare1_1.opb IDLAUNCH: 8918 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 930508 kB Buffers: 16224 kB Cached: 69728 kB SwapCached: 0 kB Active: 43868 kB Inactive: 45012 kB HighTotal: 131008 kB HighFree: 57008 kB LowTotal: 903652 kB LowFree: 873500 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9732 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:41:51 (client local time) WITH STATUS 10 IN 1211.18 SECONDS stats: 8918 0 1211.18 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 698720 c small objective detected c CONFLICT during preprocess c [startup+47.8046 s] setting bit 32 to 0 c CONFLICT during preprocess c [startup+51.3334 s] setting bit 31 to 0 c CONFLICT during preprocess c [startup+54.8593 s] setting bit 30 to 0 c CONFLICT during preprocess c [startup+58.3888 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+61.9177 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+65.4443 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+68.9735 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+72.5065 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+76.0344 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+79.5606 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+83.0911 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+86.6185 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+90.149 s] setting bit 20 to 0 c got solution with objective value: 167110 c [startup+216.569 s] setting bit 19 to 1 c CONFLICT during preprocess c [startup+220.094 s] setting bit 18 to 0 s SATISFIABLE v -s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 s01_bit_5 -s01_bit_6 s01_bit_7 s01_bit_8 s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 s11_bit3 -s11_bit4 s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 s11_bit_10 s11_bit_2 s11_bit_3 -s11_bit_4 s11_bit_5 -s11_bit_6 s11_bit_7 s11_bit_8 -s11_bit_9 -s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 s21_bit_1 -s21_bit_10 s21_bit_2 s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 s21_bit_7 s21_bit_8 -s21_bit_9 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 s31_bit_6 -s31_bit_7 s31_bit_8 -s31_bit_9 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 -s41_bit3 -s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 s41_bit_10 -s41_bit_2 s41_bit_3 s41_bit_4 s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 s41_bit_9 s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 s51_bit2 s51_bit3 s51_bit4 s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 s51_bit_10 -s51_bit_2 -s51_bit_3 s51_bit_4 s51_bit_5 -s51_bit_6 -s51_bit_7 s51_bit_8 s51_bit_9 -x0_bit0 -x0_bit_1 -x0_bit_10 -x0_bit_2 -x0_bit_3 x0_bit_4 x0_bit_5 x0_bit_6 x0_bit_7 x0_bit_8 x0_bit_9 -x10_bit0 x11_bit0 -x12_bit0 -x13_bit0 x14_bit0 x15_bit0 -x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 x20_bit0 x21_bit0 x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x2_bit0 -x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 x34_bit0 x35_bit0 x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 x3_bit0 x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x45_bit_1 -x45_bit_10 -x45_bit_2 -x45_bit_3 x45_bit_4 -x45_bit_5 -x45_bit_6 -x45_bit_7 -x45_bit_8 -x45_bit_9 -x46_bit0 x46_bit_1 x46_bit_10 -x46_bit_2 -x46_bit_3 x46_bit_4 x46_bit_5 x46_bit_6 x46_bit_7 x46_bit_8 x46_bit_9 -x47_bit0 x47_bit_1 -x47_bit_10 -x47_bit_2 -x47_bit_3 -x47_bit_4 -x47_bit_5 -x47_bit_6 x47_bit_7 -x47_bit_8 -x47_bit_9 x48_bit0 -x49_bit0 x49_bit_1 -x49_bit_10 -x49_bit_2 -x49_bit_3 -x49_bit_4 -x49_bit_5 -x49_bit_6 -x49_bit_7 -x49_bit_8 -x49_bit_9 -x4_bit0 x5_bit0 x6_bit0 x7_bit0 -x8_bit0 -x9_bit0
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/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21950045 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 373 2 364 364 0 9 0 [pid=9479] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-markshare1_1.opb [startup+10.0018 s] Raw data (loadavg): 0.93 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 28876 0 0 0 933 64 0 0 25 0 1 0 21950045 86200320 17730 4294967295 134512640 135987407 3221224560 3221201632 134855001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 21045 17730 364 364 0 20681 0 [pid=9479] vsize: 84180 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 84180 [startup+20.0024 s] Raw data (loadavg): 0.94 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 55782 0 0 0 1872 124 0 0 25 0 1 0 21950045 163913728 33413 4294967295 134512640 135987407 3221224560 3221186352 135293382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 40018 33413 364 364 0 39654 0 [pid=9479] vsize: 160072 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 160072 [startup+30.003 s] Raw data (loadavg): 0.95 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 94796 0 0 0 2787 207 0 0 25 0 1 0 21950045 313393152 50224 4294967295 134512640 135987407 3221224560 3221201648 134877730 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 76512 50224 364 364 0 76148 0 [pid=9479] vsize: 306048 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 306048 [startup+40.0036 s] Raw data (loadavg): 0.96 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 110725 0 0 0 3750 244 0 0 25 0 1 0 21950045 330805248 65943 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 80763 65943 364 364 0 80399 0 [pid=9479] vsize: 323052 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 323052 [startup+50.0042 s] Raw data (loadavg): 0.96 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 118445 0 0 0 4731 262 0 0 25 0 1 0 21950045 342523904 66712 4294967295 134512640 135987407 3221224560 3221223232 134789622 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 83624 66712 364 364 0 83260 0 [pid=9479] vsize: 334496 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 334496 [startup+60.0048 s] Raw data (loadavg): 0.97 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 123392 0 0 0 5719 274 0 0 25 0 1 0 21950045 349278208 68361 4294967295 134512640 135987407 3221224560 3221222952 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 85273 68361 364 364 0 84909 0 [pid=9479] vsize: 341092 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 341092 [startup+70.0054 s] Raw data (loadavg): 0.97 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 128340 0 0 0 6707 286 0 0 25 0 1 0 21950045 349278208 68362 4294967295 134512640 135987407 3221224560 3221222956 134827484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 85273 68362 364 364 0 84909 0 [pid=9479] vsize: 341092 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 341092 [startup+80.006 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 133287 0 0 0 7696 297 0 0 25 0 1 0 21950045 349278208 68362 4294967295 134512640 135987407 3221224560 3221222996 134827627 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 85273 68362 364 364 0 84909 0 [pid=9479] vsize: 341092 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 341092 [startup+90.0066 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 136586 0 0 0 8687 307 0 0 25 0 1 0 21950045 342523904 66714 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 83624 66714 364 364 0 83260 0 [pid=9479] vsize: 334496 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 334496 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 139187 0 0 0 9680 313 0 0 25 0 1 0 21950045 345178112 67178 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 84272 67178 364 364 0 83908 0 [pid=9479] vsize: 337088 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 337088 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 140439 0 0 0 10678 315 0 0 25 0 1 0 21950045 348528640 67721 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 85090 67721 364 364 0 84726 0 [pid=9479] vsize: 340360 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 340360 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 141491 0 0 0 11676 317 0 0 25 0 1 0 21950045 351059968 68193 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 85708 68193 364 364 0 85344 0 [pid=9479] vsize: 342832 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 342832 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 142629 0 0 0 12673 319 0 0 25 0 1 0 21950045 354967552 68907 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 86662 68907 364 364 0 86298 0 [pid=9479] vsize: 346648 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 346648 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 144964 0 0 0 13669 323 0 0 25 0 1 0 21950045 362446848 70249 4294967295 134512640 135987407 3221224560 3221223200 134812287 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 88488 70249 364 364 0 88124 0 [pid=9479] vsize: 353952 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 353952 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 145709 0 0 0 14667 325 0 0 25 0 1 0 21950045 364822528 70670 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 89068 70670 364 364 0 88704 0 [pid=9479] vsize: 356272 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 356272 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 146466 0 0 0 15664 327 0 0 25 0 1 0 21950045 366870528 71088 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 89568 71088 364 364 0 89204 0 [pid=9479] vsize: 358272 Current children cumulated CPU time (s) 159.91 Current children cumulated vsize (Kb) 358272 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 146784 0 0 0 16662 328 0 0 25 0 1 0 21950045 367796224 71308 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 89794 71308 364 364 0 89430 0 [pid=9479] vsize: 359176 Current children cumulated CPU time (s) 169.9 Current children cumulated vsize (Kb) 359176 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 148431 0 0 0 17657 332 0 0 25 0 1 0 21950045 373080064 72271 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 91084 72271 364 364 0 90720 0 [pid=9479] vsize: 364336 Current children cumulated CPU time (s) 179.89 Current children cumulated vsize (Kb) 364336 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 148833 0 0 0 18654 333 0 0 25 0 1 0 21950045 374525952 72446 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 91437 72446 364 364 0 91073 0 [pid=9479] vsize: 365748 Current children cumulated CPU time (s) 189.87 Current children cumulated vsize (Kb) 365748 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 150136 0 0 0 19649 337 0 0 25 0 1 0 21950045 379289600 73260 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 92600 73260 364 364 0 92236 0 [pid=9479] vsize: 370400 Current children cumulated CPU time (s) 199.86 Current children cumulated vsize (Kb) 370400 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 151621 0 0 0 20645 341 0 0 25 0 1 0 21950045 383692800 73905 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 93675 73905 364 364 0 93311 0 [pid=9479] vsize: 374700 Current children cumulated CPU time (s) 209.86 Current children cumulated vsize (Kb) 374700 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 153394 0 0 0 21640 346 0 0 25 0 1 0 21950045 383954944 73964 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 93739 73964 364 364 0 93375 0 [pid=9479] vsize: 374956 Current children cumulated CPU time (s) 219.86 Current children cumulated vsize (Kb) 374956 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 156338 0 0 0 22633 352 0 0 25 0 1 0 21950045 387764224 74704 4294967295 134512640 135987407 3221224560 3221223232 134812261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 94669 74704 364 364 0 94305 0 [pid=9479] vsize: 378676 Current children cumulated CPU time (s) 229.85 Current children cumulated vsize (Kb) 378676 [startup+240.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 156617 0 0 0 23632 353 0 0 25 0 1 0 21950045 388423680 74885 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 94830 74885 364 364 0 94466 0 [pid=9479] vsize: 379320 Current children cumulated CPU time (s) 239.85 Current children cumulated vsize (Kb) 379320 [startup+250.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 156921 0 0 0 24631 354 0 0 25 0 1 0 21950045 389210112 74995 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 95022 74995 364 364 0 94658 0 [pid=9479] vsize: 380088 Current children cumulated CPU time (s) 249.85 Current children cumulated vsize (Kb) 380088 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 157266 0 0 0 25630 354 0 0 25 0 1 0 21950045 390262784 75146 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 95279 75146 364 364 0 94915 0 [pid=9479] vsize: 381116 Current children cumulated CPU time (s) 259.84 Current children cumulated vsize (Kb) 381116 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 157372 0 0 0 26629 355 0 0 25 0 1 0 21950045 390660096 75219 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 95376 75219 364 364 0 95012 0 [pid=9479] vsize: 381504 Current children cumulated CPU time (s) 269.84 Current children cumulated vsize (Kb) 381504 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 157526 0 0 0 27628 356 0 0 25 0 1 0 21950045 391188480 75308 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 95505 75308 364 364 0 95141 0 [pid=9479] vsize: 382020 Current children cumulated CPU time (s) 279.84 Current children cumulated vsize (Kb) 382020 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 157708 0 0 0 28627 356 0 0 25 0 1 0 21950045 391979008 75361 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 95698 75361 364 364 0 95334 0 [pid=9479] vsize: 382792 Current children cumulated CPU time (s) 289.83 Current children cumulated vsize (Kb) 382792 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158016 0 0 0 29626 357 0 0 25 0 1 0 21950045 392765440 75475 4294967295 134512640 135987407 3221224560 3221223200 134812377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 95890 75475 364 364 0 95526 0 [pid=9479] vsize: 383560 Current children cumulated CPU time (s) 299.83 Current children cumulated vsize (Kb) 383560 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158019 0 0 0 30625 357 0 0 25 0 1 0 21950045 392765440 75478 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 95890 75478 364 364 0 95526 0 [pid=9479] vsize: 383560 Current children cumulated CPU time (s) 309.82 Current children cumulated vsize (Kb) 383560 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158243 0 0 0 31625 358 0 0 25 0 1 0 21950045 393555968 75573 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96083 75573 364 364 0 95719 0 [pid=9479] vsize: 384332 Current children cumulated CPU time (s) 319.83 Current children cumulated vsize (Kb) 384332 [startup+330.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158440 0 0 0 32623 359 0 0 25 0 1 0 21950045 394084352 75705 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96212 75705 364 364 0 95848 0 [pid=9479] vsize: 384848 Current children cumulated CPU time (s) 329.82 Current children cumulated vsize (Kb) 384848 [startup+340.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158626 0 0 0 33622 359 0 0 25 0 1 0 21950045 394608640 75762 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96340 75762 364 364 0 95976 0 [pid=9479] vsize: 385360 Current children cumulated CPU time (s) 339.81 Current children cumulated vsize (Kb) 385360 [startup+350.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158696 0 0 0 34621 360 0 0 25 0 1 0 21950045 394608640 75832 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96340 75832 364 364 0 95976 0 [pid=9479] vsize: 385360 Current children cumulated CPU time (s) 349.81 Current children cumulated vsize (Kb) 385360 [startup+360.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 158865 0 0 0 35620 360 0 0 25 0 1 0 21950045 395132928 75871 4294967295 134512640 135987407 3221224560 3221223232 134824224 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96468 75871 364 364 0 96104 0 [pid=9479] vsize: 385872 Current children cumulated CPU time (s) 359.8 Current children cumulated vsize (Kb) 385872 [startup+370.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159003 0 0 0 36620 361 0 0 25 0 1 0 21950045 395395072 75944 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96532 75944 364 364 0 96168 0 [pid=9479] vsize: 386128 Current children cumulated CPU time (s) 369.81 Current children cumulated vsize (Kb) 386128 [startup+380.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159182 0 0 0 37619 361 0 0 25 0 1 0 21950045 395919360 75994 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96660 75994 364 364 0 96296 0 [pid=9479] vsize: 386640 Current children cumulated CPU time (s) 379.8 Current children cumulated vsize (Kb) 386640 [startup+390.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159371 0 0 0 38618 361 0 0 25 0 1 0 21950045 396447744 76118 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96789 76118 364 364 0 96425 0 [pid=9479] vsize: 387156 Current children cumulated CPU time (s) 389.79 Current children cumulated vsize (Kb) 387156 [startup+400.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159377 0 0 0 39618 362 0 0 25 0 1 0 21950045 396447744 76124 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96789 76124 364 364 0 96425 0 [pid=9479] vsize: 387156 Current children cumulated CPU time (s) 399.8 Current children cumulated vsize (Kb) 387156 [startup+410.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159539 0 0 0 40617 362 0 0 25 0 1 0 21950045 396972032 76157 4294967295 134512640 135987407 3221224560 3221222992 134788602 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76157 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 409.79 Current children cumulated vsize (Kb) 387668 [startup+420.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159561 0 0 0 41617 362 0 0 25 0 1 0 21950045 396972032 76179 4294967295 134512640 135987407 3221224560 3221223232 134824224 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76179 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 419.79 Current children cumulated vsize (Kb) 387668 [startup+430.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159586 0 0 0 42616 363 0 0 25 0 1 0 21950045 396972032 76204 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76204 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 429.79 Current children cumulated vsize (Kb) 387668 [startup+440.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159591 0 0 0 43616 363 0 0 25 0 1 0 21950045 396972032 76209 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76209 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 439.79 Current children cumulated vsize (Kb) 387668 [startup+450.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159594 0 0 0 44616 363 0 0 25 0 1 0 21950045 396972032 76212 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76212 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 449.79 Current children cumulated vsize (Kb) 387668 [startup+460.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159600 0 0 0 45615 364 0 0 25 0 1 0 21950045 396972032 76218 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76218 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 459.79 Current children cumulated vsize (Kb) 387668 [startup+470.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159614 0 0 0 46615 364 0 0 25 0 1 0 21950045 396972032 76232 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76232 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 469.79 Current children cumulated vsize (Kb) 387668 [startup+480.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159626 0 0 0 47614 364 0 0 25 0 1 0 21950045 396972032 76244 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 96917 76244 364 364 0 96553 0 [pid=9479] vsize: 387668 Current children cumulated CPU time (s) 479.78 Current children cumulated vsize (Kb) 387668 [startup+490.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159782 0 0 0 48613 365 0 0 25 0 1 0 21950045 397496320 76271 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 97045 76271 364 364 0 96681 0 [pid=9479] vsize: 388180 Current children cumulated CPU time (s) 489.78 Current children cumulated vsize (Kb) 388180 [startup+500.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159932 0 0 0 49612 365 0 0 25 0 1 0 21950045 397496320 76421 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 97045 76421 364 364 0 96681 0 [pid=9479] vsize: 388180 Current children cumulated CPU time (s) 499.77 Current children cumulated vsize (Kb) 388180 [startup+510.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 159935 0 0 0 50612 366 0 0 25 0 1 0 21950045 397496320 76424 4294967295 134512640 135987407 3221224560 3221222876 135480539 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9479/statm): 97045 76424 364 364 0 96681 0 [pid=9479] vsize: 388180 Current children cumulated CPU time (s) 509.78 Current children cumulated vsize (Kb) 388180 [startup+520.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160043 0 0 0 51612 366 0 0 25 0 1 0 21950045 397758464 76467 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76467 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 519.78 Current children cumulated vsize (Kb) 388436 [startup+530.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160062 0 0 0 52611 366 0 0 25 0 1 0 21950045 397758464 76486 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76486 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 529.77 Current children cumulated vsize (Kb) 388436 [startup+540.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160096 0 0 0 53611 366 0 0 25 0 1 0 21950045 397758464 76520 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76520 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 539.77 Current children cumulated vsize (Kb) 388436 [startup+550.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160099 0 0 0 54611 367 0 0 25 0 1 0 21950045 397758464 76523 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76523 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 549.78 Current children cumulated vsize (Kb) 388436 [startup+560.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160102 0 0 0 55610 367 0 0 25 0 1 0 21950045 397758464 76526 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76526 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 559.77 Current children cumulated vsize (Kb) 388436 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160116 0 0 0 56610 367 0 0 25 0 1 0 21950045 397758464 76540 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76540 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 569.77 Current children cumulated vsize (Kb) 388436 [startup+580.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160117 0 0 0 57610 367 0 0 25 0 1 0 21950045 397758464 76541 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76541 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 579.77 Current children cumulated vsize (Kb) 388436 [startup+590.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160121 0 0 0 58610 368 0 0 25 0 1 0 21950045 397758464 76545 4294967295 134512640 135987407 3221224560 3221223104 134811701 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76545 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 589.78 Current children cumulated vsize (Kb) 388436 [startup+600.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160123 0 0 0 59609 368 0 0 25 0 1 0 21950045 397758464 76547 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76547 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 599.77 Current children cumulated vsize (Kb) 388436 [startup+610.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160223 0 0 0 60609 368 0 0 25 0 1 0 21950045 397758464 76647 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76647 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 609.77 Current children cumulated vsize (Kb) 388436 [startup+620.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160226 0 0 0 61609 368 0 0 25 0 1 0 21950045 397758464 76650 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76650 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 619.77 Current children cumulated vsize (Kb) 388436 [startup+630.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160230 0 0 0 62609 368 0 0 25 0 1 0 21950045 397758464 76654 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76654 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 629.77 Current children cumulated vsize (Kb) 388436 [startup+640.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160233 0 0 0 63608 369 0 0 25 0 1 0 21950045 397758464 76657 4294967295 134512640 135987407 3221224560 3221223244 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76657 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 639.77 Current children cumulated vsize (Kb) 388436 [startup+650.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160258 0 0 0 64608 369 0 0 25 0 1 0 21950045 397758464 76682 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76682 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 649.77 Current children cumulated vsize (Kb) 388436 [startup+660.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160261 0 0 0 65608 369 0 0 25 0 1 0 21950045 397758464 76685 4294967295 134512640 135987407 3221224560 3221223104 134811715 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97109 76685 364 364 0 96745 0 [pid=9479] vsize: 388436 Current children cumulated CPU time (s) 659.77 Current children cumulated vsize (Kb) 388436 [startup+670.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160428 0 0 0 66607 370 0 0 25 0 1 0 21950045 398286848 76787 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97238 76787 364 364 0 96874 0 [pid=9479] vsize: 388952 Current children cumulated CPU time (s) 669.77 Current children cumulated vsize (Kb) 388952 [startup+680.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160430 0 0 0 67607 370 0 0 25 0 1 0 21950045 398286848 76789 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97238 76789 364 364 0 96874 0 [pid=9479] vsize: 388952 Current children cumulated CPU time (s) 679.77 Current children cumulated vsize (Kb) 388952 [startup+690.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160789 0 0 0 68606 371 0 0 25 0 1 0 21950045 399335424 76891 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97494 76891 364 364 0 97130 0 [pid=9479] vsize: 389976 Current children cumulated CPU time (s) 689.77 Current children cumulated vsize (Kb) 389976 [startup+700.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 160795 0 0 0 69605 371 0 0 25 0 1 0 21950045 399335424 76897 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97494 76897 364 364 0 97130 0 [pid=9479] vsize: 389976 Current children cumulated CPU time (s) 699.76 Current children cumulated vsize (Kb) 389976 [startup+710.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 161049 0 0 0 70603 372 0 0 25 0 1 0 21950045 400396288 77086 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 97753 77086 364 364 0 97389 0 [pid=9479] vsize: 391012 Current children cumulated CPU time (s) 709.75 Current children cumulated vsize (Kb) 391012 [startup+720.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 161633 0 0 0 71601 374 0 0 25 0 1 0 21950045 401977344 77410 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 98139 77410 364 364 0 97775 0 [pid=9479] vsize: 392556 Current children cumulated CPU time (s) 719.75 Current children cumulated vsize (Kb) 392556 [startup+730.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 161643 0 0 0 72601 375 0 0 25 0 1 0 21950045 401977344 77420 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 98139 77420 364 364 0 97775 0 [pid=9479] vsize: 392556 Current children cumulated CPU time (s) 729.76 Current children cumulated vsize (Kb) 392556 [startup+740.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 162165 0 0 0 73599 376 0 0 25 0 1 0 21950045 403550208 77554 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 98523 77554 364 364 0 98159 0 [pid=9479] vsize: 394092 Current children cumulated CPU time (s) 739.75 Current children cumulated vsize (Kb) 394092 [startup+750.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 162167 0 0 0 74598 377 0 0 25 0 1 0 21950045 403550208 77556 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 98523 77556 364 364 0 98159 0 [pid=9479] vsize: 394092 Current children cumulated CPU time (s) 749.75 Current children cumulated vsize (Kb) 394092 [startup+760.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 162169 0 0 0 75597 377 0 0 25 0 1 0 21950045 403550208 77558 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 98523 77558 364 364 0 98159 0 [pid=9479] vsize: 394092 Current children cumulated CPU time (s) 759.74 Current children cumulated vsize (Kb) 394092 [startup+770.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 162731 0 0 0 76595 378 0 0 25 0 1 0 21950045 405803008 77989 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99073 77989 364 364 0 98709 0 [pid=9479] vsize: 396292 Current children cumulated CPU time (s) 769.73 Current children cumulated vsize (Kb) 396292 [startup+780.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163150 0 0 0 77593 380 0 0 25 0 1 0 21950045 407117824 78149 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99394 78149 364 364 0 99030 0 [pid=9479] vsize: 397576 Current children cumulated CPU time (s) 779.73 Current children cumulated vsize (Kb) 397576 [startup+790.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163338 0 0 0 78593 380 0 0 25 0 1 0 21950045 407642112 78208 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99522 78208 364 364 0 99158 0 [pid=9479] vsize: 398088 Current children cumulated CPU time (s) 789.73 Current children cumulated vsize (Kb) 398088 [startup+800.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163377 0 0 0 79592 381 0 0 25 0 1 0 21950045 407642112 78247 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99522 78247 364 364 0 99158 0 [pid=9479] vsize: 398088 Current children cumulated CPU time (s) 799.73 Current children cumulated vsize (Kb) 398088 [startup+810.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163380 0 0 0 80592 381 0 0 25 0 1 0 21950045 407642112 78250 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99522 78250 364 364 0 99158 0 [pid=9479] vsize: 398088 Current children cumulated CPU time (s) 809.73 Current children cumulated vsize (Kb) 398088 [startup+820.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163383 0 0 0 81592 381 0 0 25 0 1 0 21950045 407642112 78253 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99522 78253 364 364 0 99158 0 [pid=9479] vsize: 398088 Current children cumulated CPU time (s) 819.73 Current children cumulated vsize (Kb) 398088 [startup+830.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163682 0 0 0 82591 382 0 0 25 0 1 0 21950045 408698880 78422 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99780 78422 364 364 0 99416 0 [pid=9479] vsize: 399120 Current children cumulated CPU time (s) 829.73 Current children cumulated vsize (Kb) 399120 [startup+840.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163697 0 0 0 83590 382 0 0 25 0 1 0 21950045 408698880 78437 4294967295 134512640 135987407 3221224560 3221223008 134775415 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99780 78437 364 364 0 99416 0 [pid=9479] vsize: 399120 Current children cumulated CPU time (s) 839.72 Current children cumulated vsize (Kb) 399120 [startup+850.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163725 0 0 0 84589 382 0 0 25 0 1 0 21950045 408698880 78465 4294967295 134512640 135987407 3221224560 3221223264 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99780 78465 364 364 0 99416 0 [pid=9479] vsize: 399120 Current children cumulated CPU time (s) 849.71 Current children cumulated vsize (Kb) 399120 [startup+860.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163765 0 0 0 85588 383 0 0 25 0 1 0 21950045 408698880 78505 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99780 78505 364 364 0 99416 0 [pid=9479] vsize: 399120 Current children cumulated CPU time (s) 859.71 Current children cumulated vsize (Kb) 399120 [startup+870.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 163937 0 0 0 86587 384 0 0 25 0 1 0 21950045 409227264 78612 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 99909 78612 364 364 0 99545 0 [pid=9479] vsize: 399636 Current children cumulated CPU time (s) 869.71 Current children cumulated vsize (Kb) 399636 [startup+880.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164239 0 0 0 87586 384 0 0 25 0 1 0 21950045 410148864 78751 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100134 78751 364 364 0 99770 0 [pid=9479] vsize: 400536 Current children cumulated CPU time (s) 879.7 Current children cumulated vsize (Kb) 400536 [startup+890.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164324 0 0 0 88585 385 0 0 25 0 1 0 21950045 410411008 78771 4294967295 134512640 135987407 3221224560 3221223280 134812653 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100198 78771 364 364 0 99834 0 [pid=9479] vsize: 400792 Current children cumulated CPU time (s) 889.7 Current children cumulated vsize (Kb) 400792 [startup+900.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164424 0 0 0 89585 385 0 0 25 0 1 0 21950045 410673152 78806 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78806 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 899.7 Current children cumulated vsize (Kb) 401048 [startup+910.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164427 0 0 0 90584 385 0 0 25 0 1 0 21950045 410673152 78809 4294967295 134512640 135987407 3221224560 3221223104 134812169 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78809 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 909.69 Current children cumulated vsize (Kb) 401048 [startup+920.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164430 0 0 0 91584 386 0 0 25 0 1 0 21950045 410673152 78812 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78812 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 919.7 Current children cumulated vsize (Kb) 401048 [startup+930.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164461 0 0 0 92583 386 0 0 25 0 1 0 21950045 410673152 78843 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78843 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 929.69 Current children cumulated vsize (Kb) 401048 [startup+940.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164472 0 0 0 93583 387 0 0 25 0 1 0 21950045 410673152 78854 4294967295 134512640 135987407 3221224560 3221223200 134812287 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78854 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 939.7 Current children cumulated vsize (Kb) 401048 [startup+950.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164476 0 0 0 94582 387 0 0 25 0 1 0 21950045 410673152 78858 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78858 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 949.69 Current children cumulated vsize (Kb) 401048 [startup+960.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164479 0 0 0 95582 387 0 0 25 0 1 0 21950045 410673152 78861 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78861 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 959.69 Current children cumulated vsize (Kb) 401048 [startup+970.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164503 0 0 0 96581 387 0 0 25 0 1 0 21950045 410673152 78885 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78885 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 969.68 Current children cumulated vsize (Kb) 401048 [startup+980.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164506 0 0 0 97581 387 0 0 25 0 1 0 21950045 410673152 78888 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78888 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 979.68 Current children cumulated vsize (Kb) 401048 [startup+990.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164509 0 0 0 98580 388 0 0 25 0 1 0 21950045 410673152 78891 4294967295 134512640 135987407 3221224560 3221223200 134812301 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78891 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 989.68 Current children cumulated vsize (Kb) 401048 [startup+1000.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164513 0 0 0 99579 388 0 0 25 0 1 0 21950045 410673152 78895 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78895 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 999.67 Current children cumulated vsize (Kb) 401048 [startup+1010.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164521 0 0 0 100579 388 0 0 25 0 1 0 21950045 410673152 78903 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78903 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1009.67 Current children cumulated vsize (Kb) 401048 [startup+1020.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164559 0 0 0 101579 388 0 0 25 0 1 0 21950045 410673152 78941 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78941 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1019.67 Current children cumulated vsize (Kb) 401048 [startup+1030.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164562 0 0 0 102579 388 0 0 25 0 1 0 21950045 410673152 78944 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78944 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1029.67 Current children cumulated vsize (Kb) 401048 [startup+1040.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164565 0 0 0 103579 388 0 0 25 0 1 0 21950045 410673152 78947 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78947 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1039.67 Current children cumulated vsize (Kb) 401048 [startup+1050.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164589 0 0 0 104578 389 0 0 25 0 1 0 21950045 410673152 78971 4294967295 134512640 135987407 3221224560 3221223240 134812453 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78971 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1049.67 Current children cumulated vsize (Kb) 401048 [startup+1060.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164593 0 0 0 105578 389 0 0 25 0 1 0 21950045 410673152 78975 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78975 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1059.67 Current children cumulated vsize (Kb) 401048 [startup+1070.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164597 0 0 0 106577 389 0 0 25 0 1 0 21950045 410673152 78979 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78979 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1069.66 Current children cumulated vsize (Kb) 401048 [startup+1080.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164600 0 0 0 107577 390 0 0 25 0 1 0 21950045 410673152 78982 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 78982 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1079.67 Current children cumulated vsize (Kb) 401048 [startup+1090.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164649 0 0 0 108576 390 0 0 25 0 1 0 21950045 410673152 79031 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79031 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1089.66 Current children cumulated vsize (Kb) 401048 [startup+1100.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164652 0 0 0 109576 390 0 0 25 0 1 0 21950045 410673152 79034 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79034 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1099.66 Current children cumulated vsize (Kb) 401048 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164655 0 0 0 110575 390 0 0 25 0 1 0 21950045 410673152 79037 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79037 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1109.65 Current children cumulated vsize (Kb) 401048 [startup+1120.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164658 0 0 0 111575 391 0 0 25 0 1 0 21950045 410673152 79040 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79040 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1119.66 Current children cumulated vsize (Kb) 401048 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164692 0 0 0 112575 391 0 0 25 0 1 0 21950045 410673152 79074 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79074 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1129.66 Current children cumulated vsize (Kb) 401048 [startup+1140.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164695 0 0 0 113574 391 0 0 25 0 1 0 21950045 410673152 79077 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79077 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1139.65 Current children cumulated vsize (Kb) 401048 [startup+1150.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164699 0 0 0 114574 391 0 0 25 0 1 0 21950045 410673152 79081 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79081 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1149.65 Current children cumulated vsize (Kb) 401048 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164704 0 0 0 115574 391 0 0 25 0 1 0 21950045 410673152 79086 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79086 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1159.65 Current children cumulated vsize (Kb) 401048 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164708 0 0 0 116573 391 0 0 25 0 1 0 21950045 410673152 79090 4294967295 134512640 135987407 3221224560 3221223104 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79090 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1169.64 Current children cumulated vsize (Kb) 401048 [startup+1180.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164712 0 0 0 117573 392 0 0 25 0 1 0 21950045 410673152 79094 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79094 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1179.65 Current children cumulated vsize (Kb) 401048 [startup+1190.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164716 0 0 0 118573 392 0 0 25 0 1 0 21950045 410673152 79098 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79098 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1189.65 Current children cumulated vsize (Kb) 401048 [startup+1200.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164719 0 0 0 119572 392 0 0 25 0 1 0 21950045 410673152 79101 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79101 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1199.64 Current children cumulated vsize (Kb) 401048 [startup+1210.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164723 0 0 0 120572 392 0 0 25 0 1 0 21950045 410673152 79105 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79105 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1209.64 Current children cumulated vsize (Kb) 401048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 9479 Raw data (/proc/9479/stat): 9479 (pb2sat) R 9478 9479 4060 0 -1 0 164723 0 0 0 120572 392 0 0 25 0 1 0 21950045 410673152 79105 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9479/statm): 100262 79105 364 364 0 99898 0 [pid=9479] vsize: 401048 Current children cumulated CPU time (s) 1209.64 Current children cumulated vsize (Kb) 401048 Sending SIGTERM to -9479 Sleeping 2 seconds One traced child (pid=9479) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.55 CPU time (s): 1211.18 CPU user time (s): 1207.09 CPU system time (s): 4.08938 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (Kb): 401048
Verifier: OK 167110