Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb |
MD5SUM | d1b87efc35bcd73acfc5183bbe3df4f0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2304 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 178464600 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 178464600 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 3288 |
Total number of constraints | 374 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 310 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 16:57:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26078 boxname=wulflinc2 idbench=1378 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d1b87efc35bcd73acfc5183bbe3df4f0 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pp08aCUTS.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pp08aCUTS.opb IDLAUNCH: 26078 /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: 656512 kB Buffers: 22524 kB Cached: 333328 kB SwapCached: 1420 kB Active: 28172 kB Inactive: 329736 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 656260 kB SwapTotal: 2097136 kB SwapFree: 2094720 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 14492 kB Committed_AS: 71892 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 17:17:05 (client local time) WITH STATUS 0 IN 1200.46 SECONDS stats: 26078 7 1200.46 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1092/85892 Time: 6.26605/86400 c Decision: 1112/85892 Time: 10.3314/86400 c Decision: 1112/85892 Time: 12.5541/86400 c Decision: 1112/85892 Time: 14.4398/86400 c Decision: 1112/85892 Time: 16.3185/86400 c Decision: 1123/85892 Time: 18.7032/86400 c Decision: 1134/85892 Time: 21.2718/86400 c Decision: 1134/85892 Time: 23.1165/86400 c Decision: 1166/85892 Time: 25.7611/86400 c Decision: 1166/85892 Time: 27.8578/86400 c Decision: 1176/85892 Time: 30.3064/86400 c Decision: 1176/85892 Time: 32.2681/86400 c Decision: 1176/85892 Time: 34.3458/86400 c Decision: 1176/85892 Time: 36.9604/86400 c Decision: 1195/85892 Time: 42.6105/86400 c Decision: 1195/85892 Time: 45.3601/86400 c Decision: 1195/85892 Time: 47.6378/86400 c Decision: 1198/85892 Time: 49.9644/86400 c Decision: 1198/85892 Time: 52.5/86400 c Decision: 1198/85892 Time: 55.0446/86400 c Decision: 1210/85892 Time: 58.4491/86400 c Decision: 1210/85892 Time: 61.0197/86400 c Decision: 1210/85892 Time: 63.0624/86400 c Decision: 1213/85892 Time: 68.9075/86400 c Decision: 1213/85892 Time: 71.5691/86400 c Decision: 1213/85892 Time: 74.3957/86400 c Decision: 1213/85892 Time: 77.1573/86400 c Decision: 1219/85892 Time: 80.9327/86400 c Decision: 1223/85892 Time: 86.1899/86400 c Decision: 1229/85892 Time: 91.4431/86400 c Decision: 1229/85892 Time: 94.6116/86400 c Decision: 1229/85892 Time: 97.4262/86400 c Decision: 1229/85892 Time: 100.544/86400 c Decision: 1229/85892 Time: 103.35/86400 c Decision: 1231/85892 Time: 106.568/86400 c Decision: 1231/85892 Time: 109.843/86400 c Decision: 1231/85892 Time: 112.84/86400 c Decision: 1243/85892 Time: 115.723/86400 c Decision: 1243/85892 Time: 118.661/86400 c Decision: 1243/85892 Time: 121.748/86400 c Decision: 1243/85892 Time: 124.782/86400 c Decision: 1243/85892 Time: 127.953/86400 c Decision: 1243/85892 Time: 130.702/86400 c Decision: 1243/85892 Time: 133.865/86400 c Decision: 1243/85892 Time: 137.194/86400 c Decision: 1243/85892 Time: 140.692/86400 c Decision: 1255/85892 Time: 150.702/86400 c Decision: 1263/85892 Time: 157.716/86400 c Decision: 1283/85892 Time: 169.355/86400 c Decision: 1286/85892 Time: 174.366/86400 c Decision: 1293/85892 Time: 181.152/86400 c Decision: 1293/85892 Time: 185.355/86400 c Decision: 1304/85892 Time: 196.006/86400 c Decision: 1304/85892 Time: 200.068/86400 c Decision: 1304/85892 Time: 204.605/86400 c Decision: 1304/85892 Time: 208.927/86400 c Decision: 1304/85892 Time: 213.58/86400 c Decision: 1306/85892 Time: 222.186/86400 c Decision: 1334/85892 Time: 233.153/86400 c Decision: 1334/85892 Time: 237.68/86400 c Decision: 1337/85892 Time: 243.47/86400 c Decision: 1337/85892 Time: 248.027/86400 c Decision: 1337/85892 Time: 252.358/86400 c Decision: 1337/85892 Time: 257.02/86400 c Decision: 1337/85892 Time: 261.833/86400 c Decision: 1337/85892 Time: 266.886/86400 c Decision: 1353/85892 Time: 276.977/86400 c Decision: 1361/85892 Time: 284.719/86400 c Decision: 1378/85892 Time: 297.036/86400 c Decision: 1445/85892 Time: 324.656/86400 c Decision: 1450/85892 Time: 332.685/86400 c Decision: 1464/85892 Time: 343.282/86400 c Decision: 1464/85892 Time: 348.598/86400 c Decision: 1464/85892 Time: 353.533/86400 c Decision: 1464/85892 Time: 358.756/86400 c Decision: 1464/85892 Time: 364.195/86400 c Decision: 1464/85892 Time: 369.003/86400 c Decision: 1464/85892 Time: 374.349/86400 c Decision: 1464/85892 Time: 379.733/86400 c Decision: 1464/85892 Time: 384.932/86400 c Decision: 1464/85892 Time: 390.62/86400 c Decision: 1464/85892 Time: 396.576/86400 c Decision: 1470/85892 Time: 404.736/86400 c Decision: 1470/85892 Time: 410.076/86400 c Decision: 1472/85892 Time: 420.254/86400 c Decision: 1485/85892 Time: 429.958/86400 c Decision: 1485/85892 Time: 435.802/86400 c Decision: 1485/85892 Time: 441.605/86400 c Decision: 1485/85892 Time: 447.593/86400 c Decision: 1485/85892 Time: 452.905/86400 c Decision: 1485/85892 Time: 458.527/86400 c Decision: 1485/85892 Time: 464.282/86400 c Decision: 1485/85892 Time: 470.296/86400 c Decision: 1496/85892 Time: 483.752/86400 c Decision: 1496/85892 Time: 489.72/86400 c Decision: 1496/85892 Time: 496.331/86400 c Decision: 1496/85892 Time: 502.442/86400 c Decision: 1496/85892 Time: 509.187/86400 c Decision: 1496/85892 Time: 515.903/86400 c Decision: 1521/85892 Time: 532.206/86400 c Decision: 1536/85892 Time: 541.317/86400 c Decision: 1536/85892 Time: 547.66/86400 c Decision: 1550/85892 Time: 561.651/86400 c Decision: 1550/85892 Time: 567.555/86400 c Decision: 1550/85892 Time: 573.005/86400 c Decision: 1550/85892 Time: 578.902/86400 c Decision: 1550/85892 Time: 585.618/86400 c Decision: 1550/85892 Time: 592.272/86400 c Decision: 1550/85892 Time: 597.816/86400 c Decision: 1554/85892 Time: 605.735/86400 c Decision: 1554/85892 Time: 613.91/86400 c Decision: 1572/85892 Time: 631.251/86400 c Decision: 1572/85892 Time: 636.459/86400 c Decision: 1572/85892 Time: 641.895/86400 c Decision: 1575/85892 Time: 648.225/86400 c Decision: 1666/85892 Time: 666.845/86400 c Decision: 1671/85892 Time: 675.617/86400 c Decision: 1671/85892 Time: 682.114/86400 c Decision: 1671/85892 Time: 688.569/86400 c Decision: 1671/85892 Time: 694.937/86400 c Decision: 1676/85892 Time: 705.641/86400 c Decision: 1676/85892 Time: 711.278/86400 c Decision: 1690/85892 Time: 729.742/86400 c Decision: 1690/85892 Time: 734.352/86400 c Decision: 1690/85892 Time: 740.384/86400 c Decision: 1690/85892 Time: 746.7/86400 c Decision: 1690/85892 Time: 752.046/86400 c Decision: 1690/85892 Time: 757.692/86400 c Decision: 1690/85892 Time: 763.184/86400 c Decision: 1690/85892 Time: 769.516/86400 c Decision: 1690/85892 Time: 775.737/86400 c Decision: 1690/85892 Time: 781.208/86400 c Decision: 1690/85892 Time: 786.256/86400 c Decision: 1723/85892 Time: 795.462/86400 c Decision: 1725/85892 Time: 806.238/86400 c Decision: 1725/85892 Time: 812.925/86400 c Decision: 1725/85892 Time: 819.665/86400 c Decision: 1725/85892 Time: 826.978/86400 c Decision: 1725/85892 Time: 835.743/86400 c Decision: 1725/85892 Time: 842.582/86400 c Decision: 1725/85892 Time: 850.119/86400 c Decision: 1734/85892 Time: 865.068/86400 c Decision: 1744/85892 Time: 877.079/86400 c Decision: 1744/85892 Time: 884.061/86400 c Decision: 1744/85892 Time: 890.897/86400 c Decision: 1744/85892 Time: 896.795/86400 c Decision: 1746/85892 Time: 905.318/86400 c Decision: 1746/85892 Time: 911.796/86400 c Decision: 1746/85892 Time: 918.121/86400 c Decision: 1812/85892 Time: 935.044/86400 c Decision: 1812/85892 Time: 942.427/86400 c Decision: 1812/85892 Time: 950.372/86400 c Decision: 1812/85892 Time: 956.758/86400 c Decision: 1815/85892 Time: 970.321/86400 c Decision: 1839/85892 Time: 979.225/86400 c Decision: 1839/85892 Time: 986.91/86400 c Decision: 1844/85892 Time: 999.698/86400 c Decision: 1844/85892 Time: 1005.63/86400 c Decision: 1844/85892 Time: 1013.25/86400 c Decision: 1858/85892 Time: 1024.19/86400 c Decision: 1863/85892 Time: 1034.34/86400 c Decision: 1863/85892 Time: 1041.79/86400 c Decision: 1863/85892 Time: 1049.04/86400 c Decision: 1863/85892 Time: 1055.73/86400 c Decision: 1863/85892 Time: 1062.8/86400 c Decision: 1863/85892 Time: 1070.94/86400 c Decision: 1897/85892 Time: 1090.89/86400 c Decision: 1917/85892 Time: 1103.08/86400 c Decision: 1917/85892 Time: 1110.93/86400 c Decision: 1917/85892 Time: 1120.46/86400 c Decision: 1917/85892 Time: 1129.37/86400 c Decision: 1919/85892 Time: 1144.1/86400 c Decision: 1927/85892 Time: 1156.73/86400 c Decision: 1927/85892 Time: 1165.95/86400 c Decision: 1927/85892 Time: 1174.59/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 13317 Raw data (stat): 13317 (runsolver) R 13316 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972380496 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 12438 0 0 0 964 34 0 0 25 0 1 0 972380496 40865792 6703 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9977 6703 301 301 0 9676 0 vsize: 39908 [startup+20.001 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 13141 0 0 0 1955 42 0 0 25 0 1 0 972380496 41418752 6902 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10112 6902 301 301 0 9811 0 vsize: 40448 [startup+30.0007 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 14098 0 0 0 2948 49 0 0 25 0 1 0 972380496 41553920 7019 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10145 7019 301 301 0 9844 0 vsize: 40580 [startup+40.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 14941 0 0 0 3941 57 0 0 25 0 1 0 972380496 42102784 7190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10279 7190 301 301 0 9978 0 vsize: 41116 [startup+50.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 15438 0 0 0 4934 64 0 0 25 0 1 0 972380496 42512384 7351 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10379 7351 301 301 0 10078 0 vsize: 41516 [startup+60.0018 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 16217 0 0 0 5927 71 0 0 25 0 1 0 972380496 42659840 7458 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10415 7458 301 301 0 10114 0 vsize: 41660 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 16841 0 0 0 6920 78 0 0 25 0 1 0 972380496 43073536 7578 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10516 7578 301 301 0 10215 0 vsize: 42064 [startup+80.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 17438 0 0 0 7914 84 0 0 25 0 1 0 972380496 43208704 7671 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10549 7671 301 301 0 10248 0 vsize: 42196 [startup+90.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 18038 0 0 0 8908 90 0 0 25 0 1 0 972380496 44171264 7935 4294967295 134512640 135730672 3221224576 3221222736 134768830 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10784 7935 301 301 0 10483 0 vsize: 43136 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 18479 0 0 0 9901 97 0 0 25 0 1 0 972380496 43618304 7872 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10649 7872 301 301 0 10348 0 vsize: 42596 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 19071 0 0 0 10895 104 0 0 25 0 1 0 972380496 43888640 7960 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10715 7960 301 301 0 10414 0 vsize: 42860 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 19820 0 0 0 11891 108 0 0 25 0 1 0 972380496 44023808 8037 4294967295 134512640 135730672 3221224576 3221222816 134786278 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10748 8037 301 301 0 10447 0 vsize: 42992 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 20409 0 0 0 12886 113 0 0 25 0 1 0 972380496 44163072 8122 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10782 8122 301 301 0 10481 0 vsize: 43128 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 21000 0 0 0 13880 119 0 0 25 0 1 0 972380496 44298240 8209 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10815 8209 301 301 0 10514 0 vsize: 43260 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 21401 0 0 0 14875 124 0 0 25 0 1 0 972380496 44433408 8274 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10848 8274 301 301 0 10547 0 vsize: 43392 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 21615 0 0 0 15870 130 0 0 25 0 1 0 972380496 44564480 8320 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10880 8320 301 301 0 10579 0 vsize: 43520 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 21870 0 0 0 16864 136 0 0 25 0 1 0 972380496 44711936 8407 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10916 8407 301 301 0 10615 0 vsize: 43664 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13317 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 22299 0 0 0 17858 142 0 0 25 0 1 0 972380496 44847104 8500 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10949 8500 301 301 0 10648 0 vsize: 43796 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 22689 0 0 0 18854 146 0 0 25 0 1 0 972380496 44982272 8554 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10982 8554 301 301 0 10681 0 vsize: 43928 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 22939 0 0 0 19848 153 0 0 25 0 1 0 972380496 45129728 8636 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11018 8636 301 301 0 10717 0 vsize: 44072 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 23333 0 0 0 20842 158 0 0 25 0 1 0 972380496 45260800 8694 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11050 8694 301 301 0 10749 0 vsize: 44200 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 23712 0 0 0 21837 164 0 0 25 0 1 0 972380496 45395968 8737 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11083 8737 301 301 0 10782 0 vsize: 44332 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 23929 0 0 0 22832 169 0 0 25 0 1 0 972380496 45531136 8786 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11116 8786 301 301 0 10815 0 vsize: 44464 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13370 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 24159 0 0 0 23829 172 0 0 25 0 1 0 972380496 45674496 8848 4294967295 134512640 135730672 3221224576 3221222960 134763036 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11151 8848 301 301 0 10850 0 vsize: 44604 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 24545 0 0 0 24824 177 0 0 25 0 1 0 972380496 45674496 8898 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11151 8898 301 301 0 10850 0 vsize: 44604 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 24933 0 0 0 25820 182 0 0 25 0 1 0 972380496 45813760 8950 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11185 8950 301 301 0 10884 0 vsize: 44740 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 25328 0 0 0 26816 186 0 0 25 0 1 0 972380496 45944832 9009 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11217 9009 301 301 0 10916 0 vsize: 44868 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 25545 0 0 0 27811 190 0 0 25 0 1 0 972380496 46080000 9058 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11250 9058 301 301 0 10949 0 vsize: 45000 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 25930 0 0 0 28807 195 0 0 25 0 1 0 972380496 46080000 9107 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11250 9107 301 301 0 10949 0 vsize: 45000 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 25990 0 0 0 29802 200 0 0 25 0 1 0 972380496 46211072 9167 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11282 9167 301 301 0 10981 0 vsize: 45128 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 26213 0 0 0 30797 205 0 0 25 0 1 0 972380496 46211072 9222 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11282 9222 301 301 0 10981 0 vsize: 45128 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 26262 0 0 0 31792 211 0 0 25 0 1 0 972380496 46346240 9271 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11315 9271 301 301 0 11014 0 vsize: 45260 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 26486 0 0 0 32788 215 0 0 25 0 1 0 972380496 46346240 9327 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11315 9327 301 301 0 11014 0 vsize: 45260 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 26692 0 0 0 33783 220 0 0 25 0 1 0 972380496 46493696 9365 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11351 9365 301 301 0 11050 0 vsize: 45404 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 26885 0 0 0 34780 223 0 0 25 0 1 0 972380496 46493696 9390 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11351 9390 301 301 0 11050 0 vsize: 45404 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 27281 0 0 0 35775 228 0 0 25 0 1 0 972380496 46628864 9450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11384 9450 301 301 0 11083 0 vsize: 45536 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 27657 0 0 0 36772 231 0 0 25 0 1 0 972380496 46628864 9490 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11384 9490 301 301 0 11083 0 vsize: 45536 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 28019 0 0 0 37768 236 0 0 25 0 1 0 972380496 46759936 9516 4294967295 134512640 135730672 3221224576 3221223232 134734764 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11416 9516 301 301 0 11115 0 vsize: 45664 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 28380 0 0 0 38762 241 0 0 25 0 1 0 972380496 46895104 9541 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11449 9541 301 301 0 11148 0 vsize: 45796 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 28578 0 0 0 39759 245 0 0 25 0 1 0 972380496 46895104 9571 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11449 9571 301 301 0 11148 0 vsize: 45796 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 28963 0 0 0 40755 249 0 0 25 0 1 0 972380496 47026176 9620 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11481 9620 301 301 0 11180 0 vsize: 45924 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 29179 0 0 0 41751 253 0 0 25 0 1 0 972380496 47026176 9668 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11481 9668 301 301 0 11180 0 vsize: 45924 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 29404 0 0 0 42748 257 0 0 25 0 1 0 972380496 55414784 9725 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13529 9725 301 301 0 13228 0 vsize: 54116 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 29772 0 0 0 43743 261 0 0 25 0 1 0 972380496 55545856 9757 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13561 9757 301 301 0 13260 0 vsize: 54244 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 29984 0 0 0 44739 265 0 0 25 0 1 0 972380496 55681024 9801 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13594 9801 301 301 0 13293 0 vsize: 54376 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 30373 0 0 0 45735 270 0 0 25 0 1 0 972380496 55681024 9854 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13594 9854 301 301 0 13293 0 vsize: 54376 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 30749 0 0 0 46730 275 0 0 25 0 1 0 972380496 55816192 9894 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13627 9894 301 301 0 13326 0 vsize: 54508 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 30936 0 0 0 47724 281 0 0 25 0 1 0 972380496 55816192 9913 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13627 9913 301 301 0 13326 0 vsize: 54508 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 31136 0 0 0 48720 286 0 0 25 0 1 0 972380496 55959552 9945 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13662 9945 301 301 0 13361 0 vsize: 54648 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 31514 0 0 0 49716 290 0 0 25 0 1 0 972380496 55959552 9987 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13662 9987 301 301 0 13361 0 vsize: 54648 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 31701 0 0 0 50711 295 0 0 25 0 1 0 972380496 56090624 10006 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13694 10006 301 301 0 13393 0 vsize: 54776 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32069 0 0 0 51707 300 0 0 25 0 1 0 972380496 56090624 10038 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13694 10038 301 301 0 13393 0 vsize: 54776 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32117 0 0 0 52702 304 0 0 25 0 1 0 972380496 56225792 10086 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13727 10086 301 301 0 13426 0 vsize: 54908 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13372 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32323 0 0 0 53698 309 0 0 25 0 1 0 972380496 56225792 10124 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13727 10124 301 301 0 13426 0 vsize: 54908 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32523 0 0 0 54694 312 0 0 25 0 1 0 972380496 56225792 10156 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13727 10156 301 301 0 13426 0 vsize: 54908 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32729 0 0 0 55690 316 0 0 25 0 1 0 972380496 56360960 10194 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13760 10194 301 301 0 13459 0 vsize: 55040 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 32952 0 0 0 56687 320 0 0 25 0 1 0 972380496 56360960 10249 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13760 10249 301 301 0 13459 0 vsize: 55040 [startup+580.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 33339 0 0 0 57682 325 0 0 25 0 1 0 972380496 56496128 10300 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13793 10300 301 301 0 13492 0 vsize: 55172 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 33709 0 0 0 58677 330 0 0 25 0 1 0 972380496 56647680 10334 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10334 301 301 0 13529 0 vsize: 55320 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 33905 0 0 0 59673 335 0 0 25 0 1 0 972380496 56647680 10362 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10362 301 301 0 13529 0 vsize: 55320 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 34284 0 0 0 60669 339 0 0 25 0 1 0 972380496 56647680 10405 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10405 301 301 0 13529 0 vsize: 55320 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 34550 0 0 0 61666 342 0 0 25 0 1 0 972380496 57053184 10503 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13929 10503 301 301 0 13628 0 vsize: 55716 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 34591 0 0 0 62661 347 0 0 25 0 1 0 972380496 57053184 10544 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13929 10544 301 301 0 13628 0 vsize: 55716 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 34802 0 0 0 63656 352 0 0 25 0 1 0 972380496 57188352 10587 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13962 10587 301 301 0 13661 0 vsize: 55848 [startup+650.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 35179 0 0 0 64651 358 0 0 25 0 1 0 972380496 57188352 10628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13962 10628 301 301 0 13661 0 vsize: 55848 [startup+660.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 35386 0 0 0 65647 362 0 0 25 0 1 0 972380496 57323520 10667 4294967295 134512640 135730672 3221224576 3221223072 134747868 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13995 10667 301 301 0 13694 0 vsize: 55980 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 35432 0 0 0 66644 365 0 0 25 0 1 0 972380496 57323520 10713 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13995 10713 301 301 0 13694 0 vsize: 55980 [startup+680.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 35790 0 0 0 67639 370 0 0 25 0 1 0 972380496 57454592 10735 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14027 10735 301 301 0 13726 0 vsize: 56108 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 35983 0 0 0 68636 374 0 0 25 0 1 0 972380496 57454592 10760 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14027 10760 301 301 0 13726 0 vsize: 56108 [startup+700.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 36334 0 0 0 69632 377 0 0 25 0 1 0 972380496 57589760 10775 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14060 10775 301 301 0 13759 0 vsize: 56240 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 36556 0 0 0 70628 382 0 0 25 0 1 0 972380496 57753600 10829 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14100 10829 301 301 0 13799 0 vsize: 56400 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 36742 0 0 0 71625 385 0 0 25 0 1 0 972380496 57753600 10847 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14100 10847 301 301 0 13799 0 vsize: 56400 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 36784 0 0 0 72619 391 0 0 25 0 1 0 972380496 57753600 10889 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14100 10889 301 301 0 13799 0 vsize: 56400 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 37170 0 0 0 73615 396 0 0 25 0 1 0 972380496 57884672 10939 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14132 10939 301 301 0 13831 0 vsize: 56528 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 37551 0 0 0 74610 401 0 0 25 0 1 0 972380496 58707968 11152 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14333 11152 301 301 0 14032 0 vsize: 57332 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 37742 0 0 0 75605 405 0 0 25 0 1 0 972380496 58019840 11007 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14165 11007 301 301 0 13864 0 vsize: 56660 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 38118 0 0 0 76602 409 0 0 25 0 1 0 972380496 58155008 11047 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14198 11047 301 301 0 13897 0 vsize: 56792 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 38494 0 0 0 77597 414 0 0 25 0 1 0 972380496 58155008 11087 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14198 11087 301 301 0 13897 0 vsize: 56792 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 38874 0 0 0 78593 419 0 0 25 0 1 0 972380496 58974208 11299 4294967295 134512640 135730672 3221224576 3221222764 134765468 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14398 11299 301 301 0 14097 0 vsize: 57592 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 39092 0 0 0 79589 423 0 0 25 0 1 0 972380496 58286080 11181 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14230 11181 301 301 0 13929 0 vsize: 56920 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 39309 0 0 0 80585 427 0 0 25 0 1 0 972380496 58433536 11230 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14266 11230 301 301 0 13965 0 vsize: 57064 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 39514 0 0 0 81581 431 0 0 25 0 1 0 972380496 58433536 11267 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14266 11267 301 301 0 13965 0 vsize: 57064 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 39718 0 0 0 82577 435 0 0 25 0 1 0 972380496 58564608 11303 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14298 11303 301 301 0 13997 0 vsize: 57192 [startup+840.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 40092 0 0 0 83573 439 0 0 25 0 1 0 972380496 58564608 11341 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14298 11341 301 301 0 13997 0 vsize: 57192 [startup+850.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 40305 0 0 0 84569 443 0 0 25 0 1 0 972380496 58699776 11386 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14331 11386 301 301 0 14030 0 vsize: 57324 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 40497 0 0 0 85565 447 0 0 25 0 1 0 972380496 58699776 11410 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14331 11410 301 301 0 14030 0 vsize: 57324 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 40717 0 0 0 86562 451 0 0 25 0 1 0 972380496 58834944 11462 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14364 11462 301 301 0 14063 0 vsize: 57456 [startup+880.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 40764 0 0 0 87558 455 0 0 25 0 1 0 972380496 58834944 11509 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14364 11509 301 301 0 14063 0 vsize: 57456 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 41145 0 0 0 88554 459 0 0 25 0 1 0 972380496 58966016 11554 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14396 11554 301 301 0 14095 0 vsize: 57584 [startup+900.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 41524 0 0 0 89549 464 0 0 25 0 1 0 972380496 59654144 11765 4294967295 134512640 135730672 3221224576 3221222752 134769217 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14564 11765 301 301 0 14263 0 vsize: 58256 [startup+910.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 41710 0 0 0 90545 469 0 0 25 0 1 0 972380496 58966016 11615 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14396 11615 301 301 0 14095 0 vsize: 57584 [startup+920.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 41897 0 0 0 91541 473 0 0 25 0 1 0 972380496 59101184 11634 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14429 11634 301 301 0 14128 0 vsize: 57716 [startup+930.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 42086 0 0 0 92537 477 0 0 25 0 1 0 972380496 59101184 11655 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14429 11655 301 301 0 14128 0 vsize: 57716 [startup+940.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 42276 0 0 0 93534 481 0 0 25 0 1 0 972380496 59260928 11677 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14468 11677 301 301 0 14167 0 vsize: 57872 [startup+950.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 42472 0 0 0 94530 484 0 0 25 0 1 0 972380496 59260928 11705 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14468 11705 301 301 0 14167 0 vsize: 57872 [startup+960.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 42667 0 0 0 95527 488 0 0 25 0 1 0 972380496 59260928 11732 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14468 11732 301 301 0 14167 0 vsize: 57872 [startup+970.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 42873 0 0 0 96524 491 0 0 25 0 1 0 972380496 59392000 11770 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 11770 301 301 0 14199 0 vsize: 58000 [startup+980.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 43079 0 0 0 97520 495 0 0 25 0 1 0 972380496 59392000 11808 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 11808 301 301 0 14199 0 vsize: 58000 [startup+990.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 43277 0 0 0 98515 500 0 0 25 0 1 0 972380496 59392000 11838 4294967295 134512640 135730672 3221224576 3221223088 134746007 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 11838 301 301 0 14199 0 vsize: 58000 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 43464 0 0 0 99511 504 0 0 25 0 1 0 972380496 59527168 11857 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14533 11857 301 301 0 14232 0 vsize: 58132 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 43830 0 0 0 100507 509 0 0 25 0 1 0 972380496 59527168 11887 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14533 11887 301 301 0 14232 0 vsize: 58132 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 44037 0 0 0 101504 511 0 0 25 0 1 0 972380496 59527168 11926 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14533 11926 301 301 0 14232 0 vsize: 58132 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 44249 0 0 0 102501 515 0 0 25 0 1 0 972380496 59658240 11970 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14565 11970 301 301 0 14264 0 vsize: 58260 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 44449 0 0 0 103497 519 0 0 25 0 1 0 972380496 59658240 12002 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14565 12002 301 301 0 14264 0 vsize: 58260 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 44640 0 0 0 104494 522 0 0 25 0 1 0 972380496 59789312 12025 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14597 12025 301 301 0 14296 0 vsize: 58388 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45012 0 0 0 105491 525 0 0 25 0 1 0 972380496 59789312 12061 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14597 12061 301 301 0 14296 0 vsize: 58388 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45217 0 0 0 106488 529 0 0 25 0 1 0 972380496 59789312 12098 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14597 12098 301 301 0 14296 0 vsize: 58388 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45408 0 0 0 107485 532 0 0 25 0 1 0 972380496 59920384 12121 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14629 12121 301 301 0 14328 0 vsize: 58516 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45433 0 0 0 108481 535 0 0 25 0 1 0 972380496 59920384 12146 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14629 12146 301 301 0 14328 0 vsize: 58516 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45647 0 0 0 109477 540 0 0 25 0 1 0 972380496 59920384 12192 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14629 12192 301 301 0 14328 0 vsize: 58516 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 45854 0 0 0 110474 544 0 0 25 0 1 0 972380496 60051456 12231 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14661 12231 301 301 0 14360 0 vsize: 58644 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46052 0 0 0 111470 548 0 0 25 0 1 0 972380496 60051456 12261 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14661 12261 301 301 0 14360 0 vsize: 58644 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46253 0 0 0 112466 551 0 0 25 0 1 0 972380496 60051456 12294 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14661 12294 301 301 0 14360 0 vsize: 58644 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46438 0 0 0 113462 556 0 0 25 0 1 0 972380496 60182528 12311 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14693 12311 301 301 0 14392 0 vsize: 58772 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46622 0 0 0 114459 559 0 0 25 0 1 0 972380496 60182528 12327 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14693 12327 301 301 0 14392 0 vsize: 58772 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46635 0 0 0 115457 561 0 0 25 0 1 0 972380496 60182528 12340 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14693 12340 301 301 0 14392 0 vsize: 58772 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 46996 0 0 0 116453 565 0 0 25 0 1 0 972380496 60317696 12365 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14726 12365 301 301 0 14425 0 vsize: 58904 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 47203 0 0 0 117449 570 0 0 25 0 1 0 972380496 60317696 12404 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14726 12404 301 301 0 14425 0 vsize: 58904 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 47253 0 0 0 118445 573 0 0 25 0 1 0 972380496 60456960 12454 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14760 12454 301 301 0 14459 0 vsize: 59040 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13374 Raw data (stat): 13317 (pb2sat-v2) R 13316 31399 31398 0 -1 0 47276 0 0 0 119441 578 0 0 25 0 1 0 972380496 60456960 12477 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14760 12477 301 301 0 14459 0 vsize: 59040 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.28 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 13374 Raw data (stat): 13317 (pb2sat-v2) Z 13316 31399 31398 0 -1 12 47278 0 0 0 119465 580 0 0 25 0 1 0 972380496 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.28 CPU time (s): 1200.46 CPU user time (s): 1194.65 CPU system time (s): 5.80812 CPU usage (%): 100.015 Max. virtual memory (Kb): 59040 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####