Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb |
MD5SUM | 1b379137169731592d0d61cac8bf57af |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5123480 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8282 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 524133752 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 524133752 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1228.32 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
LAUNCH ON wulflinc18 THE 2005-09-23 17:53:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9099 boxname=wulflinc18 idbench=895 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1b379137169731592d0d61cac8bf57af /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb IDLAUNCH: 9099 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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: 922892 kB Buffers: 15464 kB Cached: 76404 kB SwapCached: 0 kB Active: 46216 kB Inactive: 48544 kB HighTotal: 131008 kB HighFree: 50232 kB LowTotal: 903652 kB LowFree: 872660 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11364 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:05 (client local time) WITH STATUS 0 IN 1209.24 SECONDS stats: 9099 7 1209.24 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 321681/1103678 Time: 218.569/86400 c Decision: 321681/1103678 Time: 247.926/86400 c Decision: 321681/1103678 Time: 274.29/86400 c Decision: 321681/1103678 Time: 301.751/86400 c Decision: 321681/1103678 Time: 327.818/86400 c Decision: 321681/1103678 Time: 352.172/86400 c Decision: 321681/1103678 Time: 373.389/86400 c Decision: 321681/1103678 Time: 401.802/86400 c Decision: 321681/1103678 Time: 429.637/86400 c Decision: 321681/1103678 Time: 458.067/86400 c Decision: 321681/1103678 Time: 491.087/86400 c Decision: 321681/1103678 Time: 515.568/86400 c Decision: 321681/1103678 Time: 546.116/86400 c Decision: 321681/1103678 Time: 574.84/86400 c Decision: 321681/1103678 Time: 600.219/86400 c Decision: 321681/1103678 Time: 629.365/86400 c Decision: 321681/1103678 Time: 653.552/86400 c Decision: 321681/1103678 Time: 678.16/86400 c Decision: 321681/1103678 Time: 701.823/86400 c Decision: 321681/1103678 Time: 725.699/86400 c Decision: 321681/1103678 Time: 753.539/86400 c Decision: 321681/1103678 Time: 776.75/86400 c Decision: 321681/1103678 Time: 799.633/86400 c Decision: 321681/1103678 Time: 819.822/86400 c Decision: 321681/1103678 Time: 839.829/86400 c Decision: 321681/1103678 Time: 861.182/86400 c Decision: 321681/1103678 Time: 879.251/86400 c Decision: 321681/1103678 Time: 903.332/86400 c Decision: 321681/1103678 Time: 922.623/86400 c Decision: 321681/1103678 Time: 951.005/86400 c Decision: 321681/1103678 Time: 979.286/86400 c Decision: 321681/1103678 Time: 998.899/86400 c Decision: 321681/1103678 Time: 1016.39/86400 c Decision: 321681/1103678 Time: 1032.94/86400 c Decision: 321681/1103678 Time: 1050.23/86400 c Decision: 321681/1103678 Time: 1072.75/86400 c Decision: 321681/1103678 Time: 1091.26/86400 c Decision: 321681/1103678 Time: 1115.73/86400 c Decision: 321681/1103678 Time: 1132.74/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/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22141640 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 373 2 364 364 0 9 0 [pid=9078] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb [startup+10.0021 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 27391 0 0 0 932 63 0 0 25 0 1 0 22141640 85196800 16228 4294967295 134512640 135987407 3221224560 3221166940 134636994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 20800 16228 364 364 0 20436 0 [pid=9078] vsize: 83200 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 83200 [startup+20.004 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 55242 0 0 0 1873 121 0 0 25 0 1 0 22141640 161964032 32838 4294967295 134512640 135987407 3221224560 3221008160 134856581 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 39542 32838 364 364 0 39178 0 [pid=9078] vsize: 158168 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 158168 [startup+30.0049 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 95401 0 0 0 2786 205 0 0 25 0 1 0 22141640 314335232 50791 4294967295 134512640 135987407 3221224560 3221221312 134892758 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 76742 50791 364 364 0 76378 0 [pid=9078] vsize: 306968 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 306968 [startup+40.0048 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 111751 0 0 0 3746 244 0 0 25 0 1 0 22141640 318660608 66870 4294967295 134512640 135987407 3221224560 3221221776 134975580 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 77798 66870 364 364 0 77434 0 [pid=9078] vsize: 311192 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 311192 [startup+50.0058 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 161031 0 0 0 4640 345 0 0 25 0 1 0 22141640 648204288 96529 4294967295 134512640 135987407 3221224560 3221191168 134887487 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 158253 96529 364 364 0 157889 0 [pid=9078] vsize: 633012 Current children cumulated CPU time (s) 49.85 Current children cumulated vsize (Kb) 633012 [startup+60.0067 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 186707 0 0 0 5578 403 0 0 25 0 1 0 22141640 567873536 94892 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 138641 94892 364 364 0 138277 0 [pid=9078] vsize: 554564 Current children cumulated CPU time (s) 59.81 Current children cumulated vsize (Kb) 554564 [startup+70.0086 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 189222 0 0 0 6556 414 0 0 25 0 1 0 22141640 579534848 97268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 141488 97268 364 364 0 141124 0 [pid=9078] vsize: 565952 Current children cumulated CPU time (s) 69.7 Current children cumulated vsize (Kb) 565952 [startup+80.0096 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 190884 0 0 0 7532 424 0 0 25 0 1 0 22141640 587603968 98930 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 143458 98930 364 364 0 143094 0 [pid=9078] vsize: 573832 Current children cumulated CPU time (s) 79.56 Current children cumulated vsize (Kb) 573832 [startup+90.0095 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 191920 0 0 0 8522 429 0 0 25 0 1 0 22141640 592617472 99966 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 144682 99966 364 364 0 144318 0 [pid=9078] vsize: 578728 Current children cumulated CPU time (s) 89.51 Current children cumulated vsize (Kb) 578728 [startup+100.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 192696 0 0 0 9514 433 0 0 25 0 1 0 22141640 595750912 100577 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 145447 100577 364 364 0 145083 0 [pid=9078] vsize: 581788 Current children cumulated CPU time (s) 99.47 Current children cumulated vsize (Kb) 581788 [startup+110.011 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 193177 0 0 0 10506 436 0 0 25 0 1 0 22141640 597950464 100992 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 145984 100992 364 364 0 145620 0 [pid=9078] vsize: 583936 Current children cumulated CPU time (s) 109.42 Current children cumulated vsize (Kb) 583936 [startup+120.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 193807 0 0 0 11497 440 0 0 25 0 1 0 22141640 600948736 101524 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 146716 101524 364 364 0 146352 0 [pid=9078] vsize: 586864 Current children cumulated CPU time (s) 119.37 Current children cumulated vsize (Kb) 586864 [startup+130.013 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 194277 0 0 0 12483 445 0 0 25 0 1 0 22141640 603684864 101961 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147384 101961 364 364 0 147020 0 [pid=9078] vsize: 589536 Current children cumulated CPU time (s) 129.28 Current children cumulated vsize (Kb) 589536 [startup+140.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194369 0 0 0 13471 448 0 0 25 0 1 0 22141640 603815936 102020 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147416 102020 364 364 0 147052 0 [pid=9078] vsize: 589664 Current children cumulated CPU time (s) 139.19 Current children cumulated vsize (Kb) 589664 [startup+150.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194450 0 0 0 14460 452 0 0 25 0 1 0 22141640 604209152 102101 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147512 102101 364 364 0 147148 0 [pid=9078] vsize: 590048 Current children cumulated CPU time (s) 149.12 Current children cumulated vsize (Kb) 590048 [startup+160.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194613 0 0 0 15448 456 0 0 25 0 1 0 22141640 605081600 102264 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147725 102264 364 364 0 147361 0 [pid=9078] vsize: 590900 Current children cumulated CPU time (s) 159.04 Current children cumulated vsize (Kb) 590900 [startup+170.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194667 0 0 0 16438 461 0 0 25 0 1 0 22141640 605351936 102318 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147791 102318 364 364 0 147427 0 [pid=9078] vsize: 591164 Current children cumulated CPU time (s) 168.99 Current children cumulated vsize (Kb) 591164 [startup+180.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194736 0 0 0 17427 464 0 0 25 0 1 0 22141640 605622272 102387 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147857 102387 364 364 0 147493 0 [pid=9078] vsize: 591428 Current children cumulated CPU time (s) 178.91 Current children cumulated vsize (Kb) 591428 [startup+190.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194760 0 0 0 18421 467 0 0 25 0 1 0 22141640 605622272 102411 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 147857 102411 364 364 0 147493 0 [pid=9078] vsize: 591428 Current children cumulated CPU time (s) 188.88 Current children cumulated vsize (Kb) 591428 [startup+200.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194846 0 0 0 19414 469 0 0 25 0 1 0 22141640 606027776 102497 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 147956 102497 364 364 0 147592 0 [pid=9078] vsize: 591824 Current children cumulated CPU time (s) 198.83 Current children cumulated vsize (Kb) 591824 [startup+210.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194858 0 0 0 20404 472 0 0 25 0 1 0 22141640 606027776 102509 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 147956 102509 364 364 0 147592 0 [pid=9078] vsize: 591824 Current children cumulated CPU time (s) 208.76 Current children cumulated vsize (Kb) 591824 [startup+220.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194874 0 0 0 21396 475 0 0 25 0 1 0 22141640 606027776 102525 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 147956 102525 364 364 0 147592 0 [pid=9078] vsize: 591824 Current children cumulated CPU time (s) 218.71 Current children cumulated vsize (Kb) 591824 [startup+230.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194976 0 0 0 22385 479 0 0 25 0 1 0 22141640 606433280 102627 4294967295 134512640 135987407 3221224560 3221223136 134788831 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148055 102627 364 364 0 147691 0 [pid=9078] vsize: 592220 Current children cumulated CPU time (s) 228.64 Current children cumulated vsize (Kb) 592220 [startup+240.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195158 0 0 0 23373 483 0 0 25 0 1 0 22141640 607379456 102809 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148286 102809 364 364 0 147922 0 [pid=9078] vsize: 593144 Current children cumulated CPU time (s) 238.56 Current children cumulated vsize (Kb) 593144 [startup+250.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195192 0 0 0 24359 487 0 0 25 0 1 0 22141640 607514624 102843 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148319 102843 364 364 0 147955 0 [pid=9078] vsize: 593276 Current children cumulated CPU time (s) 248.46 Current children cumulated vsize (Kb) 593276 [startup+260.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195209 0 0 0 25349 490 0 0 25 0 1 0 22141640 607514624 102860 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148319 102860 364 364 0 147955 0 [pid=9078] vsize: 593276 Current children cumulated CPU time (s) 258.39 Current children cumulated vsize (Kb) 593276 [startup+270.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197376 0 0 0 26340 497 0 0 25 0 1 0 22141640 607514624 102871 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148319 102871 364 364 0 147955 0 [pid=9078] vsize: 593276 Current children cumulated CPU time (s) 268.37 Current children cumulated vsize (Kb) 593276 [startup+280.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197414 0 0 0 27327 503 0 0 25 0 1 0 22141640 607649792 102909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148352 102909 364 364 0 147988 0 [pid=9078] vsize: 593408 Current children cumulated CPU time (s) 278.3 Current children cumulated vsize (Kb) 593408 [startup+290.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197459 0 0 0 28311 509 0 0 25 0 1 0 22141640 607920128 102954 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148418 102954 364 364 0 148054 0 [pid=9078] vsize: 593672 Current children cumulated CPU time (s) 288.2 Current children cumulated vsize (Kb) 593672 [startup+300.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199653 0 0 0 29297 518 0 0 25 0 1 0 22141640 616886272 105148 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150607 105148 364 364 0 150243 0 [pid=9078] vsize: 602428 Current children cumulated CPU time (s) 298.15 Current children cumulated vsize (Kb) 602428 [startup+310.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199717 0 0 0 30284 523 0 0 25 0 1 0 22141640 608460800 103056 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148550 103056 364 364 0 148186 0 [pid=9078] vsize: 594200 Current children cumulated CPU time (s) 308.07 Current children cumulated vsize (Kb) 594200 [startup+320.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199784 0 0 0 31270 527 0 0 25 0 1 0 22141640 608866304 103123 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148649 103123 364 364 0 148285 0 [pid=9078] vsize: 594596 Current children cumulated CPU time (s) 317.97 Current children cumulated vsize (Kb) 594596 [startup+330.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 201958 0 0 0 32255 536 0 0 25 0 1 0 22141640 609001472 103141 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148682 103141 364 364 0 148318 0 [pid=9078] vsize: 594728 Current children cumulated CPU time (s) 327.91 Current children cumulated vsize (Kb) 594728 [startup+340.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 202049 0 0 0 33240 540 0 0 25 0 1 0 22141640 609542144 103232 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148814 103232 364 364 0 148450 0 [pid=9078] vsize: 595256 Current children cumulated CPU time (s) 337.8 Current children cumulated vsize (Kb) 595256 [startup+350.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 202099 0 0 0 34229 545 0 0 25 0 1 0 22141640 609812480 103282 4294967295 134512640 135987407 3221224560 3221223408 134790088 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148880 103282 364 364 0 148516 0 [pid=9078] vsize: 595520 Current children cumulated CPU time (s) 347.74 Current children cumulated vsize (Kb) 595520 [startup+360.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 204256 0 0 0 35216 554 0 0 25 0 1 0 22141640 609812480 103283 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148880 103283 364 364 0 148516 0 [pid=9078] vsize: 595520 Current children cumulated CPU time (s) 357.7 Current children cumulated vsize (Kb) 595520 [startup+370.029 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 204260 0 0 0 36203 558 0 0 25 0 1 0 22141640 609812480 103287 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148880 103287 364 364 0 148516 0 [pid=9078] vsize: 595520 Current children cumulated CPU time (s) 367.61 Current children cumulated vsize (Kb) 595520 [startup+380.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9078 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 204262 0 0 0 37190 563 0 0 25 0 1 0 22141640 609812480 103289 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 148880 103289 364 364 0 148516 0 [pid=9078] vsize: 595520 Current children cumulated CPU time (s) 377.53 Current children cumulated vsize (Kb) 595520 [startup+390.03 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 9133 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 206443 0 0 0 38172 573 0 0 25 0 1 0 22141640 609947648 103314 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 148913 103314 364 364 0 148549 0 [pid=9078] vsize: 595652 Current children cumulated CPU time (s) 387.45 Current children cumulated vsize (Kb) 595652 [startup+400.031 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 9133 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 206612 0 0 0 39160 577 0 0 25 0 1 0 22141640 610750464 103417 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149109 103417 364 364 0 148745 0 [pid=9078] vsize: 596436 Current children cumulated CPU time (s) 397.37 Current children cumulated vsize (Kb) 596436 [startup+410.031 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 9133 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 208769 0 0 0 40149 585 0 0 25 0 1 0 22141640 610750464 103418 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149109 103418 364 364 0 148745 0 [pid=9078] vsize: 596436 Current children cumulated CPU time (s) 407.34 Current children cumulated vsize (Kb) 596436 [startup+420.031 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 9133 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 208772 0 0 0 41137 588 0 0 25 0 1 0 22141640 610750464 103421 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149109 103421 364 364 0 148745 0 [pid=9078] vsize: 596436 Current children cumulated CPU time (s) 417.25 Current children cumulated vsize (Kb) 596436 [startup+430.032 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 9133 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 210936 0 0 0 42122 597 0 0 25 0 1 0 22141640 610750464 103429 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149109 103429 364 364 0 148745 0 [pid=9078] vsize: 596436 Current children cumulated CPU time (s) 427.19 Current children cumulated vsize (Kb) 596436 [startup+440.032 s] Raw data (loadavg): 1.11 1.00 0.93 3/57 9135 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 210968 0 0 0 43103 604 0 0 25 0 1 0 22141640 610885632 103461 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149142 103461 364 364 0 148778 0 [pid=9078] vsize: 596568 Current children cumulated CPU time (s) 437.07 Current children cumulated vsize (Kb) 596568 [startup+450.033 s] Raw data (loadavg): 1.09 1.00 0.93 2/55 9137 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 211103 0 0 0 44089 610 0 0 25 0 1 0 22141640 611422208 103563 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149273 103563 364 364 0 148909 0 [pid=9078] vsize: 597092 Current children cumulated CPU time (s) 446.99 Current children cumulated vsize (Kb) 597092 [startup+460.033 s] Raw data (loadavg): 1.08 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213278 0 0 0 45073 618 0 0 25 0 1 0 22141640 611557376 103582 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149306 103582 364 364 0 148942 0 [pid=9078] vsize: 597224 Current children cumulated CPU time (s) 456.91 Current children cumulated vsize (Kb) 597224 [startup+470.033 s] Raw data (loadavg): 1.06 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213290 0 0 0 46057 624 0 0 25 0 1 0 22141640 611557376 103594 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149306 103594 364 364 0 148942 0 [pid=9078] vsize: 597224 Current children cumulated CPU time (s) 466.81 Current children cumulated vsize (Kb) 597224 [startup+480.033 s] Raw data (loadavg): 1.05 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213312 0 0 0 47041 630 0 0 25 0 1 0 22141640 611692544 103616 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149339 103616 364 364 0 148975 0 [pid=9078] vsize: 597356 Current children cumulated CPU time (s) 476.71 Current children cumulated vsize (Kb) 597356 [startup+490.034 s] Raw data (loadavg): 1.05 1.00 0.93 1/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 215495 0 0 0 48028 637 0 0 25 0 1 0 22141640 611827712 103643 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149372 103643 364 364 0 149008 0 [pid=9078] vsize: 597488 Current children cumulated CPU time (s) 486.65 Current children cumulated vsize (Kb) 597488 [startup+500.035 s] Raw data (loadavg): 1.04 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 215511 0 0 0 49009 644 0 0 25 0 1 0 22141640 611827712 103659 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149372 103659 364 364 0 149008 0 [pid=9078] vsize: 597488 Current children cumulated CPU time (s) 496.53 Current children cumulated vsize (Kb) 597488 [startup+510.036 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 215517 0 0 0 49984 652 0 0 25 0 1 0 22141640 611827712 103665 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149372 103665 364 364 0 149008 0 [pid=9078] vsize: 597488 Current children cumulated CPU time (s) 506.36 Current children cumulated vsize (Kb) 597488 [startup+520.035 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217729 0 0 0 50966 662 0 0 25 0 1 0 22141640 612098048 103721 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149438 103721 364 364 0 149074 0 [pid=9078] vsize: 597752 Current children cumulated CPU time (s) 516.28 Current children cumulated vsize (Kb) 597752 [startup+530.036 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217764 0 0 0 51947 669 0 0 25 0 1 0 22141640 612233216 103756 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149471 103756 364 364 0 149107 0 [pid=9078] vsize: 597884 Current children cumulated CPU time (s) 526.16 Current children cumulated vsize (Kb) 597884 [startup+540.036 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217769 0 0 0 52924 676 0 0 25 0 1 0 22141640 612233216 103761 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149471 103761 364 364 0 149107 0 [pid=9078] vsize: 597884 Current children cumulated CPU time (s) 536 Current children cumulated vsize (Kb) 597884 [startup+550.037 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 219926 0 0 0 53912 683 0 0 25 0 1 0 22141640 612233216 103762 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149471 103762 364 364 0 149107 0 [pid=9078] vsize: 597884 Current children cumulated CPU time (s) 545.95 Current children cumulated vsize (Kb) 597884 [startup+560.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 219953 0 0 0 54889 690 0 0 25 0 1 0 22141640 612368384 103789 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149504 103789 364 364 0 149140 0 [pid=9078] vsize: 598016 Current children cumulated CPU time (s) 555.79 Current children cumulated vsize (Kb) 598016 [startup+570.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222113 0 0 0 55865 701 0 0 25 0 1 0 22141640 621199360 105949 4294967295 134512640 135987407 3221224560 3221222944 134829253 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 151660 105949 364 364 0 151296 0 [pid=9078] vsize: 606640 Current children cumulated CPU time (s) 565.66 Current children cumulated vsize (Kb) 606640 [startup+580.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222160 0 0 0 56843 709 0 0 25 0 1 0 22141640 612499456 103807 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149536 103807 364 364 0 149172 0 [pid=9078] vsize: 598144 Current children cumulated CPU time (s) 575.52 Current children cumulated vsize (Kb) 598144 [startup+590.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222182 0 0 0 57822 717 0 0 25 0 1 0 22141640 612634624 103829 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149569 103829 364 364 0 149205 0 [pid=9078] vsize: 598276 Current children cumulated CPU time (s) 585.39 Current children cumulated vsize (Kb) 598276 [startup+600.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222258 0 0 0 58802 723 0 0 25 0 1 0 22141640 613040128 103905 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149668 103905 364 364 0 149304 0 [pid=9078] vsize: 598672 Current children cumulated CPU time (s) 595.25 Current children cumulated vsize (Kb) 598672 [startup+610.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 224418 0 0 0 59780 734 0 0 25 0 1 0 22141640 613040128 103909 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149668 103909 364 364 0 149304 0 [pid=9078] vsize: 598672 Current children cumulated CPU time (s) 605.14 Current children cumulated vsize (Kb) 598672 [startup+620.039 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 224432 0 0 0 60759 741 0 0 25 0 1 0 22141640 613040128 103923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149668 103923 364 364 0 149304 0 [pid=9078] vsize: 598672 Current children cumulated CPU time (s) 615 Current children cumulated vsize (Kb) 598672 [startup+630.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 226619 0 0 0 61738 751 0 0 25 0 1 0 22141640 622006272 106110 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 151857 106110 364 364 0 151493 0 [pid=9078] vsize: 607428 Current children cumulated CPU time (s) 624.89 Current children cumulated vsize (Kb) 607428 [startup+640.04 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 226651 0 0 0 62721 757 0 0 25 0 1 0 22141640 613310464 103986 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149734 103986 364 364 0 149370 0 [pid=9078] vsize: 598936 Current children cumulated CPU time (s) 634.78 Current children cumulated vsize (Kb) 598936 [startup+650.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 226685 0 0 0 63699 766 0 0 25 0 1 0 22141640 613445632 104020 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149767 104020 364 364 0 149403 0 [pid=9078] vsize: 599068 Current children cumulated CPU time (s) 644.65 Current children cumulated vsize (Kb) 599068 [startup+660.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228861 0 0 0 64682 774 0 0 25 0 1 0 22141640 613580800 104040 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149800 104040 364 364 0 149436 0 [pid=9078] vsize: 599200 Current children cumulated CPU time (s) 654.56 Current children cumulated vsize (Kb) 599200 [startup+670.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228870 0 0 0 65659 783 0 0 25 0 1 0 22141640 613580800 104049 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149800 104049 364 364 0 149436 0 [pid=9078] vsize: 599200 Current children cumulated CPU time (s) 664.42 Current children cumulated vsize (Kb) 599200 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228875 0 0 0 66633 791 0 0 25 0 1 0 22141640 613580800 104054 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149800 104054 364 364 0 149436 0 [pid=9078] vsize: 599200 Current children cumulated CPU time (s) 674.24 Current children cumulated vsize (Kb) 599200 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 231053 0 0 0 67623 798 0 0 25 0 1 0 22141640 613715968 104076 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149833 104076 364 364 0 149469 0 [pid=9078] vsize: 599332 Current children cumulated CPU time (s) 684.21 Current children cumulated vsize (Kb) 599332 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 231077 0 0 0 68601 805 0 0 25 0 1 0 22141640 613851136 104100 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149866 104100 364 364 0 149502 0 [pid=9078] vsize: 599464 Current children cumulated CPU time (s) 694.06 Current children cumulated vsize (Kb) 599464 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 233236 0 0 0 69574 817 0 0 25 0 1 0 22141640 622682112 106259 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 152022 106259 364 364 0 151658 0 [pid=9078] vsize: 608088 Current children cumulated CPU time (s) 703.91 Current children cumulated vsize (Kb) 608088 [startup+720.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 233239 0 0 0 70556 823 0 0 25 0 1 0 22141640 613851136 104106 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149866 104106 364 364 0 149502 0 [pid=9078] vsize: 599464 Current children cumulated CPU time (s) 713.79 Current children cumulated vsize (Kb) 599464 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 233250 0 0 0 71531 832 0 0 25 0 1 0 22141640 613851136 104117 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149866 104117 364 364 0 149502 0 [pid=9078] vsize: 599464 Current children cumulated CPU time (s) 723.63 Current children cumulated vsize (Kb) 599464 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9139 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 235409 0 0 0 72511 842 0 0 25 0 1 0 22141640 613851136 104120 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149866 104120 364 364 0 149502 0 [pid=9078] vsize: 599464 Current children cumulated CPU time (s) 733.53 Current children cumulated vsize (Kb) 599464 [startup+750.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 235415 0 0 0 73483 852 0 0 25 0 1 0 22141640 613851136 104126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149866 104126 364 364 0 149502 0 [pid=9078] vsize: 599464 Current children cumulated CPU time (s) 743.35 Current children cumulated vsize (Kb) 599464 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237608 0 0 0 74461 863 0 0 25 0 1 0 22141640 622817280 106319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 152055 106319 364 364 0 151691 0 [pid=9078] vsize: 608220 Current children cumulated CPU time (s) 753.24 Current children cumulated vsize (Kb) 608220 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237615 0 0 0 75440 871 0 0 25 0 1 0 22141640 613986304 104170 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149899 104170 364 364 0 149535 0 [pid=9078] vsize: 599596 Current children cumulated CPU time (s) 763.11 Current children cumulated vsize (Kb) 599596 [startup+780.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237621 0 0 0 76416 878 0 0 25 0 1 0 22141640 613986304 104176 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149899 104176 364 364 0 149535 0 [pid=9078] vsize: 599596 Current children cumulated CPU time (s) 772.94 Current children cumulated vsize (Kb) 599596 [startup+790.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 239835 0 0 0 77398 888 0 0 25 0 1 0 22141640 614391808 104234 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104234 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 782.86 Current children cumulated vsize (Kb) 599992 [startup+800.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 239843 0 0 0 78379 893 0 0 25 0 1 0 22141640 614391808 104242 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104242 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 792.72 Current children cumulated vsize (Kb) 599992 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 242003 0 0 0 79364 903 0 0 25 0 1 0 22141640 614391808 104246 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104246 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 802.67 Current children cumulated vsize (Kb) 599992 [startup+820.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 242007 0 0 0 80347 908 0 0 25 0 1 0 22141640 614391808 104250 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104250 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 812.55 Current children cumulated vsize (Kb) 599992 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 242009 0 0 0 81324 916 0 0 25 0 1 0 22141640 614391808 104252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104252 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 822.4 Current children cumulated vsize (Kb) 599992 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 244166 0 0 0 82306 925 0 0 25 0 1 0 22141640 614391808 104253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104253 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 832.31 Current children cumulated vsize (Kb) 599992 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 244171 0 0 0 83286 933 0 0 25 0 1 0 22141640 614391808 104258 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104258 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 842.19 Current children cumulated vsize (Kb) 599992 [startup+860.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 246331 0 0 0 84265 944 0 0 25 0 1 0 22141640 614391808 104262 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104262 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 852.09 Current children cumulated vsize (Kb) 599992 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 246339 0 0 0 85241 952 0 0 25 0 1 0 22141640 614391808 104270 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104270 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 861.93 Current children cumulated vsize (Kb) 599992 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 248500 0 0 0 86222 963 0 0 25 0 1 0 22141640 623222784 106431 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 152154 106431 364 364 0 151790 0 [pid=9078] vsize: 608616 Current children cumulated CPU time (s) 871.85 Current children cumulated vsize (Kb) 608616 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 248507 0 0 0 87195 973 0 0 25 0 1 0 22141640 614391808 104282 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 149998 104282 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 881.68 Current children cumulated vsize (Kb) 599992 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 250669 0 0 0 88173 984 0 0 25 0 1 0 22141640 623222784 106444 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 152154 106444 364 364 0 151790 0 [pid=9078] vsize: 608616 Current children cumulated CPU time (s) 891.57 Current children cumulated vsize (Kb) 608616 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 250683 0 0 0 89158 990 0 0 25 0 1 0 22141640 614391808 104302 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104302 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 901.48 Current children cumulated vsize (Kb) 599992 [startup+920.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 252843 0 0 0 90141 1000 0 0 25 0 1 0 22141640 614391808 104306 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104306 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 911.41 Current children cumulated vsize (Kb) 599992 [startup+930.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 252845 0 0 0 91129 1005 0 0 25 0 1 0 22141640 614391808 104308 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 149998 104308 364 364 0 149634 0 [pid=9078] vsize: 599992 Current children cumulated CPU time (s) 921.34 Current children cumulated vsize (Kb) 599992 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255039 0 0 0 92114 1013 0 0 25 0 1 0 22141640 623493120 106502 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 152220 106502 364 364 0 151856 0 [pid=9078] vsize: 608880 Current children cumulated CPU time (s) 931.27 Current children cumulated vsize (Kb) 608880 [startup+950.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255041 0 0 0 93091 1023 0 0 25 0 1 0 22141640 614662144 104348 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150064 104348 364 364 0 149700 0 [pid=9078] vsize: 600256 Current children cumulated CPU time (s) 941.14 Current children cumulated vsize (Kb) 600256 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255080 0 0 0 94065 1031 0 0 25 0 1 0 22141640 614932480 104387 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150130 104387 364 364 0 149766 0 [pid=9078] vsize: 600520 Current children cumulated CPU time (s) 950.96 Current children cumulated vsize (Kb) 600520 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 257240 0 0 0 95046 1041 0 0 25 0 1 0 22141640 614932480 104391 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150130 104391 364 364 0 149766 0 [pid=9078] vsize: 600520 Current children cumulated CPU time (s) 960.87 Current children cumulated vsize (Kb) 600520 [startup+980.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 257267 0 0 0 96018 1050 0 0 25 0 1 0 22141640 615067648 104418 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150163 104418 364 364 0 149799 0 [pid=9078] vsize: 600652 Current children cumulated CPU time (s) 970.68 Current children cumulated vsize (Kb) 600652 [startup+990.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259466 0 0 0 97001 1059 0 0 25 0 1 0 22141640 615337984 104461 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150229 104461 364 364 0 149865 0 [pid=9078] vsize: 600916 Current children cumulated CPU time (s) 980.6 Current children cumulated vsize (Kb) 600916 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259556 0 0 0 97983 1066 0 0 25 0 1 0 22141640 615878656 104551 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150361 104551 364 364 0 149997 0 [pid=9078] vsize: 601444 Current children cumulated CPU time (s) 990.49 Current children cumulated vsize (Kb) 601444 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259657 0 0 0 98964 1072 0 0 25 0 1 0 22141640 616554496 104652 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150526 104652 364 364 0 150162 0 [pid=9078] vsize: 602104 Current children cumulated CPU time (s) 1000.36 Current children cumulated vsize (Kb) 602104 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 261836 0 0 0 99940 1085 0 0 25 0 1 0 22141640 616689664 104675 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104675 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1010.25 Current children cumulated vsize (Kb) 602236 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 261842 0 0 0 100910 1095 0 0 25 0 1 0 22141640 616689664 104681 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104681 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1020.05 Current children cumulated vsize (Kb) 602236 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 263999 0 0 0 101892 1105 0 0 25 0 1 0 22141640 616689664 104682 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104682 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1029.97 Current children cumulated vsize (Kb) 602236 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 264001 0 0 0 102866 1115 0 0 25 0 1 0 22141640 616689664 104684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104684 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1039.81 Current children cumulated vsize (Kb) 602236 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 266160 0 0 0 103835 1128 0 0 25 0 1 0 22141640 625520640 106843 4294967295 134512640 135987407 3221224560 3221222944 134828937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 152715 106843 364 364 0 152351 0 [pid=9078] vsize: 610860 Current children cumulated CPU time (s) 1049.63 Current children cumulated vsize (Kb) 610860 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 266162 0 0 0 104810 1136 0 0 25 0 1 0 22141640 616689664 104689 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104689 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1059.46 Current children cumulated vsize (Kb) 602236 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268320 0 0 0 105787 1148 0 0 25 0 1 0 22141640 616689664 104691 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104691 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1069.35 Current children cumulated vsize (Kb) 602236 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268322 0 0 0 106759 1158 0 0 25 0 1 0 22141640 616689664 104693 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104693 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1079.17 Current children cumulated vsize (Kb) 602236 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268325 0 0 0 107728 1169 0 0 25 0 1 0 22141640 616689664 104696 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104696 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1088.97 Current children cumulated vsize (Kb) 602236 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268331 0 0 0 108699 1179 0 0 25 0 1 0 22141640 616689664 104702 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104702 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1098.78 Current children cumulated vsize (Kb) 602236 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 270492 0 0 0 109679 1190 0 0 25 0 1 0 22141640 616689664 104707 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104707 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1108.69 Current children cumulated vsize (Kb) 602236 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 270498 0 0 0 110654 1197 0 0 25 0 1 0 22141640 616689664 104713 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104713 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1118.51 Current children cumulated vsize (Kb) 602236 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 272655 0 0 0 111639 1207 0 0 25 0 1 0 22141640 616689664 104714 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104714 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1128.46 Current children cumulated vsize (Kb) 602236 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 272661 0 0 0 112606 1216 0 0 25 0 1 0 22141640 616689664 104720 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104720 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1138.22 Current children cumulated vsize (Kb) 602236 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 274821 0 0 0 113586 1226 0 0 25 0 1 0 22141640 616689664 104724 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9078/statm): 150559 104724 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1148.12 Current children cumulated vsize (Kb) 602236 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 274829 0 0 0 114566 1234 0 0 25 0 1 0 22141640 616689664 104732 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104732 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1158 Current children cumulated vsize (Kb) 602236 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 276988 0 0 0 115542 1246 0 0 25 0 1 0 22141640 616689664 104735 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104735 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1167.88 Current children cumulated vsize (Kb) 602236 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 276996 0 0 0 116516 1254 0 0 25 0 1 0 22141640 616689664 104743 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104743 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1177.7 Current children cumulated vsize (Kb) 602236 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277004 0 0 0 117491 1262 0 0 25 0 1 0 22141640 616689664 104751 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104751 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1187.53 Current children cumulated vsize (Kb) 602236 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277010 0 0 0 118469 1270 0 0 25 0 1 0 22141640 616689664 104757 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150559 104757 364 364 0 150195 0 [pid=9078] vsize: 602236 Current children cumulated CPU time (s) 1197.39 Current children cumulated vsize (Kb) 602236 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277052 0 0 0 119451 1275 0 0 25 0 1 0 22141640 616960000 104799 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150625 104799 364 364 0 150261 0 [pid=9078] vsize: 602500 Current children cumulated CPU time (s) 1207.26 Current children cumulated vsize (Kb) 602500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 9141 Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277052 0 0 0 119451 1275 0 0 25 0 1 0 22141640 616960000 104799 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9078/statm): 150625 104799 364 364 0 150261 0 [pid=9078] vsize: 602500 Current children cumulated CPU time (s) 1207.26 Current children cumulated vsize (Kb) 602500 Sending SIGTERM to -9078 Sleeping 2 seconds One traced child (pid=9078) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1222.06 CPU time (s): 1209.24 CPU user time (s): 1196.28 CPU system time (s): 12.962 CPU usage (%): 98.9511 Max. virtual memory (cumulated for all children) (Kb): 633012
ERROR: no interpretation found !