Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | df52a42b636b50954671d81e4d85c221 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.03 |
Number of variables | 787 |
Total number of constraints | 833 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 816 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-28 12:26:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24519 boxname=wulflinc4 idbench=991 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: df52a42b636b50954671d81e4d85c221 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-opt1217.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-opt1217.opb IDLAUNCH: 24519 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 659032 kB Buffers: 34264 kB Cached: 320804 kB SwapCached: 504 kB Active: 23188 kB Inactive: 334332 kB HighTotal: 131008 kB HighFree: 5236 kB LowTotal: 903652 kB LowFree: 653796 kB SwapTotal: 2097136 kB SwapFree: 2096000 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5796 kB Slab: 12436 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 12:46:45 (client local time) WITH STATUS 0 IN 1200.29 SECONDS stats: 24519 7 1200.29 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c CONFLICT during preprocess c [startup+1.36681 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+1.46268 s] setting bit 17 to 0 Decision: 2415/30615 Time: 49.7184/86400 Decision: 2415/30615 Time: 54.8057/86400 Decision: 2415/30615 Time: 60.8218/86400 Decision: 2415/30615 Time: 66.7429/86400 Decision: 2415/30615 Time: 73.3189/86400 Decision: 2415/30615 Time: 79.5789/86400 Decision: 2415/30615 Time: 84.9291/86400 Decision: 2415/30615 Time: 92.6229/86400 Decision: 2415/30615 Time: 98.539/86400 Decision: 2415/30615 Time: 104.74/86400 Decision: 2415/30615 Time: 111.582/86400 Decision: 2415/30615 Time: 118.283/86400 Decision: 2415/30615 Time: 124.589/86400 Decision: 2415/30615 Time: 131.501/86400 Decision: 2415/30615 Time: 138.804/86400 Decision: 2415/30615 Time: 146.214/86400 Decision: 2415/30615 Time: 152.822/86400 Decision: 2415/30615 Time: 159.152/86400 Decision: 2415/30615 Time: 166.767/86400 Decision: 2415/30615 Time: 173.702/86400 Decision: 2415/30615 Time: 181.957/86400 Decision: 2415/30615 Time: 188.035/86400 Decision: 2415/30615 Time: 195.279/86400 Decision: 2415/30615 Time: 201.993/86400 Decision: 2415/30615 Time: 208.132/86400 Decision: 2415/30615 Time: 214.516/86400 Decision: 2415/30615 Time: 221.235/86400 Decision: 2415/30615 Time: 228.352/86400 Decision: 2415/30615 Time: 235.694/86400 Decision: 2415/30615 Time: 243.301/86400 Decision: 2415/30615 Time: 250.22/86400 Decision: 2415/30615 Time: 258.025/86400 Decision: 2415/30615 Time: 264.129/86400 Decision: 2415/30615 Time: 269.733/86400 Decision: 2415/30615 Time: 276.48/86400 Decision: 2415/30615 Time: 284.413/86400 Decision: 2415/30615 Time: 291.616/86400 Decision: 2415/30615 Time: 298.866/86400 Decision: 2415/30615 Time: 305.74/86400 Decision: 2415/30615 Time: 312.197/86400 Decision: 2415/30615 Time: 319.101/86400 Decision: 2415/30615 Time: 326.005/86400 Decision: 2415/30615 Time: 333.289/86400 Decision: 2415/30615 Time: 341.209/86400 Decision: 2415/30615 Time: 348.218/86400 Decision: 2415/30615 Time: 356.054/86400 Decision: 2415/30615 Time: 362.725/86400 Decision: 2415/30615 Time: 369.478/86400 Decision: 2415/30615 Time: 377.177/86400 Decision: 2415/30615 Time: 384.25/86400 Decision: 2415/30615 Time: 391.764/86400 Decision: 2415/30615 Time: 399.021/86400 Decision: 2415/30615 Time: 406.614/86400 Decision: 2415/30615 Time: 414.094/86400 Decision: 2415/30615 Time: 421.207/86400 Decision: 2415/30615 Time: 428.3/86400 Decision: 2415/30615 Time: 436.872/86400 Decision: 2415/30615 Time: 443.591/86400 Decision: 2415/30615 Time: 450.678/86400 Decision: 2415/30615 Time: 458.245/86400 Decision: 2415/30615 Time: 466.515/86400 Decision: 2415/30615 Time: 473.799/86400 Decision: 2415/30615 Time: 481.224/86400 Decision: 2415/30615 Time: 489.183/86400 Decision: 2415/30615 Time: 496.431/86400 Decision: 2415/30615 Time: 504.261/86400 Decision: 2415/30615 Time: 511.13/86400 Decision: 2415/30615 Time: 519.448/86400 Decision: 2415/30615 Time: 527.246/86400 Decision: 2415/30615 Time: 535.15/86400 Decision: 2415/30615 Time: 543.824/86400 Decision: 2415/30615 Time: 551.93/86400 Decision: 2415/30615 Time: 559.949/86400 Decision: 2415/30615 Time: 568.344/86400 Decision: 2415/30615 Time: 575.587/86400 Decision: 2415/30615 Time: 584.159/86400 Decision: 2415/30615 Time: 593.117/86400 Decision: 2415/30615 Time: 600.807/86400 Decision: 2415/30615 Time: 608.237/86400 Decision: 2415/30615 Time: 617.019/86400 Decision: 2415/30615 Time: 625.674/86400 Decision: 2415/30615 Time: 633.507/86400 Decision: 2415/30615 Time: 642.322/86400 Decision: 2415/30615 Time: 650.286/86400 Decision: 2415/30615 Time: 658.117/86400 Decision: 2415/30615 Time: 664.715/86400 Decision: 2415/30615 Time: 672.843/86400 Decision: 2415/30615 Time: 680.488/86400 Decision: 2415/30615 Time: 689.541/86400 Decision: 2415/30615 Time: 697.744/86400 Decision: 2415/30615 Time: 706.336/86400 Decision: 2415/30615 Time: 714.92/86400 Decision: 2415/30615 Time: 722.851/86400 Decision: 2415/30615 Time: 732.016/86400 Decision: 2415/30615 Time: 740.429/86400 Decision: 2415/30615 Time: 749.733/86400 Decision: 2415/30615 Time: 757.752/86400 Decision: 2415/30615 Time: 765.564/86400 Decision: 2415/30615 Time: 773.475/86400 Decision: 2415/30615 Time: 781.04/86400 Decision: 2415/30615 Time: 789.834/86400 Decision: 2415/30615 Time: 798.294/86400 Decision: 2415/30615 Time: 806.68/86400 Decision: 2415/30615 Time: 816.414/86400 Decision: 2415/30615 Time: 824.66/86400 Decision: 2415/30615 Time: 834.184/86400 Decision: 2415/30615 Time: 843.133/86400 Decision: 2415/30615 Time: 852.877/86400 Decision: 2415/30615 Time: 861.113/86400 Decision: 2415/30615 Time: 870.158/86400 Decision: 2415/30615 Time: 879.334/86400 Decision: 2415/30615 Time: 887.759/86400 Decision: 2415/30615 Time: 895.561/86400 Decision: 2415/30615 Time: 904.485/86400 Decision: 2415/30615 Time: 913.334/86400 Decision: 2415/30615 Time: 920.689/86400 Decision: 2415/30615 Time: 927.913/86400 Decision: 2415/30615 Time: 936.386/86400 Decision: 2415/30615 Time: 944.873/86400 Decision: 2415/30615 Time: 954.724/86400 Decision: 2415/30615 Time: 964.089/86400 Decision: 2415/30615 Time: 973.459/86400 Decision: 2415/30615 Time: 982.777/86400 Decision: 2415/30615 Time: 993.053/86400 Decision: 2415/30615 Time: 1001.39/86400 Decision: 2415/30615 Time: 1012.21/86400 Decision: 2415/30615 Time: 1022.41/86400 Decision: 2415/30615 Time: 1031.12/86400 Decision: 2415/30615 Time: 1039.67/86400 Decision: 2415/30615 Time: 1048.09/86400 Decision: 2415/30615 Time: 1057.69/86400 Decision: 2415/30615 Time: 1066.93/86400 Decision: 2415/30615 Time: 1075.83/86400 Decision: 2415/30615 Time: 1085.31/86400 Decision: 2415/30615 Time: 1094.58/86400 Decision: 2415/30615 Time: 1103.66/86400 Decision: 2415/30615 Time: 1113.74/86400 Decision: 2415/30615 Time: 1123.11/86400 Decision: 2415/30615 Time: 1132.78/86400 Decision: 2415/30615 Time: 1142.42/86400 Decision: 2415/30615 Time: 1152.15/86400 Decision: 2415/30615 Time: 1159.84/86400 Decision: 2415/30615 Time: 1167.88/86400 Decision: 2415/30615 Time: 1177.28/86400 Decision: 2415/30615 Time: 1185.56/86400 Decision: 2415/30615 Time: 1194.78/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.87 0.95 0.90 1/54 30102 Raw data (stat): 30102 (runsolver) D 30101 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 806563712 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.89 0.95 0.90 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4130 0 0 0 988 9 0 0 25 0 1 0 806563712 12550144 2640 4294967295 134512640 135726644 3221224576 3221223264 134745143 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3064 2640 300 300 0 2764 0 vsize: 12256 [startup+20.0012 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4309 0 0 0 1987 9 0 0 25 0 1 0 806563712 13189120 2819 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3220 2819 300 300 0 2920 0 vsize: 12880 [startup+30.0021 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4662 0 0 0 2986 11 0 0 25 0 1 0 806563712 16711680 3172 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4080 3172 300 300 0 3780 0 vsize: 16320 [startup+40.002 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4796 0 0 0 3985 12 0 0 25 0 1 0 806563712 16908288 3306 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4128 3306 300 300 0 3828 0 vsize: 16512 [startup+50.0072 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4917 0 0 0 4985 13 0 0 25 0 1 0 806563712 17301504 3427 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4224 3427 300 300 0 3924 0 vsize: 16896 [startup+60.0067 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5246 0 0 0 5983 14 0 0 25 0 1 0 806563712 18145280 3636 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4430 3636 300 300 0 4130 0 vsize: 17720 [startup+70.0105 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5477 0 0 0 6982 16 0 0 25 0 1 0 806563712 18472960 3747 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4510 3747 300 300 0 4210 0 vsize: 18040 [startup+80.0159 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5611 0 0 0 7981 18 0 0 25 0 1 0 806563712 18472960 3821 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4510 3821 300 300 0 4210 0 vsize: 18040 [startup+90.0153 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5793 0 0 0 8979 20 0 0 25 0 1 0 806563712 18636800 3883 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4550 3883 300 300 0 4250 0 vsize: 18200 [startup+100.015 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5960 0 0 0 9977 22 0 0 25 0 1 0 806563712 18919424 3930 4294967295 134512640 135726644 3221224576 3221222992 134738149 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4619 3930 300 300 0 4319 0 vsize: 18476 [startup+110.016 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 6107 0 0 0 10975 23 0 0 25 0 1 0 806563712 19189760 4017 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4685 4017 300 300 0 4385 0 vsize: 18740 [startup+120.018 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 6246 0 0 0 11974 25 0 0 25 0 1 0 806563712 19189760 4036 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4685 4036 300 300 0 4385 0 vsize: 18740 [startup+130.018 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7099 0 0 0 12970 28 0 0 25 0 1 0 806563712 22532096 4060 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5501 4060 300 300 0 5201 0 vsize: 22004 [startup+140.018 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7195 0 0 0 13969 29 0 0 25 0 1 0 806563712 22532096 4096 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5501 4096 300 300 0 5201 0 vsize: 22004 [startup+150.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7340 0 0 0 14967 31 0 0 25 0 1 0 806563712 22532096 4121 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5501 4121 300 300 0 5201 0 vsize: 22004 [startup+160.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7417 0 0 0 15966 32 0 0 25 0 1 0 806563712 22532096 4138 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5501 4138 300 300 0 5201 0 vsize: 22004 [startup+170.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7563 0 0 0 16964 34 0 0 25 0 1 0 806563712 22667264 4164 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5534 4164 300 300 0 5234 0 vsize: 22136 [startup+180.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7635 0 0 0 17963 35 0 0 25 0 1 0 806563712 22667264 4176 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5534 4176 300 300 0 5234 0 vsize: 22136 [startup+190.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7776 0 0 0 18962 36 0 0 25 0 1 0 806563712 22667264 4197 4294967295 134512640 135726644 3221224576 3221223264 134744867 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5534 4197 300 300 0 5234 0 vsize: 22136 [startup+200.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7881 0 0 0 19960 38 0 0 25 0 1 0 806563712 22802432 4242 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5567 4242 300 300 0 5267 0 vsize: 22268 [startup+210.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8046 0 0 0 20959 40 0 0 25 0 1 0 806563712 22933504 4287 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5599 4287 300 300 0 5299 0 vsize: 22396 [startup+220.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8140 0 0 0 21958 41 0 0 25 0 1 0 806563712 22933504 4321 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5599 4321 300 300 0 5299 0 vsize: 22396 [startup+230.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8286 0 0 0 22958 42 0 0 25 0 1 0 806563712 22933504 4347 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5599 4347 300 300 0 5299 0 vsize: 22396 [startup+240.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8388 0 0 0 23956 43 0 0 25 0 1 0 806563712 23064576 4389 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5631 4389 300 300 0 5331 0 vsize: 22524 [startup+250.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8488 0 0 0 24956 44 0 0 25 0 1 0 806563712 23064576 4429 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5631 4429 300 300 0 5331 0 vsize: 22524 [startup+260.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8628 0 0 0 25955 45 0 0 25 0 1 0 806563712 23064576 4449 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5631 4449 300 300 0 5331 0 vsize: 22524 [startup+270.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8720 0 0 0 26955 45 0 0 25 0 1 0 806563712 23195648 4481 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5663 4481 300 300 0 5363 0 vsize: 22652 [startup+280.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8889 0 0 0 27953 47 0 0 25 0 1 0 806563712 23195648 4530 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5663 4530 300 300 0 5363 0 vsize: 22652 [startup+290.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8978 0 0 0 28952 48 0 0 25 0 1 0 806563712 23326720 4559 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5695 4559 300 300 0 5395 0 vsize: 22780 [startup+300.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9051 0 0 0 29951 49 0 0 25 0 1 0 806563712 23326720 4572 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5695 4572 300 300 0 5395 0 vsize: 22780 [startup+310.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9204 0 0 0 30949 51 0 0 25 0 1 0 806563712 23326720 4605 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5695 4605 300 300 0 5395 0 vsize: 22780 [startup+320.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9304 0 0 0 31948 52 0 0 25 0 1 0 806563712 27652096 4645 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6751 4645 300 300 0 6451 0 vsize: 27004 [startup+330.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9453 0 0 0 32948 53 0 0 25 0 1 0 806563712 27652096 4674 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6751 4674 300 300 0 6451 0 vsize: 27004 [startup+340.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9557 0 0 0 33946 55 0 0 25 0 1 0 806563712 27652096 4718 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6751 4718 300 300 0 6451 0 vsize: 27004 [startup+350.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9716 0 0 0 34944 57 0 0 25 0 1 0 806563712 27787264 4757 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6784 4757 300 300 0 6484 0 vsize: 27136 [startup+360.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9819 0 0 0 35943 58 0 0 25 0 1 0 806563712 27787264 4800 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6784 4800 300 300 0 6484 0 vsize: 27136 [startup+370.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9912 0 0 0 36942 59 0 0 25 0 1 0 806563712 27787264 4833 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6784 4833 300 300 0 6484 0 vsize: 27136 [startup+380.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10083 0 0 0 37941 61 0 0 25 0 1 0 806563712 27918336 4884 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6816 4884 300 300 0 6516 0 vsize: 27264 [startup+390.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10182 0 0 0 38940 62 0 0 25 0 1 0 806563712 27918336 4923 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6816 4923 300 300 0 6516 0 vsize: 27264 [startup+400.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10267 0 0 0 39939 63 0 0 25 0 1 0 806563712 28053504 4948 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6849 4948 300 300 0 6549 0 vsize: 27396 [startup+410.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10430 0 0 0 40938 64 0 0 25 0 1 0 806563712 28053504 4991 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6849 4991 300 300 0 6549 0 vsize: 27396 [startup+420.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10533 0 0 0 41937 65 0 0 25 0 1 0 806563712 28184576 5034 4294967295 134512640 135726644 3221224576 3221223168 134760001 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6881 5034 300 300 0 6581 0 vsize: 27524 [startup+430.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10690 0 0 0 42936 66 0 0 25 0 1 0 806563712 28184576 5071 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6881 5071 300 300 0 6581 0 vsize: 27524 [startup+440.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10784 0 0 0 43935 68 0 0 25 0 1 0 806563712 28184576 5105 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6881 5105 300 300 0 6581 0 vsize: 27524 [startup+450.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10888 0 0 0 44935 68 0 0 25 0 1 0 806563712 28184576 5149 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6881 5149 300 300 0 6581 0 vsize: 27524 [startup+460.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11053 0 0 0 45933 70 0 0 25 0 1 0 806563712 28315648 5194 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6913 5194 300 300 0 6613 0 vsize: 27652 [startup+470.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11150 0 0 0 46933 71 0 0 25 0 1 0 806563712 28315648 5231 4294967295 134512640 135726644 3221224576 3221223200 134744555 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6913 5231 300 300 0 6613 0 vsize: 27652 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11247 0 0 0 47932 71 0 0 25 0 1 0 806563712 28450816 5268 4294967295 134512640 135726644 3221224576 3221223184 134741191 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6946 5268 300 300 0 6646 0 vsize: 27784 [startup+490.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11343 0 0 0 48931 73 0 0 25 0 1 0 806563712 28450816 5304 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6946 5304 300 300 0 6646 0 vsize: 27784 [startup+500.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11512 0 0 0 49930 74 0 0 25 0 1 0 806563712 28450816 5353 4294967295 134512640 135726644 3221224576 3221222756 135277577 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6946 5353 300 300 0 6646 0 vsize: 27784 [startup+510.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11610 0 0 0 50930 74 0 0 25 0 1 0 806563712 28581888 5391 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6978 5391 300 300 0 6678 0 vsize: 27912 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11709 0 0 0 51929 76 0 0 25 0 1 0 806563712 28581888 5430 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6978 5430 300 300 0 6678 0 vsize: 27912 [startup+530.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11871 0 0 0 52928 77 0 0 25 0 1 0 806563712 28581888 5472 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6978 5472 300 300 0 6678 0 vsize: 27912 [startup+540.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11970 0 0 0 53927 78 0 0 25 0 1 0 806563712 28581888 5511 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6978 5511 300 300 0 6678 0 vsize: 27912 [startup+550.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12060 0 0 0 54926 78 0 0 25 0 1 0 806563712 28712960 5541 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7010 5541 300 300 0 6710 0 vsize: 28040 [startup+560.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12151 0 0 0 55926 79 0 0 25 0 1 0 806563712 28712960 5572 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7010 5572 300 300 0 6710 0 vsize: 28040 [startup+570.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12318 0 0 0 56925 80 0 0 25 0 1 0 806563712 28712960 5619 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7010 5619 300 300 0 6710 0 vsize: 28040 [startup+580.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12427 0 0 0 57924 81 0 0 25 0 1 0 806563712 28848128 5668 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7043 5668 300 300 0 6743 0 vsize: 28172 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12517 0 0 0 58923 82 0 0 25 0 1 0 806563712 28848128 5698 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7043 5698 300 300 0 6743 0 vsize: 28172 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12608 0 0 0 59923 83 0 0 25 0 1 0 806563712 28848128 5729 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7043 5729 300 300 0 6743 0 vsize: 28172 [startup+610.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12779 0 0 0 60922 84 0 0 25 0 1 0 806563712 28983296 5780 4294967295 134512640 135726644 3221224576 3221223072 134744036 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7076 5780 300 300 0 6776 0 vsize: 28304 [startup+620.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12872 0 0 0 61921 85 0 0 25 0 1 0 806563712 28983296 5813 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7076 5813 300 300 0 6776 0 vsize: 28304 [startup+630.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12959 0 0 0 62920 86 0 0 25 0 1 0 806563712 29118464 5840 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7109 5840 300 300 0 6809 0 vsize: 28436 [startup+640.036 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13034 0 0 0 63920 87 0 0 25 0 1 0 806563712 29118464 5855 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7109 5855 300 300 0 6809 0 vsize: 28436 [startup+650.036 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13143 0 0 0 64919 88 0 0 25 0 1 0 806563712 29118464 5904 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7109 5904 300 300 0 6809 0 vsize: 28436 [startup+660.036 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13319 0 0 0 65918 89 0 0 25 0 1 0 806563712 29118464 5960 4294967295 134512640 135726644 3221224576 3221223264 134744961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7109 5960 300 300 0 6809 0 vsize: 28436 [startup+670.037 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13422 0 0 0 66917 90 0 0 25 0 1 0 806563712 29253632 6003 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7142 6003 300 300 0 6842 0 vsize: 28568 [startup+680.038 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13529 0 0 0 67916 91 0 0 25 0 1 0 806563712 29253632 6050 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7142 6050 300 300 0 6842 0 vsize: 28568 [startup+690.037 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13637 0 0 0 68915 92 0 0 25 0 1 0 806563712 29388800 6098 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7175 6098 300 300 0 6875 0 vsize: 28700 [startup+700.038 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13798 0 0 0 69914 93 0 0 25 0 1 0 806563712 29388800 6139 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7175 6139 300 300 0 6875 0 vsize: 28700 [startup+710.038 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13895 0 0 0 70914 94 0 0 25 0 1 0 806563712 29388800 6176 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7175 6176 300 300 0 6875 0 vsize: 28700 [startup+720.039 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13989 0 0 0 71912 96 0 0 25 0 1 0 806563712 29528064 6210 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7209 6210 300 300 0 6909 0 vsize: 28836 [startup+730.039 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14091 0 0 0 72911 97 0 0 25 0 1 0 806563712 29528064 6252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7209 6252 300 300 0 6909 0 vsize: 28836 [startup+740.039 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14191 0 0 0 73910 98 0 0 25 0 1 0 806563712 29528064 6292 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7209 6292 300 300 0 6909 0 vsize: 28836 [startup+750.039 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14293 0 0 0 74910 99 0 0 25 0 1 0 806563712 29528064 6334 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7209 6334 300 300 0 6909 0 vsize: 28836 [startup+760.039 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14439 0 0 0 75909 100 0 0 25 0 1 0 806563712 29663232 6360 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7242 6360 300 300 0 6942 0 vsize: 28968 [startup+770.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14555 0 0 0 76908 101 0 0 25 0 1 0 806563712 38051840 6416 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9290 6416 300 300 0 8990 0 vsize: 37160 [startup+780.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14666 0 0 0 77907 102 0 0 25 0 1 0 806563712 38191104 6467 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9324 6467 300 300 0 9024 0 vsize: 37296 [startup+790.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14778 0 0 0 78906 103 0 0 25 0 1 0 806563712 38191104 6519 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9324 6519 300 300 0 9024 0 vsize: 37296 [startup+800.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14942 0 0 0 79905 104 0 0 25 0 1 0 806563712 38191104 6563 4294967295 134512640 135726644 3221224576 3221223200 134744488 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9324 6563 300 300 0 9024 0 vsize: 37296 [startup+810.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15040 0 0 0 80904 105 0 0 25 0 1 0 806563712 38326272 6601 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9357 6601 300 300 0 9057 0 vsize: 37428 [startup+820.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15146 0 0 0 81903 106 0 0 25 0 1 0 806563712 38326272 6647 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9357 6647 300 300 0 9057 0 vsize: 37428 [startup+830.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15276 0 0 0 82903 107 0 0 25 0 1 0 806563712 38465536 6717 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9391 6717 300 300 0 9091 0 vsize: 37564 [startup+840.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15366 0 0 0 83902 108 0 0 25 0 1 0 806563712 38465536 6747 4294967295 134512640 135726644 3221224576 3221223168 134760402 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9391 6747 300 300 0 9091 0 vsize: 37564 [startup+850.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15439 0 0 0 84901 110 0 0 25 0 1 0 806563712 38465536 6760 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9391 6760 300 300 0 9091 0 vsize: 37564 [startup+860.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15549 0 0 0 85899 111 0 0 25 0 1 0 806563712 38600704 6810 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9424 6810 300 300 0 9124 0 vsize: 37696 [startup+870.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15648 0 0 0 86899 112 0 0 25 0 1 0 806563712 38600704 6849 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9424 6849 300 300 0 9124 0 vsize: 37696 [startup+880.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15745 0 0 0 87899 112 0 0 25 0 1 0 806563712 38600704 6886 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9424 6886 300 300 0 9124 0 vsize: 37696 [startup+890.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15897 0 0 0 88898 113 0 0 25 0 1 0 806563712 38735872 6918 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9457 6918 300 300 0 9157 0 vsize: 37828 [startup+900.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16000 0 0 0 89897 114 0 0 25 0 1 0 806563712 38735872 6961 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9457 6961 300 300 0 9157 0 vsize: 37828 [startup+910.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16105 0 0 0 90896 115 0 0 25 0 1 0 806563712 38735872 7006 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9457 7006 300 300 0 9157 0 vsize: 37828 [startup+920.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16232 0 0 0 91896 116 0 0 25 0 1 0 806563712 38871040 7073 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9490 7073 300 300 0 9190 0 vsize: 37960 [startup+930.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16396 0 0 0 92895 116 0 0 25 0 1 0 806563712 38871040 7117 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9490 7117 300 300 0 9190 0 vsize: 37960 [startup+940.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16493 0 0 0 93894 117 0 0 25 0 1 0 806563712 39006208 7154 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9523 7154 300 300 0 9223 0 vsize: 38092 [startup+950.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16588 0 0 0 94893 118 0 0 25 0 1 0 806563712 39006208 7189 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9523 7189 300 300 0 9223 0 vsize: 38092 [startup+960.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16689 0 0 0 95893 119 0 0 25 0 1 0 806563712 39006208 7230 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9523 7230 300 300 0 9223 0 vsize: 38092 [startup+970.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16771 0 0 0 96893 120 0 0 25 0 1 0 806563712 39006208 7252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9523 7252 300 300 0 9223 0 vsize: 38092 [startup+980.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16858 0 0 0 97892 121 0 0 25 0 1 0 806563712 39141376 7279 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9556 7279 300 300 0 9256 0 vsize: 38224 [startup+990.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16956 0 0 0 98891 122 0 0 25 0 1 0 806563712 39141376 7317 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9556 7317 300 300 0 9256 0 vsize: 38224 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17061 0 0 0 99890 123 0 0 25 0 1 0 806563712 39141376 7362 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9556 7362 300 300 0 9256 0 vsize: 38224 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17158 0 0 0 100889 124 0 0 25 0 1 0 806563712 39141376 7399 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9556 7399 300 300 0 9256 0 vsize: 38224 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17241 0 0 0 101888 125 0 0 25 0 1 0 806563712 39276544 7422 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9589 7422 300 300 0 9289 0 vsize: 38356 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17331 0 0 0 102888 126 0 0 25 0 1 0 806563712 39276544 7452 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9589 7452 300 300 0 9289 0 vsize: 38356 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17441 0 0 0 103888 126 0 0 25 0 1 0 806563712 39276544 7502 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9589 7502 300 300 0 9289 0 vsize: 38356 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17608 0 0 0 104887 128 0 0 25 0 1 0 806563712 39415808 7549 4294967295 134512640 135726644 3221224576 3221223072 134744359 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9623 7549 300 300 0 9323 0 vsize: 38492 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17710 0 0 0 105887 129 0 0 25 0 1 0 806563712 39415808 7591 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9623 7591 300 300 0 9323 0 vsize: 38492 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17784 0 0 0 106886 130 0 0 25 0 1 0 806563712 39415808 7605 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9623 7605 300 300 0 9323 0 vsize: 38492 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17897 0 0 0 107885 131 0 0 25 0 1 0 806563712 39415808 7658 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9623 7658 300 300 0 9323 0 vsize: 38492 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18005 0 0 0 108885 131 0 0 25 0 1 0 806563712 39550976 7706 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9656 7706 300 300 0 9356 0 vsize: 38624 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18107 0 0 0 109884 132 0 0 25 0 1 0 806563712 39550976 7748 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9656 7748 300 300 0 9356 0 vsize: 38624 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18193 0 0 0 110883 133 0 0 25 0 1 0 806563712 39550976 7774 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9656 7774 300 300 0 9356 0 vsize: 38624 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18282 0 0 0 111882 134 0 0 25 0 1 0 806563712 39686144 7803 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9689 7803 300 300 0 9389 0 vsize: 38756 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18382 0 0 0 112881 135 0 0 25 0 1 0 806563712 39686144 7843 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9689 7843 300 300 0 9389 0 vsize: 38756 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18482 0 0 0 113881 136 0 0 25 0 1 0 806563712 39686144 7883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9689 7883 300 300 0 9389 0 vsize: 38756 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18577 0 0 0 114880 137 0 0 25 0 1 0 806563712 39686144 7918 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9689 7918 300 300 0 9389 0 vsize: 38756 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18686 0 0 0 115880 138 0 0 25 0 1 0 806563712 39821312 7967 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9722 7967 300 300 0 9422 0 vsize: 38888 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18857 0 0 0 116879 139 0 0 25 0 1 0 806563712 39821312 8018 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9722 8018 300 300 0 9422 0 vsize: 38888 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18962 0 0 0 117878 139 0 0 25 0 1 0 806563712 39821312 8063 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9722 8063 300 300 0 9422 0 vsize: 38888 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 19073 0 0 0 118877 141 0 0 25 0 1 0 806563712 39956480 8114 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9755 8114 300 300 0 9455 0 vsize: 39020 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 30102 Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 19166 0 0 0 119876 142 0 0 25 0 1 0 806563712 39956480 8147 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9755 8147 300 300 0 9455 0 vsize: 39020 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.17 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 30102 Raw data (stat): 30102 (pb2sat) Z 30101 21152 21151 0 -1 12 19167 0 0 0 119884 143 0 0 25 0 1 0 806563712 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.17 CPU time (s): 1200.29 CPU user time (s): 1198.85 CPU system time (s): 1.43678 CPU usage (%): 100.01 Max. virtual memory (Kb): 39020 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####