Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb |
MD5SUM | 0d744fe957d41a18692933adc6be4af7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1410122 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1511880035 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1511880035 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1228.72 |
Number of variables | 5292 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 420 |
LAUNCH ON wulflinc9 THE 2005-09-23 18:50:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9285 boxname=wulflinc9 idbench=1081 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0d744fe957d41a18692933adc6be4af7 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb IDLAUNCH: 9285 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 900016 kB Buffers: 13732 kB Cached: 103432 kB SwapCached: 0 kB Active: 52928 kB Inactive: 67192 kB HighTotal: 131008 kB HighFree: 27300 kB LowTotal: 903652 kB LowFree: 872716 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8968 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 19:11:41 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 9285 7 1200.45 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 16267/192522 Time: 40.4389/86400 c Decision: 16267/192522 Time: 45.3121/86400 c Decision: 16267/192522 Time: 52.313/86400 c Decision: 16267/192522 Time: 57.6912/86400 c Decision: 16267/192522 Time: 63.3014/86400 c Decision: 16267/192522 Time: 69.5274/86400 c Decision: 16267/192522 Time: 73.6458/86400 c Decision: 16267/192522 Time: 80.4218/86400 c Decision: 16267/192522 Time: 85.491/86400 c Decision: 16267/192522 Time: 90.3513/86400 c Decision: 16267/192522 Time: 97.4282/86400 c Decision: 16267/192522 Time: 102.967/86400 c Decision: 16267/192522 Time: 109.159/86400 c Decision: 16267/192522 Time: 114.451/86400 c Decision: 16267/192522 Time: 120.278/86400 c Decision: 16267/192522 Time: 125.943/86400 c Decision: 16267/192522 Time: 132.43/86400 c Decision: 16267/192522 Time: 138.408/86400 c Decision: 16267/192522 Time: 143.492/86400 c Decision: 16267/192522 Time: 148.802/86400 c Decision: 16267/192522 Time: 155.971/86400 c Decision: 16267/192522 Time: 162.278/86400 c Decision: 16267/192522 Time: 168.011/86400 c Decision: 16267/192522 Time: 173.819/86400 c Decision: 16267/192522 Time: 178.888/86400 c Decision: 16267/192522 Time: 185.261/86400 c Decision: 16267/192522 Time: 190.585/86400 c Decision: 16267/192522 Time: 195.543/86400 c Decision: 16267/192522 Time: 200.42/86400 c Decision: 16267/192522 Time: 205.236/86400 c Decision: 16267/192522 Time: 210.752/86400 c Decision: 16267/192522 Time: 215.157/86400 c Decision: 16267/192522 Time: 219.367/86400 c Decision: 16267/192522 Time: 226.317/86400 c Decision: 16267/192522 Time: 231.93/86400 c Decision: 16267/192522 Time: 237.36/86400 c Decision: 16267/192522 Time: 242.206/86400 c Decision: 16267/192522 Time: 247.43/86400 c Decision: 16267/192522 Time: 253.514/86400 c Decision: 16267/192522 Time: 258.877/86400 c Decision: 16267/192522 Time: 266.569/86400 c Decision: 16267/192522 Time: 272.99/86400 c Decision: 16267/192522 Time: 277.682/86400 c Decision: 16267/192522 Time: 283.371/86400 c Decision: 16267/192522 Time: 288.739/86400 c Decision: 16267/192522 Time: 293.946/86400 c Decision: 16267/192522 Time: 297.884/86400 c Decision: 16267/192522 Time: 303.592/86400 c Decision: 16267/192522 Time: 309.292/86400 c Decision: 16267/192522 Time: 314.917/86400 c Decision: 16267/192522 Time: 321.411/86400 c Decision: 16267/192522 Time: 327.416/86400 c Decision: 16267/192522 Time: 334.366/86400 c Decision: 16267/192522 Time: 341.002/86400 c Decision: 16267/192522 Time: 346.672/86400 c Decision: 16267/192522 Time: 353.37/86400 c Decision: 16267/192522 Time: 359.289/86400 c Decision: 16267/192522 Time: 365.597/86400 c Decision: 16267/192522 Time: 371.605/86400 c Decision: 16267/192522 Time: 377.439/86400 c Decision: 16267/192522 Time: 384.272/86400 c Decision: 16267/192522 Time: 390.275/86400 c Decision: 16267/192522 Time: 395.996/86400 c Decision: 16267/192522 Time: 401/86400 c Decision: 16267/192522 Time: 406.768/86400 c Decision: 16267/192522 Time: 413.514/86400 c Decision: 16267/192522 Time: 418.983/86400 c Decision: 16267/192522 Time: 424.347/86400 c Decision: 16267/192522 Time: 430.179/86400 c Decision: 16267/192522 Time: 435.575/86400 c Decision: 16267/192522 Time: 441.834/86400 c Decision: 16267/192522 Time: 447.447/86400 c Decision: 16267/192522 Time: 452.953/86400 c Decision: 16267/192522 Time: 458.144/86400 c Decision: 16267/192522 Time: 464.693/86400 c Decision: 16267/192522 Time: 472.408/86400 c Decision: 16267/192522 Time: 477.622/86400 c Decision: 16267/192522 Time: 483.651/86400 c Decision: 16267/192522 Time: 489.455/86400 c Decision: 16267/192522 Time: 494.646/86400 c Decision: 16267/192522 Time: 500.687/86400 c Decision: 16267/192522 Time: 506.76/86400 c Decision: 16267/192522 Time: 512.668/86400 c Decision: 16267/192522 Time: 517.818/86400 c Decision: 16267/192522 Time: 523.412/86400 c Decision: 16267/192522 Time: 530.084/86400 c Decision: 16267/192522 Time: 535.649/86400 c Decision: 16267/192522 Time: 540.971/86400 c Decision: 16267/192522 Time: 546.953/86400 c Decision: 16267/192522 Time: 553.121/86400 c Decision: 16267/192522 Time: 559.708/86400 c Decision: 16267/192522 Time: 565.602/86400 c Decision: 16267/192522 Time: 571.745/86400 c Decision: 16267/192522 Time: 577.293/86400 c Decision: 16267/192522 Time: 582.734/86400 c Decision: 16267/192522 Time: 589.219/86400 c Decision: 16267/192522 Time: 595.089/86400 c Decision: 16267/192522 Time: 601.018/86400 c Decision: 16267/192522 Time: 606.846/86400 c Decision: 16267/192522 Time: 612.504/86400 c Decision: 16267/192522 Time: 619.033/86400 c Decision: 16267/192522 Time: 626.262/86400 c Decision: 16267/192522 Time: 633.575/86400 c Decision: 16267/192522 Time: 639.938/86400 c Decision: 16267/192522 Time: 645.505/86400 c Decision: 16267/192522 Time: 653.347/86400 c Decision: 16267/192522 Time: 660.201/86400 c Decision: 16267/192522 Time: 668.33/86400 c Decision: 16267/192522 Time: 674.455/86400 c Decision: 16267/192522 Time: 680.259/86400 c Decision: 16267/192522 Time: 687.279/86400 c Decision: 16267/192522 Time: 693.462/86400 c Decision: 16267/192522 Time: 699.575/86400 c Decision: 16267/192522 Time: 704.035/86400 c Decision: 16267/192522 Time: 710.236/86400 c Decision: 16267/192522 Time: 716.354/86400 c Decision: 16267/192522 Time: 721.79/86400 c Decision: 16267/192522 Time: 728.444/86400 c Decision: 16267/192522 Time: 734.618/86400 c Decision: 16267/192522 Time: 741.247/86400 c Decision: 16267/192522 Time: 747.564/86400 c Decision: 16267/192522 Time: 753.404/86400 c Decision: 16267/192522 Time: 759.543/86400 c Decision: 16267/192522 Time: 765.651/86400 c Decision: 16267/192522 Time: 772.407/86400 c Decision: 16267/192522 Time: 779.46/86400 c Decision: 16267/192522 Time: 785.965/86400 c Decision: 16267/192522 Time: 791.705/86400 c Decision: 16267/192522 Time: 797.078/86400 c Decision: 16267/192522 Time: 801.948/86400 c Decision: 16267/192522 Time: 807.954/86400 c Decision: 16267/192522 Time: 814.116/86400 c Decision: 16267/192522 Time: 820.39/86400 c Decision: 16267/192522 Time: 826.93/86400 c Decision: 16267/192522 Time: 832.182/86400 c Decision: 16267/192522 Time: 838.717/86400 c Decision: 16267/192522 Time: 845.432/86400 c Decision: 16267/192522 Time: 851.814/86400 c Decision: 16267/192522 Time: 857.569/86400 c Decision: 16267/192522 Time: 863.422/86400 c Decision: 16267/192522 Time: 870.553/86400 c Decision: 16267/192522 Time: 877.044/86400 c Decision: 16267/192522 Time: 883.474/86400 c Decision: 16267/192522 Time: 889.275/86400 c Decision: 16267/192522 Time: 896.107/86400 c Decision: 16267/192522 Time: 903.227/86400 c Decision: 16267/192522 Time: 909.366/86400 c Decision: 16267/192522 Time: 916.886/86400 c Decision: 16267/192522 Time: 924.57/86400 c Decision: 16267/192522 Time: 930.845/86400 c Decision: 16267/192522 Time: 937.667/86400 c Decision: 16267/192522 Time: 944.5/86400 c Decision: 16267/192522 Time: 950.887/86400 c Decision: 16267/192522 Time: 957.633/86400 c Decision: 16267/192522 Time: 964.438/86400 c Decision: 16267/192522 Time: 970.928/86400 c Decision: 16267/192522 Time: 977.55/86400 c Decision: 16267/192522 Time: 984.091/86400 c Decision: 16267/192522 Time: 991.108/86400 c Decision: 16267/192522 Time: 998.58/86400 c Decision: 16267/192522 Time: 1006.97/86400 c Decision: 16267/192522 Time: 1015.17/86400 c Decision: 16267/192522 Time: 1022.76/86400 c Decision: 16267/192522 Time: 1030.2/86400 c Decision: 16267/192522 Time: 1038.33/86400 c Decision: 16267/192522 Time: 1046.75/86400 c Decision: 16267/192522 Time: 1053.19/86400 c Decision: 16267/192522 Time: 1059.63/86400 c Decision: 16267/192522 Time: 1067.47/86400 c Decision: 16267/192522 Time: 1074.62/86400 c Decision: 16267/192522 Time: 1082.97/86400 c Decision: 16267/192522 Time: 1090.33/86400 c Decision: 16267/192522 Time: 1098.28/86400 c Decision: 16267/192522 Time: 1106.1/86400 c Decision: 16267/192522 Time: 1113.47/86400 c Decision: 16267/192522 Time: 1122.21/86400 c Decision: 16267/192522 Time: 1128.99/86400 c Decision: 16267/192522 Time: 1136.23/86400 c Decision: 16267/192522 Time: 1143.95/86400 c Decision: 16267/192522 Time: 1151.02/86400 c Decision: 16267/192522 Time: 1160.54/86400 c Decision: 16267/192522 Time: 1167.75/86400 c Decision: 16267/192522 Time: 1175.13/86400 c Decision: 16267/192522 Time: 1183.75/86400 c Decision: 16267/192522 Time: 1191.35/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/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22486652 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 373 2 364 364 0 9 0 [pid=12546] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb [startup+10.0012 s] Raw data (loadavg): 0.87 0.95 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 26927 0 0 0 930 63 0 0 25 0 1 0 22486652 84033536 15432 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 20516 15432 364 364 0 20152 0 [pid=12546] vsize: 82064 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 82064 [startup+20.0019 s] Raw data (loadavg): 0.89 0.95 0.91 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 27817 0 0 0 1887 78 0 0 25 0 1 0 22486652 87674880 16322 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 21405 16322 364 364 0 21041 0 [pid=12546] vsize: 85620 Current children cumulated CPU time (s) 19.65 Current children cumulated vsize (Kb) 85620 [startup+30.0027 s] Raw data (loadavg): 0.90 0.95 0.91 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 28075 0 0 0 2852 89 0 0 25 0 1 0 22486652 88477696 16580 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 21601 16580 364 364 0 21237 0 [pid=12546] vsize: 86404 Current children cumulated CPU time (s) 29.41 Current children cumulated vsize (Kb) 86404 [startup+40.0035 s] Raw data (loadavg): 0.92 0.95 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 28257 0 0 0 3807 104 0 0 25 0 1 0 22486652 89092096 16762 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 21751 16762 364 364 0 21387 0 [pid=12546] vsize: 87004 Current children cumulated CPU time (s) 39.11 Current children cumulated vsize (Kb) 87004 [startup+50.0042 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 28771 0 0 0 4768 119 0 0 25 0 1 0 22486652 89534464 16899 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 21859 16899 364 364 0 21495 0 [pid=12546] vsize: 87436 Current children cumulated CPU time (s) 48.87 Current children cumulated vsize (Kb) 87436 [startup+60.004 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 29594 0 0 0 5713 138 0 0 25 0 1 0 22486652 91439104 17345 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22324 17345 364 364 0 21960 0 [pid=12546] vsize: 89296 Current children cumulated CPU time (s) 58.51 Current children cumulated vsize (Kb) 89296 [startup+70.0048 s] Raw data (loadavg): 0.95 0.96 0.91 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 30591 0 0 0 6663 155 0 0 25 0 1 0 22486652 92323840 17588 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22540 17588 364 364 0 22176 0 [pid=12546] vsize: 90160 Current children cumulated CPU time (s) 68.18 Current children cumulated vsize (Kb) 90160 [startup+80.0046 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 31416 0 0 0 7601 178 0 0 25 0 1 0 22486652 92651520 17659 4294967295 134512640 135987407 3221224560 3221223376 134876790 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22620 17659 364 364 0 22256 0 [pid=12546] vsize: 90480 Current children cumulated CPU time (s) 77.79 Current children cumulated vsize (Kb) 90480 [startup+90.0054 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 31956 0 0 0 8549 195 0 0 25 0 1 0 22486652 93208576 17822 4294967295 134512640 135987407 3221224560 3221223020 135480899 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22756 17822 364 364 0 22392 0 [pid=12546] vsize: 91024 Current children cumulated CPU time (s) 87.44 Current children cumulated vsize (Kb) 91024 [startup+100.005 s] Raw data (loadavg): 0.97 0.96 0.91 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 32731 0 0 0 9498 212 0 0 21 0 1 0 22486652 93405184 17843 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12546/statm): 22804 17843 364 364 0 22440 0 [pid=12546] vsize: 91216 Current children cumulated CPU time (s) 97.1 Current children cumulated vsize (Kb) 91216 [startup+110.006 s] Raw data (loadavg): 1.05 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 33498 0 0 0 10436 234 0 0 25 0 1 0 22486652 93405184 17856 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22804 17856 364 364 0 22440 0 [pid=12546] vsize: 91216 Current children cumulated CPU time (s) 106.7 Current children cumulated vsize (Kb) 91216 [startup+120.006 s] Raw data (loadavg): 1.04 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 33917 0 0 0 11369 257 0 0 25 0 1 0 22486652 93569024 17898 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22844 17898 364 364 0 22480 0 [pid=12546] vsize: 91376 Current children cumulated CPU time (s) 116.26 Current children cumulated vsize (Kb) 91376 [startup+130.006 s] Raw data (loadavg): 1.03 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 34724 0 0 0 12302 281 0 0 17 0 1 0 22486652 93712384 17951 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 22879 17951 364 364 0 22515 0 [pid=12546] vsize: 91516 Current children cumulated CPU time (s) 125.83 Current children cumulated vsize (Kb) 91516 [startup+140.006 s] Raw data (loadavg): 1.03 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 35554 0 0 0 13237 303 0 0 25 0 1 0 22486652 94072832 18027 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 22967 18027 364 364 0 22603 0 [pid=12546] vsize: 91868 Current children cumulated CPU time (s) 135.4 Current children cumulated vsize (Kb) 91868 [startup+150.007 s] Raw data (loadavg): 1.02 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 35978 0 0 0 14161 329 0 0 25 0 1 0 22486652 94433280 18074 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23055 18074 364 364 0 22691 0 [pid=12546] vsize: 92220 Current children cumulated CPU time (s) 144.9 Current children cumulated vsize (Kb) 92220 [startup+160.007 s] Raw data (loadavg): 1.02 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 36802 0 0 0 15084 355 0 0 25 0 1 0 22486652 94597120 18144 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23095 18144 364 364 0 22731 0 [pid=12546] vsize: 92380 Current children cumulated CPU time (s) 154.39 Current children cumulated vsize (Kb) 92380 [startup+170.008 s] Raw data (loadavg): 1.02 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 37577 0 0 0 16025 378 0 0 25 0 1 0 22486652 94760960 18165 4294967295 134512640 135987407 3221224560 3221223364 134877017 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23135 18165 364 364 0 22771 0 [pid=12546] vsize: 92540 Current children cumulated CPU time (s) 164.03 Current children cumulated vsize (Kb) 92540 [startup+180.007 s] Raw data (loadavg): 1.01 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 37987 0 0 0 16948 404 0 0 25 0 1 0 22486652 94924800 18198 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23175 18198 364 364 0 22811 0 [pid=12546] vsize: 92700 Current children cumulated CPU time (s) 173.52 Current children cumulated vsize (Kb) 92700 [startup+190.008 s] Raw data (loadavg): 1.01 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 38748 0 0 0 17871 432 0 0 25 0 1 0 22486652 94924800 18205 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23175 18205 364 364 0 22811 0 [pid=12546] vsize: 92700 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (Kb) 92700 [startup+200.008 s] Raw data (loadavg): 1.01 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 39137 0 0 0 18794 458 0 0 25 0 1 0 22486652 94924800 18217 4294967295 134512640 135987407 3221224560 3221223280 134813842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23175 18217 364 364 0 22811 0 [pid=12546] vsize: 92700 Current children cumulated CPU time (s) 192.52 Current children cumulated vsize (Kb) 92700 [startup+210.008 s] Raw data (loadavg): 1.01 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 39918 0 0 0 19721 482 0 0 25 0 1 0 22486652 94924800 18244 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23175 18244 364 364 0 22811 0 [pid=12546] vsize: 92700 Current children cumulated CPU time (s) 202.03 Current children cumulated vsize (Kb) 92700 [startup+220.009 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 40714 0 0 0 20653 506 0 0 25 0 1 0 22486652 94924800 18286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23175 18286 364 364 0 22811 0 [pid=12546] vsize: 92700 Current children cumulated CPU time (s) 211.59 Current children cumulated vsize (Kb) 92700 [startup+230.008 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 41513 0 0 0 21596 526 0 0 17 0 1 0 22486652 95059968 18331 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23208 18331 364 364 0 22844 0 [pid=12546] vsize: 92832 Current children cumulated CPU time (s) 221.22 Current children cumulated vsize (Kb) 92832 [startup+240.009 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 42309 0 0 0 22536 546 0 0 24 0 1 0 22486652 95195136 18373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23241 18373 364 364 0 22877 0 [pid=12546] vsize: 92964 Current children cumulated CPU time (s) 230.82 Current children cumulated vsize (Kb) 92964 [startup+250.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 43105 0 0 0 23469 571 0 0 25 0 1 0 22486652 96890880 18792 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23655 18792 364 364 0 23291 0 [pid=12546] vsize: 94620 Current children cumulated CPU time (s) 240.4 Current children cumulated vsize (Kb) 94620 [startup+260.01 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 43512 0 0 0 24402 594 0 0 25 0 1 0 22486652 95346688 18445 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23278 18445 364 364 0 22914 0 [pid=12546] vsize: 93112 Current children cumulated CPU time (s) 249.96 Current children cumulated vsize (Kb) 93112 [startup+270.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 44298 0 0 0 25338 616 0 0 25 0 1 0 22486652 95346688 18477 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23278 18477 364 364 0 22914 0 [pid=12546] vsize: 93112 Current children cumulated CPU time (s) 259.54 Current children cumulated vsize (Kb) 93112 [startup+280.011 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 45098 0 0 0 26272 642 0 0 25 0 1 0 22486652 95481856 18523 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23311 18523 364 364 0 22947 0 [pid=12546] vsize: 93244 Current children cumulated CPU time (s) 269.14 Current children cumulated vsize (Kb) 93244 [startup+290.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 45495 0 0 0 27209 665 0 0 25 0 1 0 22486652 95633408 18543 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23348 18543 364 364 0 22984 0 [pid=12546] vsize: 93392 Current children cumulated CPU time (s) 278.74 Current children cumulated vsize (Kb) 93392 [startup+300.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 46292 0 0 0 28144 689 0 0 25 0 1 0 22486652 95633408 18586 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23348 18586 364 364 0 22984 0 [pid=12546] vsize: 93392 Current children cumulated CPU time (s) 288.33 Current children cumulated vsize (Kb) 93392 [startup+310.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 47085 0 0 0 29080 712 0 0 25 0 1 0 22486652 95797248 18625 4294967295 134512640 135987407 3221224560 3221223248 134788869 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23388 18625 364 364 0 23024 0 [pid=12546] vsize: 93552 Current children cumulated CPU time (s) 297.92 Current children cumulated vsize (Kb) 93552 [startup+320.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 47905 0 0 0 30025 732 0 0 25 0 1 0 22486652 95940608 18691 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23423 18691 364 364 0 23059 0 [pid=12546] vsize: 93692 Current children cumulated CPU time (s) 307.57 Current children cumulated vsize (Kb) 93692 [startup+330.012 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 48304 0 0 0 30952 756 0 0 25 0 1 0 22486652 95940608 18713 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23423 18713 364 364 0 23059 0 [pid=12546] vsize: 93692 Current children cumulated CPU time (s) 317.08 Current children cumulated vsize (Kb) 93692 [startup+340.013 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 49086 0 0 0 31890 777 0 0 25 0 1 0 22486652 96071680 18741 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23455 18741 364 364 0 23091 0 [pid=12546] vsize: 93820 Current children cumulated CPU time (s) 326.67 Current children cumulated vsize (Kb) 93820 [startup+350.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 49866 0 0 0 32828 800 0 0 25 0 1 0 22486652 96071680 18767 4294967295 134512640 135987407 3221224560 3221223248 134812169 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23455 18767 364 364 0 23091 0 [pid=12546] vsize: 93820 Current children cumulated CPU time (s) 336.28 Current children cumulated vsize (Kb) 93820 [startup+360.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 50275 0 0 0 33758 824 0 0 25 0 1 0 22486652 96231424 18799 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23494 18799 364 364 0 23130 0 [pid=12546] vsize: 93976 Current children cumulated CPU time (s) 345.82 Current children cumulated vsize (Kb) 93976 [startup+370.014 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 50694 0 0 0 34689 849 0 0 25 0 1 0 22486652 96231424 18841 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23494 18841 364 364 0 23130 0 [pid=12546] vsize: 93976 Current children cumulated CPU time (s) 355.38 Current children cumulated vsize (Kb) 93976 [startup+380.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 51095 0 0 0 35612 876 0 0 25 0 1 0 22486652 96395264 18865 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23534 18865 364 364 0 23170 0 [pid=12546] vsize: 94136 Current children cumulated CPU time (s) 364.88 Current children cumulated vsize (Kb) 94136 [startup+390.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 51879 0 0 0 36542 901 0 0 25 0 1 0 22486652 96395264 18895 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23534 18895 364 364 0 23170 0 [pid=12546] vsize: 94136 Current children cumulated CPU time (s) 374.43 Current children cumulated vsize (Kb) 94136 [startup+400.016 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 52304 0 0 0 37471 926 0 0 25 0 1 0 22486652 96563200 18943 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23575 18943 364 364 0 23211 0 [pid=12546] vsize: 94300 Current children cumulated CPU time (s) 383.97 Current children cumulated vsize (Kb) 94300 [startup+410.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 53085 0 0 0 38409 949 0 0 25 0 1 0 22486652 96563200 18970 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23575 18970 364 364 0 23211 0 [pid=12546] vsize: 94300 Current children cumulated CPU time (s) 393.58 Current children cumulated vsize (Kb) 94300 [startup+420.017 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 53503 0 0 0 39328 974 0 0 25 0 1 0 22486652 96698368 19011 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23608 19011 364 364 0 23244 0 [pid=12546] vsize: 94432 Current children cumulated CPU time (s) 403.02 Current children cumulated vsize (Kb) 94432 [startup+430.017 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 54293 0 0 0 40258 997 0 0 25 0 1 0 22486652 96698368 19047 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23608 19047 364 364 0 23244 0 [pid=12546] vsize: 94432 Current children cumulated CPU time (s) 412.55 Current children cumulated vsize (Kb) 94432 [startup+440.018 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 55070 0 0 0 41197 1016 0 0 25 0 1 0 22486652 96829440 19070 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23640 19070 364 364 0 23276 0 [pid=12546] vsize: 94560 Current children cumulated CPU time (s) 422.13 Current children cumulated vsize (Kb) 94560 [startup+450.019 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 55477 0 0 0 42119 1044 0 0 25 0 1 0 22486652 96829440 19100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23640 19100 364 364 0 23276 0 [pid=12546] vsize: 94560 Current children cumulated CPU time (s) 431.63 Current children cumulated vsize (Kb) 94560 [startup+460.018 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 56268 0 0 0 43051 1066 0 0 25 0 1 0 22486652 96960512 19137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23672 19137 364 364 0 23308 0 [pid=12546] vsize: 94688 Current children cumulated CPU time (s) 441.17 Current children cumulated vsize (Kb) 94688 [startup+470.019 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 57052 0 0 0 43988 1086 0 0 25 0 1 0 22486652 96960512 19167 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23672 19167 364 364 0 23308 0 [pid=12546] vsize: 94688 Current children cumulated CPU time (s) 450.74 Current children cumulated vsize (Kb) 94688 [startup+480.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 57457 0 0 0 44913 1113 0 0 23 0 1 0 22486652 97095680 19195 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23705 19195 364 364 0 23341 0 [pid=12546] vsize: 94820 Current children cumulated CPU time (s) 460.26 Current children cumulated vsize (Kb) 94820 [startup+490.02 s] Raw data (loadavg): 1.00 0.98 0.92 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 58247 0 0 0 45855 1133 0 0 25 0 1 0 22486652 97095680 19231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23705 19231 364 364 0 23341 0 [pid=12546] vsize: 94820 Current children cumulated CPU time (s) 469.88 Current children cumulated vsize (Kb) 94820 [startup+500.02 s] Raw data (loadavg): 1.08 0.99 0.93 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 58653 0 0 0 46792 1155 0 0 25 0 1 0 22486652 97095680 19260 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23705 19260 364 364 0 23341 0 [pid=12546] vsize: 94820 Current children cumulated CPU time (s) 479.47 Current children cumulated vsize (Kb) 94820 [startup+510.019 s] Raw data (loadavg): 1.07 0.99 0.93 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 59435 0 0 0 47738 1174 0 0 25 0 1 0 22486652 97226752 19288 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23737 19288 364 364 0 23373 0 [pid=12546] vsize: 94948 Current children cumulated CPU time (s) 489.12 Current children cumulated vsize (Kb) 94948 [startup+520.02 s] Raw data (loadavg): 1.06 0.99 0.93 1/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 60225 0 0 0 48669 1196 0 0 25 0 1 0 22486652 97226752 19324 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12546/statm): 23737 19324 364 364 0 23373 0 [pid=12546] vsize: 94948 Current children cumulated CPU time (s) 498.65 Current children cumulated vsize (Kb) 94948 [startup+530.021 s] Raw data (loadavg): 1.05 0.99 0.93 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 61015 0 0 0 49604 1221 0 0 25 0 1 0 22486652 98906112 19737 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24147 19737 364 364 0 23783 0 [pid=12546] vsize: 96588 Current children cumulated CPU time (s) 508.25 Current children cumulated vsize (Kb) 96588 [startup+540.022 s] Raw data (loadavg): 1.04 0.99 0.93 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 61420 0 0 0 50546 1241 0 0 25 0 1 0 22486652 97361920 19388 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23770 19388 364 364 0 23406 0 [pid=12546] vsize: 95080 Current children cumulated CPU time (s) 517.87 Current children cumulated vsize (Kb) 95080 [startup+550.023 s] Raw data (loadavg): 1.03 0.99 0.93 2/55 12546 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 62229 0 0 0 51481 1263 0 0 25 0 1 0 22486652 97550336 19443 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23816 19443 364 364 0 23452 0 [pid=12546] vsize: 95264 Current children cumulated CPU time (s) 527.44 Current children cumulated vsize (Kb) 95264 [startup+560.022 s] Raw data (loadavg): 1.03 0.99 0.93 1/55 12601 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 62635 0 0 0 52396 1294 0 0 25 0 1 0 22486652 97550336 19472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23816 19472 364 364 0 23452 0 [pid=12546] vsize: 95264 Current children cumulated CPU time (s) 536.9 Current children cumulated vsize (Kb) 95264 [startup+570.022 s] Raw data (loadavg): 1.02 0.99 0.93 1/55 12601 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 63423 0 0 0 53335 1314 0 0 25 0 1 0 22486652 97550336 19506 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23816 19506 364 364 0 23452 0 [pid=12546] vsize: 95264 Current children cumulated CPU time (s) 546.49 Current children cumulated vsize (Kb) 95264 [startup+580.022 s] Raw data (loadavg): 1.02 0.99 0.93 2/55 12601 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 64213 0 0 0 54267 1337 0 0 25 0 1 0 22486652 97681408 19542 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23848 19542 364 364 0 23484 0 [pid=12546] vsize: 95392 Current children cumulated CPU time (s) 556.04 Current children cumulated vsize (Kb) 95392 [startup+590.024 s] Raw data (loadavg): 1.02 0.99 0.93 1/55 12601 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 64641 0 0 0 55206 1358 0 0 25 0 1 0 22486652 97812480 19593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23880 19593 364 364 0 23516 0 [pid=12546] vsize: 95520 Current children cumulated CPU time (s) 565.64 Current children cumulated vsize (Kb) 95520 [startup+600.023 s] Raw data (loadavg): 1.01 0.99 0.93 2/55 12601 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 65431 0 0 0 56147 1379 0 0 25 0 1 0 22486652 97812480 19629 4294967295 134512640 135987407 3221224560 3221223376 134816524 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23880 19629 364 364 0 23516 0 [pid=12546] vsize: 95520 Current children cumulated CPU time (s) 575.26 Current children cumulated vsize (Kb) 95520 [startup+610.023 s] Raw data (loadavg): 1.01 0.99 0.93 2/57 12603 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 65839 0 0 0 57071 1403 0 0 18 0 1 0 22486652 97943552 19660 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23912 19660 364 364 0 23548 0 [pid=12546] vsize: 95648 Current children cumulated CPU time (s) 584.74 Current children cumulated vsize (Kb) 95648 [startup+620.024 s] Raw data (loadavg): 1.01 0.99 0.93 2/55 12605 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 66635 0 0 0 58013 1425 0 0 25 0 1 0 22486652 97943552 19702 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23912 19702 364 364 0 23548 0 [pid=12546] vsize: 95648 Current children cumulated CPU time (s) 594.38 Current children cumulated vsize (Kb) 95648 [startup+630.024 s] Raw data (loadavg): 1.01 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 67415 0 0 0 58956 1444 0 0 25 0 1 0 22486652 98078720 19728 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23945 19728 364 364 0 23581 0 [pid=12546] vsize: 95780 Current children cumulated CPU time (s) 604 Current children cumulated vsize (Kb) 95780 [startup+640.025 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 67834 0 0 0 59886 1468 0 0 25 0 1 0 22486652 98078720 19770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23945 19770 364 364 0 23581 0 [pid=12546] vsize: 95780 Current children cumulated CPU time (s) 613.54 Current children cumulated vsize (Kb) 95780 [startup+650.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 68620 0 0 0 60817 1493 0 0 25 0 1 0 22486652 98209792 19802 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23977 19802 364 364 0 23613 0 [pid=12546] vsize: 95908 Current children cumulated CPU time (s) 623.1 Current children cumulated vsize (Kb) 95908 [startup+660.025 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 69018 0 0 0 61756 1515 0 0 25 0 1 0 22486652 98209792 19823 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 23977 19823 364 364 0 23613 0 [pid=12546] vsize: 95908 Current children cumulated CPU time (s) 632.71 Current children cumulated vsize (Kb) 95908 [startup+670.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 69819 0 0 0 62698 1535 0 0 25 0 1 0 22486652 98353152 19870 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24012 19870 364 364 0 23648 0 [pid=12546] vsize: 96048 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (Kb) 96048 [startup+680.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 69840 0 0 0 63625 1557 0 0 25 0 1 0 22486652 98353152 19891 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24012 19891 364 364 0 23648 0 [pid=12546] vsize: 96048 Current children cumulated CPU time (s) 651.82 Current children cumulated vsize (Kb) 96048 [startup+690.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 70620 0 0 0 64564 1578 0 0 25 0 1 0 22486652 98353152 19917 4294967295 134512640 135987407 3221224560 3221223328 134882544 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24012 19917 364 364 0 23648 0 [pid=12546] vsize: 96048 Current children cumulated CPU time (s) 661.42 Current children cumulated vsize (Kb) 96048 [startup+700.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 71026 0 0 0 65502 1601 0 0 25 0 1 0 22486652 98484224 19946 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24044 19946 364 364 0 23680 0 [pid=12546] vsize: 96176 Current children cumulated CPU time (s) 671.03 Current children cumulated vsize (Kb) 96176 [startup+710.025 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 71060 0 0 0 66434 1623 0 0 25 0 1 0 22486652 98615296 19980 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24076 19980 364 364 0 23712 0 [pid=12546] vsize: 96304 Current children cumulated CPU time (s) 680.57 Current children cumulated vsize (Kb) 96304 [startup+720.026 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 71859 0 0 0 67373 1645 0 0 25 0 1 0 22486652 98615296 20025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24076 20025 364 364 0 23712 0 [pid=12546] vsize: 96304 Current children cumulated CPU time (s) 690.18 Current children cumulated vsize (Kb) 96304 [startup+730.027 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 72274 0 0 0 68312 1667 0 0 25 0 1 0 22486652 98750464 20063 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24109 20063 364 364 0 23745 0 [pid=12546] vsize: 96436 Current children cumulated CPU time (s) 699.79 Current children cumulated vsize (Kb) 96436 [startup+740.027 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 73066 0 0 0 69252 1687 0 0 25 0 1 0 22486652 98926592 20101 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24152 20101 364 364 0 23788 0 [pid=12546] vsize: 96608 Current children cumulated CPU time (s) 709.39 Current children cumulated vsize (Kb) 96608 [startup+750.027 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 73859 0 0 0 70189 1711 0 0 25 0 1 0 22486652 98926592 20140 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24152 20140 364 364 0 23788 0 [pid=12546] vsize: 96608 Current children cumulated CPU time (s) 719 Current children cumulated vsize (Kb) 96608 [startup+760.028 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 74269 0 0 0 71130 1732 0 0 25 0 1 0 22486652 99057664 20173 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24184 20173 364 364 0 23820 0 [pid=12546] vsize: 96736 Current children cumulated CPU time (s) 728.62 Current children cumulated vsize (Kb) 96736 [startup+770.03 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 75052 0 0 0 72079 1751 0 0 25 0 1 0 22486652 99057664 20202 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24184 20202 364 364 0 23820 0 [pid=12546] vsize: 96736 Current children cumulated CPU time (s) 738.3 Current children cumulated vsize (Kb) 96736 [startup+780.03 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 75474 0 0 0 73024 1768 0 0 25 0 1 0 22486652 99192832 20247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24217 20247 364 364 0 23853 0 [pid=12546] vsize: 96868 Current children cumulated CPU time (s) 747.92 Current children cumulated vsize (Kb) 96868 [startup+790.03 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 75879 0 0 0 73970 1787 0 0 25 0 1 0 22486652 99192832 20275 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24217 20275 364 364 0 23853 0 [pid=12546] vsize: 96868 Current children cumulated CPU time (s) 757.57 Current children cumulated vsize (Kb) 96868 [startup+800.031 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 76303 0 0 0 74899 1814 0 0 25 0 1 0 22486652 99328000 20322 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24250 20322 364 364 0 23886 0 [pid=12546] vsize: 97000 Current children cumulated CPU time (s) 767.13 Current children cumulated vsize (Kb) 97000 [startup+810.031 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 77093 0 0 0 75840 1835 0 0 25 0 1 0 22486652 99328000 20358 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24250 20358 364 364 0 23886 0 [pid=12546] vsize: 97000 Current children cumulated CPU time (s) 776.75 Current children cumulated vsize (Kb) 97000 [startup+820.032 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 77499 0 0 0 76767 1858 0 0 25 0 1 0 22486652 99463168 20387 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24283 20387 364 364 0 23919 0 [pid=12546] vsize: 97132 Current children cumulated CPU time (s) 786.25 Current children cumulated vsize (Kb) 97132 [startup+830.032 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 78273 0 0 0 77705 1881 0 0 25 0 1 0 22486652 99463168 20407 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24283 20407 364 364 0 23919 0 [pid=12546] vsize: 97132 Current children cumulated CPU time (s) 795.86 Current children cumulated vsize (Kb) 97132 [startup+840.033 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 79047 0 0 0 78643 1902 0 0 25 0 1 0 22486652 101007360 20804 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24660 20804 364 364 0 24296 0 [pid=12546] vsize: 98640 Current children cumulated CPU time (s) 805.45 Current children cumulated vsize (Kb) 98640 [startup+850.033 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 79458 0 0 0 79583 1922 0 0 25 0 1 0 22486652 99598336 20461 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24316 20461 364 364 0 23952 0 [pid=12546] vsize: 97264 Current children cumulated CPU time (s) 815.05 Current children cumulated vsize (Kb) 97264 [startup+860.033 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 80236 0 0 0 80523 1942 0 0 25 0 1 0 22486652 99598336 20485 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24316 20485 364 364 0 23952 0 [pid=12546] vsize: 97264 Current children cumulated CPU time (s) 824.65 Current children cumulated vsize (Kb) 97264 [startup+870.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 80650 0 0 0 81464 1962 0 0 25 0 1 0 22486652 99762176 20522 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24356 20522 364 364 0 23992 0 [pid=12546] vsize: 97424 Current children cumulated CPU time (s) 834.26 Current children cumulated vsize (Kb) 97424 [startup+880.033 s] Raw data (loadavg): 1.00 0.99 0.93 1/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 81433 0 0 0 82401 1985 0 0 25 0 1 0 22486652 99762176 20551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24356 20551 364 364 0 23992 0 [pid=12546] vsize: 97424 Current children cumulated CPU time (s) 843.86 Current children cumulated vsize (Kb) 97424 [startup+890.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/55 12607 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 81832 0 0 0 83343 2006 0 0 25 0 1 0 22486652 99762176 20573 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24356 20573 364 364 0 23992 0 [pid=12546] vsize: 97424 Current children cumulated CPU time (s) 853.49 Current children cumulated vsize (Kb) 97424 [startup+900.035 s] Raw data (loadavg): 1.07 1.01 0.93 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 82623 0 0 0 84286 2025 0 0 25 0 1 0 22486652 99897344 20610 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24389 20610 364 364 0 24025 0 [pid=12546] vsize: 97556 Current children cumulated CPU time (s) 863.11 Current children cumulated vsize (Kb) 97556 [startup+910.035 s] Raw data (loadavg): 1.06 1.01 0.93 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 83411 0 0 0 85220 2049 0 0 25 0 1 0 22486652 99897344 20644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24389 20644 364 364 0 24025 0 [pid=12546] vsize: 97556 Current children cumulated CPU time (s) 872.69 Current children cumulated vsize (Kb) 97556 [startup+920.035 s] Raw data (loadavg): 1.05 1.01 0.93 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 83820 0 0 0 86161 2067 0 0 25 0 1 0 22486652 100040704 20676 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24424 20676 364 364 0 24060 0 [pid=12546] vsize: 97696 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (Kb) 97696 [startup+930.035 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 84603 0 0 0 87100 2089 0 0 25 0 1 0 22486652 101584896 21082 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24801 21082 364 364 0 24437 0 [pid=12546] vsize: 99204 Current children cumulated CPU time (s) 891.89 Current children cumulated vsize (Kb) 99204 [startup+940.036 s] Raw data (loadavg): 1.04 1.01 0.93 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 85012 0 0 0 88041 2109 0 0 25 0 1 0 22486652 100040704 20737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24424 20737 364 364 0 24060 0 [pid=12546] vsize: 97696 Current children cumulated CPU time (s) 901.5 Current children cumulated vsize (Kb) 97696 [startup+950.037 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 85805 0 0 0 88986 2126 0 0 25 0 1 0 22486652 100175872 20776 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24457 20776 364 364 0 24093 0 [pid=12546] vsize: 97828 Current children cumulated CPU time (s) 911.12 Current children cumulated vsize (Kb) 97828 [startup+960.037 s] Raw data (loadavg): 1.10 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 86218 0 0 0 89928 2147 0 0 23 0 1 0 22486652 100327424 20812 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24494 20812 364 364 0 24130 0 [pid=12546] vsize: 97976 Current children cumulated CPU time (s) 920.75 Current children cumulated vsize (Kb) 97976 [startup+970.038 s] Raw data (loadavg): 1.08 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 86609 0 0 0 90870 2168 0 0 25 0 1 0 22486652 100327424 20826 4294967295 134512640 135987407 3221224560 3221223376 134816504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24494 20826 364 364 0 24130 0 [pid=12546] vsize: 97976 Current children cumulated CPU time (s) 930.38 Current children cumulated vsize (Kb) 97976 [startup+980.037 s] Raw data (loadavg): 1.07 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 87383 0 0 0 91815 2189 0 0 25 0 1 0 22486652 100327424 20846 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24494 20846 364 364 0 24130 0 [pid=12546] vsize: 97976 Current children cumulated CPU time (s) 940.04 Current children cumulated vsize (Kb) 97976 [startup+990.038 s] Raw data (loadavg): 1.06 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 87781 0 0 0 92758 2208 0 0 25 0 1 0 22486652 100327424 20867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24494 20867 364 364 0 24130 0 [pid=12546] vsize: 97976 Current children cumulated CPU time (s) 949.66 Current children cumulated vsize (Kb) 97976 [startup+1000.04 s] Raw data (loadavg): 1.05 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 88554 0 0 0 93701 2225 0 0 25 0 1 0 22486652 101871616 21263 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24871 21263 364 364 0 24507 0 [pid=12546] vsize: 99484 Current children cumulated CPU time (s) 959.26 Current children cumulated vsize (Kb) 99484 [startup+1010.04 s] Raw data (loadavg): 1.04 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 88955 0 0 0 94640 2247 0 0 25 0 1 0 22486652 100327424 20910 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24494 20910 364 364 0 24130 0 [pid=12546] vsize: 97976 Current children cumulated CPU time (s) 968.87 Current children cumulated vsize (Kb) 97976 [startup+1020.04 s] Raw data (loadavg): 1.03 1.02 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 89741 0 0 0 95578 2266 0 0 25 0 1 0 22486652 102002688 21319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24903 21319 364 364 0 24539 0 [pid=12546] vsize: 99612 Current children cumulated CPU time (s) 978.44 Current children cumulated vsize (Kb) 99612 [startup+1030.04 s] Raw data (loadavg): 1.03 1.01 0.94 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 90151 0 0 0 96528 2284 0 0 25 0 1 0 22486652 100458496 20975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24526 20975 364 364 0 24162 0 [pid=12546] vsize: 98104 Current children cumulated CPU time (s) 988.12 Current children cumulated vsize (Kb) 98104 [startup+1040.04 s] Raw data (loadavg): 1.10 1.03 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 90565 0 0 0 97465 2307 0 0 25 0 1 0 22486652 100589568 21012 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24558 21012 364 364 0 24194 0 [pid=12546] vsize: 98232 Current children cumulated CPU time (s) 997.72 Current children cumulated vsize (Kb) 98232 [startup+1050.04 s] Raw data (loadavg): 1.09 1.03 0.94 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 91342 0 0 0 98413 2325 0 0 25 0 1 0 22486652 100589568 21035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24558 21035 364 364 0 24194 0 [pid=12546] vsize: 98232 Current children cumulated CPU time (s) 1007.38 Current children cumulated vsize (Kb) 98232 [startup+1060.04 s] Raw data (loadavg): 1.07 1.03 0.94 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 91738 0 0 0 99361 2343 0 0 25 0 1 0 22486652 100720640 21054 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24590 21054 364 364 0 24226 0 [pid=12546] vsize: 98360 Current children cumulated CPU time (s) 1017.04 Current children cumulated vsize (Kb) 98360 [startup+1070.04 s] Raw data (loadavg): 1.06 1.03 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92144 0 0 0 100307 2363 0 0 25 0 1 0 22486652 100720640 21083 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24590 21083 364 364 0 24226 0 [pid=12546] vsize: 98360 Current children cumulated CPU time (s) 1026.7 Current children cumulated vsize (Kb) 98360 [startup+1080.04 s] Raw data (loadavg): 1.05 1.03 0.94 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92545 0 0 0 101240 2385 0 0 25 0 1 0 22486652 100720640 21107 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24590 21107 364 364 0 24226 0 [pid=12546] vsize: 98360 Current children cumulated CPU time (s) 1036.25 Current children cumulated vsize (Kb) 98360 [startup+1090.04 s] Raw data (loadavg): 1.12 1.04 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92946 0 0 0 102178 2404 0 0 25 0 1 0 22486652 100720640 21131 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24590 21131 364 364 0 24226 0 [pid=12546] vsize: 98360 Current children cumulated CPU time (s) 1045.82 Current children cumulated vsize (Kb) 98360 [startup+1100.04 s] Raw data (loadavg): 1.10 1.04 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 93721 0 0 0 103129 2421 0 0 25 0 1 0 22486652 100855808 21152 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24623 21152 364 364 0 24259 0 [pid=12546] vsize: 98492 Current children cumulated CPU time (s) 1055.5 Current children cumulated vsize (Kb) 98492 [startup+1110.04 s] Raw data (loadavg): 1.08 1.04 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 94124 0 0 0 104066 2443 0 0 25 0 1 0 22486652 100855808 21178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24623 21178 364 364 0 24259 0 [pid=12546] vsize: 98492 Current children cumulated CPU time (s) 1065.09 Current children cumulated vsize (Kb) 98492 [startup+1120.04 s] Raw data (loadavg): 1.07 1.03 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 94528 0 0 0 105006 2464 0 0 25 0 1 0 22486652 100855808 21205 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24623 21205 364 364 0 24259 0 [pid=12546] vsize: 98492 Current children cumulated CPU time (s) 1074.7 Current children cumulated vsize (Kb) 98492 [startup+1130.04 s] Raw data (loadavg): 1.06 1.03 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 95313 0 0 0 105949 2483 0 0 25 0 1 0 22486652 100990976 21236 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24656 21236 364 364 0 24292 0 [pid=12546] vsize: 98624 Current children cumulated CPU time (s) 1084.32 Current children cumulated vsize (Kb) 98624 [startup+1140.04 s] Raw data (loadavg): 1.05 1.03 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 95713 0 0 0 106893 2503 0 0 25 0 1 0 22486652 100990976 21259 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24656 21259 364 364 0 24292 0 [pid=12546] vsize: 98624 Current children cumulated CPU time (s) 1093.96 Current children cumulated vsize (Kb) 98624 [startup+1150.04 s] Raw data (loadavg): 1.04 1.03 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 96110 0 0 0 107838 2522 0 0 25 0 1 0 22486652 100990976 21279 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24656 21279 364 364 0 24292 0 [pid=12546] vsize: 98624 Current children cumulated CPU time (s) 1103.6 Current children cumulated vsize (Kb) 98624 [startup+1160.04 s] Raw data (loadavg): 1.03 1.03 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 96505 0 0 0 108782 2540 0 0 25 0 1 0 22486652 101126144 21297 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24689 21297 364 364 0 24325 0 [pid=12546] vsize: 98756 Current children cumulated CPU time (s) 1113.22 Current children cumulated vsize (Kb) 98756 [startup+1170.04 s] Raw data (loadavg): 1.03 1.03 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 97283 0 0 0 109724 2560 0 0 25 0 1 0 22486652 101126144 21321 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24689 21321 364 364 0 24325 0 [pid=12546] vsize: 98756 Current children cumulated CPU time (s) 1122.84 Current children cumulated vsize (Kb) 98756 [startup+1180.05 s] Raw data (loadavg): 1.02 1.03 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 97684 0 0 0 110669 2578 0 0 25 0 1 0 22486652 101126144 21345 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24689 21345 364 364 0 24325 0 [pid=12546] vsize: 98756 Current children cumulated CPU time (s) 1132.47 Current children cumulated vsize (Kb) 98756 [startup+1190.05 s] Raw data (loadavg): 1.02 1.02 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 98083 0 0 0 111611 2600 0 0 25 0 1 0 22486652 101126144 21367 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24689 21367 364 364 0 24325 0 [pid=12546] vsize: 98756 Current children cumulated CPU time (s) 1142.11 Current children cumulated vsize (Kb) 98756 [startup+1200.05 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 98490 0 0 0 112560 2617 0 0 25 0 1 0 22486652 101257216 21397 4294967295 134512640 135987407 3221224560 3221223280 134813795 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24721 21397 364 364 0 24357 0 [pid=12546] vsize: 98884 Current children cumulated CPU time (s) 1151.77 Current children cumulated vsize (Kb) 98884 [startup+1210.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 99273 0 0 0 113507 2635 0 0 25 0 1 0 22486652 101257216 21426 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24721 21426 364 364 0 24357 0 [pid=12546] vsize: 98884 Current children cumulated CPU time (s) 1161.42 Current children cumulated vsize (Kb) 98884 [startup+1220.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 99666 0 0 0 114460 2651 0 0 25 0 1 0 22486652 101392384 21442 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24754 21442 364 364 0 24390 0 [pid=12546] vsize: 99016 Current children cumulated CPU time (s) 1171.11 Current children cumulated vsize (Kb) 99016 [startup+1230.05 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 100066 0 0 0 115408 2669 0 0 25 0 1 0 22486652 101392384 21465 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24754 21465 364 364 0 24390 0 [pid=12546] vsize: 99016 Current children cumulated CPU time (s) 1180.77 Current children cumulated vsize (Kb) 99016 [startup+1240.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 100475 0 0 0 116353 2688 0 0 25 0 1 0 22486652 101392384 21497 4294967295 134512640 135987407 3221224560 3221223120 134788443 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12546/statm): 24754 21497 364 364 0 24390 0 [pid=12546] vsize: 99016 Current children cumulated CPU time (s) 1190.41 Current children cumulated vsize (Kb) 99016 [startup+1250.05 s] Raw data (loadavg): 1.00 1.02 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 101261 0 0 0 117304 2707 0 0 25 0 1 0 22486652 101584896 21529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24801 21529 364 364 0 24437 0 [pid=12546] vsize: 99204 Current children cumulated CPU time (s) 1200.11 Current children cumulated vsize (Kb) 99204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.05 s] Raw data (loadavg): 1.00 1.02 0.95 1/55 12609 Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 101261 0 0 0 117304 2707 0 0 25 0 1 0 22486652 101584896 21529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12546/statm): 24801 21529 364 364 0 24437 0 [pid=12546] vsize: 99204 Current children cumulated CPU time (s) 1200.11 Current children cumulated vsize (Kb) 99204 Sending SIGTERM to -12546 Sleeping 2 seconds One traced child (pid=12546) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1250.38 CPU time (s): 1200.45 CPU user time (s): 1173.33 CPU system time (s): 27.1209 CPU usage (%): 96.0064 Max. virtual memory (cumulated for all children) (Kb): 99612
ERROR: no interpretation found !