Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb |
MD5SUM | b7668ee338f48dc7f664e7548454bbde |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 8589934592 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 9.67853 |
Number of variables | 3090 |
Total number of constraints | 104 |
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 | 104 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-28 12:11:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24385 boxname=wulflinc7 idbench=857 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b7668ee338f48dc7f664e7548454bbde /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sc105.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sc105.opb IDLAUNCH: 24385 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 742188 kB Buffers: 35840 kB Cached: 235584 kB SwapCached: 644 kB Active: 24948 kB Inactive: 248528 kB HighTotal: 131008 kB HighFree: 18032 kB LowTotal: 903652 kB LowFree: 724156 kB SwapTotal: 2097136 kB SwapFree: 2095560 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 13392 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 12:30:10 (client local time) WITH STATUS 20 IN 1137.03 SECONDS stats: 24385 7 1137.03 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c CONFLICT during preprocess c [startup+3.34454 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+3.58792 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+3.83773 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+4.08154 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+4.33047 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+4.57653 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+4.82658 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+5.07664 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+5.32827 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+5.582 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+5.83892 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+6.0941 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+6.35539 s] setting bit 17 to 0 Decision: 25007/72546 Time: 3.81842/86400 Decision: 25109/72546 Time: 9.93149/86400 Decision: 25112/72546 Time: 15.4307/86400 Decision: 25112/72546 Time: 19.1251/86400 Decision: 25112/72546 Time: 23.3355/86400 Decision: 25689/72546 Time: 31.5282/86400c [startup+40.9605 s] setting bit 16 to 0 Decision: 18672/72546 Time: 10.5684/86400 Decision: 18674/72546 Time: 15.9666/86400 Decision: 18675/72546 Time: 21.7797/86400 Decision: 18675/72546 Time: 25.8631/86400 Decision: 18675/72546 Time: 30.3554/86400 Decision: 18675/72546 Time: 34.4138/86400 Decision: 18675/72546 Time: 39.52/86400 Decision: 18685/72546 Time: 46.077/86400 Decision: 18685/72546 Time: 49.6864/86400 Decision: 18686/72546 Time: 54.3207/86400 Decision: 18686/72546 Time: 58.993/86400 Decision: 18686/72546 Time: 64.5412/86400 Decision: 18686/72546 Time: 68.4816/86400 Decision: 18686/72546 Time: 73.4558/86400 Decision: 18686/72546 Time: 78.748/86400 Decision: 18686/72546 Time: 84.5341/86400 Decision: 18686/72546 Time: 90.3863/86400 Decision: 18777/72546 Time: 97.0103/86400 Decision: 18777/72546 Time: 103.033/86400 Decision: 18777/72546 Time: 108.959/86400 Decision: 18779/72546 Time: 115.549/86400 Decision: 18779/72546 Time: 122.123/86400 Decision: 18779/72546 Time: 128.182/86400 Decision: 18787/72546 Time: 140.794/86400 Decision: 18791/72546 Time: 147.552/86400 Decision: 18791/72546 Time: 154.239/86400 Decision: 18796/72546 Time: 168.591/86400 Decision: 18798/72546 Time: 176.197/86400 Decision: 18891/72546 Time: 185.838/86400c [startup+230.09 s] setting bit 15 to 0 Decision: 21904/72546 Time: 7.30189/86400 Decision: 21904/72546 Time: 11.8472/86400 Decision: 21904/72546 Time: 16.8604/86400 Decision: 21906/72546 Time: 22.6386/86400 Decision: 21906/72546 Time: 27.6558/86400 Decision: 21906/72546 Time: 34.1158/86400 Decision: 21906/72546 Time: 39.33/86400 Decision: 21906/72546 Time: 44.9542/86400 Decision: 21906/72546 Time: 51.4912/86400 Decision: 21906/72546 Time: 56.3924/86400 Decision: 21906/72546 Time: 62.9764/86400 Decision: 21906/72546 Time: 70.3463/86400 Decision: 21906/72546 Time: 75.9824/86400 Decision: 21906/72546 Time: 82.6214/86400 Decision: 21906/72546 Time: 88.2546/86400 Decision: 21906/72546 Time: 94.4566/86400 Decision: 21915/72546 Time: 100.672/86400 Decision: 21915/72546 Time: 107.837/86400 Decision: 21915/72546 Time: 114.412/86400 Decision: 21916/72546 Time: 120.313/86400 Decision: 21916/72546 Time: 127.867/86400 Decision: 22005/72546 Time: 141.043/86400c [startup+379.197 s] setting bit 14 to 0 Decision: 21807/72546 Time: 48.4206/86400 Decision: 21916/72546 Time: 55.7675/86400 Decision: 21916/72546 Time: 62.0326/86400 Decision: 21916/72546 Time: 70.0613/86400 Decision: 21916/72546 Time: 76.7873/86400 Decision: 21916/72546 Time: 84.5281/86400 Decision: 21916/72546 Time: 92.016/86400 Decision: 21918/72546 Time: 101.593/86400c [startup+495.808 s] setting bit 13 to 0 Decision: 21910/72546 Time: 42.1466/86400 Decision: 21912/72546 Time: 49.2855/86400 Decision: 21993/72546 Time: 68.7765/86400c [startup+575.889 s] setting bit 12 to 0 Decision: 21909/72546 Time: 26.8769/86400 Decision: 21909/72546 Time: 34.6797/86400 Decision: 21909/72546 Time: 41.5947/86400 Decision: 21909/72546 Time: 48.4186/86400 Decision: 21909/72546 Time: 56.9583/86400c [startup+661.688 s] setting bit 11 to 0 Decision: 21909/72546 Time: 18.5772/86400 Decision: 21913/72546 Time: 27.9717/86400 Decision: 21913/72546 Time: 36.1225/86400 Decision: 21913/72546 Time: 43.8883/86400 Decision: 21913/72546 Time: 52.818/86400 Decision: 21913/72546 Time: 61.6676/86400 Decision: 21913/72546 Time: 70.3803/86400c [startup+746.114 s] setting bit 10 to 0 Decision: 21907/72546 Time: 19.1101/86400 Decision: 21907/72546 Time: 28.1937/86400 Decision: 21907/72546 Time: 36.7464/86400 Decision: 22078/72546 Time: 58.4391/86400c [startup+812.675 s] setting bit 9 to 0 Decision: 21979/72546 Time: 83.9142/86400 Decision: 21979/72546 Time: 91.1971/86400 Decision: 21979/72546 Time: 98.569/86400c [startup+927.285 s] setting bit 8 to 0 Decision: 21890/72546 Time: 83.7343/86400 Decision: 21890/72546 Time: 92.6219/86400 Decision: 21890/72546 Time: 100.754/86400c [startup+1047.12 s] setting bit 7 to 0 Decision: 21901/72546 Time: 18.3792/86400 Decision: 21905/72546 Time: 26.9839/86400 Decision: 21905/72546 Time: 34.0708/86400c [startup+1090.66 s] setting bit 6 to 0 c [startup+1119.7 s] setting bit 5 to 0 c [startup+1130.2 s] setting bit 4 to 0 c [startup+1133.13 s] setting bit 3 to 0 c [startup+1134.58 s] setting bit 2 to 0 c [startup+1135.77 s] setting bit 1 to 0 c [startup+1136.66 s] setting bit 0 to 0 s UNSATISFIABLE #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.91 2/54 8512 Raw data (stat): 8512 (runsolver) R 8511 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806487712 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.0004 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 11516 0 0 0 973 26 0 0 25 0 1 0 806487712 28401664 5493 4294967295 134512640 135726644 3221224592 3221223216 134779428 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6934 5493 300 300 0 6634 0 vsize: 27736 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 11753 0 0 0 1972 27 0 0 25 0 1 0 806487712 28557312 5588 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6972 5588 300 300 0 6672 0 vsize: 27888 [startup+30.003 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12293 0 0 0 2970 29 0 0 25 0 1 0 806487712 28557312 5702 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6972 5702 300 300 0 6672 0 vsize: 27888 [startup+40.0031 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12545 0 0 0 3968 30 0 0 25 0 1 0 806487712 32948224 5812 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8044 5812 300 300 0 7744 0 vsize: 32176 [startup+50.0037 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12742 0 0 0 4967 32 0 0 25 0 1 0 806487712 33144832 5867 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8092 5867 300 300 0 7792 0 vsize: 32368 [startup+60.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13121 0 0 0 5966 33 0 0 25 0 1 0 806487712 33472512 5962 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8172 5962 300 300 0 7872 0 vsize: 32688 [startup+70.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13465 0 0 0 6964 35 0 0 25 0 1 0 806487712 33472512 6022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8172 6022 300 300 0 7872 0 vsize: 32688 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13846 0 0 0 7963 36 0 0 25 0 1 0 806487712 33865728 6119 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8268 6119 300 300 0 7968 0 vsize: 33072 [startup+90.0036 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 14220 0 0 0 8962 37 0 0 25 0 1 0 806487712 34062336 6209 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8316 6209 300 300 0 8016 0 vsize: 33264 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 14870 0 0 0 9960 39 0 0 25 0 1 0 806487712 34832384 6433 4294967295 134512640 135726644 3221224592 3221223088 134744203 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8504 6433 300 300 0 8204 0 vsize: 34016 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 15307 0 0 0 10959 40 0 0 25 0 1 0 806487712 35356672 6586 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8632 6586 300 300 0 8332 0 vsize: 34528 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17313 0 0 0 11953 46 0 0 25 0 1 0 806487712 42041344 6771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10264 6771 300 300 0 9964 0 vsize: 41056 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17516 0 0 0 12953 47 0 0 25 0 1 0 806487712 42188800 6832 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10300 6832 300 300 0 10000 0 vsize: 41200 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17923 0 0 0 13951 48 0 0 25 0 1 0 806487712 42188800 6955 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10300 6955 300 300 0 10000 0 vsize: 41200 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18334 0 0 0 14951 50 0 0 25 0 1 0 806487712 42323968 7082 4294967295 134512640 135726644 3221224592 3221222664 135281418 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10333 7082 300 300 0 10033 0 vsize: 41332 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18542 0 0 0 15950 51 0 0 25 0 1 0 806487712 42475520 7148 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10370 7148 300 300 0 10070 0 vsize: 41480 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18838 0 0 0 16949 52 0 0 25 0 1 0 806487712 42475520 7160 4294967295 134512640 135726644 3221224592 3221223184 134760178 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10370 7160 300 300 0 10070 0 vsize: 41480 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18878 0 0 0 17949 52 0 0 25 0 1 0 806487712 42475520 7200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10370 7200 300 300 0 10070 0 vsize: 41480 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19269 0 0 0 18948 53 0 0 25 0 1 0 806487712 42614784 7307 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10404 7307 300 300 0 10104 0 vsize: 41616 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19473 0 0 0 19947 54 0 0 25 0 1 0 806487712 42614784 7369 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10404 7369 300 300 0 10104 0 vsize: 41616 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19648 0 0 0 20947 55 0 0 25 0 1 0 806487712 42749952 7402 4294967295 134512640 135726644 3221224592 3221223200 134741148 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10437 7402 300 300 0 10137 0 vsize: 41748 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19908 0 0 0 21946 56 0 0 25 0 1 0 806487712 42749952 7520 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10437 7520 300 300 0 10137 0 vsize: 41748 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20169 0 0 0 22945 57 0 0 25 0 1 0 806487712 42897408 7639 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10473 7639 300 300 0 10173 0 vsize: 41892 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20527 0 0 0 23944 59 0 0 25 0 1 0 806487712 43032576 7713 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10506 7713 300 300 0 10206 0 vsize: 42024 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20686 0 0 0 24943 60 0 0 25 0 1 0 806487712 43032576 7730 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10506 7730 300 300 0 10206 0 vsize: 42024 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20982 0 0 0 25943 61 0 0 25 0 1 0 806487712 43032576 7742 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10506 7742 300 300 0 10206 0 vsize: 42024 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21001 0 0 0 26942 61 0 0 25 0 1 0 806487712 43032576 7761 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10506 7761 300 300 0 10206 0 vsize: 42024 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21158 0 0 0 27942 62 0 0 25 0 1 0 806487712 43167744 7776 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10539 7776 300 300 0 10239 0 vsize: 42156 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21176 0 0 0 28941 63 0 0 25 0 1 0 806487712 43167744 7794 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10539 7794 300 300 0 10239 0 vsize: 42156 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21392 0 0 0 29941 63 0 0 25 0 1 0 806487712 51556352 7868 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12587 7868 300 300 0 12287 0 vsize: 50348 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21664 0 0 0 30939 64 0 0 25 0 1 0 806487712 51691520 7998 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12620 7998 300 300 0 12320 0 vsize: 50480 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21806 0 0 0 31939 65 0 0 25 0 1 0 806487712 51826688 8140 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12653 8140 300 300 0 12353 0 vsize: 50612 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21945 0 0 0 32938 66 0 0 25 0 1 0 806487712 51965952 8279 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12687 8279 300 300 0 12387 0 vsize: 50748 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 22363 0 0 0 33937 67 0 0 25 0 1 0 806487712 51965952 8413 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12687 8413 300 300 0 12387 0 vsize: 50748 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 22646 0 0 0 34936 68 0 0 25 0 1 0 806487712 51965952 8554 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12687 8554 300 300 0 12387 0 vsize: 50748 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23046 0 0 0 35935 70 0 0 25 0 1 0 806487712 52101120 8670 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12720 8670 300 300 0 12420 0 vsize: 50880 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23057 0 0 0 36934 71 0 0 25 0 1 0 806487712 52101120 8681 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12720 8681 300 300 0 12420 0 vsize: 50880 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23379 0 0 0 37934 71 0 0 25 0 1 0 806487712 52236288 8719 4294967295 134512640 135726644 3221224592 3221223088 134744249 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12753 8719 300 300 0 12453 0 vsize: 51012 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23437 0 0 0 38934 72 0 0 25 0 1 0 806487712 52371456 8777 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12786 8777 300 300 0 12486 0 vsize: 51144 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23497 0 0 0 39933 73 0 0 25 0 1 0 806487712 52371456 8837 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12786 8837 300 300 0 12486 0 vsize: 51144 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23574 0 0 0 40932 74 0 0 25 0 1 0 806487712 52371456 8914 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12786 8914 300 300 0 12486 0 vsize: 51144 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23655 0 0 0 41931 75 0 0 25 0 1 0 806487712 52371456 8995 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12786 8995 300 300 0 12486 0 vsize: 51144 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23892 0 0 0 42931 75 0 0 25 0 1 0 806487712 52527104 9090 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12824 9090 300 300 0 12524 0 vsize: 51296 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24055 0 0 0 43930 76 0 0 25 0 1 0 806487712 52670464 9111 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12859 9111 300 300 0 12559 0 vsize: 51436 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24364 0 0 0 44929 77 0 0 25 0 1 0 806487712 52838400 9136 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12900 9136 300 300 0 12600 0 vsize: 51600 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24377 0 0 0 45929 77 0 0 25 0 1 0 806487712 52838400 9149 4294967295 134512640 135726644 3221224592 3221222840 135280859 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12900 9149 300 300 0 12600 0 vsize: 51600 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24546 0 0 0 46929 78 0 0 25 0 1 0 806487712 52998144 9176 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12939 9176 300 300 0 12639 0 vsize: 51756 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24699 0 0 0 47928 79 0 0 25 0 1 0 806487712 52998144 9187 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12939 9187 300 300 0 12639 0 vsize: 51756 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24881 0 0 0 48928 80 0 0 25 0 1 0 806487712 52998144 9227 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12939 9227 300 300 0 12639 0 vsize: 51756 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25138 0 0 0 49927 80 0 0 25 0 1 0 806487712 53264384 9342 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13004 9342 300 300 0 12704 0 vsize: 52016 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25204 0 0 0 50927 81 0 0 25 0 1 0 806487712 53407744 9408 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13039 9408 300 300 0 12739 0 vsize: 52156 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25275 0 0 0 51927 81 0 0 25 0 1 0 806487712 53407744 9479 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13039 9479 300 300 0 12739 0 vsize: 52156 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25371 0 0 0 52926 82 0 0 25 0 1 0 806487712 53407744 9575 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13039 9575 300 300 0 12739 0 vsize: 52156 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25616 0 0 0 53925 83 0 0 25 0 1 0 806487712 53682176 9678 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13106 9678 300 300 0 12806 0 vsize: 52424 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25846 0 0 0 54925 84 0 0 25 0 1 0 806487712 53682176 9766 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13106 9766 300 300 0 12806 0 vsize: 52424 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25964 0 0 0 55924 84 0 0 25 0 1 0 806487712 53821440 9884 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13140 9884 300 300 0 12840 0 vsize: 52560 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26249 0 0 0 56924 85 0 0 25 0 1 0 806487712 53956608 10027 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13173 10027 300 300 0 12873 0 vsize: 52692 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26497 0 0 0 57923 86 0 0 25 0 1 0 806487712 54095872 10133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13207 10133 300 300 0 12907 0 vsize: 52828 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26574 0 0 0 58922 87 0 0 25 0 1 0 806487712 54095872 10210 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13207 10210 300 300 0 12907 0 vsize: 52828 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26661 0 0 0 59922 87 0 0 25 0 1 0 806487712 54095872 10297 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13207 10297 300 300 0 12907 0 vsize: 52828 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26833 0 0 0 60921 88 0 0 25 0 1 0 806487712 54247424 10327 4294967295 134512640 135726644 3221224592 3221223280 134745093 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13244 10327 300 300 0 12944 0 vsize: 52976 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26990 0 0 0 61921 89 0 0 25 0 1 0 806487712 54247424 10342 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13244 10342 300 300 0 12944 0 vsize: 52976 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27008 0 0 0 62921 89 0 0 25 0 1 0 806487712 54247424 10360 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13244 10360 300 300 0 12944 0 vsize: 52976 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27027 0 0 0 63920 90 0 0 25 0 1 0 806487712 54435840 10379 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13290 10379 300 300 0 12990 0 vsize: 53160 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27055 0 0 0 64920 91 0 0 25 0 1 0 806487712 54435840 10407 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13290 10407 300 300 0 12990 0 vsize: 53160 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27070 0 0 0 65920 91 0 0 25 0 1 0 806487712 54435840 10422 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13290 10422 300 300 0 12990 0 vsize: 53160 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27220 0 0 0 66919 92 0 0 25 0 1 0 806487712 54435840 10430 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13290 10430 300 300 0 12990 0 vsize: 53160 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27392 0 0 0 67919 92 0 0 25 0 1 0 806487712 54571008 10460 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13323 10460 300 300 0 13023 0 vsize: 53292 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27633 0 0 0 68918 93 0 0 25 0 1 0 806487712 54571008 10559 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13323 10559 300 300 0 13023 0 vsize: 53292 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27883 0 0 0 69917 94 0 0 25 0 1 0 806487712 54788096 10667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13376 10667 300 300 0 13076 0 vsize: 53504 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27996 0 0 0 70916 95 0 0 25 0 1 0 806487712 54788096 10780 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13376 10780 300 300 0 13076 0 vsize: 53504 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28234 0 0 0 71916 95 0 0 25 0 1 0 806487712 71565312 10876 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17472 10876 300 300 0 17172 0 vsize: 69888 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28325 0 0 0 72915 96 0 0 25 0 1 0 806487712 71565312 10967 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17472 10967 300 300 0 17172 0 vsize: 69888 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28450 0 0 0 73914 98 0 0 25 0 1 0 806487712 71708672 11092 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17507 11092 300 300 0 17207 0 vsize: 70028 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28712 0 0 0 74913 98 0 0 25 0 1 0 806487712 71708672 11212 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17507 11212 300 300 0 17207 0 vsize: 70028 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28832 0 0 0 75913 99 0 0 25 0 1 0 806487712 71847936 11332 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17541 11332 300 300 0 17241 0 vsize: 70164 [startup+770.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29077 0 0 0 76912 100 0 0 25 0 1 0 806487712 71983104 11435 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17574 11435 300 300 0 17274 0 vsize: 70296 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29313 0 0 0 77912 101 0 0 25 0 1 0 806487712 71983104 11529 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17574 11529 300 300 0 17274 0 vsize: 70296 [startup+790.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29580 0 0 0 78911 102 0 0 25 0 1 0 806487712 71983104 11654 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17574 11654 300 300 0 17274 0 vsize: 70296 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29696 0 0 0 79911 102 0 0 25 0 1 0 806487712 72118272 11770 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17607 11770 300 300 0 17307 0 vsize: 70428 [startup+810.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30076 0 0 0 80909 104 0 0 25 0 1 0 806487712 72658944 12008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12008 300 300 0 17439 0 vsize: 70956 [startup+820.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30290 0 0 0 81908 104 0 0 25 0 1 0 806487712 72658944 12080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12080 300 300 0 17439 0 vsize: 70956 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30360 0 0 0 82908 105 0 0 25 0 1 0 806487712 72658944 12150 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12150 300 300 0 17439 0 vsize: 70956 [startup+840.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30415 0 0 0 83908 105 0 0 25 0 1 0 806487712 72658944 12205 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12205 300 300 0 17439 0 vsize: 70956 [startup+850.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30477 0 0 0 84908 106 0 0 25 0 1 0 806487712 72658944 12267 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12267 300 300 0 17439 0 vsize: 70956 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30544 0 0 0 85908 106 0 0 25 0 1 0 806487712 72658944 12334 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12334 300 300 0 17439 0 vsize: 70956 [startup+870.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30604 0 0 0 86909 106 0 0 25 0 1 0 806487712 72658944 12394 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12394 300 300 0 17439 0 vsize: 70956 [startup+880.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30668 0 0 0 87911 107 0 0 25 0 1 0 806487712 72658944 12458 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12458 300 300 0 17439 0 vsize: 70956 [startup+890.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30745 0 0 0 88910 107 0 0 25 0 1 0 806487712 72658944 12535 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17739 12535 300 300 0 17439 0 vsize: 70956 [startup+900.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30975 0 0 0 89910 108 0 0 25 0 1 0 806487712 72794112 12623 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12623 300 300 0 17472 0 vsize: 71088 [startup+910.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31123 0 0 0 90910 109 0 0 25 0 1 0 806487712 72794112 12629 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12629 300 300 0 17472 0 vsize: 71088 [startup+920.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31133 0 0 0 91911 109 0 0 25 0 1 0 806487712 72794112 12639 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12639 300 300 0 17472 0 vsize: 71088 [startup+930.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31280 0 0 0 92911 109 0 0 25 0 1 0 806487712 72794112 12644 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17772 12644 300 300 0 17472 0 vsize: 71088 [startup+940.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31285 0 0 0 93909 110 0 0 25 0 1 0 806487712 72794112 12649 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17772 12649 300 300 0 17472 0 vsize: 71088 [startup+950.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31292 0 0 0 94909 110 0 0 25 0 1 0 806487712 72794112 12656 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12656 300 300 0 17472 0 vsize: 71088 [startup+960.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31297 0 0 0 95909 111 0 0 25 0 1 0 806487712 72794112 12661 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12661 300 300 0 17472 0 vsize: 71088 [startup+970.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31303 0 0 0 96909 111 0 0 25 0 1 0 806487712 72794112 12667 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12667 300 300 0 17472 0 vsize: 71088 [startup+980.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31307 0 0 0 97910 111 0 0 25 0 1 0 806487712 72794112 12671 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17772 12671 300 300 0 17472 0 vsize: 71088 [startup+990.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31315 0 0 0 98910 112 0 0 25 0 1 0 806487712 72929280 12679 4294967295 134512640 135726644 3221224592 3221222912 134729220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12679 300 300 0 17505 0 vsize: 71220 [startup+1000.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31319 0 0 0 99910 112 0 0 25 0 1 0 806487712 72929280 12683 4294967295 134512640 135726644 3221224592 3221223072 134728997 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12683 300 300 0 17505 0 vsize: 71220 [startup+1010.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31324 0 0 0 100910 112 0 0 25 0 1 0 806487712 72929280 12688 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12688 300 300 0 17505 0 vsize: 71220 [startup+1020.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31478 0 0 0 101910 113 0 0 25 0 1 0 806487712 72929280 12700 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12700 300 300 0 17505 0 vsize: 71220 [startup+1030.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31628 0 0 0 102910 113 0 0 25 0 1 0 806487712 72929280 12708 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12708 300 300 0 17505 0 vsize: 71220 [startup+1040.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31645 0 0 0 103909 113 0 0 25 0 1 0 806487712 72929280 12725 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12725 300 300 0 17505 0 vsize: 71220 [startup+1050.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31796 0 0 0 104910 114 0 0 25 0 1 0 806487712 72929280 12734 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17805 12734 300 300 0 17505 0 vsize: 71220 [startup+1060.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31822 0 0 0 105910 114 0 0 25 0 1 0 806487712 73084928 12760 4294967295 134512640 135726644 3221224592 3221223136 134736841 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17843 12760 300 300 0 17543 0 vsize: 71372 [startup+1070.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31976 0 0 0 106909 115 0 0 25 0 1 0 806487712 73084928 12772 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17843 12772 300 300 0 17543 0 vsize: 71372 [startup+1080.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32128 0 0 0 107908 116 0 0 25 0 1 0 806487712 73084928 12782 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17843 12782 300 300 0 17543 0 vsize: 71372 [startup+1090.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32301 0 0 0 108906 117 0 0 25 0 1 0 806487712 73240576 12813 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17881 12813 300 300 0 17581 0 vsize: 71524 [startup+1100.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32451 0 0 0 109907 117 0 0 25 0 1 0 806487712 73240576 12821 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17881 12821 300 300 0 17581 0 vsize: 71524 [startup+1110.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32477 0 0 0 110908 117 0 0 25 0 1 0 806487712 73375744 12847 4294967295 134512640 135726644 3221224592 3221223088 134744187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17914 12847 300 300 0 17614 0 vsize: 71656 [startup+1120.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32645 0 0 0 111906 118 0 0 25 0 1 0 806487712 73375744 12873 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17914 12873 300 300 0 17614 0 vsize: 71656 [startup+1130.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32680 0 0 0 112907 118 0 0 25 0 1 0 806487712 73510912 12908 4294967295 134512640 135726644 3221224592 3221223240 134735638 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17947 12908 300 300 0 17647 0 vsize: 71788 [startup+1136.89 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 8512 Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32680 0 0 0 112907 118 0 0 25 0 1 0 806487712 73510912 12908 4294967295 134512640 135726644 3221224592 3221223240 134735638 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17947 12908 300 300 0 17647 0 vsize: 0 Child status: 20 Real time (s): 1136.89 CPU time (s): 1137.03 CPU user time (s): 1135.8 CPU system time (s): 1.22481 CPU usage (%): 100.012 Max. virtual memory (Kb): 71788 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####