Name | web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb |
MD5SUM | 85cf0fb6ed84e77eea7ef88259fe2fe8 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 26.345 |
Number of variables | 4644 |
Total number of constraints | 35898 |
Number of constraints which are clauses | 30228 |
Number of constraints which are cardinality constraints (but not clauses) | 5592 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
LAUNCH ON wulflinc1 THE 2005-09-23 15:53:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8595 boxname=wulflinc1 idbench=391 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 85cf0fb6ed84e77eea7ef88259fe2fe8 /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb IDLAUNCH: 8595 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 885500 kB Buffers: 12792 kB Cached: 118720 kB SwapCached: 0 kB Active: 77756 kB Inactive: 56676 kB HighTotal: 131008 kB HighFree: 15848 kB LowTotal: 903652 kB LowFree: 869652 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6988 kB Slab: 9140 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:15:08 (client local time) WITH STATUS 0 IN 1201.94 SECONDS stats: 8595 7 1201.94 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 7830/28776 Time: 31.0413/86400 c Decision: 7830/28776 Time: 35.8196/86400 c Decision: 7830/28776 Time: 40.8288/86400 c Decision: 7830/28776 Time: 45.811/86400 c Decision: 7830/28776 Time: 51.1862/86400 c Decision: 7830/28776 Time: 56.7144/86400 c Decision: 7830/28776 Time: 63.0344/86400 c Decision: 7830/28776 Time: 69.2285/86400 c Decision: 7830/28776 Time: 74.7246/86400 c Decision: 7830/28776 Time: 79.7619/86400 c Decision: 7830/28776 Time: 85.701/86400 c Decision: 7830/28776 Time: 91.4411/86400 c Decision: 7830/28776 Time: 97.2042/86400 c Decision: 7830/28776 Time: 102.665/86400 c Decision: 7830/28776 Time: 108.658/86400 c Decision: 7830/28776 Time: 114.413/86400 c Decision: 7830/28776 Time: 120.499/86400 c Decision: 7830/28776 Time: 126.196/86400 c Decision: 7830/28776 Time: 131.532/86400 c Decision: 7830/28776 Time: 137.666/86400 c Decision: 7830/28776 Time: 143.389/86400 c Decision: 7830/28776 Time: 148.682/86400 c Decision: 7830/28776 Time: 154.671/86400 c Decision: 7830/28776 Time: 162.349/86400 c Decision: 7830/28776 Time: 169.058/86400 c Decision: 7830/28776 Time: 175.876/86400 c Decision: 7830/28776 Time: 182.397/86400 c Decision: 7830/28776 Time: 189.289/86400 c Decision: 7830/28776 Time: 195.846/86400 c Decision: 7830/28776 Time: 202.148/86400 c Decision: 7830/28776 Time: 210.139/86400 c Decision: 7830/28776 Time: 216.99/86400 c Decision: 7830/28776 Time: 223.985/86400 c Decision: 7830/28776 Time: 232.303/86400 c Decision: 7830/28776 Time: 239.954/86400 c Decision: 7830/28776 Time: 247.346/86400 c Decision: 7830/28776 Time: 254.23/86400 c Decision: 7830/28776 Time: 260.395/86400 c Decision: 7830/28776 Time: 267.281/86400 c Decision: 7830/28776 Time: 273.26/86400 c Decision: 7830/28776 Time: 279.849/86400 c Decision: 7830/28776 Time: 285.226/86400 c Decision: 7830/28776 Time: 292.076/86400 c Decision: 7830/28776 Time: 297.874/86400 c Decision: 7830/28776 Time: 305.413/86400 c Decision: 7830/28776 Time: 312.56/86400 c Decision: 7830/28776 Time: 319.255/86400 c Decision: 7830/28776 Time: 326.032/86400 c Decision: 7830/28776 Time: 332.756/86400 c Decision: 7830/28776 Time: 339.618/86400 c Decision: 7830/28776 Time: 346.587/86400 c Decision: 7830/28776 Time: 354.331/86400 c Decision: 7830/28776 Time: 362.151/86400 c Decision: 7830/28776 Time: 368.693/86400 c Decision: 7830/28776 Time: 375.831/86400 c Decision: 7830/28776 Time: 384.204/86400 c Decision: 7830/28776 Time: 392.036/86400 c Decision: 7830/28776 Time: 399.772/86400 c Decision: 7830/28776 Time: 407.408/86400 c Decision: 7830/28776 Time: 415.627/86400 c Decision: 7830/28776 Time: 424.291/86400 c Decision: 7830/28776 Time: 431.949/86400 c Decision: 7830/28776 Time: 439.646/86400 c Decision: 7830/28776 Time: 448.435/86400 c Decision: 7830/28776 Time: 456.52/86400 c Decision: 7830/28776 Time: 464.654/86400 c Decision: 7830/28776 Time: 472.921/86400 c Decision: 7830/28776 Time: 480.839/86400 c Decision: 7830/28776 Time: 488.752/86400 c Decision: 7830/28776 Time: 496.884/86400 c Decision: 7830/28776 Time: 503.723/86400 c Decision: 7830/28776 Time: 512.254/86400 c Decision: 7830/28776 Time: 521.27/86400 c Decision: 7830/28776 Time: 530.317/86400 c Decision: 7830/28776 Time: 539.406/86400 c Decision: 7830/28776 Time: 548.173/86400 c Decision: 7830/28776 Time: 556.215/86400 c Decision: 7830/28776 Time: 564.884/86400 c Decision: 7830/28776 Time: 572.758/86400 c Decision: 7830/28776 Time: 581.539/86400 c Decision: 7830/28776 Time: 589.83/86400 c Decision: 7830/28776 Time: 598.645/86400 c Decision: 7830/28776 Time: 607.773/86400 c Decision: 7830/28776 Time: 616.46/86400 c Decision: 7830/28776 Time: 625.125/86400 c Decision: 7830/28776 Time: 633.766/86400 c Decision: 7830/28776 Time: 643.961/86400 c Decision: 7830/28776 Time: 653.475/86400 c Decision: 7830/28776 Time: 660.769/86400 c Decision: 7830/28776 Time: 669.14/86400 c Decision: 7830/28776 Time: 676.394/86400 c Decision: 7830/28776 Time: 683.979/86400 c Decision: 7830/28776 Time: 691.304/86400 c Decision: 7830/28776 Time: 700.375/86400 c Decision: 7830/28776 Time: 708.822/86400 c Decision: 7830/28776 Time: 716.564/86400 c Decision: 7830/28776 Time: 723.507/86400 c Decision: 7830/28776 Time: 731.782/86400 c Decision: 7830/28776 Time: 739.757/86400 c Decision: 7830/28776 Time: 747.802/86400 c Decision: 7830/28776 Time: 756.975/86400 c Decision: 7830/28776 Time: 765.187/86400 c Decision: 7830/28776 Time: 773.324/86400 c Decision: 7830/28776 Time: 781.743/86400 c Decision: 7830/28776 Time: 791.34/86400 c Decision: 7830/28776 Time: 800.603/86400 c Decision: 7830/28776 Time: 810.998/86400 c Decision: 7830/28776 Time: 817.916/86400 c Decision: 7830/28776 Time: 825.356/86400 c Decision: 7830/28776 Time: 833.946/86400 c Decision: 7830/28776 Time: 842.697/86400 c Decision: 7830/28776 Time: 850.799/86400 c Decision: 7830/28776 Time: 860.302/86400 c Decision: 7830/28776 Time: 870.952/86400 c Decision: 7830/28776 Time: 879.4/86400 c Decision: 7830/28776 Time: 888.538/86400 c Decision: 7830/28776 Time: 898.844/86400 c Decision: 7830/28776 Time: 910.152/86400 c Decision: 7830/28776 Time: 919.714/86400 c Decision: 7830/28776 Time: 929.889/86400 c Decision: 7830/28776 Time: 941.275/86400 c Decision: 7830/28776 Time: 951.227/86400 c Decision: 7830/28776 Time: 960.884/86400 c Decision: 7830/28776 Time: 970.086/86400 c Decision: 7830/28776 Time: 980.189/86400 c Decision: 7830/28776 Time: 993.658/86400 c Decision: 7830/28776 Time: 1004.86/86400 c Decision: 7830/28776 Time: 1016.15/86400 c Decision: 7830/28776 Time: 1026.45/86400 c Decision: 7830/28776 Time: 1035.83/86400 c Decision: 7830/28776 Time: 1046.44/86400 c Decision: 7830/28776 Time: 1056.86/86400 c Decision: 7830/28776 Time: 1066.39/86400 c Decision: 7830/28776 Time: 1078.12/86400 c Decision: 7830/28776 Time: 1088.93/86400 c Decision: 7830/28776 Time: 1098.82/86400 c Decision: 7830/28776 Time: 1109.59/86400 c Decision: 7830/28776 Time: 1121.2/86400 c Decision: 7830/28776 Time: 1132.98/86400 c Decision: 7830/28776 Time: 1143.59/86400 c Decision: 7830/28776 Time: 1155.35/86400 c Decision: 7830/28776 Time: 1164.08/86400 c Decision: 7830/28776 Time: 1175.83/86400 c Decision: 7830/28776 Time: 1188.13/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/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21438723 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 373 2 364 364 0 9 0 [pid=9233] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb [startup+10.0015 s] Raw data (loadavg): 0.93 0.95 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 4359 0 0 0 886 45 0 0 25 0 1 0 21438723 13950976 2972 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 3406 2972 364 364 0 3042 0 [pid=9233] vsize: 13624 Current children cumulated CPU time (s) 9.31 Current children cumulated vsize (Kb) 13624 [startup+20.0033 s] Raw data (loadavg): 0.94 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 4561 0 0 0 1740 91 0 0 17 0 1 0 21438723 16453632 3174 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4017 3174 364 364 0 3653 0 [pid=9233] vsize: 16068 Current children cumulated CPU time (s) 18.31 Current children cumulated vsize (Kb) 16068 [startup+30.0041 s] Raw data (loadavg): 0.95 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 4680 0 0 0 2584 143 0 0 25 0 1 0 21438723 16588800 3293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 4050 3293 364 364 0 3686 0 [pid=9233] vsize: 16200 Current children cumulated CPU time (s) 27.27 Current children cumulated vsize (Kb) 16200 [startup+40.0039 s] Raw data (loadavg): 0.95 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 4861 0 0 0 3430 193 0 0 22 0 1 0 21438723 16859136 3417 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4116 3417 364 364 0 3752 0 [pid=9233] vsize: 16464 Current children cumulated CPU time (s) 36.23 Current children cumulated vsize (Kb) 16464 [startup+50.0047 s] Raw data (loadavg): 0.96 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5022 0 0 0 4265 247 0 0 25 0 1 0 21438723 17362944 3521 4294967295 134512640 135987407 3221224560 3221222928 134827528 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4239 3521 364 364 0 3875 0 [pid=9233] vsize: 16956 Current children cumulated CPU time (s) 45.12 Current children cumulated vsize (Kb) 16956 [startup+60.0044 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5047 0 0 0 5103 297 0 0 25 0 1 0 21438723 17129472 3489 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4182 3489 364 364 0 3818 0 [pid=9233] vsize: 16728 Current children cumulated CPU time (s) 54 Current children cumulated vsize (Kb) 16728 [startup+70.0053 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5232 0 0 0 5939 349 0 0 20 0 1 0 21438723 17264640 3560 4294967295 134512640 135987407 3221224560 3221223136 134788820 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4215 3560 364 364 0 3851 0 [pid=9233] vsize: 16860 Current children cumulated CPU time (s) 62.88 Current children cumulated vsize (Kb) 16860 [startup+80.006 s] Raw data (loadavg): 1.05 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5322 0 0 0 6776 400 0 0 25 0 1 0 21438723 17399808 3593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 4248 3593 364 364 0 3884 0 [pid=9233] vsize: 16992 Current children cumulated CPU time (s) 71.76 Current children cumulated vsize (Kb) 16992 [startup+90.0058 s] Raw data (loadavg): 1.04 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5469 0 0 0 7615 455 0 0 24 0 1 0 21438723 17534976 3626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4281 3626 364 364 0 3917 0 [pid=9233] vsize: 17124 Current children cumulated CPU time (s) 80.7 Current children cumulated vsize (Kb) 17124 [startup+100.007 s] Raw data (loadavg): 1.03 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5581 0 0 0 8472 503 0 0 25 0 1 0 21438723 17534976 3681 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4281 3681 364 364 0 3917 0 [pid=9233] vsize: 17124 Current children cumulated CPU time (s) 89.75 Current children cumulated vsize (Kb) 17124 [startup+110.007 s] Raw data (loadavg): 1.03 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5730 0 0 0 9313 556 0 0 25 0 1 0 21438723 17670144 3716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4314 3716 364 364 0 3950 0 [pid=9233] vsize: 17256 Current children cumulated CPU time (s) 98.69 Current children cumulated vsize (Kb) 17256 [startup+120.008 s] Raw data (loadavg): 1.02 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5873 0 0 0 10161 606 0 0 19 0 1 0 21438723 17805312 3745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 4347 3745 364 364 0 3983 0 [pid=9233] vsize: 17388 Current children cumulated CPU time (s) 107.67 Current children cumulated vsize (Kb) 17388 [startup+130.009 s] Raw data (loadavg): 1.02 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 6735 0 0 0 11006 658 0 0 25 0 1 0 21438723 20951040 3781 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5115 3781 364 364 0 4751 0 [pid=9233] vsize: 20460 Current children cumulated CPU time (s) 116.64 Current children cumulated vsize (Kb) 20460 [startup+140.01 s] Raw data (loadavg): 1.02 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 6895 0 0 0 11862 705 0 0 25 0 1 0 21438723 21086208 3827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5148 3827 364 364 0 4784 0 [pid=9233] vsize: 20592 Current children cumulated CPU time (s) 125.67 Current children cumulated vsize (Kb) 20592 [startup+150.011 s] Raw data (loadavg): 1.01 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7010 0 0 0 12726 749 0 0 25 0 1 0 21438723 21221376 3885 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5181 3885 364 364 0 4817 0 [pid=9233] vsize: 20724 Current children cumulated CPU time (s) 134.75 Current children cumulated vsize (Kb) 20724 [startup+160.01 s] Raw data (loadavg): 1.01 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7195 0 0 0 13590 797 0 0 25 0 1 0 21438723 21356544 3956 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5214 3956 364 364 0 4850 0 [pid=9233] vsize: 20856 Current children cumulated CPU time (s) 143.87 Current children cumulated vsize (Kb) 20856 [startup+170.011 s] Raw data (loadavg): 1.01 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7301 0 0 0 14457 843 0 0 25 0 1 0 21438723 21356544 4005 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5214 4005 364 364 0 4850 0 [pid=9233] vsize: 20856 Current children cumulated CPU time (s) 153 Current children cumulated vsize (Kb) 20856 [startup+180.012 s] Raw data (loadavg): 1.01 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7392 0 0 0 15312 892 0 0 25 0 1 0 21438723 21491712 4039 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5247 4039 364 364 0 4883 0 [pid=9233] vsize: 20988 Current children cumulated CPU time (s) 162.04 Current children cumulated vsize (Kb) 20988 [startup+190.013 s] Raw data (loadavg): 1.01 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7493 0 0 0 16168 937 0 0 25 0 1 0 21438723 21626880 4083 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5280 4083 364 364 0 4916 0 [pid=9233] vsize: 21120 Current children cumulated CPU time (s) 171.05 Current children cumulated vsize (Kb) 21120 [startup+200.013 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7671 0 0 0 17033 980 0 0 25 0 1 0 21438723 21762048 4147 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5313 4147 364 364 0 4949 0 [pid=9233] vsize: 21252 Current children cumulated CPU time (s) 180.13 Current children cumulated vsize (Kb) 21252 [startup+210.013 s] Raw data (loadavg): 1.00 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7763 0 0 0 17879 1027 0 0 24 0 1 0 21438723 21762048 4182 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5313 4182 364 364 0 4949 0 [pid=9233] vsize: 21252 Current children cumulated CPU time (s) 189.06 Current children cumulated vsize (Kb) 21252 [startup+220.014 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7842 0 0 0 18746 1073 0 0 19 0 1 0 21438723 21897216 4204 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5346 4204 364 364 0 4982 0 [pid=9233] vsize: 21384 Current children cumulated CPU time (s) 198.19 Current children cumulated vsize (Kb) 21384 [startup+230.015 s] Raw data (loadavg): 1.00 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8013 0 0 0 19618 1115 0 0 25 0 1 0 21438723 22032384 4261 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5379 4261 364 364 0 5015 0 [pid=9233] vsize: 21516 Current children cumulated CPU time (s) 207.33 Current children cumulated vsize (Kb) 21516 [startup+240.015 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8117 0 0 0 20470 1164 0 0 24 0 1 0 21438723 22032384 4308 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5379 4308 364 364 0 5015 0 [pid=9233] vsize: 21516 Current children cumulated CPU time (s) 216.34 Current children cumulated vsize (Kb) 21516 [startup+250.015 s] Raw data (loadavg): 1.00 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8193 0 0 0 21334 1210 0 0 25 0 1 0 21438723 22167552 4327 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5412 4327 364 364 0 5048 0 [pid=9233] vsize: 21648 Current children cumulated CPU time (s) 225.44 Current children cumulated vsize (Kb) 21648 [startup+260.016 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8277 0 0 0 22200 1256 0 0 25 0 1 0 21438723 22167552 4354 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5412 4354 364 364 0 5048 0 [pid=9233] vsize: 21648 Current children cumulated CPU time (s) 234.56 Current children cumulated vsize (Kb) 21648 [startup+270.017 s] Raw data (loadavg): 1.00 0.98 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8349 0 0 0 23067 1299 0 0 25 0 1 0 21438723 22302720 4369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5445 4369 364 364 0 5081 0 [pid=9233] vsize: 21780 Current children cumulated CPU time (s) 243.66 Current children cumulated vsize (Kb) 21780 [startup+280.018 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8511 0 0 0 23927 1343 0 0 24 0 1 0 21438723 22302720 4417 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5445 4417 364 364 0 5081 0 [pid=9233] vsize: 21780 Current children cumulated CPU time (s) 252.7 Current children cumulated vsize (Kb) 21780 [startup+290.019 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8584 0 0 0 24798 1385 0 0 25 0 1 0 21438723 22437888 4433 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5478 4433 364 364 0 5114 0 [pid=9233] vsize: 21912 Current children cumulated CPU time (s) 261.83 Current children cumulated vsize (Kb) 21912 [startup+300.019 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8677 0 0 0 25676 1425 0 0 25 0 1 0 21438723 22437888 4469 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5478 4469 364 364 0 5114 0 [pid=9233] vsize: 21912 Current children cumulated CPU time (s) 271.01 Current children cumulated vsize (Kb) 21912 [startup+310.019 s] Raw data (loadavg): 1.00 0.98 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8859 0 0 0 26541 1467 0 0 25 0 1 0 21438723 22573056 4537 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5511 4537 364 364 0 5147 0 [pid=9233] vsize: 22044 Current children cumulated CPU time (s) 280.08 Current children cumulated vsize (Kb) 22044 [startup+320.02 s] Raw data (loadavg): 1.08 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8964 0 0 0 27413 1510 0 0 25 0 1 0 21438723 22708224 4585 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 5544 4585 364 364 0 5180 0 [pid=9233] vsize: 22176 Current children cumulated CPU time (s) 289.23 Current children cumulated vsize (Kb) 22176 [startup+330.021 s] Raw data (loadavg): 1.07 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9115 0 0 0 28280 1554 0 0 25 0 1 0 21438723 22843392 4622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5577 4622 364 364 0 5213 0 [pid=9233] vsize: 22308 Current children cumulated CPU time (s) 298.34 Current children cumulated vsize (Kb) 22308 [startup+340.021 s] Raw data (loadavg): 1.06 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9197 0 0 0 29152 1599 0 0 25 0 1 0 21438723 22843392 4647 4294967295 134512640 135987407 3221224560 3221223248 134788831 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 5577 4647 364 364 0 5213 0 [pid=9233] vsize: 22308 Current children cumulated CPU time (s) 307.51 Current children cumulated vsize (Kb) 22308 [startup+350.021 s] Raw data (loadavg): 1.05 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9365 0 0 0 30030 1638 0 0 25 0 1 0 21438723 27406336 4758 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6691 4758 364 364 0 6327 0 [pid=9233] vsize: 26764 Current children cumulated CPU time (s) 316.68 Current children cumulated vsize (Kb) 26764 [startup+360.022 s] Raw data (loadavg): 1.04 0.99 0.95 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9442 0 0 0 30909 1681 0 0 25 0 1 0 21438723 27172864 4721 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6634 4721 364 364 0 6270 0 [pid=9233] vsize: 26536 Current children cumulated CPU time (s) 325.9 Current children cumulated vsize (Kb) 26536 [startup+370.023 s] Raw data (loadavg): 1.03 0.99 0.95 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9529 0 0 0 31781 1724 0 0 25 0 1 0 21438723 27308032 4751 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6667 4751 364 364 0 6303 0 [pid=9233] vsize: 26668 Current children cumulated CPU time (s) 335.05 Current children cumulated vsize (Kb) 26668 [startup+380.024 s] Raw data (loadavg): 1.03 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9694 0 0 0 32666 1762 0 0 25 0 1 0 21438723 27443200 4802 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6700 4802 364 364 0 6336 0 [pid=9233] vsize: 26800 Current children cumulated CPU time (s) 344.28 Current children cumulated vsize (Kb) 26800 [startup+390.024 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9801 0 0 0 33551 1803 0 0 25 0 1 0 21438723 27443200 4852 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6700 4852 364 364 0 6336 0 [pid=9233] vsize: 26800 Current children cumulated CPU time (s) 353.54 Current children cumulated vsize (Kb) 26800 [startup+400.025 s] Raw data (loadavg): 1.02 0.99 0.95 1/56 9234 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9890 0 0 0 34434 1843 0 0 23 0 1 0 21438723 27578368 4884 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6733 4884 364 364 0 6369 0 [pid=9233] vsize: 26932 Current children cumulated CPU time (s) 362.77 Current children cumulated vsize (Kb) 26932 [startup+410.025 s] Raw data (loadavg): 1.02 0.99 0.95 1/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9983 0 0 0 35300 1885 0 0 25 0 1 0 21438723 27713536 4920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6766 4920 364 364 0 6402 0 [pid=9233] vsize: 27064 Current children cumulated CPU time (s) 371.85 Current children cumulated vsize (Kb) 27064 [startup+420.026 s] Raw data (loadavg): 1.01 0.99 0.95 1/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10163 0 0 0 36185 1923 0 0 25 0 1 0 21438723 27713536 4986 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6766 4986 364 364 0 6402 0 [pid=9233] vsize: 27064 Current children cumulated CPU time (s) 381.08 Current children cumulated vsize (Kb) 27064 [startup+430.027 s] Raw data (loadavg): 1.01 0.99 0.95 1/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10267 0 0 0 37065 1963 0 0 25 0 1 0 21438723 27848704 5033 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6799 5033 364 364 0 6435 0 [pid=9233] vsize: 27196 Current children cumulated CPU time (s) 390.28 Current children cumulated vsize (Kb) 27196 [startup+440.027 s] Raw data (loadavg): 1.09 1.01 0.95 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 10355 0 0 0 37956 1998 0 0 25 0 1 0 21438723 27848704 5064 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6799 5064 364 364 0 6435 0 [pid=9233] vsize: 27196 Current children cumulated CPU time (s) 399.54 Current children cumulated vsize (Kb) 27196 [startup+450.028 s] Raw data (loadavg): 1.07 1.01 0.95 1/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10427 0 0 0 38835 2036 0 0 25 0 1 0 21438723 27983872 5079 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6832 5079 364 364 0 6468 0 [pid=9233] vsize: 27328 Current children cumulated CPU time (s) 408.71 Current children cumulated vsize (Kb) 27328 [startup+460.029 s] Raw data (loadavg): 1.06 1.01 0.95 2/55 9290 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 10531 0 0 0 39716 2073 0 0 25 0 1 0 21438723 27983872 5126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6832 5126 364 364 0 6468 0 [pid=9233] vsize: 27328 Current children cumulated CPU time (s) 417.89 Current children cumulated vsize (Kb) 27328 [startup+470.03 s] Raw data (loadavg): 1.05 1.01 0.95 1/55 9290 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10642 0 0 0 40602 2109 0 0 25 0 1 0 21438723 28119040 5180 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6865 5180 364 364 0 6501 0 [pid=9233] vsize: 27460 Current children cumulated CPU time (s) 427.11 Current children cumulated vsize (Kb) 27460 [startup+480.031 s] Raw data (loadavg): 1.04 1.01 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10787 0 0 0 41486 2146 0 0 25 0 1 0 21438723 28119040 5211 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6865 5211 364 364 0 6501 0 [pid=9233] vsize: 27460 Current children cumulated CPU time (s) 436.32 Current children cumulated vsize (Kb) 27460 [startup+490.03 s] Raw data (loadavg): 1.04 1.01 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10870 0 0 0 42371 2185 0 0 23 0 1 0 21438723 28254208 5237 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6898 5237 364 364 0 6534 0 [pid=9233] vsize: 27592 Current children cumulated CPU time (s) 445.56 Current children cumulated vsize (Kb) 27592 [startup+500.031 s] Raw data (loadavg): 1.03 1.01 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10945 0 0 0 43252 2226 0 0 25 0 1 0 21438723 28254208 5255 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6898 5255 364 364 0 6534 0 [pid=9233] vsize: 27592 Current children cumulated CPU time (s) 454.78 Current children cumulated vsize (Kb) 27592 [startup+510.031 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11025 0 0 0 44136 2262 0 0 25 0 1 0 21438723 28389376 5278 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6931 5278 364 364 0 6567 0 [pid=9233] vsize: 27724 Current children cumulated CPU time (s) 463.98 Current children cumulated vsize (Kb) 27724 [startup+520.031 s] Raw data (loadavg): 1.02 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11114 0 0 0 45024 2300 0 0 25 0 1 0 21438723 28389376 5310 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6931 5310 364 364 0 6567 0 [pid=9233] vsize: 27724 Current children cumulated CPU time (s) 473.24 Current children cumulated vsize (Kb) 27724 [startup+530.032 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11194 0 0 0 45914 2338 0 0 25 0 1 0 21438723 28389376 5333 4294967295 134512640 135987407 3221224560 3221223312 134801266 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6931 5333 364 364 0 6567 0 [pid=9233] vsize: 27724 Current children cumulated CPU time (s) 482.52 Current children cumulated vsize (Kb) 27724 [startup+540.031 s] Raw data (loadavg): 1.01 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11271 0 0 0 46804 2374 0 0 25 0 1 0 21438723 28524544 5353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 6964 5353 364 364 0 6600 0 [pid=9233] vsize: 27856 Current children cumulated CPU time (s) 491.78 Current children cumulated vsize (Kb) 27856 [startup+550.032 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11341 0 0 0 47692 2411 0 0 25 0 1 0 21438723 28524544 5366 4294967295 134512640 135987407 3221224560 3221223280 134814085 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6964 5366 364 364 0 6600 0 [pid=9233] vsize: 27856 Current children cumulated CPU time (s) 501.03 Current children cumulated vsize (Kb) 27856 [startup+560.033 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11505 0 0 0 48588 2448 0 0 25 0 1 0 21438723 28659712 5416 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6997 5416 364 364 0 6633 0 [pid=9233] vsize: 27988 Current children cumulated CPU time (s) 510.36 Current children cumulated vsize (Kb) 27988 [startup+570.033 s] Raw data (loadavg): 1.01 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11578 0 0 0 49476 2486 0 0 25 0 1 0 21438723 28659712 5432 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 6997 5432 364 364 0 6633 0 [pid=9233] vsize: 27988 Current children cumulated CPU time (s) 519.62 Current children cumulated vsize (Kb) 27988 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11653 0 0 0 50363 2525 0 0 24 0 1 0 21438723 28794880 5450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7030 5450 364 364 0 6666 0 [pid=9233] vsize: 28120 Current children cumulated CPU time (s) 528.88 Current children cumulated vsize (Kb) 28120 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11733 0 0 0 51253 2562 0 0 25 0 1 0 21438723 28794880 5473 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7030 5473 364 364 0 6666 0 [pid=9233] vsize: 28120 Current children cumulated CPU time (s) 538.15 Current children cumulated vsize (Kb) 28120 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11817 0 0 0 52147 2594 0 0 25 0 1 0 21438723 28794880 5500 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7030 5500 364 364 0 6666 0 [pid=9233] vsize: 28120 Current children cumulated CPU time (s) 547.41 Current children cumulated vsize (Kb) 28120 [startup+610.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11917 0 0 0 53043 2626 0 0 25 0 1 0 21438723 28930048 5543 4294967295 134512640 135987407 3221224560 3221223248 134811852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7063 5543 364 364 0 6699 0 [pid=9233] vsize: 28252 Current children cumulated CPU time (s) 556.69 Current children cumulated vsize (Kb) 28252 [startup+620.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11989 0 0 0 53941 2660 0 0 25 0 1 0 21438723 28930048 5558 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7063 5558 364 364 0 6699 0 [pid=9233] vsize: 28252 Current children cumulated CPU time (s) 566.01 Current children cumulated vsize (Kb) 28252 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12068 0 0 0 54841 2694 0 0 25 0 1 0 21438723 29065216 5580 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7096 5580 364 364 0 6732 0 [pid=9233] vsize: 28384 Current children cumulated CPU time (s) 575.35 Current children cumulated vsize (Kb) 28384 [startup+640.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12176 0 0 0 55732 2732 0 0 25 0 1 0 21438723 29065216 5631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7096 5631 364 364 0 6732 0 [pid=9233] vsize: 28384 Current children cumulated CPU time (s) 584.64 Current children cumulated vsize (Kb) 28384 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12340 0 0 0 56629 2766 0 0 25 0 1 0 21438723 29200384 5681 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7129 5681 364 364 0 6765 0 [pid=9233] vsize: 28516 Current children cumulated CPU time (s) 593.95 Current children cumulated vsize (Kb) 28516 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12419 0 0 0 57525 2799 0 0 25 0 1 0 21438723 29200384 5703 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7129 5703 364 364 0 6765 0 [pid=9233] vsize: 28516 Current children cumulated CPU time (s) 603.24 Current children cumulated vsize (Kb) 28516 [startup+670.038 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12491 0 0 0 58417 2834 0 0 25 0 1 0 21438723 29200384 5718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7129 5718 364 364 0 6765 0 [pid=9233] vsize: 28516 Current children cumulated CPU time (s) 612.51 Current children cumulated vsize (Kb) 28516 [startup+680.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12568 0 0 0 59314 2867 0 0 25 0 1 0 21438723 29339648 5738 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7163 5738 364 364 0 6799 0 [pid=9233] vsize: 28652 Current children cumulated CPU time (s) 621.81 Current children cumulated vsize (Kb) 28652 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12672 0 0 0 60211 2900 0 0 21 0 1 0 21438723 29339648 5785 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7163 5785 364 364 0 6799 0 [pid=9233] vsize: 28652 Current children cumulated CPU time (s) 631.11 Current children cumulated vsize (Kb) 28652 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12779 0 0 0 61104 2934 0 0 25 0 1 0 21438723 29478912 5835 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7197 5835 364 364 0 6833 0 [pid=9233] vsize: 28788 Current children cumulated CPU time (s) 640.38 Current children cumulated vsize (Kb) 28788 [startup+710.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12850 0 0 0 61995 2969 0 0 25 0 1 0 21438723 29478912 5849 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7197 5849 364 364 0 6833 0 [pid=9233] vsize: 28788 Current children cumulated CPU time (s) 649.64 Current children cumulated vsize (Kb) 28788 [startup+720.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12923 0 0 0 62884 3003 0 0 25 0 1 0 21438723 29614080 5865 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7230 5865 364 364 0 6866 0 [pid=9233] vsize: 28920 Current children cumulated CPU time (s) 658.87 Current children cumulated vsize (Kb) 28920 [startup+730.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12994 0 0 0 63783 3039 0 0 25 0 1 0 21438723 29614080 5879 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7230 5879 364 364 0 6866 0 [pid=9233] vsize: 28920 Current children cumulated CPU time (s) 668.22 Current children cumulated vsize (Kb) 28920 [startup+740.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13067 0 0 0 64679 3073 0 0 25 0 1 0 21438723 29614080 5895 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7230 5895 364 364 0 6866 0 [pid=9233] vsize: 28920 Current children cumulated CPU time (s) 677.52 Current children cumulated vsize (Kb) 28920 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13152 0 0 0 65582 3104 0 0 25 0 1 0 21438723 29753344 5923 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7264 5923 364 364 0 6900 0 [pid=9233] vsize: 29056 Current children cumulated CPU time (s) 686.86 Current children cumulated vsize (Kb) 29056 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 13288 0 0 0 66488 3135 0 0 25 0 1 0 21438723 29753344 5945 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7264 5945 364 364 0 6900 0 [pid=9233] vsize: 29056 Current children cumulated CPU time (s) 696.23 Current children cumulated vsize (Kb) 29056 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13370 0 0 0 67387 3169 0 0 25 0 1 0 21438723 29892608 5970 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7298 5970 364 364 0 6934 0 [pid=9233] vsize: 29192 Current children cumulated CPU time (s) 705.56 Current children cumulated vsize (Kb) 29192 [startup+780.042 s] Raw data (loadavg): 1.08 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13492 0 0 0 68286 3204 0 0 25 0 1 0 21438723 29892608 6035 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7298 6035 364 364 0 6934 0 [pid=9233] vsize: 29192 Current children cumulated CPU time (s) 714.9 Current children cumulated vsize (Kb) 29192 [startup+790.042 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13597 0 0 0 69180 3235 0 0 25 0 1 0 21438723 30031872 6083 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7332 6083 364 364 0 6968 0 [pid=9233] vsize: 29328 Current children cumulated CPU time (s) 724.15 Current children cumulated vsize (Kb) 29328 [startup+800.043 s] Raw data (loadavg): 1.06 1.01 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 13683 0 0 0 70070 3269 0 0 25 0 1 0 21438723 30031872 6112 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7332 6112 364 364 0 6968 0 [pid=9233] vsize: 29328 Current children cumulated CPU time (s) 733.39 Current children cumulated vsize (Kb) 29328 [startup+810.044 s] Raw data (loadavg): 1.05 1.01 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13769 0 0 0 70963 3304 0 0 25 0 1 0 21438723 30171136 6141 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7366 6141 364 364 0 7002 0 [pid=9233] vsize: 29464 Current children cumulated CPU time (s) 742.67 Current children cumulated vsize (Kb) 29464 [startup+820.043 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13891 0 0 0 71859 3340 0 0 25 0 1 0 21438723 30306304 6206 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7399 6206 364 364 0 7035 0 [pid=9233] vsize: 29596 Current children cumulated CPU time (s) 751.99 Current children cumulated vsize (Kb) 29596 [startup+830.044 s] Raw data (loadavg): 1.03 1.01 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14061 0 0 0 72752 3374 0 0 25 0 1 0 21438723 30306304 6262 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7399 6262 364 364 0 7035 0 [pid=9233] vsize: 29596 Current children cumulated CPU time (s) 761.26 Current children cumulated vsize (Kb) 29596 [startup+840.044 s] Raw data (loadavg): 1.03 1.01 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 14139 0 0 0 73648 3405 0 0 25 0 1 0 21438723 30445568 6283 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7433 6283 364 364 0 7069 0 [pid=9233] vsize: 29732 Current children cumulated CPU time (s) 770.53 Current children cumulated vsize (Kb) 29732 [startup+850.045 s] Raw data (loadavg): 1.10 1.03 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 14209 0 0 0 74546 3439 0 0 25 0 1 0 21438723 30445568 6296 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7433 6296 364 364 0 7069 0 [pid=9233] vsize: 29732 Current children cumulated CPU time (s) 779.85 Current children cumulated vsize (Kb) 29732 [startup+860.046 s] Raw data (loadavg): 1.08 1.03 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14301 0 0 0 75450 3471 0 0 25 0 1 0 21438723 30580736 6331 4294967295 134512640 135987407 3221224560 3221223248 134811867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7466 6331 364 364 0 7102 0 [pid=9233] vsize: 29864 Current children cumulated CPU time (s) 789.21 Current children cumulated vsize (Kb) 29864 [startup+870.045 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14371 0 0 0 76346 3506 0 0 25 0 1 0 21438723 30580736 6344 4294967295 134512640 135987407 3221224560 3221223300 135478139 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7466 6344 364 364 0 7102 0 [pid=9233] vsize: 29864 Current children cumulated CPU time (s) 798.52 Current children cumulated vsize (Kb) 29864 [startup+880.046 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14456 0 0 0 77247 3539 0 0 25 0 1 0 21438723 30715904 6372 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7499 6372 364 364 0 7135 0 [pid=9233] vsize: 29996 Current children cumulated CPU time (s) 807.86 Current children cumulated vsize (Kb) 29996 [startup+890.046 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14525 0 0 0 78149 3571 0 0 25 0 1 0 21438723 30715904 6384 4294967295 134512640 135987407 3221224560 3221223376 134816639 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7499 6384 364 364 0 7135 0 [pid=9233] vsize: 29996 Current children cumulated CPU time (s) 817.2 Current children cumulated vsize (Kb) 29996 [startup+900.047 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14593 0 0 0 79047 3607 0 0 25 0 1 0 21438723 30715904 6395 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7499 6395 364 364 0 7135 0 [pid=9233] vsize: 29996 Current children cumulated CPU time (s) 826.54 Current children cumulated vsize (Kb) 29996 [startup+910.047 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14683 0 0 0 79952 3640 0 0 25 0 1 0 21438723 30851072 6428 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7532 6428 364 364 0 7168 0 [pid=9233] vsize: 30128 Current children cumulated CPU time (s) 835.92 Current children cumulated vsize (Kb) 30128 [startup+920.047 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14792 0 0 0 80858 3675 0 0 25 0 1 0 21438723 30851072 6480 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7532 6480 364 364 0 7168 0 [pid=9233] vsize: 30128 Current children cumulated CPU time (s) 845.33 Current children cumulated vsize (Kb) 30128 [startup+930.048 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14874 0 0 0 81767 3704 0 0 25 0 1 0 21438723 30851072 6505 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7532 6505 364 364 0 7168 0 [pid=9233] vsize: 30128 Current children cumulated CPU time (s) 854.71 Current children cumulated vsize (Kb) 30128 [startup+940.048 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14961 0 0 0 82676 3733 0 0 25 0 1 0 21438723 30986240 6535 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7565 6535 364 364 0 7201 0 [pid=9233] vsize: 30260 Current children cumulated CPU time (s) 864.09 Current children cumulated vsize (Kb) 30260 [startup+950.049 s] Raw data (loadavg): 1.02 1.02 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15074 0 0 0 83583 3764 0 0 25 0 1 0 21438723 31125504 6591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7599 6591 364 364 0 7235 0 [pid=9233] vsize: 30396 Current children cumulated CPU time (s) 873.47 Current children cumulated vsize (Kb) 30396 [startup+960.048 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15184 0 0 0 84492 3794 0 0 25 0 1 0 21438723 31125504 6644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7599 6644 364 364 0 7235 0 [pid=9233] vsize: 30396 Current children cumulated CPU time (s) 882.86 Current children cumulated vsize (Kb) 30396 [startup+970.048 s] Raw data (loadavg): 1.01 1.01 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15297 0 0 0 85400 3823 0 0 25 0 1 0 21438723 31264768 6700 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7633 6700 364 364 0 7269 0 [pid=9233] vsize: 30532 Current children cumulated CPU time (s) 892.23 Current children cumulated vsize (Kb) 30532 [startup+980.049 s] Raw data (loadavg): 1.01 1.01 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15375 0 0 0 86311 3851 0 0 25 0 1 0 21438723 31264768 6721 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7633 6721 364 364 0 7269 0 [pid=9233] vsize: 30532 Current children cumulated CPU time (s) 901.62 Current children cumulated vsize (Kb) 30532 [startup+990.05 s] Raw data (loadavg): 1.01 1.01 0.96 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15452 0 0 0 87203 3886 0 0 25 0 1 0 21438723 31399936 6741 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7666 6741 364 364 0 7302 0 [pid=9233] vsize: 30664 Current children cumulated CPU time (s) 910.89 Current children cumulated vsize (Kb) 30664 [startup+1000.05 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15539 0 0 0 88102 3918 0 0 25 0 1 0 21438723 31539200 6771 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7700 6771 364 364 0 7336 0 [pid=9233] vsize: 30800 Current children cumulated CPU time (s) 920.2 Current children cumulated vsize (Kb) 30800 [startup+1010.05 s] Raw data (loadavg): 1.08 1.03 0.97 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15622 0 0 0 89010 3948 0 0 25 0 1 0 21438723 31539200 6797 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7700 6797 364 364 0 7336 0 [pid=9233] vsize: 30800 Current children cumulated CPU time (s) 929.58 Current children cumulated vsize (Kb) 30800 [startup+1020.05 s] Raw data (loadavg): 1.07 1.03 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15741 0 0 0 89915 3979 0 0 25 0 1 0 21438723 31674368 6859 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7733 6859 364 364 0 7369 0 [pid=9233] vsize: 30932 Current children cumulated CPU time (s) 938.94 Current children cumulated vsize (Kb) 30932 [startup+1030.05 s] Raw data (loadavg): 1.06 1.03 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15833 0 0 0 90825 4009 0 0 25 0 1 0 21438723 31674368 6894 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7733 6894 364 364 0 7369 0 [pid=9233] vsize: 30932 Current children cumulated CPU time (s) 948.34 Current children cumulated vsize (Kb) 30932 [startup+1040.05 s] Raw data (loadavg): 1.05 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15848 0 0 0 91733 4038 0 0 25 0 1 0 21438723 31809536 6909 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7766 6909 364 364 0 7402 0 [pid=9233] vsize: 31064 Current children cumulated CPU time (s) 957.71 Current children cumulated vsize (Kb) 31064 [startup+1050.05 s] Raw data (loadavg): 1.04 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15916 0 0 0 92640 4068 0 0 25 0 1 0 21438723 31809536 6920 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7766 6920 364 364 0 7402 0 [pid=9233] vsize: 31064 Current children cumulated CPU time (s) 967.08 Current children cumulated vsize (Kb) 31064 [startup+1060.05 s] Raw data (loadavg): 1.03 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16000 0 0 0 93546 4100 0 0 25 0 1 0 21438723 31944704 6947 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7799 6947 364 364 0 7435 0 [pid=9233] vsize: 31196 Current children cumulated CPU time (s) 976.46 Current children cumulated vsize (Kb) 31196 [startup+1070.05 s] Raw data (loadavg): 1.03 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16072 0 0 0 94455 4129 0 0 25 0 1 0 21438723 31944704 6962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7799 6962 364 364 0 7435 0 [pid=9233] vsize: 31196 Current children cumulated CPU time (s) 985.84 Current children cumulated vsize (Kb) 31196 [startup+1080.05 s] Raw data (loadavg): 1.02 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16083 0 0 0 95361 4161 0 0 25 0 1 0 21438723 31944704 6973 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7799 6973 364 364 0 7435 0 [pid=9233] vsize: 31196 Current children cumulated CPU time (s) 995.22 Current children cumulated vsize (Kb) 31196 [startup+1090.05 s] Raw data (loadavg): 1.02 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16161 0 0 0 96270 4190 0 0 25 0 1 0 21438723 32079872 6994 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7832 6994 364 364 0 7468 0 [pid=9233] vsize: 31328 Current children cumulated CPU time (s) 1004.6 Current children cumulated vsize (Kb) 31328 [startup+1100.06 s] Raw data (loadavg): 1.02 1.02 0.97 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16235 0 0 0 97180 4220 0 0 25 0 1 0 21438723 32079872 7011 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7832 7011 364 364 0 7468 0 [pid=9233] vsize: 31328 Current children cumulated CPU time (s) 1014 Current children cumulated vsize (Kb) 31328 [startup+1110.06 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16305 0 0 0 98088 4252 0 0 25 0 1 0 21438723 32079872 7024 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7832 7024 364 364 0 7468 0 [pid=9233] vsize: 31328 Current children cumulated CPU time (s) 1023.4 Current children cumulated vsize (Kb) 31328 [startup+1120.06 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16376 0 0 0 98995 4281 0 0 25 0 1 0 21438723 32215040 7038 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7865 7038 364 364 0 7501 0 [pid=9233] vsize: 31460 Current children cumulated CPU time (s) 1032.76 Current children cumulated vsize (Kb) 31460 [startup+1130.06 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16450 0 0 0 99910 4310 0 0 25 0 1 0 21438723 32215040 7055 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7865 7055 364 364 0 7501 0 [pid=9233] vsize: 31460 Current children cumulated CPU time (s) 1042.2 Current children cumulated vsize (Kb) 31460 [startup+1140.06 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16542 0 0 0 100821 4337 0 0 25 0 1 0 21438723 32215040 7090 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7865 7090 364 364 0 7501 0 [pid=9233] vsize: 31460 Current children cumulated CPU time (s) 1051.58 Current children cumulated vsize (Kb) 31460 [startup+1150.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16555 0 0 0 101731 4366 0 0 25 0 1 0 21438723 32350208 7103 4294967295 134512640 135987407 3221224560 3221223280 134813732 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7898 7103 364 364 0 7534 0 [pid=9233] vsize: 31592 Current children cumulated CPU time (s) 1060.97 Current children cumulated vsize (Kb) 31592 [startup+1160.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16628 0 0 0 102647 4392 0 0 25 0 1 0 21438723 32350208 7119 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7898 7119 364 364 0 7534 0 [pid=9233] vsize: 31592 Current children cumulated CPU time (s) 1070.39 Current children cumulated vsize (Kb) 31592 [startup+1170.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16704 0 0 0 103551 4426 0 0 25 0 1 0 21438723 32350208 7138 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7898 7138 364 364 0 7534 0 [pid=9233] vsize: 31592 Current children cumulated CPU time (s) 1079.77 Current children cumulated vsize (Kb) 31592 [startup+1180.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16794 0 0 0 104450 4456 0 0 25 0 1 0 21438723 32485376 7171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7931 7171 364 364 0 7567 0 [pid=9233] vsize: 31724 Current children cumulated CPU time (s) 1089.06 Current children cumulated vsize (Kb) 31724 [startup+1190.06 s] Raw data (loadavg): 1.00 1.01 0.97 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16913 0 0 0 105353 4488 0 0 25 0 1 0 21438723 32620544 7233 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7964 7233 364 364 0 7600 0 [pid=9233] vsize: 31856 Current children cumulated CPU time (s) 1098.41 Current children cumulated vsize (Kb) 31856 [startup+1200.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17001 0 0 0 106261 4516 0 0 25 0 1 0 21438723 32620544 7264 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7964 7264 364 364 0 7600 0 [pid=9233] vsize: 31856 Current children cumulated CPU time (s) 1107.77 Current children cumulated vsize (Kb) 31856 [startup+1210.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17068 0 0 0 107171 4545 0 0 25 0 1 0 21438723 32620544 7274 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7964 7274 364 364 0 7600 0 [pid=9233] vsize: 31856 Current children cumulated CPU time (s) 1117.16 Current children cumulated vsize (Kb) 31856 [startup+1220.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17137 0 0 0 108085 4575 0 0 25 0 1 0 21438723 32620544 7286 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7964 7286 364 364 0 7600 0 [pid=9233] vsize: 31856 Current children cumulated CPU time (s) 1126.6 Current children cumulated vsize (Kb) 31856 [startup+1230.06 s] Raw data (loadavg): 1.00 1.01 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17145 0 0 0 108996 4602 0 0 25 0 1 0 21438723 32620544 7294 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7964 7294 364 364 0 7600 0 [pid=9233] vsize: 31856 Current children cumulated CPU time (s) 1135.98 Current children cumulated vsize (Kb) 31856 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17211 0 0 0 109912 4630 0 0 25 0 1 0 21438723 32755712 7303 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7997 7303 364 364 0 7633 0 [pid=9233] vsize: 31988 Current children cumulated CPU time (s) 1145.42 Current children cumulated vsize (Kb) 31988 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17278 0 0 0 110824 4660 0 0 25 0 1 0 21438723 32755712 7313 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 7997 7313 364 364 0 7633 0 [pid=9233] vsize: 31988 Current children cumulated CPU time (s) 1154.84 Current children cumulated vsize (Kb) 31988 [startup+1260.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17359 0 0 0 111731 4691 0 0 25 0 1 0 21438723 32755712 7337 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 7997 7337 364 364 0 7633 0 [pid=9233] vsize: 31988 Current children cumulated CPU time (s) 1164.22 Current children cumulated vsize (Kb) 31988 [startup+1270.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17373 0 0 0 112646 4718 0 0 25 0 1 0 21438723 32903168 7351 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 8033 7351 364 364 0 7669 0 [pid=9233] vsize: 32132 Current children cumulated CPU time (s) 1173.64 Current children cumulated vsize (Kb) 32132 [startup+1280.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17455 0 0 0 113556 4748 0 0 25 0 1 0 21438723 32903168 7376 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 8033 7376 364 364 0 7669 0 [pid=9233] vsize: 32132 Current children cumulated CPU time (s) 1183.04 Current children cumulated vsize (Kb) 32132 [startup+1290.06 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 17524 0 0 0 114471 4775 0 0 25 0 1 0 21438723 33038336 7388 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 8066 7388 364 364 0 7702 0 [pid=9233] vsize: 32264 Current children cumulated CPU time (s) 1192.46 Current children cumulated vsize (Kb) 32264 [startup+1300.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17565 0 0 0 115379 4806 0 0 25 0 1 0 21438723 33038336 7429 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 8066 7429 364 364 0 7702 0 [pid=9233] vsize: 32264 Current children cumulated CPU time (s) 1201.85 Current children cumulated vsize (Kb) 32264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1300.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17565 0 0 0 115379 4806 0 0 25 0 1 0 21438723 33038336 7429 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 8066 7429 364 364 0 7702 0 [pid=9233] vsize: 32264 Current children cumulated CPU time (s) 1201.85 Current children cumulated vsize (Kb) 32264 Sending SIGTERM to -9233 Sleeping 2 seconds One traced child (pid=9233) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1300.15 CPU time (s): 1201.94 CPU user time (s): 1153.86 CPU system time (s): 48.0797 CPU usage (%): 92.4465 Max. virtual memory (cumulated for all children) (Kb): 32264
ERROR: no interpretation found !