Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | d9b143d593d6c40f70d01400b968fa76 |
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.353945 |
Number of variables | 4600 |
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 | 147 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 08:34:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25694 boxname=wulflinc2 idbench=994 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d9b143d593d6c40f70d01400b968fa76 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-pp08aCUTS.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-pp08aCUTS.opb IDLAUNCH: 25694 /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: 948040 kB Buffers: 1568 kB Cached: 62892 kB SwapCached: 1432 kB Active: 24160 kB Inactive: 42332 kB HighTotal: 131008 kB HighFree: 86604 kB LowTotal: 903652 kB LowFree: 861436 kB SwapTotal: 2097136 kB SwapFree: 2094708 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 14400 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 08:54:12 (client local time) WITH STATUS 0 IN 1200.54 SECONDS stats: 25694 7 1200.54 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.81512/86400 c Decision: 1100/120917 Time: 10.3614/86400 c Decision: 1100/120917 Time: 12.873/86400 c Decision: 1102/120917 Time: 15.4097/86400 c Decision: 1104/120917 Time: 18.1892/86400 c Decision: 1108/120917 Time: 22.2796/86400 c Decision: 1116/120917 Time: 26.9989/86400 c Decision: 1116/120917 Time: 29.7395/86400 c Decision: 1116/120917 Time: 32.4591/86400 c Decision: 1116/120917 Time: 34.9417/86400 c Decision: 1135/120917 Time: 38.9231/86400 c Decision: 1135/120917 Time: 41.4177/86400 c Decision: 1160/120917 Time: 44.3863/86400 c Decision: 1170/120917 Time: 47.6438/86400 c Decision: 1170/120917 Time: 50.1544/86400 c Decision: 1170/120917 Time: 53.2659/86400 c Decision: 1170/120917 Time: 56.1725/86400 c Decision: 1174/120917 Time: 59.294/86400 c Decision: 1174/120917 Time: 62.4725/86400 c Decision: 1184/120917 Time: 68.1116/86400 c Decision: 1203/120917 Time: 74.5567/86400 c Decision: 1203/120917 Time: 77.6782/86400 c Decision: 1209/120917 Time: 81.9845/86400 c Decision: 1212/120917 Time: 85.562/86400 c Decision: 1212/120917 Time: 88.5435/86400 c Decision: 1216/120917 Time: 94.6926/86400 c Decision: 1231/120917 Time: 100.067/86400 c Decision: 1231/120917 Time: 103.092/86400 c Decision: 1239/120917 Time: 109.134/86400 c Decision: 1239/120917 Time: 112.864/86400 c Decision: 1239/120917 Time: 116.829/86400 c Decision: 1239/120917 Time: 120.842/86400 c Decision: 1239/120917 Time: 124.684/86400 c Decision: 1239/120917 Time: 128.82/86400 c Decision: 1239/120917 Time: 132.504/86400 c Decision: 1246/120917 Time: 137.338/86400 c Decision: 1258/120917 Time: 144.391/86400 c Decision: 1266/120917 Time: 151.003/86400 c Decision: 1266/120917 Time: 155.057/86400 c Decision: 1266/120917 Time: 158.907/86400 c Decision: 1266/120917 Time: 163.418/86400 c Decision: 1266/120917 Time: 167.838/86400 c Decision: 1284/120917 Time: 174.615/86400 c Decision: 1296/120917 Time: 182.826/86400 c Decision: 1296/120917 Time: 186.917/86400 c Decision: 1313/120917 Time: 196.931/86400 c Decision: 1313/120917 Time: 201.714/86400 c Decision: 1313/120917 Time: 205.953/86400 c Decision: 1316/120917 Time: 213.362/86400 c Decision: 1316/120917 Time: 217.745/86400 c Decision: 1316/120917 Time: 222.85/86400 c Decision: 1316/120917 Time: 227.947/86400 c Decision: 1316/120917 Time: 233.021/86400 c Decision: 1316/120917 Time: 238.204/86400 c Decision: 1316/120917 Time: 243.219/86400 c Decision: 1316/120917 Time: 248.103/86400 c Decision: 1316/120917 Time: 253.15/86400 c Decision: 1316/120917 Time: 257.896/86400 c Decision: 1316/120917 Time: 262.812/86400 c Decision: 1316/120917 Time: 267.856/86400 c Decision: 1316/120917 Time: 273.453/86400 c Decision: 1319/120917 Time: 280.87/86400 c Decision: 1319/120917 Time: 286.329/86400 c Decision: 1319/120917 Time: 291.778/86400 c Decision: 1319/120917 Time: 297.62/86400 c Decision: 1319/120917 Time: 303.43/86400 c Decision: 1319/120917 Time: 308.759/86400 c Decision: 1319/120917 Time: 314.909/86400 c Decision: 1324/120917 Time: 326.575/86400 c Decision: 1328/120917 Time: 339.025/86400 c Decision: 1328/120917 Time: 344.949/86400 c Decision: 1328/120917 Time: 351.066/86400 c Decision: 1328/120917 Time: 356.274/86400 c Decision: 1328/120917 Time: 361.982/86400 c Decision: 1328/120917 Time: 368.194/86400 c Decision: 1328/120917 Time: 374.71/86400 c Decision: 1360/120917 Time: 383.944/86400 c Decision: 1360/120917 Time: 389.31/86400 c Decision: 1362/120917 Time: 395.494/86400 c Decision: 1362/120917 Time: 401.124/86400 c Decision: 1362/120917 Time: 407.754/86400 c Decision: 1385/120917 Time: 417.221/86400 c Decision: 1385/120917 Time: 423.259/86400 c Decision: 1398/120917 Time: 434.407/86400 c Decision: 1398/120917 Time: 439.531/86400 c Decision: 1398/120917 Time: 444.81/86400 c Decision: 1398/120917 Time: 450.662/86400 c Decision: 1401/120917 Time: 458.137/86400 c Decision: 1411/120917 Time: 467.156/86400 c Decision: 1414/120917 Time: 476.906/86400 c Decision: 1417/120917 Time: 486.555/86400 c Decision: 1417/120917 Time: 492.428/86400 c Decision: 1417/120917 Time: 497.847/86400 c Decision: 1417/120917 Time: 503.492/86400 c Decision: 1417/120917 Time: 508.598/86400 c Decision: 1417/120917 Time: 514.598/86400 c Decision: 1417/120917 Time: 521.625/86400 c Decision: 1420/120917 Time: 533.19/86400 c Decision: 1441/120917 Time: 546.923/86400 c Decision: 1441/120917 Time: 552.569/86400 c Decision: 1441/120917 Time: 558.473/86400 c Decision: 1455/120917 Time: 570.985/86400 c Decision: 1455/120917 Time: 577.625/86400 c Decision: 1455/120917 Time: 583.671/86400 c Decision: 1455/120917 Time: 590.462/86400 c Decision: 1455/120917 Time: 597.652/86400 c Decision: 1455/120917 Time: 604.789/86400 c Decision: 1455/120917 Time: 611.566/86400 c Decision: 1461/120917 Time: 625.684/86400 c Decision: 1462/120917 Time: 635.814/86400 c Decision: 1462/120917 Time: 643.54/86400 c Decision: 1468/120917 Time: 654.224/86400 c Decision: 1468/120917 Time: 661.46/86400 c Decision: 1468/120917 Time: 668.421/86400 c Decision: 1474/120917 Time: 680.686/86400 c Decision: 1474/120917 Time: 687.817/86400 c Decision: 1474/120917 Time: 694.024/86400 c Decision: 1474/120917 Time: 701.191/86400 c Decision: 1474/120917 Time: 708.063/86400 c Decision: 1474/120917 Time: 714.529/86400 c Decision: 1474/120917 Time: 722.309/86400 c Decision: 1474/120917 Time: 729.607/86400 c Decision: 1474/120917 Time: 736.454/86400 c Decision: 1474/120917 Time: 742.883/86400 c Decision: 1474/120917 Time: 749.676/86400 c Decision: 1474/120917 Time: 756.881/86400 c Decision: 1474/120917 Time: 763.808/86400 c Decision: 1474/120917 Time: 771.733/86400 c Decision: 1474/120917 Time: 778.611/86400 c Decision: 1474/120917 Time: 786.531/86400 c Decision: 1479/120917 Time: 803.311/86400 c Decision: 1479/120917 Time: 810.643/86400 c Decision: 1479/120917 Time: 819.375/86400 c Decision: 1479/120917 Time: 828.478/86400 c Decision: 1482/120917 Time: 841.288/86400 c Decision: 1485/120917 Time: 851.645/86400 c Decision: 1488/120917 Time: 863.592/86400 c Decision: 1488/120917 Time: 870.766/86400 c Decision: 1488/120917 Time: 877.701/86400 c Decision: 1488/120917 Time: 884.462/86400 c Decision: 1488/120917 Time: 892.066/86400 c Decision: 1488/120917 Time: 898.246/86400 c Decision: 1488/120917 Time: 905.454/86400 c Decision: 1488/120917 Time: 912.987/86400 c Decision: 1488/120917 Time: 920.503/86400 c Decision: 1488/120917 Time: 928.964/86400 c Decision: 1488/120917 Time: 936.425/86400 c Decision: 1488/120917 Time: 944.434/86400 c Decision: 1488/120917 Time: 952.16/86400 c Decision: 1488/120917 Time: 960.614/86400 c Decision: 1490/120917 Time: 970.893/86400 c Decision: 1493/120917 Time: 984.362/86400 c Decision: 1493/120917 Time: 992.831/86400 c Decision: 1495/120917 Time: 1005.2/86400 c Decision: 1495/120917 Time: 1014.55/86400 c Decision: 1495/120917 Time: 1023.56/86400 c Decision: 1495/120917 Time: 1032.25/86400 c Decision: 1495/120917 Time: 1038.86/86400 c Decision: 1495/120917 Time: 1046.31/86400 c Decision: 1502/120917 Time: 1057.03/86400 c Decision: 1506/120917 Time: 1071.13/86400 c Decision: 1506/120917 Time: 1078.13/86400 c Decision: 1506/120917 Time: 1085.7/86400 c Decision: 1506/120917 Time: 1093.22/86400 c Decision: 1506/120917 Time: 1102.1/86400 c Decision: 1506/120917 Time: 1109.81/86400 c Decision: 1506/120917 Time: 1117.23/86400 c Decision: 1506/120917 Time: 1126.22/86400 c Decision: 1506/120917 Time: 1134.87/86400 c Decision: 1506/120917 Time: 1143.93/86400 c Decision: 1506/120917 Time: 1153.47/86400 c Decision: 1506/120917 Time: 1162.12/86400 c Decision: 1506/120917 Time: 1171.4/86400 c Decision: 1506/120917 Time: 1181.11/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.93 0.98 0.92 2/54 8034 Raw data (stat): 8034 (runsolver) R 8033 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969362772 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.0015 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 14889 0 0 0 957 41 0 0 25 0 1 0 969362772 43995136 9186 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10741 9186 301 301 0 10440 0 vsize: 42964 [startup+20.0019 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 15903 0 0 0 1950 49 0 0 25 0 1 0 969362772 44953600 9489 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10975 9489 301 301 0 10674 0 vsize: 43900 [startup+30.0026 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 16707 0 0 0 2943 56 0 0 25 0 1 0 969362772 45232128 9582 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11043 9582 301 301 0 10742 0 vsize: 44172 [startup+40.0036 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 17499 0 0 0 3937 62 0 0 25 0 1 0 969362772 45371392 9663 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11077 9663 301 301 0 10776 0 vsize: 44308 [startup+50.0038 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 18537 0 0 0 4931 68 0 0 25 0 1 0 969362772 45645824 9753 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11144 9753 301 301 0 10843 0 vsize: 44576 [startup+60.0051 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 19337 0 0 0 5924 75 0 0 25 0 1 0 969362772 45785088 9842 4294967295 134512640 135730672 3221224576 3221223264 134748742 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11178 9842 301 301 0 10877 0 vsize: 44712 [startup+70.0057 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 20148 0 0 0 6918 82 0 0 25 0 1 0 969362772 45924352 9942 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11212 9942 301 301 0 10911 0 vsize: 44848 [startup+80.006 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 20720 0 0 0 7911 88 0 0 25 0 1 0 969362772 46198784 10040 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11279 10040 301 301 0 10978 0 vsize: 45116 [startup+90.0057 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 21270 0 0 0 8906 93 0 0 25 0 1 0 969362772 46338048 10116 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11313 10116 301 301 0 11012 0 vsize: 45252 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 22063 0 0 0 9899 100 0 0 25 0 1 0 969362772 46477312 10198 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11347 10198 301 301 0 11046 0 vsize: 45388 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 22606 0 0 0 10894 106 0 0 25 0 1 0 969362772 46755840 10267 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11415 10267 301 301 0 11114 0 vsize: 45660 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 23169 0 0 0 11889 111 0 0 25 0 1 0 969362772 46899200 10356 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11450 10356 301 301 0 11149 0 vsize: 45800 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 23933 0 0 0 12884 116 0 0 25 0 1 0 969362772 48005120 10646 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11720 10646 301 301 0 11419 0 vsize: 46880 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 24481 0 0 0 13878 122 0 0 25 0 1 0 969362772 47169536 10483 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11516 10483 301 301 0 11215 0 vsize: 46064 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 24991 0 0 0 14873 127 0 0 25 0 1 0 969362772 47308800 10519 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11550 10519 301 301 0 11249 0 vsize: 46200 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 25296 0 0 0 15868 132 0 0 25 0 1 0 969362772 47308800 10587 4294967295 134512640 135730672 3221224576 3221223088 134746185 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11550 10587 301 301 0 11249 0 vsize: 46200 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 26060 0 0 0 16862 139 0 0 25 0 1 0 969362772 47439872 10640 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11582 10640 301 301 0 11281 0 vsize: 46328 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 26601 0 0 0 17856 144 0 0 25 0 1 0 969362772 47583232 10707 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11617 10707 301 301 0 11316 0 vsize: 46468 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 26914 0 0 0 18849 151 0 0 25 0 1 0 969362772 47857664 10783 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11684 10783 301 301 0 11383 0 vsize: 46736 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 27209 0 0 0 19844 156 0 0 25 0 1 0 969362772 47857664 10841 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11684 10841 301 301 0 11383 0 vsize: 46736 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 27713 0 0 0 20839 161 0 0 25 0 1 0 969362772 47857664 10871 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11684 10871 301 301 0 11383 0 vsize: 46736 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 28216 0 0 0 21835 166 0 0 25 0 1 0 969362772 47992832 10900 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11717 10900 301 301 0 11416 0 vsize: 46868 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 28746 0 0 0 22831 170 0 0 25 0 1 0 969362772 48136192 10956 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11752 10956 301 301 0 11451 0 vsize: 47008 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 29258 0 0 0 23825 176 0 0 25 0 1 0 969362772 48136192 10994 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11752 10994 301 301 0 11451 0 vsize: 47008 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 29794 0 0 0 24819 182 0 0 25 0 1 0 969362772 48283648 11056 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11788 11056 301 301 0 11487 0 vsize: 47152 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 30307 0 0 0 25814 187 0 0 25 0 1 0 969362772 48435200 11095 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11825 11095 301 301 0 11524 0 vsize: 47300 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 30803 0 0 0 26809 192 0 0 25 0 1 0 969362772 48435200 11117 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11825 11117 301 301 0 11524 0 vsize: 47300 [startup+280.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 31334 0 0 0 27804 198 0 0 25 0 1 0 969362772 56958976 11174 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13906 11174 301 301 0 13605 0 vsize: 55624 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 31612 0 0 0 28800 201 0 0 25 0 1 0 969362772 56958976 11215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13906 11215 301 301 0 13605 0 vsize: 55624 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 32144 0 0 0 29796 206 0 0 25 0 1 0 969362772 57094144 11273 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13939 11273 301 301 0 13638 0 vsize: 55756 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 32668 0 0 0 30791 211 0 0 25 0 1 0 969362772 57094144 11323 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13939 11323 301 301 0 13638 0 vsize: 55756 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 33004 0 0 0 31786 215 0 0 25 0 1 0 969362772 58478592 11422 4294967295 134512640 135730672 3221224576 3221222912 134767246 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14277 11422 301 301 0 13976 0 vsize: 57108 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 33288 0 0 0 32782 220 0 0 25 0 1 0 969362772 57655296 11469 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14076 11469 301 301 0 13775 0 vsize: 56304 [startup+340.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 33582 0 0 0 33778 224 0 0 25 0 1 0 969362772 57655296 11526 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14076 11526 301 301 0 13775 0 vsize: 56304 [startup+350.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 34088 0 0 0 34773 229 0 0 25 0 1 0 969362772 57655296 11558 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14076 11558 301 301 0 13775 0 vsize: 56304 [startup+360.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 34359 0 0 0 35769 233 0 0 25 0 1 0 969362772 57806848 11592 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14113 11592 301 301 0 13812 0 vsize: 56452 [startup+370.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 34879 0 0 0 36764 238 0 0 25 0 1 0 969362772 57806848 11638 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14113 11638 301 301 0 13812 0 vsize: 56452 [startup+380.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 35395 0 0 0 37759 243 0 0 25 0 1 0 969362772 57942016 11680 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14146 11680 301 301 0 13845 0 vsize: 56584 [startup+390.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 35651 0 0 0 38754 248 0 0 25 0 1 0 969362772 57942016 11699 4294967295 134512640 135730672 3221224576 3221223072 134747911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14146 11699 301 301 0 13845 0 vsize: 56584 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 35913 0 0 0 39750 253 0 0 25 0 1 0 969362772 58077184 11724 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14179 11724 301 301 0 13878 0 vsize: 56716 [startup+410.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 36406 0 0 0 40746 258 0 0 25 0 1 0 969362772 58077184 11743 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14179 11743 301 301 0 13878 0 vsize: 56716 [startup+420.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 36672 0 0 0 41741 262 0 0 25 0 1 0 969362772 58212352 11772 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14212 11772 301 301 0 13911 0 vsize: 56848 [startup+430.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 37184 0 0 0 42735 268 0 0 25 0 1 0 969362772 58212352 11810 4294967295 134512640 135730672 3221224576 3221222816 134786292 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14212 11810 301 301 0 13911 0 vsize: 56848 [startup+440.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 37473 0 0 0 43730 274 0 0 25 0 1 0 969362772 58212352 11862 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14212 11862 301 301 0 13911 0 vsize: 56848 [startup+450.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 37998 0 0 0 44725 278 0 0 25 0 1 0 969362772 58347520 11913 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14245 11913 301 301 0 13944 0 vsize: 56980 [startup+460.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 38256 0 0 0 45721 283 0 0 25 0 1 0 969362772 58347520 11934 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14245 11934 301 301 0 13944 0 vsize: 56980 [startup+470.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 38513 0 0 0 46715 288 0 0 25 0 1 0 969362772 58482688 11954 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14278 11954 301 301 0 13977 0 vsize: 57112 [startup+480.043 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 38775 0 0 0 47711 293 0 0 25 0 1 0 969362772 58482688 11979 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14278 11979 301 301 0 13977 0 vsize: 57112 [startup+490.043 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 39057 0 0 0 48708 297 0 0 25 0 1 0 969362772 58613760 12024 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14310 12024 301 301 0 14009 0 vsize: 57240 [startup+500.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 39557 0 0 0 49704 301 0 0 25 0 1 0 969362772 58613760 12050 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14310 12050 301 301 0 14009 0 vsize: 57240 [startup+510.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 40071 0 0 0 50700 306 0 0 25 0 1 0 969362772 58765312 12090 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14347 12090 301 301 0 14046 0 vsize: 57388 [startup+520.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 40597 0 0 0 51695 310 0 0 25 0 1 0 969362772 58765312 12142 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14347 12142 301 301 0 14046 0 vsize: 57388 [startup+530.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 40860 0 0 0 52692 314 0 0 25 0 1 0 969362772 58916864 12168 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14384 12168 301 301 0 14083 0 vsize: 57536 [startup+540.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 41117 0 0 0 53687 318 0 0 25 0 1 0 969362772 58916864 12188 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14384 12188 301 301 0 14083 0 vsize: 57536 [startup+550.046 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 41160 0 0 0 54685 321 0 0 25 0 1 0 969362772 59052032 12231 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14417 12231 301 301 0 14116 0 vsize: 57668 [startup+560.046 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 41682 0 0 0 55680 325 0 0 25 0 1 0 969362772 59052032 12279 4294967295 134512640 135730672 3221224576 3221223184 134744734 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14417 12279 301 301 0 14116 0 vsize: 57668 [startup+570.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 41958 0 0 0 56676 329 0 0 25 0 1 0 969362772 59187200 12318 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14450 12318 301 301 0 14149 0 vsize: 57800 [startup+580.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 42247 0 0 0 57672 334 0 0 25 0 1 0 969362772 59187200 12370 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14450 12370 301 301 0 14149 0 vsize: 57800 [startup+590.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 42767 0 0 0 58667 339 0 0 25 0 1 0 969362772 59187200 12416 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14450 12416 301 301 0 14149 0 vsize: 57800 [startup+600.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 43056 0 0 0 59663 343 0 0 25 0 1 0 969362772 59322368 12468 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14483 12468 301 301 0 14182 0 vsize: 57932 [startup+610.049 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 43587 0 0 0 60659 347 0 0 25 0 1 0 969362772 60428288 12762 4294967295 134512640 135730672 3221224576 3221222736 134768808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14753 12762 301 301 0 14452 0 vsize: 59012 [startup+620.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 43877 0 0 0 61654 352 0 0 25 0 1 0 969362772 59600896 12578 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14551 12578 301 301 0 14250 0 vsize: 58204 [startup+630.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 43932 0 0 0 62650 356 0 0 25 0 1 0 969362772 59731968 12633 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14583 12633 301 301 0 14282 0 vsize: 58332 [startup+640.051 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 44215 0 0 0 63645 361 0 0 25 0 1 0 969362772 59731968 12679 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14583 12679 301 301 0 14282 0 vsize: 58332 [startup+650.052 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 44720 0 0 0 64639 367 0 0 25 0 1 0 969362772 59731968 12710 4294967295 134512640 135730672 3221224576 3221222896 134732837 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14583 12710 301 301 0 14282 0 vsize: 58332 [startup+660.053 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 44986 0 0 0 65635 372 0 0 25 0 1 0 969362772 59863040 12739 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14615 12739 301 301 0 14314 0 vsize: 58460 [startup+670.054 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 48317 0 0 0 66624 382 0 0 25 0 1 0 969362772 72581120 12760 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17720 12760 301 301 0 17419 0 vsize: 70880 [startup+680.054 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 48587 0 0 0 67621 386 0 0 25 0 1 0 969362772 72724480 12793 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17755 12793 301 301 0 17454 0 vsize: 71020 [startup+690.054 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 48846 0 0 0 68617 390 0 0 25 0 1 0 969362772 72724480 12815 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17755 12815 301 301 0 17454 0 vsize: 71020 [startup+700.054 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 49356 0 0 0 69613 394 0 0 25 0 1 0 969362772 72871936 12851 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17791 12851 301 301 0 17490 0 vsize: 71164 [startup+710.055 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 49616 0 0 0 70608 398 0 0 25 0 1 0 969362772 72871936 12874 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17791 12874 301 301 0 17490 0 vsize: 71164 [startup+720.062 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 50108 0 0 0 71605 403 0 0 25 0 1 0 969362772 73007104 12892 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17824 12892 301 301 0 17523 0 vsize: 71296 [startup+730.077 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 50364 0 0 0 72602 407 0 0 25 0 1 0 969362772 73007104 12911 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17824 12911 301 301 0 17523 0 vsize: 71296 [startup+740.078 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 50622 0 0 0 73597 412 0 0 25 0 1 0 969362772 73007104 12932 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17824 12932 301 301 0 17523 0 vsize: 71296 [startup+750.078 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 51117 0 0 0 74593 416 0 0 25 0 1 0 969362772 73146368 12953 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17858 12953 301 301 0 17557 0 vsize: 71432 [startup+760.079 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 51392 0 0 0 75589 421 0 0 25 0 1 0 969362772 73146368 12991 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17858 12991 301 301 0 17557 0 vsize: 71432 [startup+770.08 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 51883 0 0 0 76584 426 0 0 25 0 1 0 969362772 73146368 13008 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17858 13008 301 301 0 17557 0 vsize: 71432 [startup+780.082 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 52152 0 0 0 77580 430 0 0 25 0 1 0 969362772 73277440 13040 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17890 13040 301 301 0 17589 0 vsize: 71560 [startup+790.083 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 52427 0 0 0 78575 435 0 0 25 0 1 0 969362772 73277440 13078 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17890 13078 301 301 0 17589 0 vsize: 71560 [startup+800.084 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 52704 0 0 0 79571 439 0 0 25 0 1 0 969362772 73277440 13118 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17890 13118 301 301 0 17589 0 vsize: 71560 [startup+810.085 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 52974 0 0 0 80566 444 0 0 25 0 1 0 969362772 73408512 13151 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17922 13151 301 301 0 17621 0 vsize: 71688 [startup+820.086 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 53229 0 0 0 81562 449 0 0 25 0 1 0 969362772 73408512 13169 4294967295 134512640 135730672 3221224576 3221223072 134747905 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17922 13169 301 301 0 17621 0 vsize: 71688 [startup+830.086 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 53497 0 0 0 82557 453 0 0 25 0 1 0 969362772 73547776 13200 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17956 13200 301 301 0 17655 0 vsize: 71824 [startup+840.087 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 53777 0 0 0 83553 457 0 0 25 0 1 0 969362772 73547776 13243 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17956 13243 301 301 0 17655 0 vsize: 71824 [startup+850.088 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 54054 0 0 0 84549 461 0 0 25 0 1 0 969362772 73547776 13283 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17956 13283 301 301 0 17655 0 vsize: 71824 [startup+860.088 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 54323 0 0 0 85546 465 0 0 25 0 1 0 969362772 73682944 13315 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17989 13315 301 301 0 17688 0 vsize: 71956 [startup+870.089 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 54573 0 0 0 86543 469 0 0 25 0 1 0 969362772 73682944 13328 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17989 13328 301 301 0 17688 0 vsize: 71956 [startup+880.089 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 54829 0 0 0 87539 472 0 0 25 0 1 0 969362772 73682944 13347 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17989 13347 301 301 0 17688 0 vsize: 71956 [startup+890.089 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 55324 0 0 0 88535 476 0 0 25 0 1 0 969362772 73834496 13368 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18026 13368 301 301 0 17725 0 vsize: 72104 [startup+900.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 55590 0 0 0 89533 479 0 0 25 0 1 0 969362772 73834496 13397 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18026 13397 301 301 0 17725 0 vsize: 72104 [startup+910.091 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 55845 0 0 0 90530 482 0 0 25 0 1 0 969362772 73834496 13415 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18026 13415 301 301 0 17725 0 vsize: 72104 [startup+920.091 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 56333 0 0 0 91526 486 0 0 25 0 1 0 969362772 73973760 13429 4294967295 134512640 135730672 3221224576 3221222824 135284491 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18060 13429 301 301 0 17759 0 vsize: 72240 [startup+930.091 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 56611 0 0 0 92522 491 0 0 25 0 1 0 969362772 73973760 13470 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18060 13470 301 301 0 17759 0 vsize: 72240 [startup+940.092 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 56868 0 0 0 93519 493 0 0 25 0 1 0 969362772 73973760 13490 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18060 13490 301 301 0 17759 0 vsize: 72240 [startup+950.092 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 57362 0 0 0 94515 498 0 0 25 0 1 0 969362772 74108928 13510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18093 13510 301 301 0 17792 0 vsize: 72372 [startup+960.092 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 57635 0 0 0 95510 503 0 0 25 0 1 0 969362772 74108928 13546 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18093 13546 301 301 0 17792 0 vsize: 72372 [startup+970.093 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 57904 0 0 0 96506 508 0 0 25 0 1 0 969362772 74108928 13578 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18093 13578 301 301 0 17792 0 vsize: 72372 [startup+980.093 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 58166 0 0 0 97501 512 0 0 25 0 1 0 969362772 74244096 13603 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18126 13603 301 301 0 17825 0 vsize: 72504 [startup+990.093 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 58421 0 0 0 98497 516 0 0 25 0 1 0 969362772 74244096 13621 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18126 13621 301 301 0 17825 0 vsize: 72504 [startup+1000.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 58688 0 0 0 99494 520 0 0 25 0 1 0 969362772 74244096 13651 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18126 13651 301 301 0 17825 0 vsize: 72504 [startup+1010.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 58721 0 0 0 100491 523 0 0 25 0 1 0 969362772 74383360 13684 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18160 13684 301 301 0 17859 0 vsize: 72640 [startup+1020.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 59223 0 0 0 101487 527 0 0 25 0 1 0 969362772 74383360 13712 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18160 13712 301 301 0 17859 0 vsize: 72640 [startup+1030.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 59485 0 0 0 102483 531 0 0 25 0 1 0 969362772 74383360 13737 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18160 13737 301 301 0 17859 0 vsize: 72640 [startup+1040.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 59733 0 0 0 103478 536 0 0 25 0 1 0 969362772 74383360 13748 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18160 13748 301 301 0 17859 0 vsize: 72640 [startup+1050.09 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 59999 0 0 0 104474 541 0 0 25 0 1 0 969362772 74514432 13777 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18192 13777 301 301 0 17891 0 vsize: 72768 [startup+1060.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 60275 0 0 0 105471 544 0 0 25 0 1 0 969362772 74514432 13816 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18192 13816 301 301 0 17891 0 vsize: 72768 [startup+1070.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 60558 0 0 0 106466 549 0 0 25 0 1 0 969362772 74649600 13862 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18225 13862 301 301 0 17924 0 vsize: 72900 [startup+1080.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 60819 0 0 0 107463 553 0 0 25 0 1 0 969362772 74649600 13886 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18225 13886 301 301 0 17924 0 vsize: 72900 [startup+1090.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 61068 0 0 0 108458 557 0 0 25 0 1 0 969362772 74784768 13898 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18258 13898 301 301 0 17957 0 vsize: 73032 [startup+1100.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 61560 0 0 0 109455 561 0 0 25 0 1 0 969362772 74784768 13916 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18258 13916 301 301 0 17957 0 vsize: 73032 [startup+1110.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 61837 0 0 0 110451 566 0 0 25 0 1 0 969362772 74784768 13956 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18258 13956 301 301 0 17957 0 vsize: 73032 [startup+1120.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 62102 0 0 0 111447 569 0 0 25 0 1 0 969362772 74936320 13984 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18295 13984 301 301 0 17994 0 vsize: 73180 [startup+1130.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 62355 0 0 0 112444 573 0 0 25 0 1 0 969362772 74936320 14000 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18295 14000 301 301 0 17994 0 vsize: 73180 [startup+1140.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 62849 0 0 0 113439 578 0 0 25 0 1 0 969362772 75907072 14257 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18532 14257 301 301 0 18231 0 vsize: 74128 [startup+1150.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 63126 0 0 0 114436 581 0 0 25 0 1 0 969362772 75071488 14060 4294967295 134512640 135730672 3221224576 3221223184 134744144 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18328 14060 301 301 0 18027 0 vsize: 73312 [startup+1160.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 63394 0 0 0 115433 584 0 0 25 0 1 0 969362772 75071488 14091 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18328 14091 301 301 0 18027 0 vsize: 73312 [startup+1170.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 63646 0 0 0 116429 588 0 0 25 0 1 0 969362772 75071488 14106 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18328 14106 301 301 0 18027 0 vsize: 73312 [startup+1180.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 63905 0 0 0 117425 592 0 0 25 0 1 0 969362772 75206656 14128 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18361 14128 301 301 0 18060 0 vsize: 73444 [startup+1190.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 64175 0 0 0 118422 596 0 0 25 0 1 0 969362772 75206656 14161 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18361 14161 301 301 0 18060 0 vsize: 73444 [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 8034 Raw data (stat): 8034 (pb2sat-v2) R 8033 31399 31398 0 -1 0 64211 0 0 0 119419 599 0 0 25 0 1 0 969362772 75206656 14197 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18361 14197 301 301 0 18060 0 vsize: 73444 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.46 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 8034 Raw data (stat): 8034 (pb2sat-v2) Z 8033 31399 31398 0 -1 12 64213 0 0 0 119452 602 0 0 25 0 1 0 969362772 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.45 CPU time (s): 1200.54 CPU user time (s): 1194.52 CPU system time (s): 6.02008 CPU usage (%): 100.007 Max. virtual memory (Kb): 74128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####