Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb |
MD5SUM | 3c9e81ddaaf37dd621fe2bc839a3f27f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.098984 |
Number of variables | 3280 |
Total number of constraints | 162 |
Number of constraints which are clauses | 82 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-02 05:17:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26287 boxname=wulflinc3 idbench=17 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 3c9e81ddaaf37dd621fe2bc839a3f27f /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb IDLAUNCH: 26287 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 736724 kB Buffers: 33192 kB Cached: 243000 kB SwapCached: 228 kB Active: 60172 kB Inactive: 218508 kB HighTotal: 131008 kB HighFree: 1904 kB LowTotal: 903652 kB LowFree: 734820 kB SwapTotal: 2097136 kB SwapFree: 2096480 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6328 kB Slab: 13644 kB Committed_AS: 71780 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 05:37:18 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 26287 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.85 0.97 0.88 2/54 699 Raw data (stat): 699 (runsolver) R 698 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847193036 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.0016 s] Raw data (loadavg): 0.87 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 637 0 0 0 997 1 0 0 25 0 1 0 847193036 8323072 611 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2032 611 566 18 0 2014 0 vsize: 8128 [startup+20.0018 s] Raw data (loadavg): 0.89 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 870 0 0 0 1996 1 0 0 25 0 1 0 847193036 9191424 844 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2244 844 566 18 0 2226 0 vsize: 8976 [startup+30.0076 s] Raw data (loadavg): 0.91 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 881 0 0 0 2997 1 0 0 25 0 1 0 847193036 9318400 855 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2275 855 566 18 0 2257 0 vsize: 9100 [startup+40.0079 s] Raw data (loadavg): 0.92 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 881 0 0 0 3997 1 0 0 25 0 1 0 847193036 9211904 853 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2249 853 566 18 0 2231 0 vsize: 8996 [startup+50.0082 s] Raw data (loadavg): 0.93 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 887 0 0 0 4998 1 0 0 25 0 1 0 847193036 9342976 859 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2281 859 566 18 0 2263 0 vsize: 9124 [startup+60.0081 s] Raw data (loadavg): 0.94 0.97 0.88 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 956 0 0 0 5998 1 0 0 25 0 1 0 847193036 9592832 928 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 928 566 18 0 2324 0 vsize: 9368 [startup+70.0082 s] Raw data (loadavg): 0.95 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1195 0 0 0 6997 2 0 0 25 0 1 0 847193036 10563584 1167 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1167 566 18 0 2561 0 vsize: 10316 [startup+80.0088 s] Raw data (loadavg): 0.96 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1195 0 0 0 7997 2 0 0 25 0 1 0 847193036 10563584 1167 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1167 566 18 0 2561 0 vsize: 10316 [startup+90.0086 s] Raw data (loadavg): 0.96 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 8997 3 0 0 25 0 1 0 847193036 11452416 1371 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2796 1371 566 18 0 2778 0 vsize: 11184 [startup+100.009 s] Raw data (loadavg): 0.97 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 9997 3 0 0 25 0 1 0 847193036 11436032 1371 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2792 1371 566 18 0 2774 0 vsize: 11168 [startup+110.009 s] Raw data (loadavg): 0.97 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 10997 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+120.01 s] Raw data (loadavg): 0.98 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 11997 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+130.011 s] Raw data (loadavg): 0.98 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 12998 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+140.011 s] Raw data (loadavg): 0.98 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 13998 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+150.011 s] Raw data (loadavg): 0.98 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 14998 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1399 0 0 0 15998 3 0 0 25 0 1 0 847193036 11431936 1371 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1371 566 18 0 2773 0 vsize: 11164 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 1660 0 0 0 16998 3 0 0 25 0 1 0 847193036 12431360 1632 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 1632 566 18 0 3017 0 vsize: 12140 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2059 0 0 0 17997 5 0 0 25 0 1 0 847193036 14061568 2031 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3433 2031 566 18 0 3415 0 vsize: 13732 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2059 0 0 0 18997 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2059 0 0 0 19997 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223616 134565021 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2059 0 0 0 20997 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2059 0 0 0 21997 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 22998 5 0 0 25 0 1 0 847193036 13668352 1923 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3337 1923 566 18 0 3319 0 vsize: 13348 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 23998 5 0 0 25 0 1 0 847193036 13651968 1923 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3333 1923 566 18 0 3315 0 vsize: 13332 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 24998 5 0 0 25 0 1 0 847193036 13619200 1923 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3325 1923 566 18 0 3307 0 vsize: 13300 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 25998 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 26998 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 27998 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 28998 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 29998 5 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 30998 6 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2095 0 0 0 31998 6 0 0 25 0 1 0 847193036 13447168 1887 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3283 1887 566 18 0 3265 0 vsize: 13132 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 32998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 33998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 34998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 35998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223520 134558872 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 36998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 37998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 38998 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 39999 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 40999 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 41999 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 2570 0 0 0 42999 7 0 0 25 0 1 0 847193036 15429632 2362 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3767 2362 566 18 0 3749 0 vsize: 15068 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3036 0 0 0 43998 8 0 0 25 0 1 0 847193036 17305600 2828 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 2828 566 18 0 4207 0 vsize: 16900 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3091 0 0 0 44998 8 0 0 25 0 1 0 847193036 17555456 2883 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4286 2883 566 18 0 4268 0 vsize: 17144 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 45998 9 0 0 25 0 1 0 847193036 17678336 2914 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4316 2914 566 18 0 4298 0 vsize: 17264 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 46998 9 0 0 25 0 1 0 847193036 17625088 2907 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4303 2907 566 18 0 4285 0 vsize: 17212 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 47999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 48999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 49999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 50999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 51999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 52999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 53999 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 55000 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+560.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 56000 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 57000 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+580.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3122 0 0 0 58000 9 0 0 25 0 1 0 847193036 15482880 2384 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 2384 566 18 0 3762 0 vsize: 15120 [startup+590.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3594 0 0 0 58999 10 0 0 25 0 1 0 847193036 17477632 2856 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4267 2856 566 18 0 4249 0 vsize: 17068 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3684 0 0 0 59999 10 0 0 25 0 1 0 847193036 17858560 2946 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4360 2946 566 18 0 4342 0 vsize: 17440 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3719 0 0 0 60999 10 0 0 25 0 1 0 847193036 17981440 2981 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4390 2981 566 18 0 4372 0 vsize: 17560 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3742 0 0 0 61999 10 0 0 25 0 1 0 847193036 18108416 3004 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4421 3004 566 18 0 4403 0 vsize: 17684 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3742 0 0 0 63000 10 0 0 25 0 1 0 847193036 18108416 3004 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4421 3004 566 18 0 4403 0 vsize: 17684 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3787 0 0 0 63999 11 0 0 25 0 1 0 847193036 18235392 3049 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4452 3049 566 18 0 4434 0 vsize: 17808 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 65000 11 0 0 25 0 1 0 847193036 18362368 3057 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4483 3057 566 18 0 4465 0 vsize: 17932 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 66000 11 0 0 25 0 1 0 847193036 18337792 3057 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4477 3057 566 18 0 4459 0 vsize: 17908 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 67000 11 0 0 25 0 1 0 847193036 18255872 3057 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4457 3057 566 18 0 4439 0 vsize: 17828 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 68000 11 0 0 25 0 1 0 847193036 18255872 3057 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4457 3057 566 18 0 4439 0 vsize: 17828 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 69000 11 0 0 25 0 1 0 847193036 18210816 3050 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4446 3050 566 18 0 4428 0 vsize: 17784 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 70000 11 0 0 25 0 1 0 847193036 18210816 3050 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4446 3050 566 18 0 4428 0 vsize: 17784 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 71001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 72001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 73001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 74001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 75001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 76001 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 77002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 78002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 79002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 80002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 81002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+820.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 82002 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 83003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 84003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+850.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 85003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+860.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 86003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+870.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 87003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+880.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 88003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+890.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 89003 11 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 90003 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+910.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 91003 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+920.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 92003 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223560 134561158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+930.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 93003 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+940.028 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 94004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+950.028 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 95004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+960.028 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 96004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+970.028 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 97004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+980.028 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 98004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+990.028 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 99004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1000.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 100004 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1010.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 101005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1020.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 102005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1030.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 103005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1040.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 104005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1050.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 105005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1060.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3795 0 0 0 106005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 107005 12 0 0 25 0 1 0 847193036 17707008 2899 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4323 2899 566 18 0 4305 0 vsize: 17292 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 108005 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223568 134560599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 109006 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 110006 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 111006 12 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 112006 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 113006 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 114006 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 115006 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 116007 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 117007 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 118007 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 119007 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 699 Raw data (stat): 699 (Pueblo-v2) R 698 20224 20223 0 -1 0 3798 0 0 0 120007 13 0 0 25 0 1 0 847193036 17580032 2896 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4292 2896 566 18 0 4274 0 vsize: 17168 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 699 Raw data (stat): 699 (Pueblo-v2) Z 698 20224 20223 0 -1 1036 3798 0 0 0 120007 13 0 0 25 0 1 0 847193036 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.04 CPU time (s): 1200.22 CPU user time (s): 1200.08 CPU system time (s): 0.138978 CPU usage (%): 100.015 Max. virtual memory (Kb): 17932 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####