Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb |
MD5SUM | a7baaeaa26a0026c630e11c495604909 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1091178 |
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 | 1421968313 |
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 | 1421968313 |
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 | 1175.08 |
Number of variables | 5292 |
Total number of constraints | 284 |
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 | 284 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 360 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 19:36:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26185 boxname=wulflinc4 idbench=1485 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a7baaeaa26a0026c630e11c495604909 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran14x18.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran14x18.opb IDLAUNCH: 26185 /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: 811928 kB Buffers: 15172 kB Cached: 185816 kB SwapCached: 904 kB Active: 27356 kB Inactive: 175780 kB HighTotal: 131008 kB HighFree: 26516 kB LowTotal: 903652 kB LowFree: 785412 kB SwapTotal: 2097136 kB SwapFree: 2095236 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14008 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 19:56:50 (client local time) WITH STATUS 0 IN 1200.7 SECONDS stats: 26185 7 1200.7 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 15820/189840 Time: 62.8524/86400 c Decision: 15820/189840 Time: 70.1303/86400 c Decision: 15820/189840 Time: 76.1424/86400 c Decision: 15820/189840 Time: 82.6374/86400 c Decision: 15820/189840 Time: 89.7704/86400 c Decision: 15820/189840 Time: 95.6085/86400 c Decision: 15820/189840 Time: 102.915/86400 c Decision: 15820/189840 Time: 110.969/86400 c Decision: 15820/189840 Time: 117.872/86400 c Decision: 15820/189840 Time: 123.477/86400 c Decision: 15820/189840 Time: 130.933/86400 c Decision: 15820/189840 Time: 137.052/86400 c Decision: 15820/189840 Time: 142.851/86400 c Decision: 15820/189840 Time: 149.317/86400 c Decision: 15820/189840 Time: 156.164/86400 c Decision: 15820/189840 Time: 162.48/86400 c Decision: 15820/189840 Time: 168.896/86400 c Decision: 15820/189840 Time: 174.167/86400 c Decision: 15820/189840 Time: 180.756/86400 c Decision: 15820/189840 Time: 186.64/86400 c Decision: 15820/189840 Time: 192.996/86400 c Decision: 15820/189840 Time: 199.242/86400 c Decision: 15820/189840 Time: 204.953/86400 c Decision: 15820/189840 Time: 210.424/86400 c Decision: 15820/189840 Time: 215.957/86400 c Decision: 15820/189840 Time: 221.748/86400 c Decision: 15820/189840 Time: 228.349/86400 c Decision: 15820/189840 Time: 234.587/86400 c Decision: 15820/189840 Time: 240.278/86400 c Decision: 15820/189840 Time: 246.055/86400 c Decision: 15820/189840 Time: 252.264/86400 c Decision: 15820/189840 Time: 258.156/86400 c Decision: 15820/189840 Time: 264.236/86400 c Decision: 15820/189840 Time: 269.825/86400 c Decision: 15820/189840 Time: 274.789/86400 c Decision: 15820/189840 Time: 280.842/86400 c Decision: 15820/189840 Time: 286.062/86400 c Decision: 15820/189840 Time: 292.191/86400 c Decision: 15820/189840 Time: 298.365/86400 c Decision: 15820/189840 Time: 303.724/86400 c Decision: 15820/189840 Time: 310.243/86400 c Decision: 15820/189840 Time: 315.775/86400 c Decision: 15820/189840 Time: 321.113/86400 c Decision: 15820/189840 Time: 326.888/86400 c Decision: 15820/189840 Time: 333.068/86400 c Decision: 15820/189840 Time: 339.684/86400 c Decision: 15820/189840 Time: 345.635/86400 c Decision: 15820/189840 Time: 351.198/86400 c Decision: 15820/189840 Time: 357.578/86400 c Decision: 15820/189840 Time: 363.749/86400 c Decision: 15820/189840 Time: 369.585/86400 c Decision: 15820/189840 Time: 375.457/86400 c Decision: 15820/189840 Time: 380.7/86400 c Decision: 15820/189840 Time: 386.075/86400 c Decision: 15820/189840 Time: 392.175/86400 c Decision: 15820/189840 Time: 399.196/86400 c Decision: 15820/189840 Time: 405.022/86400 c Decision: 15820/189840 Time: 411.014/86400 c Decision: 15820/189840 Time: 416.261/86400 c Decision: 15820/189840 Time: 421.915/86400 c Decision: 15820/189840 Time: 427.8/86400 c Decision: 15820/189840 Time: 433.988/86400 c Decision: 15820/189840 Time: 440.164/86400 c Decision: 15820/189840 Time: 445.957/86400 c Decision: 15820/189840 Time: 451.431/86400 c Decision: 15820/189840 Time: 458.48/86400 c Decision: 15820/189840 Time: 466.601/86400 c Decision: 15820/189840 Time: 472.586/86400 c Decision: 15820/189840 Time: 478.856/86400 c Decision: 15820/189840 Time: 484.54/86400 c Decision: 15820/189840 Time: 490.703/86400 c Decision: 15820/189840 Time: 497.061/86400 c Decision: 15820/189840 Time: 503.103/86400 c Decision: 15820/189840 Time: 509.355/86400 c Decision: 15820/189840 Time: 515.931/86400 c Decision: 15820/189840 Time: 522.234/86400 c Decision: 15820/189840 Time: 527.53/86400 c Decision: 15820/189840 Time: 533.153/86400 c Decision: 15820/189840 Time: 538.953/86400 c Decision: 15820/189840 Time: 545.15/86400 c Decision: 15820/189840 Time: 551.934/86400 c Decision: 15820/189840 Time: 558.316/86400 c Decision: 15820/189840 Time: 565.51/86400 c Decision: 15820/189840 Time: 572.097/86400 c Decision: 15820/189840 Time: 578.957/86400 c Decision: 15820/189840 Time: 586.281/86400 c Decision: 15820/189840 Time: 592.648/86400 c Decision: 15820/189840 Time: 598.948/86400 c Decision: 15820/189840 Time: 605.162/86400 c Decision: 15820/189840 Time: 611.715/86400 c Decision: 15820/189840 Time: 619.004/86400 c Decision: 15820/189840 Time: 625.399/86400 c Decision: 15820/189840 Time: 631.805/86400 c Decision: 15820/189840 Time: 637.727/86400 c Decision: 15820/189840 Time: 644.151/86400 c Decision: 15820/189840 Time: 651.202/86400 c Decision: 15820/189840 Time: 658.025/86400 c Decision: 15820/189840 Time: 664.495/86400 c Decision: 15820/189840 Time: 669.591/86400 c Decision: 15820/189840 Time: 675.446/86400 c Decision: 15820/189840 Time: 682.763/86400 c Decision: 15820/189840 Time: 688.849/86400 c Decision: 15820/189840 Time: 695.578/86400 c Decision: 15820/189840 Time: 700.989/86400 c Decision: 15820/189840 Time: 708.013/86400 c Decision: 15820/189840 Time: 715.254/86400 c Decision: 15820/189840 Time: 722.057/86400 c Decision: 15820/189840 Time: 728.58/86400 c Decision: 15820/189840 Time: 734.936/86400 c Decision: 15820/189840 Time: 740.784/86400 c Decision: 15820/189840 Time: 747.693/86400 c Decision: 15820/189840 Time: 754.659/86400 c Decision: 15820/189840 Time: 761.187/86400 c Decision: 15820/189840 Time: 767.701/86400 c Decision: 15820/189840 Time: 774.073/86400 c Decision: 15820/189840 Time: 782.115/86400 c Decision: 15820/189840 Time: 788.91/86400 c Decision: 15820/189840 Time: 795.064/86400 c Decision: 15820/189840 Time: 801.881/86400 c Decision: 15820/189840 Time: 806.849/86400 c Decision: 15820/189840 Time: 813.754/86400 c Decision: 15820/189840 Time: 819.862/86400 c Decision: 15820/189840 Time: 827.437/86400 c Decision: 15820/189840 Time: 834.09/86400 c Decision: 15820/189840 Time: 840.722/86400 c Decision: 15820/189840 Time: 847.723/86400 c Decision: 15820/189840 Time: 854.686/86400 c Decision: 15820/189840 Time: 862.029/86400 c Decision: 15820/189840 Time: 868.823/86400 c Decision: 15820/189840 Time: 875.577/86400 c Decision: 15820/189840 Time: 882.536/86400 c Decision: 15820/189840 Time: 889.343/86400 c Decision: 15820/189840 Time: 896.385/86400 c Decision: 15820/189840 Time: 903.183/86400 c Decision: 15820/189840 Time: 910.494/86400 c Decision: 15820/189840 Time: 917.929/86400 c Decision: 15820/189840 Time: 925.905/86400 c Decision: 15820/189840 Time: 932.823/86400 c Decision: 15820/189840 Time: 938.011/86400 c Decision: 15820/189840 Time: 944.791/86400 c Decision: 15820/189840 Time: 952.595/86400 c Decision: 15820/189840 Time: 959.494/86400 c Decision: 15820/189840 Time: 965.888/86400 c Decision: 15820/189840 Time: 973.963/86400 c Decision: 15820/189840 Time: 981.039/86400 c Decision: 15820/189840 Time: 988.944/86400 c Decision: 15820/189840 Time: 997.173/86400 c Decision: 15820/189840 Time: 1003.98/86400 c Decision: 15820/189840 Time: 1011.9/86400 c Decision: 15820/189840 Time: 1019.06/86400 c Decision: 15820/189840 Time: 1026.63/86400 c Decision: 15820/189840 Time: 1033.48/86400 c Decision: 15820/189840 Time: 1040/86400 c Decision: 15820/189840 Time: 1047.48/86400 c Decision: 15820/189840 Time: 1054.52/86400 c Decision: 15820/189840 Time: 1062.48/86400 c Decision: 15820/189840 Time: 1069.36/86400 c Decision: 15820/189840 Time: 1076.91/86400 c Decision: 15820/189840 Time: 1082.94/86400 c Decision: 15820/189840 Time: 1092.05/86400 c Decision: 15820/189840 Time: 1098.77/86400 c Decision: 15820/189840 Time: 1106.16/86400 c Decision: 15820/189840 Time: 1114.1/86400 c Decision: 15820/189840 Time: 1121.48/86400 c Decision: 15820/189840 Time: 1128.38/86400 c Decision: 15820/189840 Time: 1136.85/86400 c Decision: 15820/189840 Time: 1144.09/86400 c Decision: 15820/189840 Time: 1151.22/86400 c Decision: 15820/189840 Time: 1158.32/86400 c Decision: 15820/189840 Time: 1165.68/86400 c Decision: 15820/189840 Time: 1173.44/86400 c Decision: 15820/189840 Time: 1179.68/86400 c Decision: 15820/189840 Time: 1187.12/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.91 0.95 0.90 1/54 32078 Raw data (stat): 32078 (runsolver) R 32077 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973324913 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99992 s] Raw data (loadavg): 0.92 0.95 0.90 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 25434 0 0 0 941 57 0 0 25 0 1 0 973324913 78999552 14151 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19287 14151 301 301 0 18986 0 vsize: 77148 [startup+20.0012 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27007 0 0 0 1935 64 0 0 25 0 1 0 973324913 86147072 15724 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21032 15724 301 301 0 20731 0 vsize: 84128 [startup+30.0017 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27314 0 0 0 2932 67 0 0 25 0 1 0 973324913 87490560 16031 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21360 16031 301 301 0 21059 0 vsize: 85440 [startup+40.0029 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27654 0 0 0 3930 69 0 0 25 0 1 0 973324913 89030656 16371 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21736 16371 301 301 0 21435 0 vsize: 86944 [startup+50.0037 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27818 0 0 0 4927 72 0 0 25 0 1 0 973324913 89636864 16535 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21884 16535 301 301 0 21583 0 vsize: 87536 [startup+60.0033 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27903 0 0 0 5924 75 0 0 25 0 1 0 973324913 89931776 16620 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21956 16620 301 301 0 21655 0 vsize: 87824 [startup+70.0044 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 27977 0 0 0 6921 78 0 0 25 0 1 0 973324913 90259456 16694 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22036 16694 301 301 0 21735 0 vsize: 88144 [startup+80.0055 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 28814 0 0 0 7917 83 0 0 25 0 1 0 973324913 90587136 16789 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22116 16789 301 301 0 21815 0 vsize: 88464 [startup+90.0059 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 29234 0 0 0 8912 87 0 0 25 0 1 0 973324913 90750976 16838 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22156 16838 301 301 0 21855 0 vsize: 88624 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 29996 0 0 0 9908 91 0 0 25 0 1 0 973324913 90750976 16858 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22156 16858 301 301 0 21855 0 vsize: 88624 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 30420 0 0 0 10905 95 0 0 25 0 1 0 973324913 90914816 16911 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22196 16911 301 301 0 21895 0 vsize: 88784 [startup+120.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 31173 0 0 0 11900 99 0 0 25 0 1 0 973324913 90914816 16922 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22196 16922 301 301 0 21895 0 vsize: 88784 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 31569 0 0 0 12897 103 0 0 25 0 1 0 973324913 91078656 16947 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22236 16947 301 301 0 21935 0 vsize: 88944 [startup+140.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 32318 0 0 0 13893 107 0 0 25 0 1 0 973324913 91078656 16954 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22236 16954 301 301 0 21935 0 vsize: 88944 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 32724 0 0 0 14889 111 0 0 25 0 1 0 973324913 91226112 16989 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22272 16989 301 301 0 21971 0 vsize: 89088 [startup+160.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 33485 0 0 0 15885 114 0 0 25 0 1 0 973324913 91226112 17008 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22272 17008 301 301 0 21971 0 vsize: 89088 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 33891 0 0 0 16882 118 0 0 25 0 1 0 973324913 91226112 17043 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22272 17043 301 301 0 21971 0 vsize: 89088 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 34654 0 0 0 17879 121 0 0 25 0 1 0 973324913 91369472 17064 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22307 17064 301 301 0 22006 0 vsize: 89228 [startup+190.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 35422 0 0 0 18874 126 0 0 25 0 1 0 973324913 91369472 17090 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22307 17090 301 301 0 22006 0 vsize: 89228 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 35840 0 0 0 19870 131 0 0 25 0 1 0 973324913 91512832 17137 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22342 17137 301 301 0 22041 0 vsize: 89368 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 36601 0 0 0 20864 136 0 0 25 0 1 0 973324913 91512832 17156 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22342 17156 301 301 0 22041 0 vsize: 89368 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 37371 0 0 0 21859 142 0 0 25 0 1 0 973324913 91643904 17184 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22374 17184 301 301 0 22073 0 vsize: 89496 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 38155 0 0 0 22855 146 0 0 25 0 1 0 973324913 91643904 17226 4294967295 134512640 135730672 3221224576 3221223200 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22374 17226 301 301 0 22073 0 vsize: 89496 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 38550 0 0 0 23851 150 0 0 25 0 1 0 973324913 91774976 17250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22406 17250 301 301 0 22105 0 vsize: 89624 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 39406 0 0 0 24845 156 0 0 25 0 1 0 973324913 92364800 17364 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17364 301 301 0 22249 0 vsize: 90200 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 39797 0 0 0 25841 161 0 0 25 0 1 0 973324913 92364800 17384 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17384 301 301 0 22249 0 vsize: 90200 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 40551 0 0 0 26836 166 0 0 25 0 1 0 973324913 92364800 17396 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17396 301 301 0 22249 0 vsize: 90200 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 41323 0 0 0 27832 170 0 0 25 0 1 0 973324913 92364800 17426 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17426 301 301 0 22249 0 vsize: 90200 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 41718 0 0 0 28829 173 0 0 25 0 1 0 973324913 92364800 17450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17450 301 301 0 22249 0 vsize: 90200 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 42113 0 0 0 29825 177 0 0 25 0 1 0 973324913 92364800 17474 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22550 17474 301 301 0 22249 0 vsize: 90200 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 42882 0 0 0 30820 183 0 0 25 0 1 0 973324913 92495872 17501 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22582 17501 301 301 0 22281 0 vsize: 90328 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 43651 0 0 0 31815 188 0 0 25 0 1 0 973324913 92495872 17528 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22582 17528 301 301 0 22281 0 vsize: 90328 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 44418 0 0 0 32811 192 0 0 25 0 1 0 973324913 92495872 17553 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22582 17553 301 301 0 22281 0 vsize: 90328 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 44819 0 0 0 33807 196 0 0 25 0 1 0 973324913 92626944 17583 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22614 17583 301 301 0 22313 0 vsize: 90456 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 45587 0 0 0 34802 202 0 0 25 0 1 0 973324913 92626944 17609 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22614 17609 301 301 0 22313 0 vsize: 90456 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 46359 0 0 0 35797 206 0 0 25 0 1 0 973324913 92626944 17639 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22614 17639 301 301 0 22313 0 vsize: 90456 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 46760 0 0 0 36794 210 0 0 25 0 1 0 973324913 92758016 17669 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22646 17669 301 301 0 22345 0 vsize: 90584 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 47533 0 0 0 37788 216 0 0 25 0 1 0 973324913 92758016 17700 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22646 17700 301 301 0 22345 0 vsize: 90584 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 48318 0 0 0 38784 220 0 0 25 0 1 0 973324913 92893184 17743 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22679 17743 301 301 0 22378 0 vsize: 90716 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 48782 0 0 0 39781 224 0 0 25 0 1 0 973324913 93233152 17836 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22762 17836 301 301 0 22461 0 vsize: 91048 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 49538 0 0 0 40776 229 0 0 25 0 1 0 973324913 93233152 17850 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22762 17850 301 301 0 22461 0 vsize: 91048 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 50312 0 0 0 41772 233 0 0 25 0 1 0 973324913 93233152 17882 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22762 17882 301 301 0 22461 0 vsize: 91048 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 50723 0 0 0 42768 237 0 0 25 0 1 0 973324913 93364224 17922 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22794 17922 301 301 0 22493 0 vsize: 91176 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 51492 0 0 0 43765 241 0 0 25 0 1 0 973324913 93364224 17949 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22794 17949 301 301 0 22493 0 vsize: 91176 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 52264 0 0 0 44760 245 0 0 25 0 1 0 973324913 93511680 17979 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22830 17979 301 301 0 22529 0 vsize: 91320 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 53039 0 0 0 45755 250 0 0 25 0 1 0 973324913 95031296 18383 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23201 18383 301 301 0 22900 0 vsize: 92804 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 53435 0 0 0 46751 255 0 0 25 0 1 0 973324913 93511680 18037 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22830 18037 301 301 0 22529 0 vsize: 91320 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 53829 0 0 0 47747 258 0 0 25 0 1 0 973324913 93646848 18060 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22863 18060 301 301 0 22562 0 vsize: 91452 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 54598 0 0 0 48742 264 0 0 25 0 1 0 973324913 93646848 18087 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22863 18087 301 301 0 22562 0 vsize: 91452 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 55375 0 0 0 49737 269 0 0 25 0 1 0 973324913 93782016 18122 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22896 18122 301 301 0 22595 0 vsize: 91584 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 55761 0 0 0 50734 273 0 0 25 0 1 0 973324913 93782016 18137 4294967295 134512640 135730672 3221224576 3221223252 134748586 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22896 18137 301 301 0 22595 0 vsize: 91584 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 56530 0 0 0 51730 277 0 0 25 0 1 0 973324913 93782016 18164 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22896 18164 301 301 0 22595 0 vsize: 91584 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 57302 0 0 0 52726 281 0 0 25 0 1 0 973324913 95301632 18565 4294967295 134512640 135730672 3221224576 3221222768 134772772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23267 18565 301 301 0 22966 0 vsize: 93068 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 57333 0 0 0 53722 286 0 0 25 0 1 0 973324913 93917184 18225 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22929 18225 301 301 0 22628 0 vsize: 91716 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 58103 0 0 0 54718 290 0 0 25 0 1 0 973324913 93917184 18253 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22929 18253 301 301 0 22628 0 vsize: 91716 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 58875 0 0 0 55713 295 0 0 25 0 1 0 973324913 95436800 18654 4294967295 134512640 135730672 3221224576 3221222712 134765469 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23300 18654 301 301 0 22999 0 vsize: 93200 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 59273 0 0 0 56710 298 0 0 25 0 1 0 973324913 94048256 18310 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22961 18310 301 301 0 22660 0 vsize: 91844 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 59674 0 0 0 57705 302 0 0 25 0 1 0 973324913 94048256 18340 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22961 18340 301 301 0 22660 0 vsize: 91844 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 60441 0 0 0 58701 307 0 0 25 0 1 0 973324913 94179328 18365 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22993 18365 301 301 0 22692 0 vsize: 91972 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 60832 0 0 0 59697 312 0 0 25 0 1 0 973324913 94179328 18385 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22993 18385 301 301 0 22692 0 vsize: 91972 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 61602 0 0 0 60691 317 0 0 25 0 1 0 973324913 94179328 18413 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22993 18413 301 301 0 22692 0 vsize: 91972 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 62001 0 0 0 61688 320 0 0 25 0 1 0 973324913 94314496 18441 4294967295 134512640 135730672 3221224576 3221223088 134745890 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23026 18441 301 301 0 22725 0 vsize: 92104 [startup+630.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 62770 0 0 0 62684 325 0 0 25 0 1 0 973324913 94314496 18468 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23026 18468 301 301 0 22725 0 vsize: 92104 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 63165 0 0 0 63680 329 0 0 25 0 1 0 973324913 94314496 18492 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23026 18492 301 301 0 22725 0 vsize: 92104 [startup+650.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 63941 0 0 0 64676 333 0 0 25 0 1 0 973324913 94449664 18526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23059 18526 301 301 0 22758 0 vsize: 92236 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 64707 0 0 0 65673 337 0 0 25 0 1 0 973324913 94449664 18550 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23059 18550 301 301 0 22758 0 vsize: 92236 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 65098 0 0 0 66668 341 0 0 25 0 1 0 973324913 94449664 18570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23059 18570 301 301 0 22758 0 vsize: 92236 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 65878 0 0 0 67664 346 0 0 25 0 1 0 973324913 94580736 18608 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23091 18608 301 301 0 22790 0 vsize: 92364 [startup+690.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 66282 0 0 0 68660 350 0 0 25 0 1 0 973324913 94580736 18641 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23091 18641 301 301 0 22790 0 vsize: 92364 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 67045 0 0 0 69656 354 0 0 25 0 1 0 973324913 94715904 18662 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23124 18662 301 301 0 22823 0 vsize: 92496 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 67816 0 0 0 70650 360 0 0 25 0 1 0 973324913 94715904 18691 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23124 18691 301 301 0 22823 0 vsize: 92496 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 68214 0 0 0 71647 364 0 0 25 0 1 0 973324913 94715904 18718 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23124 18718 301 301 0 22823 0 vsize: 92496 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 68611 0 0 0 72642 368 0 0 25 0 1 0 973324913 94846976 18744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23156 18744 301 301 0 22855 0 vsize: 92624 [startup+740.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 69385 0 0 0 73638 373 0 0 25 0 1 0 973324913 94846976 18776 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23156 18776 301 301 0 22855 0 vsize: 92624 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 70164 0 0 0 74634 377 0 0 25 0 1 0 973324913 94982144 18813 4294967295 134512640 135730672 3221224576 3221223024 134730512 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23189 18813 301 301 0 22888 0 vsize: 92756 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 70565 0 0 0 75631 380 0 0 25 0 1 0 973324913 94982144 18843 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23189 18843 301 301 0 22888 0 vsize: 92756 [startup+770.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 71348 0 0 0 76628 384 0 0 25 0 1 0 973324913 95141888 18884 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23228 18884 301 301 0 22927 0 vsize: 92912 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 71760 0 0 0 77624 388 0 0 25 0 1 0 973324913 95141888 18925 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23228 18925 301 301 0 22927 0 vsize: 92912 [startup+790.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 72519 0 0 0 78620 392 0 0 25 0 1 0 973324913 96796672 19313 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23632 19313 301 301 0 23331 0 vsize: 94528 [startup+800.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 72913 0 0 0 79616 396 0 0 25 0 1 0 973324913 95277056 18965 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23261 18965 301 301 0 22960 0 vsize: 93044 [startup+810.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 73316 0 0 0 80612 400 0 0 25 0 1 0 973324913 95277056 18997 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23261 18997 301 301 0 22960 0 vsize: 93044 [startup+820.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 74089 0 0 0 81608 404 0 0 25 0 1 0 973324913 95277056 19028 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23261 19028 301 301 0 22960 0 vsize: 93044 [startup+830.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 74855 0 0 0 82605 408 0 0 25 0 1 0 973324913 95408128 19052 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23293 19052 301 301 0 22992 0 vsize: 93172 [startup+840.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 75255 0 0 0 83602 411 0 0 25 0 1 0 973324913 95408128 19081 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23293 19081 301 301 0 22992 0 vsize: 93172 [startup+850.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 76026 0 0 0 84597 416 0 0 25 0 1 0 973324913 95543296 19110 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23326 19110 301 301 0 23025 0 vsize: 93304 [startup+860.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 76420 0 0 0 85594 419 0 0 25 0 1 0 973324913 95543296 19133 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23326 19133 301 301 0 23025 0 vsize: 93304 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 76818 0 0 0 86592 421 0 0 25 0 1 0 973324913 95543296 19160 4294967295 134512640 135730672 3221224576 3221223088 134746195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23326 19160 301 301 0 23025 0 vsize: 93304 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 77582 0 0 0 87587 426 0 0 25 0 1 0 973324913 95543296 19182 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23326 19182 301 301 0 23025 0 vsize: 93304 [startup+890.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 77997 0 0 0 88584 429 0 0 25 0 1 0 973324913 95674368 19226 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23358 19226 301 301 0 23057 0 vsize: 93432 [startup+900.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 78754 0 0 0 89580 434 0 0 25 0 1 0 973324913 95674368 19241 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23358 19241 301 301 0 23057 0 vsize: 93432 [startup+910.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 79151 0 0 0 90577 437 0 0 25 0 1 0 973324913 95674368 19267 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23358 19267 301 301 0 23057 0 vsize: 93432 [startup+920.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 79919 0 0 0 91573 441 0 0 25 0 1 0 973324913 95813632 19293 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23392 19293 301 301 0 23091 0 vsize: 93568 [startup+930.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 80315 0 0 0 92569 445 0 0 25 0 1 0 973324913 95813632 19318 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23392 19318 301 301 0 23091 0 vsize: 93568 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 80708 0 0 0 93565 449 0 0 25 0 1 0 973324913 95813632 19340 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23392 19340 301 301 0 23091 0 vsize: 93568 [startup+950.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 81482 0 0 0 94562 452 0 0 25 0 1 0 973324913 95944704 19372 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23424 19372 301 301 0 23123 0 vsize: 93696 [startup+960.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 81884 0 0 0 95559 456 0 0 25 0 1 0 973324913 95944704 19403 4294967295 134512640 135730672 3221224576 3221223088 134745876 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23424 19403 301 301 0 23123 0 vsize: 93696 [startup+970.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 82644 0 0 0 96556 459 0 0 25 0 1 0 973324913 95944704 19421 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23424 19421 301 301 0 23123 0 vsize: 93696 [startup+980.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 83040 0 0 0 97552 464 0 0 25 0 1 0 973324913 95944704 19446 4294967295 134512640 135730672 3221224576 3221223184 134744836 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23424 19446 301 301 0 23123 0 vsize: 93696 [startup+990.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 83807 0 0 0 98548 467 0 0 25 0 1 0 973324913 96079872 19471 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23457 19471 301 301 0 23156 0 vsize: 93828 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 84199 0 0 0 99545 471 0 0 25 0 1 0 973324913 96079872 19492 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23457 19492 301 301 0 23156 0 vsize: 93828 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 84597 0 0 0 100540 476 0 0 25 0 1 0 973324913 96079872 19519 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23457 19519 301 301 0 23156 0 vsize: 93828 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 84998 0 0 0 101537 479 0 0 25 0 1 0 973324913 96210944 19549 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23489 19549 301 301 0 23188 0 vsize: 93956 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 85767 0 0 0 102533 483 0 0 25 0 1 0 973324913 96210944 19576 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23489 19576 301 301 0 23188 0 vsize: 93956 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 86160 0 0 0 103530 487 0 0 25 0 1 0 973324913 96210944 19598 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23489 19598 301 301 0 23188 0 vsize: 93956 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 86933 0 0 0 104526 490 0 0 25 0 1 0 973324913 96350208 19629 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23523 19629 301 301 0 23222 0 vsize: 94092 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 87343 0 0 0 105523 494 0 0 25 0 1 0 973324913 96493568 19668 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23558 19668 301 301 0 23257 0 vsize: 94232 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 87731 0 0 0 106520 498 0 0 25 0 1 0 973324913 96493568 19685 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23558 19685 301 301 0 23257 0 vsize: 94232 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 88499 0 0 0 107515 502 0 0 25 0 1 0 973324913 96493568 19711 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23558 19711 301 301 0 23257 0 vsize: 94232 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 88901 0 0 0 108512 506 0 0 25 0 1 0 973324913 96493568 19742 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23558 19742 301 301 0 23257 0 vsize: 94232 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 89292 0 0 0 109509 509 0 0 25 0 1 0 973324913 96628736 19762 4294967295 134512640 135730672 3221224576 3221223088 134746377 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23591 19762 301 301 0 23290 0 vsize: 94364 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 90066 0 0 0 110505 513 0 0 25 0 1 0 973324913 96628736 19794 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23591 19794 301 301 0 23290 0 vsize: 94364 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 90466 0 0 0 111501 517 0 0 25 0 1 0 973324913 96763904 19823 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23624 19823 301 301 0 23323 0 vsize: 94496 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 91232 0 0 0 112497 521 0 0 25 0 1 0 973324913 98283520 20218 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23995 20218 301 301 0 23694 0 vsize: 95980 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 91626 0 0 0 113494 524 0 0 25 0 1 0 973324913 96763904 19870 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23624 19870 301 301 0 23323 0 vsize: 94496 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 92017 0 0 0 114491 528 0 0 25 0 1 0 973324913 96763904 19890 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23624 19890 301 301 0 23323 0 vsize: 94496 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 92788 0 0 0 115488 531 0 0 25 0 1 0 973324913 96894976 19919 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23656 19919 301 301 0 23355 0 vsize: 94624 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 93193 0 0 0 116484 535 0 0 25 0 1 0 973324913 96894976 19953 4294967295 134512640 135730672 3221224576 3221222824 135285423 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23656 19953 301 301 0 23355 0 vsize: 94624 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 93594 0 0 0 117480 539 0 0 25 0 1 0 973324913 97026048 19983 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23688 19983 301 301 0 23387 0 vsize: 94752 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 94361 0 0 0 118477 542 0 0 25 0 1 0 973324913 97026048 20008 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23688 20008 301 301 0 23387 0 vsize: 94752 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32078 Raw data (stat): 32078 (pb2sat-v2) R 32077 21152 21151 0 -1 0 94791 0 0 0 119474 546 0 0 25 0 1 0 973324913 97189888 20067 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23728 20067 301 301 0 23427 0 vsize: 94912 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.55 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 32078 Raw data (stat): 32078 (pb2sat-v2) Z 32077 21152 21151 0 -1 12 94793 0 0 0 119520 550 0 0 25 0 1 0 973324913 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.55 CPU time (s): 1200.7 CPU user time (s): 1195.2 CPU system time (s): 5.50016 CPU usage (%): 100.013 Max. virtual memory (Kb): 95980 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####