Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | 0b9c67a532f4b918575cbec793117378 |
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.044992 |
Number of variables | 4600 |
Total number of constraints | 310 |
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 | 310 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 147 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 10:13:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25760 boxname=wulflinc1 idbench=1060 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0b9c67a532f4b918575cbec793117378 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pp08aCUTS.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pp08aCUTS.opb IDLAUNCH: 25760 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 580552 kB Buffers: 33608 kB Cached: 396116 kB SwapCached: 1192 kB Active: 46252 kB Inactive: 385748 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 580272 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16364 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 10:33:36 (client local time) WITH STATUS 0 IN 1200.52 SECONDS stats: 25760 7 1200.52 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1098/120917 Time: 5.64714/86400 c Decision: 1098/120917 Time: 8.26074/86400 c Decision: 1100/120917 Time: 10.4614/86400 c Decision: 1125/120917 Time: 15.6306/86400 c Decision: 1125/120917 Time: 17.6363/86400 c Decision: 1125/120917 Time: 20.4649/86400 c Decision: 1131/120917 Time: 25.0842/86400 c Decision: 1131/120917 Time: 27.4968/86400 c Decision: 1131/120917 Time: 29.9724/86400 c Decision: 1131/120917 Time: 32.2911/86400 c Decision: 1131/120917 Time: 35.4546/86400 c Decision: 1131/120917 Time: 37.9112/86400 c Decision: 1131/120917 Time: 40.5478/86400 c Decision: 1131/120917 Time: 43.2174/86400 c Decision: 1131/120917 Time: 46.065/86400 c Decision: 1131/120917 Time: 49.0825/86400 c Decision: 1131/120917 Time: 51.6352/86400 c Decision: 1131/120917 Time: 54.3837/86400 c Decision: 1131/120917 Time: 57.1433/86400 c Decision: 1131/120917 Time: 59.9829/86400 c Decision: 1131/120917 Time: 63.1424/86400 c Decision: 1139/120917 Time: 67.4347/86400 c Decision: 1139/120917 Time: 70.2113/86400 c Decision: 1139/120917 Time: 72.9959/86400 c Decision: 1153/120917 Time: 76.2494/86400 c Decision: 1153/120917 Time: 79.5879/86400 c Decision: 1153/120917 Time: 82.5764/86400 c Decision: 1153/120917 Time: 85.543/86400 c Decision: 1153/120917 Time: 88.2606/86400 c Decision: 1153/120917 Time: 91.2391/86400 c Decision: 1166/120917 Time: 96.2004/86400 c Decision: 1166/120917 Time: 98.867/86400 c Decision: 1205/120917 Time: 107.016/86400 c Decision: 1209/120917 Time: 111.73/86400 c Decision: 1212/120917 Time: 116.491/86400 c Decision: 1247/120917 Time: 128.509/86400 c Decision: 1247/120917 Time: 131.985/86400 c Decision: 1258/120917 Time: 140.384/86400 c Decision: 1286/120917 Time: 148.926/86400 c Decision: 1286/120917 Time: 153.186/86400 c Decision: 1286/120917 Time: 157.765/86400 c Decision: 1293/120917 Time: 162.581/86400 c Decision: 1302/120917 Time: 167.493/86400 c Decision: 1302/120917 Time: 171.89/86400 c Decision: 1302/120917 Time: 176.184/86400 c Decision: 1302/120917 Time: 180.471/86400 c Decision: 1302/120917 Time: 184.547/86400 c Decision: 1302/120917 Time: 189.009/86400 c Decision: 1302/120917 Time: 192.965/86400 c Decision: 1302/120917 Time: 196.941/86400 c Decision: 1310/120917 Time: 202.925/86400 c Decision: 1310/120917 Time: 207.064/86400 c Decision: 1310/120917 Time: 211.513/86400 c Decision: 1310/120917 Time: 216.317/86400 c Decision: 1310/120917 Time: 220.894/86400 c Decision: 1310/120917 Time: 226.288/86400 c Decision: 1310/120917 Time: 231.312/86400 c Decision: 1310/120917 Time: 235.563/86400 c Decision: 1310/120917 Time: 240.319/86400 c Decision: 1310/120917 Time: 247.894/86400 c Decision: 1310/120917 Time: 252.675/86400 c Decision: 1310/120917 Time: 257.086/86400 c Decision: 1320/120917 Time: 267.281/86400 c Decision: 1320/120917 Time: 271.842/86400 c Decision: 1320/120917 Time: 276.616/86400 c Decision: 1320/120917 Time: 281.577/86400 c Decision: 1322/120917 Time: 290.063/86400 c Decision: 1324/120917 Time: 297.97/86400 c Decision: 1324/120917 Time: 303.06/86400 c Decision: 1324/120917 Time: 307.965/86400 c Decision: 1324/120917 Time: 313.287/86400 c Decision: 1324/120917 Time: 318.155/86400 c Decision: 1325/120917 Time: 325.307/86400 c Decision: 1331/120917 Time: 333.589/86400 c Decision: 1331/120917 Time: 339.071/86400 c Decision: 1331/120917 Time: 344.629/86400 c Decision: 1331/120917 Time: 349.643/86400 c Decision: 1331/120917 Time: 354.8/86400 c Decision: 1331/120917 Time: 359.812/86400 c Decision: 1331/120917 Time: 364.537/86400 c Decision: 1331/120917 Time: 369.624/86400 c Decision: 1331/120917 Time: 374.394/86400 c Decision: 1331/120917 Time: 378.773/86400 c Decision: 1331/120917 Time: 383.265/86400 c Decision: 1331/120917 Time: 387.234/86400 c Decision: 1331/120917 Time: 391.906/86400 c Decision: 1335/120917 Time: 398.118/86400 c Decision: 1335/120917 Time: 402.457/86400 c Decision: 1335/120917 Time: 406.701/86400 c Decision: 1335/120917 Time: 411.525/86400 c Decision: 1335/120917 Time: 416.437/86400 c Decision: 1335/120917 Time: 421.32/86400 c Decision: 1335/120917 Time: 426.003/86400 c Decision: 1335/120917 Time: 429.615/86400 c Decision: 1335/120917 Time: 434.344/86400 c Decision: 1335/120917 Time: 439.503/86400 c Decision: 1335/120917 Time: 444.6/86400 c Decision: 1335/120917 Time: 450.173/86400 c Decision: 1335/120917 Time: 455.534/86400 c Decision: 1335/120917 Time: 460.26/86400 c Decision: 1336/120917 Time: 467.421/86400 c Decision: 1336/120917 Time: 473.217/86400 c Decision: 1336/120917 Time: 478.695/86400 c Decision: 1336/120917 Time: 484.009/86400 c Decision: 1358/120917 Time: 497.065/86400 c Decision: 1358/120917 Time: 503.385/86400 c Decision: 1399/120917 Time: 513.519/86400 c Decision: 1425/120917 Time: 527.652/86400 c Decision: 1425/120917 Time: 534.54/86400 c Decision: 1434/120917 Time: 545.678/86400 c Decision: 1437/120917 Time: 555.332/86400 c Decision: 1437/120917 Time: 562.363/86400 c Decision: 1445/120917 Time: 576.299/86400 c Decision: 1445/120917 Time: 582.531/86400 c Decision: 1445/120917 Time: 589.303/86400 c Decision: 1445/120917 Time: 596.965/86400 c Decision: 1458/120917 Time: 606.707/86400 c Decision: 1458/120917 Time: 613.453/86400 c Decision: 1458/120917 Time: 620.72/86400 c Decision: 1458/120917 Time: 627.11/86400 c Decision: 1458/120917 Time: 633.819/86400 c Decision: 1491/120917 Time: 659.157/86400 c Decision: 1532/120917 Time: 669.154/86400 c Decision: 1532/120917 Time: 676.343/86400 c Decision: 1532/120917 Time: 683.839/86400 c Decision: 1539/120917 Time: 699.259/86400 c Decision: 1539/120917 Time: 706.422/86400 c Decision: 1541/120917 Time: 718.663/86400 c Decision: 1541/120917 Time: 726.345/86400 c Decision: 1541/120917 Time: 733.346/86400 c Decision: 1543/120917 Time: 744.703/86400 c Decision: 1549/120917 Time: 756.679/86400 c Decision: 1549/120917 Time: 765.084/86400 c Decision: 1549/120917 Time: 773.181/86400 c Decision: 1549/120917 Time: 781.476/86400 c Decision: 1549/120917 Time: 790.687/86400 c Decision: 1560/120917 Time: 804.728/86400 c Decision: 1560/120917 Time: 811.149/86400 c Decision: 1560/120917 Time: 818.684/86400 c Decision: 1560/120917 Time: 827.098/86400 c Decision: 1560/120917 Time: 835.542/86400 c Decision: 1560/120917 Time: 843.951/86400 c Decision: 1560/120917 Time: 851.983/86400 c Decision: 1560/120917 Time: 858.254/86400 c Decision: 1560/120917 Time: 864.88/86400 c Decision: 1574/120917 Time: 881.292/86400 c Decision: 1574/120917 Time: 889.557/86400 c Decision: 1574/120917 Time: 897.818/86400 c Decision: 1574/120917 Time: 906.329/86400 c Decision: 1574/120917 Time: 915.519/86400 c Decision: 1574/120917 Time: 924.491/86400 c Decision: 1574/120917 Time: 932.645/86400 c Decision: 1574/120917 Time: 940.968/86400 c Decision: 1574/120917 Time: 948.354/86400 c Decision: 1574/120917 Time: 957.004/86400 c Decision: 1574/120917 Time: 965.947/86400 c Decision: 1603/120917 Time: 988.661/86400 c Decision: 1603/120917 Time: 996.058/86400 c Decision: 1603/120917 Time: 1003.88/86400 c Decision: 1609/120917 Time: 1016.8/86400 c Decision: 1743/120917 Time: 1052.02/86400 c Decision: 1743/120917 Time: 1061.95/86400 c Decision: 1743/120917 Time: 1070.38/86400 c Decision: 1743/120917 Time: 1078.21/86400 c Decision: 1751/120917 Time: 1087.85/86400 c Decision: 1756/120917 Time: 1102.64/86400 c Decision: 1758/120917 Time: 1118.77/86400 c Decision: 1807/120917 Time: 1139.82/86400 c Decision: 1809/120917 Time: 1154.27/86400 c Decision: 1809/120917 Time: 1164.02/86400 c Decision: 1809/120917 Time: 1173.49/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.85 0.95 0.90 2/55 17384 Raw data (stat): 17384 (runsolver) R 17383 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913098109 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+10.0006 s] Raw data (loadavg): 0.87 0.95 0.90 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 14865 0 0 0 961 38 0 0 25 0 1 0 913098109 43823104 9160 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10699 9160 301 301 0 10398 0 vsize: 42796 [startup+20.0009 s] Raw data (loadavg): 0.89 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 15762 0 0 0 1951 47 0 0 25 0 1 0 913098109 45326336 9583 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11066 9583 301 301 0 10765 0 vsize: 44264 [startup+30.0017 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 16328 0 0 0 2944 54 0 0 25 0 1 0 913098109 45596672 9675 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11132 9675 301 301 0 10831 0 vsize: 44528 [startup+40.0015 s] Raw data (loadavg): 0.92 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 17370 0 0 0 3937 61 0 0 25 0 1 0 913098109 45735936 9769 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11166 9769 301 301 0 10865 0 vsize: 44664 [startup+50.0022 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 18385 0 0 0 4930 68 0 0 25 0 1 0 913098109 45883392 9836 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11202 9836 301 301 0 10901 0 vsize: 44808 [startup+60.002 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 19197 0 0 0 5923 74 0 0 25 0 1 0 913098109 46161920 9937 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11270 9937 301 301 0 10969 0 vsize: 45080 [startup+70.0022 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 20235 0 0 0 6917 80 0 0 25 0 1 0 913098109 46460928 10027 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11343 10027 301 301 0 11042 0 vsize: 45372 [startup+80.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 21041 0 0 0 7911 86 0 0 25 0 1 0 913098109 46743552 10122 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11412 10122 301 301 0 11111 0 vsize: 45648 [startup+90.0023 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 21833 0 0 0 8906 92 0 0 25 0 1 0 913098109 46878720 10203 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11445 10203 301 301 0 11144 0 vsize: 45780 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 22406 0 0 0 9901 97 0 0 25 0 1 0 913098109 47165440 10302 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11515 10302 301 301 0 11214 0 vsize: 46060 [startup+110.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 22962 0 0 0 10896 102 0 0 25 0 1 0 913098109 47296512 10384 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11547 10384 301 301 0 11246 0 vsize: 46188 [startup+120.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 23533 0 0 0 11890 108 0 0 25 0 1 0 913098109 47431680 10481 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11580 10481 301 301 0 11279 0 vsize: 46320 [startup+130.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 23857 0 0 0 12886 113 0 0 25 0 1 0 913098109 47562752 10568 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11612 10568 301 301 0 11311 0 vsize: 46448 [startup+140.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 24379 0 0 0 13881 117 0 0 25 0 1 0 913098109 47562752 10616 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11612 10616 301 301 0 11311 0 vsize: 46448 [startup+150.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 24652 0 0 0 14875 124 0 0 25 0 1 0 913098109 47693824 10652 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11644 10652 301 301 0 11343 0 vsize: 46576 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 25153 0 0 0 15870 129 0 0 25 0 1 0 913098109 47828992 10679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11677 10679 301 301 0 11376 0 vsize: 46708 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 25675 0 0 0 16864 135 0 0 25 0 1 0 913098109 47960064 10727 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11709 10727 301 301 0 11408 0 vsize: 46836 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 26203 0 0 0 17858 141 0 0 25 0 1 0 913098109 48095232 10781 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11742 10781 301 301 0 11441 0 vsize: 46968 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 26742 0 0 0 18854 145 0 0 25 0 1 0 913098109 48095232 10846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11742 10846 301 301 0 11441 0 vsize: 46968 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 27517 0 0 0 19849 151 0 0 25 0 1 0 913098109 48230400 10910 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11775 10910 301 301 0 11474 0 vsize: 47100 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 28049 0 0 0 20845 154 0 0 25 0 1 0 913098109 48377856 10968 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11811 10968 301 301 0 11510 0 vsize: 47244 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 28568 0 0 0 21841 159 0 0 25 0 1 0 913098109 48377856 11013 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11811 11013 301 301 0 11510 0 vsize: 47244 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 29105 0 0 0 22838 162 0 0 25 0 1 0 913098109 48513024 11076 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11844 11076 301 301 0 11543 0 vsize: 47376 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 29628 0 0 0 23833 167 0 0 25 0 1 0 913098109 48648192 11125 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11877 11125 301 301 0 11576 0 vsize: 47508 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 30277 0 0 0 24826 174 0 0 25 0 1 0 913098109 49184768 11300 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12008 11300 301 301 0 11707 0 vsize: 48032 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 30861 0 0 0 25820 180 0 0 25 0 1 0 913098109 49590272 11410 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12107 11410 301 301 0 11806 0 vsize: 48428 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 31120 0 0 0 26814 187 0 0 25 0 1 0 913098109 49590272 11432 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12107 11432 301 301 0 11806 0 vsize: 48428 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 31616 0 0 0 27808 193 0 0 25 0 1 0 913098109 49737728 11454 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12143 11454 301 301 0 11842 0 vsize: 48572 [startup+290.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 32107 0 0 0 28803 198 0 0 25 0 1 0 913098109 49737728 11471 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12143 11471 301 301 0 11842 0 vsize: 48572 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 32381 0 0 0 29798 202 0 0 25 0 1 0 913098109 49893376 11508 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12181 11508 301 301 0 11880 0 vsize: 48724 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 32912 0 0 0 30793 208 0 0 25 0 1 0 913098109 58421248 11565 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14263 11565 301 301 0 13962 0 vsize: 57052 [startup+320.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 33433 0 0 0 31787 214 0 0 25 0 1 0 913098109 58421248 11612 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14263 11612 301 301 0 13962 0 vsize: 57052 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 33717 0 0 0 32782 220 0 0 25 0 1 0 913098109 58564608 11659 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14298 11659 301 301 0 13997 0 vsize: 57192 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 34245 0 0 0 33776 226 0 0 25 0 1 0 913098109 58712064 11713 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14334 11713 301 301 0 14033 0 vsize: 57336 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 34550 0 0 0 34770 231 0 0 25 0 1 0 913098109 58859520 11781 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14370 11781 301 301 0 14069 0 vsize: 57480 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 35060 0 0 0 35765 237 0 0 25 0 1 0 913098109 58859520 11817 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14370 11817 301 301 0 14069 0 vsize: 57480 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 35579 0 0 0 36760 243 0 0 25 0 1 0 913098109 58994688 11862 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14403 11862 301 301 0 14102 0 vsize: 57612 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 36103 0 0 0 37755 247 0 0 25 0 1 0 913098109 59158528 11912 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14443 11912 301 301 0 14142 0 vsize: 57772 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 36843 0 0 0 38750 252 0 0 25 0 1 0 913098109 59158528 11941 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14443 11941 301 301 0 14142 0 vsize: 57772 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 37383 0 0 0 39744 259 0 0 25 0 1 0 913098109 59437056 12007 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14511 12007 301 301 0 14210 0 vsize: 58044 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 37888 0 0 0 40739 264 0 0 25 0 1 0 913098109 59437056 12038 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14511 12038 301 301 0 14210 0 vsize: 58044 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 38407 0 0 0 41733 270 0 0 25 0 1 0 913098109 59437056 12083 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14511 12083 301 301 0 14210 0 vsize: 58044 [startup+430.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 38921 0 0 0 42728 276 0 0 25 0 1 0 913098109 59572224 12123 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14544 12123 301 301 0 14243 0 vsize: 58176 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 39453 0 0 0 43723 281 0 0 25 0 1 0 913098109 59703296 12181 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14576 12181 301 301 0 14275 0 vsize: 58304 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 39974 0 0 0 44718 286 0 0 25 0 1 0 913098109 59842560 12228 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14610 12228 301 301 0 14309 0 vsize: 58440 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 40486 0 0 0 45712 292 0 0 25 0 1 0 913098109 59842560 12266 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14610 12266 301 301 0 14309 0 vsize: 58440 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 41008 0 0 0 46706 297 0 0 25 0 1 0 913098109 59842560 12314 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14610 12314 301 301 0 14309 0 vsize: 58440 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 41513 0 0 0 47702 302 0 0 25 0 1 0 913098109 59977728 12345 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14643 12345 301 301 0 14342 0 vsize: 58572 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 41782 0 0 0 48698 306 0 0 25 0 1 0 913098109 59977728 12377 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14643 12377 301 301 0 14342 0 vsize: 58572 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 42058 0 0 0 49693 311 0 0 25 0 1 0 913098109 60112896 12416 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14676 12416 301 301 0 14375 0 vsize: 58704 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 42566 0 0 0 50689 316 0 0 25 0 1 0 913098109 60112896 12450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14676 12450 301 301 0 14375 0 vsize: 58704 [startup+520.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 42824 0 0 0 51685 320 0 0 25 0 1 0 913098109 60112896 12471 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14676 12471 301 301 0 14375 0 vsize: 58704 [startup+530.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 42869 0 0 0 52680 325 0 0 25 0 1 0 913098109 60248064 12516 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14709 12516 301 301 0 14408 0 vsize: 58836 [startup+540.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 43157 0 0 0 53675 330 0 0 25 0 1 0 913098109 60383232 12567 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14742 12567 301 301 0 14441 0 vsize: 58968 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 43429 0 0 0 54670 335 0 0 25 0 1 0 913098109 60383232 12602 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14742 12602 301 301 0 14441 0 vsize: 58968 [startup+560.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 43707 0 0 0 55665 340 0 0 25 0 1 0 913098109 60522496 12643 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14776 12643 301 301 0 14475 0 vsize: 59104 [startup+570.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 44203 0 0 0 56662 344 0 0 25 0 1 0 913098109 60522496 12665 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14776 12665 301 301 0 14475 0 vsize: 59104 [startup+580.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 44231 0 0 0 57657 349 0 0 25 0 1 0 913098109 60522496 12693 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14776 12693 301 301 0 14475 0 vsize: 59104 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 44738 0 0 0 58653 353 0 0 25 0 1 0 913098109 60657664 12726 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14809 12726 301 301 0 14508 0 vsize: 59236 [startup+600.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 45011 0 0 0 59649 357 0 0 25 0 1 0 913098109 60657664 12762 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14809 12762 301 301 0 14508 0 vsize: 59236 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 45272 0 0 0 60646 361 0 0 25 0 1 0 913098109 60657664 12786 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14809 12786 301 301 0 14508 0 vsize: 59236 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 48841 0 0 0 61634 372 0 0 25 0 1 0 913098109 73375744 12808 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17914 12808 301 301 0 17613 0 vsize: 71656 [startup+630.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 49100 0 0 0 62631 376 0 0 25 0 1 0 913098109 73375744 12830 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17914 12830 301 301 0 17613 0 vsize: 71656 [startup+640.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 49612 0 0 0 63627 380 0 0 25 0 1 0 913098109 73510912 12868 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17947 12868 301 301 0 17646 0 vsize: 71788 [startup+650.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 49631 0 0 0 64623 384 0 0 25 0 1 0 913098109 73510912 12887 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17947 12887 301 301 0 17646 0 vsize: 71788 [startup+660.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 49669 0 0 0 65621 387 0 0 25 0 1 0 913098109 73510912 12925 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17947 12925 301 301 0 17646 0 vsize: 71788 [startup+670.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 49945 0 0 0 66616 392 0 0 25 0 1 0 913098109 73646080 12964 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17980 12964 301 301 0 17679 0 vsize: 71920 [startup+680.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 50222 0 0 0 67612 396 0 0 25 0 1 0 913098109 73646080 13004 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17980 13004 301 301 0 17679 0 vsize: 71920 [startup+690.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 50734 0 0 0 68608 400 0 0 25 0 1 0 913098109 74756096 13279 4294967295 134512640 135730672 3221224576 3221222736 134769172 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18251 13279 301 301 0 17950 0 vsize: 73004 [startup+700.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 50781 0 0 0 69605 403 0 0 25 0 1 0 913098109 73785344 13089 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18014 13089 301 301 0 17713 0 vsize: 72056 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 51046 0 0 0 70601 407 0 0 25 0 1 0 913098109 73916416 13117 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18046 13117 301 301 0 17745 0 vsize: 72184 [startup+720.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 51302 0 0 0 71597 411 0 0 25 0 1 0 913098109 73916416 13136 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18046 13136 301 301 0 17745 0 vsize: 72184 [startup+730.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 51560 0 0 0 72594 414 0 0 25 0 1 0 913098109 74055680 13157 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18080 13157 301 301 0 17779 0 vsize: 72320 [startup+740.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 52069 0 0 0 73589 420 0 0 25 0 1 0 913098109 74055680 13192 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18080 13192 301 301 0 17779 0 vsize: 72320 [startup+750.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 52111 0 0 0 74587 422 0 0 25 0 1 0 913098109 74194944 13234 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18114 13234 301 301 0 17813 0 vsize: 72456 [startup+760.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 52359 0 0 0 75583 426 0 0 25 0 1 0 913098109 74194944 13245 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18114 13245 301 301 0 17813 0 vsize: 72456 [startup+770.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 52611 0 0 0 76580 429 0 0 25 0 1 0 913098109 74194944 13260 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18114 13260 301 301 0 17813 0 vsize: 72456 [startup+780.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 53113 0 0 0 77576 434 0 0 25 0 1 0 913098109 74194944 13288 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18114 13288 301 301 0 17813 0 vsize: 72456 [startup+790.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 53411 0 0 0 78572 437 0 0 25 0 1 0 913098109 74473472 13349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18182 13349 301 301 0 17881 0 vsize: 72728 [startup+800.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 53667 0 0 0 79568 441 0 0 25 0 1 0 913098109 74473472 13368 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18182 13368 301 301 0 17881 0 vsize: 72728 [startup+810.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 53678 0 0 0 80565 445 0 0 25 0 1 0 913098109 74473472 13379 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18182 13379 301 301 0 17881 0 vsize: 72728 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 54169 0 0 0 81561 449 0 0 25 0 1 0 913098109 74473472 13396 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18182 13396 301 301 0 17881 0 vsize: 72728 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 54443 0 0 0 82558 452 0 0 25 0 1 0 913098109 74616832 13433 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18217 13433 301 301 0 17916 0 vsize: 72868 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 54714 0 0 0 83554 456 0 0 25 0 1 0 913098109 74616832 13467 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18217 13467 301 301 0 17916 0 vsize: 72868 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 55205 0 0 0 84551 460 0 0 25 0 1 0 913098109 75587584 13721 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18454 13721 301 301 0 18153 0 vsize: 73816 [startup+860.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 55473 0 0 0 85548 463 0 0 25 0 1 0 913098109 74616832 13515 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18217 13515 301 301 0 17916 0 vsize: 72868 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 55752 0 0 0 86545 466 0 0 25 0 1 0 913098109 74752000 13557 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18250 13557 301 301 0 17949 0 vsize: 73000 [startup+880.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 56027 0 0 0 87541 471 0 0 25 0 1 0 913098109 74752000 13595 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18250 13595 301 301 0 17949 0 vsize: 73000 [startup+890.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 56291 0 0 0 88538 474 0 0 25 0 1 0 913098109 74752000 13622 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18250 13622 301 301 0 17949 0 vsize: 73000 [startup+900.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 56544 0 0 0 89535 477 0 0 25 0 1 0 913098109 74887168 13638 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18283 13638 301 301 0 17982 0 vsize: 73132 [startup+910.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 56806 0 0 0 90532 480 0 0 25 0 1 0 913098109 74887168 13663 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18283 13663 301 301 0 17982 0 vsize: 73132 [startup+920.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 57075 0 0 0 91528 484 0 0 25 0 1 0 913098109 74887168 13695 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18283 13695 301 301 0 17982 0 vsize: 73132 [startup+930.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 57581 0 0 0 92525 487 0 0 25 0 1 0 913098109 75993088 13964 4294967295 134512640 135730672 3221224576 3221222752 134768813 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18553 13964 301 301 0 18252 0 vsize: 74212 [startup+940.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 57833 0 0 0 93521 491 0 0 25 0 1 0 913098109 75022336 13742 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18316 13742 301 301 0 18015 0 vsize: 73264 [startup+950.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 58083 0 0 0 94518 494 0 0 25 0 1 0 913098109 75022336 13755 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18316 13755 301 301 0 18015 0 vsize: 73264 [startup+960.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 58338 0 0 0 95515 498 0 0 25 0 1 0 913098109 75153408 13773 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18348 13773 301 301 0 18047 0 vsize: 73392 [startup+970.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 58594 0 0 0 96511 502 0 0 25 0 1 0 913098109 75153408 13792 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18348 13792 301 301 0 18047 0 vsize: 73392 [startup+980.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 58853 0 0 0 97507 506 0 0 25 0 1 0 913098109 75153408 13814 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18348 13814 301 301 0 18047 0 vsize: 73392 [startup+990.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 58894 0 0 0 98505 508 0 0 25 0 1 0 913098109 75284480 13855 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18380 13855 301 301 0 18079 0 vsize: 73520 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 59170 0 0 0 99502 512 0 0 25 0 1 0 913098109 75284480 13894 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18380 13894 301 301 0 18079 0 vsize: 73520 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 59691 0 0 0 100498 516 0 0 25 0 1 0 913098109 75419648 13941 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18413 13941 301 301 0 18112 0 vsize: 73652 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 59726 0 0 0 101494 520 0 0 25 0 1 0 913098109 75419648 13976 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18413 13976 301 301 0 18112 0 vsize: 73652 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 59997 0 0 0 102491 523 0 0 25 0 1 0 913098109 75419648 14010 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18413 14010 301 301 0 18112 0 vsize: 73652 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 60033 0 0 0 103488 526 0 0 25 0 1 0 913098109 75419648 14046 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18413 14046 301 301 0 18112 0 vsize: 73652 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 60071 0 0 0 104485 530 0 0 25 0 1 0 913098109 75554816 14084 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18446 14084 301 301 0 18145 0 vsize: 73784 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 60341 0 0 0 105482 533 0 0 25 0 1 0 913098109 75554816 14117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18446 14117 301 301 0 18145 0 vsize: 73784 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 60594 0 0 0 106479 536 0 0 25 0 1 0 913098109 75554816 14133 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18446 14133 301 301 0 18145 0 vsize: 73784 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 60846 0 0 0 107476 539 0 0 25 0 1 0 913098109 75689984 14148 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18479 14148 301 301 0 18178 0 vsize: 73916 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61100 0 0 0 108473 543 0 0 25 0 1 0 913098109 75689984 14165 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18479 14165 301 301 0 18178 0 vsize: 73916 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61351 0 0 0 109469 546 0 0 25 0 1 0 913098109 75689984 14179 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18479 14179 301 301 0 18178 0 vsize: 73916 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61602 0 0 0 110466 550 0 0 25 0 1 0 913098109 75689984 14193 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18479 14193 301 301 0 18178 0 vsize: 73916 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61622 0 0 0 111463 553 0 0 25 0 1 0 913098109 75825152 14213 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18512 14213 301 301 0 18211 0 vsize: 74048 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61870 0 0 0 112461 555 0 0 25 0 1 0 913098109 75825152 14224 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18512 14224 301 301 0 18211 0 vsize: 74048 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 61893 0 0 0 113457 559 0 0 25 0 1 0 913098109 75960320 14247 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18545 14247 301 301 0 18244 0 vsize: 74180 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62163 0 0 0 114453 563 0 0 25 0 1 0 913098109 75960320 14280 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18545 14280 301 301 0 18244 0 vsize: 74180 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62200 0 0 0 115450 567 0 0 25 0 1 0 913098109 75960320 14317 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18545 14317 301 301 0 18244 0 vsize: 74180 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62700 0 0 0 116446 570 0 0 25 0 1 0 913098109 76931072 14580 4294967295 134512640 135730672 3221224576 3221222752 134768870 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18782 14580 301 301 0 18481 0 vsize: 75128 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62965 0 0 0 117443 574 0 0 25 0 1 0 913098109 76115968 14371 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18583 14371 301 301 0 18282 0 vsize: 74332 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62980 0 0 0 118441 576 0 0 25 0 1 0 913098109 76115968 14386 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18583 14386 301 301 0 18282 0 vsize: 74332 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17384 Raw data (stat): 17384 (pb2sat-v2) R 17383 8378 8377 0 -1 0 62994 0 0 0 119438 580 0 0 25 0 1 0 913098109 76115968 14400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18583 14400 301 301 0 18282 0 vsize: 74332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.36 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 17384 Raw data (stat): 17384 (pb2sat-v2) Z 17383 8378 8377 0 -1 12 62996 0 0 0 119469 583 0 0 25 0 1 0 913098109 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.36 CPU time (s): 1200.52 CPU user time (s): 1194.69 CPU system time (s): 5.83111 CPU usage (%): 100.014 Max. virtual memory (Kb): 75128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####