Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | b3a3f977e810fc2043ea057a8d94a7d8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-05-28 11:31:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24257 boxname=wulflinc29 idbench=331 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b3a3f977e810fc2043ea057a8d94a7d8 /oldhome/oroussel/tmp/wulflinc29/normalized-frb45-21-3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-frb45-21-3.opb IDLAUNCH: 24257 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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 : 3 cpu MHz : 451.020 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: 630620 kB Buffers: 36828 kB Cached: 340688 kB SwapCached: 632 kB Active: 45060 kB Inactive: 334524 kB HighTotal: 131008 kB HighFree: 45640 kB LowTotal: 903652 kB LowFree: 584980 kB SwapTotal: 2097892 kB SwapFree: 2096372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 18948 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:51:29 (client local time) WITH STATUS 0 IN 1202.24 SECONDS stats: 24257 7 1202.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 138046/448889 Time: 48.3806/86400 Decision: 140408/448889 Time: 169.208/86400 Decision: 141449/448889 Time: 228.225/86400 Decision: 141449/448889 Time: 280.839/86400 Decision: 141449/448889 Time: 341.451/86400 Decision: 149907/448889 Time: 444.954/86400 Decision: 149907/448889 Time: 499.299/86400 Decision: 149907/448889 Time: 556.311/86400 Decision: 149907/448889 Time: 609.733/86400 Decision: 149907/448889 Time: 671.364/86400 Decision: 149907/448889 Time: 729.93/86400 Decision: 149907/448889 Time: 793.763/86400 Decision: 149907/448889 Time: 855.98/86400 Decision: 149907/448889 Time: 922.672/86400 Decision: 149907/448889 Time: 987.177/86400 Decision: 149960/448889 Time: 1087.45/86400 Decision: 149960/448889 Time: 1144.87/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.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (runsolver) R 27148 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864457385 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 29493 0 0 0 933 65 0 0 25 0 1 0 864457385 89026560 18586 4294967295 134512640 135726644 3221224592 3221041048 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21735 18587 300 300 0 21435 0 vsize: 86940 [startup+20.0007 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 58363 0 0 0 1875 124 0 0 25 0 1 0 864457385 175288320 36495 4294967295 134512640 135726644 3221224592 3221142944 134554711 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42795 36495 300 300 0 42495 0 vsize: 171180 [startup+30.0009 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 64589 0 0 0 2860 139 0 0 25 0 1 0 864457385 190689280 41599 4294967295 134512640 135726644 3221224592 3221222912 134728878 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46555 41599 300 300 0 46255 0 vsize: 186220 [startup+40.0007 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 66465 0 0 0 3856 142 0 0 25 0 1 0 864457385 198152192 42914 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48377 42914 300 300 0 48077 0 vsize: 193508 [startup+50.0012 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 68838 0 0 0 4852 147 0 0 25 0 1 0 864457385 205717504 44171 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50224 44171 300 300 0 49924 0 vsize: 200896 [startup+60.0013 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 69737 0 0 0 5850 149 0 0 25 0 1 0 864457385 208363520 44612 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50870 44612 300 300 0 50570 0 vsize: 203480 [startup+70.0023 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 71423 0 0 0 6847 152 0 0 25 0 1 0 864457385 214335488 45873 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52328 45873 300 300 0 52028 0 vsize: 209312 [startup+80.0026 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72859 0 0 0 7843 156 0 0 25 0 1 0 864457385 215130112 45660 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52522 45660 300 300 0 52222 0 vsize: 210088 [startup+90.0026 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72860 0 0 0 8842 157 0 0 25 0 1 0 864457385 215277568 45661 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52558 45661 300 300 0 52258 0 vsize: 210232 [startup+100.004 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 72889 0 0 0 9841 159 0 0 25 0 1 0 864457385 215433216 45690 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52596 45690 300 300 0 52296 0 vsize: 210384 [startup+110.004 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 74385 0 0 0 10838 162 0 0 25 0 1 0 864457385 220483584 46589 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53829 46589 300 300 0 53529 0 vsize: 215316 [startup+120.005 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 77030 0 0 0 11833 167 0 0 25 0 1 0 864457385 229994496 48107 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 56151 48107 300 300 0 55851 0 vsize: 224604 [startup+130.005 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 78834 0 0 0 12830 171 0 0 25 0 1 0 864457385 236466176 49119 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57731 49119 300 300 0 57431 0 vsize: 230924 [startup+140.004 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 80499 0 0 0 13826 174 0 0 25 0 1 0 864457385 242724864 50227 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59259 50227 300 300 0 58959 0 vsize: 237036 [startup+150.005 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81052 0 0 0 14825 176 0 0 25 0 1 0 864457385 244310016 50552 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59646 50552 300 300 0 59346 0 vsize: 238584 [startup+160.005 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81221 0 0 0 15825 176 0 0 25 0 1 0 864457385 244838400 50656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59775 50656 300 300 0 59475 0 vsize: 239100 [startup+170.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81245 0 0 0 16825 176 0 0 25 0 1 0 864457385 244838400 50680 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59775 50680 300 300 0 59475 0 vsize: 239100 [startup+180.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81256 0 0 0 17825 176 0 0 25 0 1 0 864457385 244838400 50691 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59775 50691 300 300 0 59475 0 vsize: 239100 [startup+190.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 81266 0 0 0 18825 176 0 0 25 0 1 0 864457385 244838400 50701 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 59775 50701 300 300 0 59475 0 vsize: 239100 [startup+200.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 83635 0 0 0 19820 181 0 0 25 0 1 0 864457385 250200064 51571 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 61084 51571 300 300 0 60784 0 vsize: 244336 [startup+210.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84683 0 0 0 20818 184 0 0 25 0 1 0 864457385 253448192 52241 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 61877 52241 300 300 0 61577 0 vsize: 247508 [startup+220.007 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84787 0 0 0 21817 184 0 0 25 0 1 0 864457385 253976576 52345 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62006 52345 300 300 0 61706 0 vsize: 248024 [startup+230.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84812 0 0 0 22818 184 0 0 25 0 1 0 864457385 253976576 52370 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62006 52370 300 300 0 61706 0 vsize: 248024 [startup+240.006 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84821 0 0 0 23818 184 0 0 25 0 1 0 864457385 253976576 52379 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62006 52379 300 300 0 61706 0 vsize: 248024 [startup+250.008 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 84828 0 0 0 24818 185 0 0 25 0 1 0 864457385 253976576 52386 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62006 52386 300 300 0 61706 0 vsize: 248024 [startup+260.008 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85803 0 0 0 25815 187 0 0 25 0 1 0 864457385 254242816 52451 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62071 52451 300 300 0 61771 0 vsize: 248284 [startup+270.009 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85819 0 0 0 26814 187 0 0 25 0 1 0 864457385 254242816 52467 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62071 52467 300 300 0 61771 0 vsize: 248284 [startup+280.01 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85829 0 0 0 27813 187 0 0 25 0 1 0 864457385 254242816 52477 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62071 52477 300 300 0 61771 0 vsize: 248284 [startup+290.009 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85840 0 0 0 28814 188 0 0 25 0 1 0 864457385 254242816 52488 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62071 52488 300 300 0 61771 0 vsize: 248284 [startup+300.009 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 85851 0 0 0 29814 188 0 0 25 0 1 0 864457385 254242816 52499 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62071 52499 300 300 0 61771 0 vsize: 248284 [startup+310.009 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88092 0 0 0 30810 191 0 0 25 0 1 0 864457385 258678784 53175 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63154 53175 300 300 0 62854 0 vsize: 252616 [startup+320.01 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88144 0 0 0 31810 191 0 0 25 0 1 0 864457385 259010560 53227 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63235 53227 300 300 0 62935 0 vsize: 252940 [startup+330.011 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88158 0 0 0 32810 191 0 0 25 0 1 0 864457385 259010560 53241 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63235 53241 300 300 0 62935 0 vsize: 252940 [startup+340.01 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88168 0 0 0 33811 191 0 0 25 0 1 0 864457385 259010560 53251 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63235 53251 300 300 0 62935 0 vsize: 252940 [startup+350.011 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88175 0 0 0 34811 192 0 0 25 0 1 0 864457385 259010560 53258 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63235 53259 300 300 0 62935 0 vsize: 252940 [startup+360.011 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 88202 0 0 0 35811 192 0 0 25 0 1 0 864457385 259010560 53285 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63235 53285 300 300 0 62935 0 vsize: 252940 [startup+370.012 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 89539 0 0 0 36808 195 0 0 25 0 1 0 864457385 260665344 53582 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 63639 53582 300 300 0 63339 0 vsize: 254556 [startup+380.011 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 90548 0 0 0 37806 196 0 0 25 0 1 0 864457385 264052736 54206 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 64466 54206 300 300 0 64166 0 vsize: 257864 [startup+390.011 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91141 0 0 0 38805 198 0 0 25 0 1 0 864457385 266317824 54667 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65019 54667 300 300 0 64719 0 vsize: 260076 [startup+400.012 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91436 0 0 0 39805 198 0 0 25 0 1 0 864457385 267374592 54833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65277 54833 300 300 0 64977 0 vsize: 261108 [startup+410.012 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91451 0 0 0 40805 198 0 0 25 0 1 0 864457385 267374592 54848 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65277 54848 300 300 0 64977 0 vsize: 261108 [startup+420.013 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91604 0 0 0 41805 198 0 0 25 0 1 0 864457385 267898880 54872 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54872 300 300 0 65105 0 vsize: 261620 [startup+430.016 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91614 0 0 0 42806 198 0 0 25 0 1 0 864457385 267898880 54882 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54882 300 300 0 65105 0 vsize: 261620 [startup+440.015 s] Raw data (loadavg): 0.99 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91626 0 0 0 43806 198 0 0 25 0 1 0 864457385 267898880 54894 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54894 300 300 0 65105 0 vsize: 261620 [startup+450.015 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91639 0 0 0 44806 198 0 0 25 0 1 0 864457385 267898880 54907 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54907 300 300 0 65105 0 vsize: 261620 [startup+460.016 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 91648 0 0 0 45806 199 0 0 25 0 1 0 864457385 267898880 54916 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54916 300 300 0 65105 0 vsize: 261620 [startup+470.016 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92532 0 0 0 46805 200 0 0 25 0 1 0 864457385 267898880 54923 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54923 300 300 0 65105 0 vsize: 261620 [startup+480.016 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92532 0 0 0 47805 200 0 0 25 0 1 0 864457385 267898880 54923 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54923 300 300 0 65105 0 vsize: 261620 [startup+490.016 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92533 0 0 0 48805 200 0 0 25 0 1 0 864457385 267898880 54924 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54924 300 300 0 65105 0 vsize: 261620 [startup+500.017 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92534 0 0 0 49805 200 0 0 25 0 1 0 864457385 267898880 54925 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54925 300 300 0 65105 0 vsize: 261620 [startup+510.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92535 0 0 0 50805 200 0 0 25 0 1 0 864457385 267898880 54926 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54926 300 300 0 65105 0 vsize: 261620 [startup+520.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 92536 0 0 0 51805 200 0 0 25 0 1 0 864457385 267898880 54927 4294967295 134512640 135726644 3221224592 3221223184 134760188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54927 300 300 0 65105 0 vsize: 261620 [startup+530.018 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93413 0 0 0 52803 203 0 0 25 0 1 0 864457385 267898880 54927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54927 300 300 0 65105 0 vsize: 261620 [startup+540.018 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93416 0 0 0 53803 203 0 0 25 0 1 0 864457385 267898880 54930 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54930 300 300 0 65105 0 vsize: 261620 [startup+550.019 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93417 0 0 0 54803 203 0 0 25 0 1 0 864457385 267898880 54931 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65405 54931 300 300 0 65105 0 vsize: 261620 [startup+560.019 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93495 0 0 0 55803 203 0 0 25 0 1 0 864457385 268161024 54944 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65469 54944 300 300 0 65169 0 vsize: 261876 [startup+570.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 93649 0 0 0 56803 203 0 0 25 0 1 0 864457385 268554240 55000 4294967295 134512640 135726644 3221224592 3221223212 134727347 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55000 300 300 0 65265 0 vsize: 262260 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94530 0 0 0 57802 205 0 0 25 0 1 0 864457385 268554240 55004 4294967295 134512640 135726644 3221224592 3221223008 134738149 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55004 300 300 0 65265 0 vsize: 262260 [startup+590.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94531 0 0 0 58802 205 0 0 25 0 1 0 864457385 268554240 55005 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55005 300 300 0 65265 0 vsize: 262260 [startup+600.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94531 0 0 0 59802 206 0 0 25 0 1 0 864457385 268554240 55005 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55005 300 300 0 65265 0 vsize: 262260 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94532 0 0 0 60802 206 0 0 25 0 1 0 864457385 268554240 55006 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55006 300 300 0 65265 0 vsize: 262260 [startup+620.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94533 0 0 0 61802 206 0 0 25 0 1 0 864457385 268554240 55007 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55007 300 300 0 65265 0 vsize: 262260 [startup+630.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 94534 0 0 0 62802 206 0 0 25 0 1 0 864457385 268554240 55008 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55008 300 300 0 65265 0 vsize: 262260 [startup+640.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95411 0 0 0 63800 208 0 0 25 0 1 0 864457385 268554240 55008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55008 300 300 0 65265 0 vsize: 262260 [startup+650.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95412 0 0 0 64800 208 0 0 25 0 1 0 864457385 268554240 55009 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55009 300 300 0 65265 0 vsize: 262260 [startup+660.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95418 0 0 0 65800 208 0 0 25 0 1 0 864457385 268554240 55015 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55015 300 300 0 65265 0 vsize: 262260 [startup+670.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95422 0 0 0 66801 208 0 0 25 0 1 0 864457385 268554240 55019 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55019 300 300 0 65265 0 vsize: 262260 [startup+680.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95426 0 0 0 67801 208 0 0 25 0 1 0 864457385 268554240 55023 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65565 55023 300 300 0 65265 0 vsize: 262260 [startup+690.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 95573 0 0 0 68801 208 0 0 25 0 1 0 864457385 269078528 55041 4294967295 134512640 135726644 3221224592 3221223280 134744898 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65693 55041 300 300 0 65393 0 vsize: 262772 [startup+700.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96607 0 0 0 69798 211 0 0 25 0 1 0 864457385 269611008 55165 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55165 300 300 0 65523 0 vsize: 263292 [startup+710.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96619 0 0 0 70798 211 0 0 25 0 1 0 864457385 269611008 55177 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55177 300 300 0 65523 0 vsize: 263292 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96635 0 0 0 71798 211 0 0 25 0 1 0 864457385 269611008 55193 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 65823 55193 300 300 0 65523 0 vsize: 263292 [startup+730.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96646 0 0 0 72797 212 0 0 25 0 1 0 864457385 269611008 55204 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 65823 55204 300 300 0 65523 0 vsize: 263292 [startup+740.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96659 0 0 0 73796 212 0 0 25 0 1 0 864457385 269611008 55217 4294967295 134512640 135726644 3221224592 3221223280 134744892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55217 300 300 0 65523 0 vsize: 263292 [startup+750.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 96674 0 0 0 74796 212 0 0 25 0 1 0 864457385 269611008 55232 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55232 300 300 0 65523 0 vsize: 263292 [startup+760.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97552 0 0 0 75795 214 0 0 25 0 1 0 864457385 269611008 55233 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55233 300 300 0 65523 0 vsize: 263292 [startup+770.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97552 0 0 0 76795 214 0 0 25 0 1 0 864457385 269611008 55233 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55233 300 300 0 65523 0 vsize: 263292 [startup+780.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97553 0 0 0 77795 214 0 0 25 0 1 0 864457385 269611008 55234 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55234 300 300 0 65523 0 vsize: 263292 [startup+790.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97554 0 0 0 78795 214 0 0 25 0 1 0 864457385 269611008 55235 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55235 300 300 0 65523 0 vsize: 263292 [startup+800.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97555 0 0 0 79795 214 0 0 25 0 1 0 864457385 269611008 55236 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55236 300 300 0 65523 0 vsize: 263292 [startup+810.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 97555 0 0 0 80796 214 0 0 25 0 1 0 864457385 269611008 55236 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55236 300 300 0 65523 0 vsize: 263292 [startup+820.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98433 0 0 0 81794 216 0 0 25 0 1 0 864457385 269611008 55237 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55237 300 300 0 65523 0 vsize: 263292 [startup+830.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98433 0 0 0 82794 216 0 0 25 0 1 0 864457385 269611008 55237 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55237 300 300 0 65523 0 vsize: 263292 [startup+840.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98434 0 0 0 83794 216 0 0 25 0 1 0 864457385 269611008 55238 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55238 300 300 0 65523 0 vsize: 263292 [startup+850.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98434 0 0 0 84794 216 0 0 25 0 1 0 864457385 269611008 55238 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55238 300 300 0 65523 0 vsize: 263292 [startup+860.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98435 0 0 0 85795 216 0 0 25 0 1 0 864457385 269611008 55239 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55239 300 300 0 65523 0 vsize: 263292 [startup+870.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 98436 0 0 0 86795 216 0 0 25 0 1 0 864457385 269611008 55240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55240 300 300 0 65523 0 vsize: 263292 [startup+880.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99313 0 0 0 87793 219 0 0 25 0 1 0 864457385 269611008 55240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55240 300 300 0 65523 0 vsize: 263292 [startup+890.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99314 0 0 0 88793 219 0 0 25 0 1 0 864457385 269611008 55241 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55241 300 300 0 65523 0 vsize: 263292 [startup+900.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99315 0 0 0 89793 219 0 0 25 0 1 0 864457385 269611008 55242 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55242 300 300 0 65523 0 vsize: 263292 [startup+910.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99315 0 0 0 90793 219 0 0 25 0 1 0 864457385 269611008 55242 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55242 300 300 0 65523 0 vsize: 263292 [startup+920.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99316 0 0 0 91793 219 0 0 25 0 1 0 864457385 269611008 55243 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55243 300 300 0 65523 0 vsize: 263292 [startup+930.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99317 0 0 0 92793 219 0 0 25 0 1 0 864457385 269611008 55244 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55244 300 300 0 65523 0 vsize: 263292 [startup+940.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 99317 0 0 0 93793 219 0 0 25 0 1 0 864457385 269611008 55244 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55244 300 300 0 65523 0 vsize: 263292 [startup+950.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100198 0 0 0 94792 221 0 0 25 0 1 0 864457385 269611008 55248 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55248 300 300 0 65523 0 vsize: 263292 [startup+960.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100208 0 0 0 95792 221 0 0 25 0 1 0 864457385 269611008 55258 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55258 300 300 0 65523 0 vsize: 263292 [startup+970.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100220 0 0 0 96792 221 0 0 25 0 1 0 864457385 269611008 55270 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55270 300 300 0 65523 0 vsize: 263292 [startup+980.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100231 0 0 0 97792 221 0 0 25 0 1 0 864457385 269611008 55281 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55281 300 300 0 65523 0 vsize: 263292 [startup+990.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100242 0 0 0 98792 221 0 0 25 0 1 0 864457385 269611008 55292 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55292 300 300 0 65523 0 vsize: 263292 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 100254 0 0 0 99792 221 0 0 25 0 1 0 864457385 269611008 55304 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55304 300 300 0 65523 0 vsize: 263292 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101142 0 0 0 100790 223 0 0 25 0 1 0 864457385 273203200 56192 4294967295 134512640 135726644 3221224592 3221222776 134769070 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 66700 56192 300 300 0 66400 0 vsize: 266800 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101161 0 0 0 101791 223 0 0 25 0 1 0 864457385 269611008 55334 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65823 55334 300 300 0 65523 0 vsize: 263292 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 101626 0 0 0 102790 225 0 0 25 0 1 0 864457385 271200256 55603 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 66211 55603 300 300 0 65911 0 vsize: 264844 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102230 0 0 0 103789 226 0 0 25 0 1 0 864457385 273457152 56011 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 66762 56011 300 300 0 66462 0 vsize: 267048 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102982 0 0 0 104787 228 0 0 25 0 1 0 864457385 275963904 56371 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56371 300 300 0 67074 0 vsize: 269496 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102990 0 0 0 105787 228 0 0 25 0 1 0 864457385 275963904 56379 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56379 300 300 0 67074 0 vsize: 269496 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 102998 0 0 0 106787 228 0 0 25 0 1 0 864457385 275963904 56387 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56387 300 300 0 67074 0 vsize: 269496 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103009 0 0 0 107788 228 0 0 25 0 1 0 864457385 275963904 56398 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56398 300 300 0 67074 0 vsize: 269496 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103017 0 0 0 108788 228 0 0 25 0 1 0 864457385 275963904 56406 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56406 300 300 0 67074 0 vsize: 269496 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103027 0 0 0 109788 228 0 0 25 0 1 0 864457385 275963904 56416 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56416 300 300 0 67074 0 vsize: 269496 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 103912 0 0 0 110786 230 0 0 25 0 1 0 864457385 275963904 56424 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67374 56424 300 300 0 67074 0 vsize: 269496 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104161 0 0 0 111786 231 0 0 25 0 1 0 864457385 276623360 56575 4294967295 134512640 135726644 3221224592 3221222772 135277538 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67535 56575 300 300 0 67235 0 vsize: 270140 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104339 0 0 0 112785 231 0 0 25 0 1 0 864457385 277417984 56688 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56688 300 300 0 67429 0 vsize: 270916 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104340 0 0 0 113785 231 0 0 25 0 1 0 864457385 277417984 56689 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56689 300 300 0 67429 0 vsize: 270916 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104341 0 0 0 114786 231 0 0 25 0 1 0 864457385 277417984 56690 4294967295 134512640 135726644 3221224592 3221223136 134736650 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56690 300 300 0 67429 0 vsize: 270916 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 104341 0 0 0 115786 231 0 0 25 0 1 0 864457385 277417984 56690 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56690 300 300 0 67429 0 vsize: 270916 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105235 0 0 0 116784 233 0 0 25 0 1 0 864457385 277417984 56707 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56707 300 300 0 67429 0 vsize: 270916 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105236 0 0 0 117784 233 0 0 25 0 1 0 864457385 277417984 56708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56708 300 300 0 67429 0 vsize: 270916 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105236 0 0 0 118784 233 0 0 25 0 1 0 864457385 277417984 56708 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56708 300 300 0 67429 0 vsize: 270916 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105237 0 0 0 119784 234 0 0 25 0 1 0 864457385 277417984 56709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56709 300 300 0 67429 0 vsize: 270916 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.09 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 27149 Raw data (stat): 27149 (pb2sat) R 27148 20001 20000 0 -1 0 105237 0 0 0 119784 234 0 0 25 0 1 0 864457385 277417984 56709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67729 56709 300 300 0 67429 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.09 CPU time (s): 1202.24 CPU user time (s): 1199.79 CPU system time (s): 2.45263 CPU usage (%): 100.012 Max. virtual memory (Kb): 270916 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####