Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb |
MD5SUM | 70f8dad81749dae15a5dabba2309b4f5 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.049992 |
Number of variables | 5344 |
Total number of constraints | 136 |
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 | 136 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 10:15:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25761 boxname=wulflinc2 idbench=1061 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 70f8dad81749dae15a5dabba2309b4f5 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-pp08a.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-pp08a.opb IDLAUNCH: 25761 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 883176 kB Buffers: 9976 kB Cached: 119220 kB SwapCached: 1432 kB Active: 27072 kB Inactive: 104260 kB HighTotal: 131008 kB HighFree: 33068 kB LowTotal: 903652 kB LowFree: 850108 kB SwapTotal: 2097136 kB SwapFree: 2094708 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 14468 kB Committed_AS: 71928 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 10:35:31 (client local time) WITH STATUS 0 IN 1200.53 SECONDS stats: 25761 7 1200.53 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 6497/119108 Time: 11.1023/86400 c Decision: 6497/119108 Time: 14.0389/86400 c Decision: 6534/119108 Time: 20.4789/86400 c Decision: 6552/119108 Time: 26.9619/86400 c Decision: 6552/119108 Time: 30.4384/86400 c Decision: 6562/119108 Time: 34.0708/86400 c Decision: 6565/119108 Time: 37.1344/86400 c Decision: 6573/119108 Time: 42.1846/86400 c Decision: 6577/119108 Time: 46.204/86400 c Decision: 6577/119108 Time: 49.6784/86400 c Decision: 6577/119108 Time: 54.0518/86400 c Decision: 6585/119108 Time: 58.8681/86400 c Decision: 6585/119108 Time: 62.4095/86400 c Decision: 6621/119108 Time: 68.7375/86400 c Decision: 6669/119108 Time: 77.0423/86400 c Decision: 6702/119108 Time: 85.473/86400 c Decision: 6719/119108 Time: 93.9797/86400 c Decision: 6719/119108 Time: 97.8941/86400 c Decision: 6815/119108 Time: 117.261/86400 c Decision: 6830/119108 Time: 122.432/86400 c Decision: 6830/119108 Time: 127.491/86400 c Decision: 6857/119108 Time: 136.086/86400 c Decision: 6857/119108 Time: 140.564/86400 c Decision: 6857/119108 Time: 145.155/86400 c Decision: 6885/119108 Time: 159.365/86400 c Decision: 6894/119108 Time: 169.605/86400 c Decision: 6926/119108 Time: 176.536/86400 c Decision: 6926/119108 Time: 182.309/86400 c Decision: 6926/119108 Time: 188.282/86400 c Decision: 6926/119108 Time: 193.687/86400 c Decision: 6933/119108 Time: 203.399/86400 c Decision: 6933/119108 Time: 209.022/86400 c Decision: 6949/119108 Time: 222.627/86400 c Decision: 6949/119108 Time: 229.948/86400 c Decision: 6953/119108 Time: 240.323/86400 c Decision: 6953/119108 Time: 247.424/86400 c Decision: 6962/119108 Time: 255.713/86400 c Decision: 6965/119108 Time: 264.211/86400 c Decision: 6968/119108 Time: 272.178/86400 c Decision: 6970/119108 Time: 282.516/86400 c Decision: 6978/119108 Time: 294.483/86400 c Decision: 6981/119108 Time: 302.791/86400 c Decision: 6987/119108 Time: 314.867/86400 c Decision: 6990/119108 Time: 324.048/86400 c Decision: 6990/119108 Time: 330.617/86400 c Decision: 6995/119108 Time: 339.746/86400 c Decision: 6998/119108 Time: 350.361/86400 c Decision: 6998/119108 Time: 356.719/86400 c Decision: 7004/119108 Time: 364.463/86400 c Decision: 7004/119108 Time: 371.071/86400 c Decision: 7004/119108 Time: 378.617/86400 c Decision: 7004/119108 Time: 384.731/86400 c Decision: 7042/119108 Time: 398.896/86400 c Decision: 7046/119108 Time: 407.804/86400 c Decision: 7046/119108 Time: 413.836/86400 c Decision: 7046/119108 Time: 421.119/86400 c Decision: 7046/119108 Time: 428.334/86400 c Decision: 7046/119108 Time: 434.458/86400 c Decision: 7046/119108 Time: 441.106/86400 c Decision: 7046/119108 Time: 448.483/86400 c Decision: 7070/119108 Time: 466.268/86400 c Decision: 7070/119108 Time: 473.035/86400 c Decision: 7074/119108 Time: 482.916/86400 c Decision: 7124/119108 Time: 519.482/86400 c Decision: 7130/119108 Time: 529.516/86400 c Decision: 7139/119108 Time: 541.091/86400 c Decision: 7139/119108 Time: 549.116/86400 c Decision: 7147/119108 Time: 565.345/86400 c Decision: 7147/119108 Time: 574.335/86400 c Decision: 7147/119108 Time: 582.016/86400 c Decision: 7153/119108 Time: 600.703/86400 c Decision: 7153/119108 Time: 608.641/86400 c Decision: 7153/119108 Time: 617.011/86400 c Decision: 7153/119108 Time: 624.755/86400 c Decision: 7153/119108 Time: 631.963/86400 c Decision: 7153/119108 Time: 639.966/86400 c Decision: 7153/119108 Time: 646.776/86400 c Decision: 7153/119108 Time: 653.964/86400 c Decision: 7153/119108 Time: 661.362/86400 c Decision: 7153/119108 Time: 668.81/86400 c Decision: 7153/119108 Time: 675.986/86400 c Decision: 7153/119108 Time: 682.277/86400 c Decision: 7153/119108 Time: 689.589/86400 c Decision: 7153/119108 Time: 696.68/86400 c Decision: 7153/119108 Time: 705.635/86400 c Decision: 7153/119108 Time: 714.818/86400 c Decision: 7159/119108 Time: 734.924/86400 c Decision: 7159/119108 Time: 742.741/86400 c Decision: 7159/119108 Time: 751.365/86400 c Decision: 7159/119108 Time: 760.886/86400 c Decision: 7159/119108 Time: 769.893/86400 c Decision: 7159/119108 Time: 778.635/86400 c Decision: 7159/119108 Time: 787.237/86400 c Decision: 7159/119108 Time: 795.934/86400 c Decision: 7159/119108 Time: 805.764/86400 c Decision: 7159/119108 Time: 814.501/86400 c Decision: 7159/119108 Time: 822.913/86400 c Decision: 7159/119108 Time: 832.218/86400 c Decision: 7159/119108 Time: 840.827/86400 c Decision: 7159/119108 Time: 849.026/86400 c Decision: 7159/119108 Time: 857.352/86400 c Decision: 7159/119108 Time: 866.106/86400 c Decision: 7159/119108 Time: 875.613/86400 c Decision: 7159/119108 Time: 886.543/86400 c Decision: 7159/119108 Time: 895.515/86400 c Decision: 7159/119108 Time: 905.229/86400 c Decision: 7159/119108 Time: 915.186/86400 c Decision: 7163/119108 Time: 931.105/86400 c Decision: 7163/119108 Time: 940.952/86400 c Decision: 7163/119108 Time: 950.83/86400 c Decision: 7163/119108 Time: 959.761/86400 c Decision: 7163/119108 Time: 970.302/86400 c Decision: 7163/119108 Time: 980.545/86400 c Decision: 7163/119108 Time: 989.706/86400 c Decision: 7163/119108 Time: 999.697/86400 c Decision: 7163/119108 Time: 1010.52/86400 c Decision: 7163/119108 Time: 1021.25/86400 c Decision: 7163/119108 Time: 1030.89/86400 c Decision: 7163/119108 Time: 1041.36/86400 c Decision: 7163/119108 Time: 1050.82/86400 c Decision: 7163/119108 Time: 1061.47/86400 c Decision: 7163/119108 Time: 1072.16/86400 c Decision: 7163/119108 Time: 1082.28/86400 c Decision: 7163/119108 Time: 1091.51/86400 c Decision: 7163/119108 Time: 1102.49/86400 c Decision: 7163/119108 Time: 1113.64/86400 c Decision: 7163/119108 Time: 1123.43/86400 c Decision: 7163/119108 Time: 1132.65/86400 c Decision: 7163/119108 Time: 1141.89/86400 c Decision: 7163/119108 Time: 1151.26/86400 c Decision: 7163/119108 Time: 1161.78/86400 c Decision: 7163/119108 Time: 1171.5/86400 c Decision: 7163/119108 Time: 1181.94/86400 c Decision: 7163/119108 Time: 1192.23/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.92 0.95 0.90 2/54 9084 Raw data (stat): 9084 (runsolver) R 9083 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969970740 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.99999 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 14782 0 0 0 955 43 0 0 25 0 1 0 969970740 43704320 9047 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10670 9047 301 301 0 10369 0 vsize: 42680 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 15794 0 0 0 1946 52 0 0 25 0 1 0 969970740 45756416 9593 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11171 9593 301 301 0 10870 0 vsize: 44684 [startup+30.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 16164 0 0 0 2938 59 0 0 25 0 1 0 969970740 46321664 9730 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11309 9730 301 301 0 11008 0 vsize: 45236 [startup+40.0021 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 16950 0 0 0 3931 66 0 0 25 0 1 0 969970740 46460928 9817 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11343 9817 301 301 0 11042 0 vsize: 45372 [startup+50.003 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 17511 0 0 0 4924 73 0 0 25 0 1 0 969970740 46747648 9912 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11413 9912 301 301 0 11112 0 vsize: 45652 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 18332 0 0 0 5918 80 0 0 25 0 1 0 969970740 47030272 10034 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11482 10034 301 301 0 11181 0 vsize: 45928 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 18859 0 0 0 6912 85 0 0 25 0 1 0 969970740 47177728 10095 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11518 10095 301 301 0 11217 0 vsize: 46072 [startup+80.0044 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 19174 0 0 0 7906 91 0 0 25 0 1 0 969970740 47321088 10177 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11553 10177 301 301 0 11252 0 vsize: 46212 [startup+90.0045 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 19481 0 0 0 8900 96 0 0 25 0 1 0 969970740 47456256 10251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11586 10251 301 301 0 11285 0 vsize: 46344 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 20005 0 0 0 9895 102 0 0 25 0 1 0 969970740 47595520 10309 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11620 10309 301 301 0 11319 0 vsize: 46480 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 20316 0 0 0 10890 107 0 0 25 0 1 0 969970740 47730688 10387 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11653 10387 301 301 0 11352 0 vsize: 46612 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 20391 0 0 0 11885 112 0 0 25 0 1 0 969970740 47861760 10462 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11685 10462 301 301 0 11384 0 vsize: 46740 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 20921 0 0 0 12879 119 0 0 25 0 1 0 969970740 48001024 10526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11719 10526 301 301 0 11418 0 vsize: 46876 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 21192 0 0 0 13874 124 0 0 25 0 1 0 969970740 48001024 10564 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11719 10564 301 301 0 11418 0 vsize: 46876 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 21693 0 0 0 14869 129 0 0 25 0 1 0 969970740 48136192 10599 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11752 10599 301 301 0 11451 0 vsize: 47008 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 21981 0 0 0 15864 134 0 0 25 0 1 0 969970740 48275456 10654 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11786 10654 301 301 0 11485 0 vsize: 47144 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 22270 0 0 0 16859 139 0 0 25 0 1 0 969970740 48406528 10710 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11818 10710 301 301 0 11517 0 vsize: 47272 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 22550 0 0 0 17854 144 0 0 25 0 1 0 969970740 48406528 10757 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11818 10757 301 301 0 11517 0 vsize: 47272 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 23067 0 0 0 18849 149 0 0 25 0 1 0 969970740 48541696 10808 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11851 10808 301 301 0 11550 0 vsize: 47404 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 23600 0 0 0 19845 154 0 0 25 0 1 0 969970740 48689152 10875 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11887 10875 301 301 0 11586 0 vsize: 47548 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 23883 0 0 0 20841 158 0 0 25 0 1 0 969970740 48828416 10925 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11921 10925 301 301 0 11620 0 vsize: 47684 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 24195 0 0 0 21836 164 0 0 25 0 1 0 969970740 49102848 11004 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11988 11004 301 301 0 11687 0 vsize: 47952 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 24473 0 0 0 22831 169 0 0 25 0 1 0 969970740 49102848 11049 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11988 11049 301 301 0 11687 0 vsize: 47952 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 24743 0 0 0 23827 173 0 0 25 0 1 0 969970740 49102848 11086 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11988 11086 301 301 0 11687 0 vsize: 47952 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 25024 0 0 0 24823 177 0 0 25 0 1 0 969970740 49238016 11134 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12021 11134 301 301 0 11720 0 vsize: 48084 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 25282 0 0 0 25819 181 0 0 25 0 1 0 969970740 49238016 11159 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12021 11159 301 301 0 11720 0 vsize: 48084 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 25770 0 0 0 26814 186 0 0 25 0 1 0 969970740 50327552 11414 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12287 11414 301 301 0 11986 0 vsize: 49148 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 26040 0 0 0 27810 190 0 0 25 0 1 0 969970740 49373184 11218 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12054 11218 301 301 0 11753 0 vsize: 48216 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 26318 0 0 0 28806 195 0 0 25 0 1 0 969970740 49512448 11263 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12088 11263 301 301 0 11787 0 vsize: 48352 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 26597 0 0 0 29802 199 0 0 25 0 1 0 969970740 49512448 11309 4294967295 134512640 135730672 3221224576 3221223200 134783076 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12088 11309 301 301 0 11787 0 vsize: 48352 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 26871 0 0 0 30797 204 0 0 25 0 1 0 969970740 58032128 11350 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14168 11350 301 301 0 13867 0 vsize: 56672 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 26925 0 0 0 31793 208 0 0 25 0 1 0 969970740 58032128 11404 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14168 11404 301 301 0 13867 0 vsize: 56672 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 27429 0 0 0 32788 213 0 0 25 0 1 0 969970740 58032128 11442 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14168 11442 301 301 0 13867 0 vsize: 56672 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 27718 0 0 0 33783 218 0 0 25 0 1 0 969970740 58167296 11498 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14201 11498 301 301 0 13900 0 vsize: 56804 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 27982 0 0 0 34780 222 0 0 25 0 1 0 969970740 58167296 11529 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14201 11529 301 301 0 13900 0 vsize: 56804 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 28235 0 0 0 35776 226 0 0 25 0 1 0 969970740 58302464 11549 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14234 11549 301 301 0 13933 0 vsize: 56936 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 28486 0 0 0 36772 230 0 0 25 0 1 0 969970740 58302464 11567 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14234 11567 301 301 0 13933 0 vsize: 56936 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 28991 0 0 0 37767 236 0 0 25 0 1 0 969970740 58302464 11606 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14234 11606 301 301 0 13933 0 vsize: 56936 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 29255 0 0 0 38763 240 0 0 25 0 1 0 969970740 58433536 11637 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14266 11637 301 301 0 13965 0 vsize: 57064 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 29512 0 0 0 39760 243 0 0 25 0 1 0 969970740 58568704 11661 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14299 11661 301 301 0 13998 0 vsize: 57196 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 29789 0 0 0 40755 248 0 0 25 0 1 0 969970740 58568704 11705 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14299 11705 301 301 0 13998 0 vsize: 57196 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 30314 0 0 0 41750 253 0 0 25 0 1 0 969970740 58703872 11764 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14332 11764 301 301 0 14031 0 vsize: 57328 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 30592 0 0 0 42746 257 0 0 25 0 1 0 969970740 58703872 11809 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14332 11809 301 301 0 14031 0 vsize: 57328 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 30838 0 0 0 43743 260 0 0 25 0 1 0 969970740 58834944 11822 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14364 11822 301 301 0 14063 0 vsize: 57456 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 31337 0 0 0 44740 264 0 0 25 0 1 0 969970740 58970112 11855 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14397 11855 301 301 0 14096 0 vsize: 57588 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 31605 0 0 0 45736 268 0 0 25 0 1 0 969970740 58970112 11890 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14397 11890 301 301 0 14096 0 vsize: 57588 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 31655 0 0 0 46732 272 0 0 25 0 1 0 969970740 58970112 11940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14397 11940 301 301 0 14096 0 vsize: 57588 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32146 0 0 0 47729 275 0 0 25 0 1 0 969970740 59121664 11965 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14434 11965 301 301 0 14133 0 vsize: 57736 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32407 0 0 0 48726 279 0 0 25 0 1 0 969970740 59121664 11993 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14434 11993 301 301 0 14133 0 vsize: 57736 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32454 0 0 0 49722 283 0 0 25 0 1 0 969970740 59121664 12040 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14434 12040 301 301 0 14133 0 vsize: 57736 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32498 0 0 0 50718 287 0 0 25 0 1 0 969970740 59256832 12084 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14467 12084 301 301 0 14166 0 vsize: 57868 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32544 0 0 0 51713 292 0 0 25 0 1 0 969970740 59256832 12130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14467 12130 301 301 0 14166 0 vsize: 57868 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 32824 0 0 0 52710 295 0 0 25 0 1 0 969970740 59256832 12177 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14467 12177 301 301 0 14166 0 vsize: 57868 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 33106 0 0 0 53705 301 0 0 25 0 1 0 969970740 59392000 12226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14500 12226 301 301 0 14199 0 vsize: 58000 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 33374 0 0 0 54700 305 0 0 25 0 1 0 969970740 59392000 12261 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14500 12261 301 301 0 14199 0 vsize: 58000 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 33625 0 0 0 55697 309 0 0 25 0 1 0 969970740 59392000 12279 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14500 12279 301 301 0 14199 0 vsize: 58000 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 33647 0 0 0 56694 312 0 0 25 0 1 0 969970740 59523072 12301 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14532 12301 301 301 0 14231 0 vsize: 58128 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 34140 0 0 0 57690 316 0 0 25 0 1 0 969970740 60477440 12561 4294967295 134512640 135730672 3221224576 3221222736 134769157 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14765 12561 301 301 0 14464 0 vsize: 59060 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 34410 0 0 0 58686 320 0 0 25 0 1 0 969970740 59523072 12365 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14532 12365 301 301 0 14231 0 vsize: 58128 [startup+600.017 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 34463 0 0 0 59683 324 0 0 25 0 1 0 969970740 59654144 12418 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14564 12418 301 301 0 14263 0 vsize: 58256 [startup+610.018 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 34727 0 0 0 60679 328 0 0 25 0 1 0 969970740 59654144 12449 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14564 12449 301 301 0 14263 0 vsize: 58256 [startup+620.018 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 34975 0 0 0 61675 332 0 0 25 0 1 0 969970740 59805696 12464 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14601 12464 301 301 0 14300 0 vsize: 58404 [startup+630.018 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 35249 0 0 0 62670 337 0 0 25 0 1 0 969970740 59805696 12505 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14601 12505 301 301 0 14300 0 vsize: 58404 [startup+640.018 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 35753 0 0 0 63665 342 0 0 25 0 1 0 969970740 59805696 12543 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14601 12543 301 301 0 14300 0 vsize: 58404 [startup+650.018 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 36017 0 0 0 64662 346 0 0 25 0 1 0 969970740 59940864 12574 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14634 12574 301 301 0 14333 0 vsize: 58536 [startup+660.018 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 36498 0 0 0 65657 351 0 0 25 0 1 0 969970740 59940864 12589 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14634 12589 301 301 0 14333 0 vsize: 58536 [startup+670.018 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 36747 0 0 0 66652 356 0 0 25 0 1 0 969970740 59940864 12605 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14634 12605 301 301 0 14333 0 vsize: 58536 [startup+680.018 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 36995 0 0 0 67648 360 0 0 25 0 1 0 969970740 59940864 12620 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14634 12620 301 301 0 14333 0 vsize: 58536 [startup+690.018 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 37479 0 0 0 68644 364 0 0 25 0 1 0 969970740 60076032 12638 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14667 12638 301 301 0 14366 0 vsize: 58668 [startup+700.018 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 37727 0 0 0 69639 369 0 0 25 0 1 0 969970740 60076032 12653 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14667 12653 301 301 0 14366 0 vsize: 58668 [startup+710.018 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 37977 0 0 0 70637 371 0 0 25 0 1 0 969970740 60076032 12670 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14667 12670 301 301 0 14366 0 vsize: 58668 [startup+720.019 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 38480 0 0 0 71633 376 0 0 25 0 1 0 969970740 61161472 12940 4294967295 134512640 135730672 3221224576 3221222712 134765474 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14932 12940 301 301 0 14631 0 vsize: 59728 [startup+730.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 38496 0 0 0 72629 380 0 0 25 0 1 0 969970740 60207104 12723 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14699 12723 301 301 0 14398 0 vsize: 58796 [startup+740.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 38537 0 0 0 73624 385 0 0 25 0 1 0 969970740 60207104 12764 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14699 12764 301 301 0 14398 0 vsize: 58796 [startup+750.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 39041 0 0 0 74619 390 0 0 25 0 1 0 969970740 60342272 12802 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14732 12802 301 301 0 14431 0 vsize: 58928 [startup+760.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 39329 0 0 0 75616 393 0 0 25 0 1 0 969970740 60481536 12857 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14766 12857 301 301 0 14465 0 vsize: 59064 [startup+770.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 39591 0 0 0 76611 398 0 0 25 0 1 0 969970740 60481536 12886 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14766 12886 301 301 0 14465 0 vsize: 59064 [startup+780.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 39840 0 0 0 77607 402 0 0 25 0 1 0 969970740 60481536 12902 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14766 12902 301 301 0 14465 0 vsize: 59064 [startup+790.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 40087 0 0 0 78604 406 0 0 25 0 1 0 969970740 60481536 12916 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14766 12916 301 301 0 14465 0 vsize: 59064 [startup+800.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 40333 0 0 0 79601 410 0 0 25 0 1 0 969970740 60481536 12929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14766 12929 301 301 0 14465 0 vsize: 59064 [startup+810.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 40578 0 0 0 80598 413 0 0 25 0 1 0 969970740 60612608 12941 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14798 12941 301 301 0 14497 0 vsize: 59192 [startup+820.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 41079 0 0 0 81593 417 0 0 25 0 1 0 969970740 60612608 12976 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14798 12976 301 301 0 14497 0 vsize: 59192 [startup+830.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 41323 0 0 0 82589 421 0 0 25 0 1 0 969970740 60612608 12987 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14798 12987 301 301 0 14497 0 vsize: 59192 [startup+840.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 41571 0 0 0 83585 425 0 0 25 0 1 0 969970740 60612608 13002 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14798 13002 301 301 0 14497 0 vsize: 59192 [startup+850.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 41829 0 0 0 84581 429 0 0 25 0 1 0 969970740 60743680 13027 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14830 13027 301 301 0 14529 0 vsize: 59320 [startup+860.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 42099 0 0 0 85577 434 0 0 25 0 1 0 969970740 60743680 13064 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14830 13064 301 301 0 14529 0 vsize: 59320 [startup+870.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 42351 0 0 0 86574 437 0 0 25 0 1 0 969970740 60743680 13083 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14830 13083 301 301 0 14529 0 vsize: 59320 [startup+880.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 42619 0 0 0 87570 441 0 0 25 0 1 0 969970740 60878848 13118 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14863 13118 301 301 0 14562 0 vsize: 59452 [startup+890.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 42882 0 0 0 88566 446 0 0 25 0 1 0 969970740 60878848 13148 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14863 13148 301 301 0 14562 0 vsize: 59452 [startup+900.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 43155 0 0 0 89562 450 0 0 25 0 1 0 969970740 60878848 13188 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14863 13188 301 301 0 14562 0 vsize: 59452 [startup+910.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 46494 0 0 0 90551 461 0 0 25 0 1 0 969970740 73596928 13221 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17968 13221 301 301 0 17667 0 vsize: 71872 [startup+920.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 46737 0 0 0 91547 465 0 0 25 0 1 0 969970740 73596928 13231 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17968 13231 301 301 0 17667 0 vsize: 71872 [startup+930.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 46990 0 0 0 92542 470 0 0 25 0 1 0 969970740 73596928 13251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17968 13251 301 301 0 17667 0 vsize: 71872 [startup+940.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 47262 0 0 0 93537 475 0 0 25 0 1 0 969970740 73596928 13290 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17968 13290 301 301 0 17667 0 vsize: 71872 [startup+950.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 47534 0 0 0 94533 479 0 0 25 0 1 0 969970740 73728000 13329 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18000 13329 301 301 0 17699 0 vsize: 72000 [startup+960.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 47796 0 0 0 95529 484 0 0 25 0 1 0 969970740 73728000 13358 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18000 13358 301 301 0 17699 0 vsize: 72000 [startup+970.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 48062 0 0 0 96526 487 0 0 25 0 1 0 969970740 73863168 13391 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18033 13391 301 301 0 17732 0 vsize: 72132 [startup+980.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 48305 0 0 0 97523 490 0 0 25 0 1 0 969970740 73863168 13401 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18033 13401 301 301 0 17732 0 vsize: 72132 [startup+990.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 48551 0 0 0 98520 493 0 0 25 0 1 0 969970740 73863168 13414 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18033 13414 301 301 0 17732 0 vsize: 72132 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 48800 0 0 0 99516 497 0 0 25 0 1 0 969970740 73863168 13430 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18033 13430 301 301 0 17732 0 vsize: 72132 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 49056 0 0 0 100513 501 0 0 25 0 1 0 969970740 73994240 13453 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18065 13453 301 301 0 17764 0 vsize: 72260 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 49311 0 0 0 101510 504 0 0 25 0 1 0 969970740 73994240 13475 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18065 13475 301 301 0 17764 0 vsize: 72260 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 49558 0 0 0 102505 509 0 0 25 0 1 0 969970740 73994240 13489 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18065 13489 301 301 0 17764 0 vsize: 72260 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 49801 0 0 0 103501 513 0 0 25 0 1 0 969970740 73994240 13499 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18065 13499 301 301 0 17764 0 vsize: 72260 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 50059 0 0 0 104498 517 0 0 25 0 1 0 969970740 73994240 13524 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18065 13524 301 301 0 17764 0 vsize: 72260 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 50332 0 0 0 105495 520 0 0 25 0 1 0 969970740 74125312 13564 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18097 13564 301 301 0 17796 0 vsize: 72388 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 50588 0 0 0 106492 523 0 0 25 0 1 0 969970740 74125312 13587 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18097 13587 301 301 0 17796 0 vsize: 72388 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 50831 0 0 0 107488 527 0 0 25 0 1 0 969970740 74125312 13597 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18097 13597 301 301 0 17796 0 vsize: 72388 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 51076 0 0 0 108485 530 0 0 25 0 1 0 969970740 74125312 13609 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18097 13609 301 301 0 17796 0 vsize: 72388 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 51328 0 0 0 109482 533 0 0 25 0 1 0 969970740 74260480 13628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18130 13628 301 301 0 17829 0 vsize: 72520 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 51591 0 0 0 110478 537 0 0 25 0 1 0 969970740 74260480 13658 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18130 13658 301 301 0 17829 0 vsize: 72520 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 51849 0 0 0 111475 541 0 0 25 0 1 0 969970740 74260480 13683 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18130 13683 301 301 0 17829 0 vsize: 72520 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 52092 0 0 0 112471 545 0 0 25 0 1 0 969970740 74260480 13693 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18130 13693 301 301 0 17829 0 vsize: 72520 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 52339 0 0 0 113467 549 0 0 25 0 1 0 969970740 74260480 13707 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18130 13707 301 301 0 17829 0 vsize: 72520 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 52595 0 0 0 114464 552 0 0 25 0 1 0 969970740 74391552 13730 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18162 13730 301 301 0 17861 0 vsize: 72648 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 52862 0 0 0 115459 557 0 0 25 0 1 0 969970740 74391552 13764 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18162 13764 301 301 0 17861 0 vsize: 72648 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 53120 0 0 0 116456 561 0 0 25 0 1 0 969970740 74391552 13789 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18162 13789 301 301 0 17861 0 vsize: 72648 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 53374 0 0 0 117452 565 0 0 25 0 1 0 969970740 74530816 13810 4294967295 134512640 135730672 3221224576 3221223184 134744652 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18196 13810 301 301 0 17895 0 vsize: 72784 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 53625 0 0 0 118449 568 0 0 25 0 1 0 969970740 74530816 13828 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18196 13828 301 301 0 17895 0 vsize: 72784 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9084 Raw data (stat): 9084 (pb2sat-v2) R 9083 31399 31398 0 -1 0 53872 0 0 0 119446 571 0 0 25 0 1 0 969970740 74530816 13842 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18196 13842 301 301 0 17895 0 vsize: 72784 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.37 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 9084 Raw data (stat): 9084 (pb2sat-v2) Z 9083 31399 31398 0 -1 12 53874 0 0 0 119478 574 0 0 25 0 1 0 969970740 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.37 CPU time (s): 1200.53 CPU user time (s): 1194.78 CPU system time (s): 5.74513 CPU usage (%): 100.013 Max. virtual memory (Kb): 72784 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####