Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb |
MD5SUM | e8f0ca38acbe8c57203147fb9147be3a |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 487.167 |
Number of variables | 84836 |
Total number of constraints | 245062 |
Number of constraints which are clauses | 233598 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11464 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-11 16:34:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2734 boxname=wulflinc31 idbench=304 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: e8f0ca38acbe8c57203147fb9147be3a /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.unbounded.all.ucl.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.unbounded.all.ucl.opb IDLAUNCH: 2734 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 919852 kB Buffers: 2832 kB Cached: 90368 kB SwapCached: 1524 kB Active: 67932 kB Inactive: 28096 kB HighTotal: 131008 kB HighFree: 39788 kB LowTotal: 903652 kB LowFree: 880064 kB SwapTotal: 2097892 kB SwapFree: 2095544 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12832 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-11 16:54:18 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 2734 7 1200.25 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 Raw data (loadavg): 0.91 0.95 0.98 2/55 31832 Raw data (stat): 31832 (runsolver) R 31831 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 719362043 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.93 0.95 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 8603 0 0 0 968 28 0 0 25 0 1 0 719362043 40943616 8581 4294967295 134512640 134581331 3221221792 3217026028 1075310602 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9996 8581 566 18 0 9978 0 vsize: 39984 [startup+20.0023 s] Raw data (loadavg): 0.94 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 11242 0 0 0 1960 36 0 0 25 0 1 0 719362043 55361536 11094 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13516 11094 566 18 0 13498 0 vsize: 54064 [startup+30.0032 s] Raw data (loadavg): 0.95 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 11242 0 0 0 2960 37 0 0 25 0 1 0 719362043 55361536 11094 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13516 11094 566 18 0 13498 0 vsize: 54064 [startup+40.0043 s] Raw data (loadavg): 0.95 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 262309 0 0 0 3538 459 0 0 25 0 1 0 719362043 55701504 11169 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11177 566 18 0 13581 0 vsize: 54396 [startup+50.0051 s] Raw data (loadavg): 0.96 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 583891 0 0 0 3996 1001 0 0 25 0 1 0 719362043 55701504 11126 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11135 566 18 0 13581 0 vsize: 54396 [startup+60.006 s] Raw data (loadavg): 0.97 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 905514 0 0 0 4462 1535 0 0 25 0 1 0 719362043 55701504 11124 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11132 566 18 0 13581 0 vsize: 54396 [startup+70.0059 s] Raw data (loadavg): 0.97 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 1226974 0 0 0 4915 2082 0 0 25 0 1 0 719362043 55701504 11125 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11134 566 18 0 13581 0 vsize: 54396 [startup+80.0069 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 1548514 0 0 0 5385 2613 0 0 25 0 1 0 719362043 55701504 11123 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11131 566 18 0 13581 0 vsize: 54396 [startup+90.0075 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 1871284 0 0 0 5849 3149 0 0 25 0 1 0 719362043 55701504 11106 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11115 566 18 0 13581 0 vsize: 54396 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 2194446 0 0 0 6309 3689 0 0 25 0 1 0 719362043 55701504 11149 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11158 566 18 0 13581 0 vsize: 54396 [startup+110.009 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 2517593 0 0 0 6775 4223 0 0 25 0 1 0 719362043 55701504 11177 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11094 566 18 0 13581 0 vsize: 54396 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 2840951 0 0 0 7236 4763 0 0 25 0 1 0 719362043 55701504 11167 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11176 566 18 0 13581 0 vsize: 54396 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 3164346 0 0 0 7705 5294 0 0 25 0 1 0 719362043 55701504 11111 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11119 566 18 0 13581 0 vsize: 54396 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 3487678 0 0 0 8175 5824 0 0 25 0 1 0 719362043 55701504 11158 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11167 566 18 0 13581 0 vsize: 54396 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 3811029 0 0 0 8638 6361 0 0 25 0 1 0 719362043 55701504 11142 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13599 11151 566 18 0 13581 0 vsize: 54396 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090924 0 0 0 9176 6824 0 0 25 0 1 0 719362043 55885824 11160 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11160 566 18 0 13626 0 vsize: 54576 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090931 0 0 0 10176 6824 0 0 25 0 1 0 719362043 55885824 11167 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11167 566 18 0 13626 0 vsize: 54576 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090939 0 0 0 11176 6824 0 0 25 0 1 0 719362043 55885824 11175 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11175 566 18 0 13626 0 vsize: 54576 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090946 0 0 0 12176 6824 0 0 25 0 1 0 719362043 55885824 11182 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11182 566 18 0 13626 0 vsize: 54576 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090954 0 0 0 13175 6825 0 0 25 0 1 0 719362043 55885824 11190 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11190 566 18 0 13626 0 vsize: 54576 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4090961 0 0 0 14175 6826 0 0 25 0 1 0 719362043 55885824 11197 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13644 11197 566 18 0 13626 0 vsize: 54576 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091114 0 0 0 15174 6826 0 0 25 0 1 0 719362043 56561664 11350 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13809 11350 566 18 0 13791 0 vsize: 55236 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091289 0 0 0 16174 6827 0 0 25 0 1 0 719362043 57237504 11525 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13974 11525 566 18 0 13956 0 vsize: 55896 [startup+240.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091463 0 0 0 17173 6828 0 0 25 0 1 0 719362043 57913344 11699 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14139 11699 566 18 0 14121 0 vsize: 56556 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091635 0 0 0 18172 6829 0 0 25 0 1 0 719362043 59113472 11871 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14432 11871 566 18 0 14414 0 vsize: 57728 [startup+260.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091809 0 0 0 19171 6831 0 0 25 0 1 0 719362043 59789312 12045 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14597 12045 566 18 0 14579 0 vsize: 58388 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4091985 0 0 0 20171 6831 0 0 25 0 1 0 719362043 60465152 12221 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14762 12221 566 18 0 14744 0 vsize: 59048 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4092154 0 0 0 21170 6832 0 0 25 0 1 0 719362043 61140992 12390 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14927 12390 566 18 0 14909 0 vsize: 59708 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4092333 0 0 0 22169 6833 0 0 25 0 1 0 719362043 61816832 12569 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15092 12569 566 18 0 15074 0 vsize: 60368 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4092511 0 0 0 23169 6834 0 0 25 0 1 0 719362043 62492672 12747 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15257 12747 566 18 0 15239 0 vsize: 61028 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4092684 0 0 0 24168 6834 0 0 25 0 1 0 719362043 63168512 12920 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15422 12920 566 18 0 15404 0 vsize: 61688 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4092860 0 0 0 25168 6835 0 0 25 0 1 0 719362043 63844352 13096 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15587 13096 566 18 0 15569 0 vsize: 62348 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4093035 0 0 0 26168 6835 0 0 25 0 1 0 719362043 64651264 13271 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15784 13271 566 18 0 15766 0 vsize: 63136 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4093206 0 0 0 27167 6836 0 0 25 0 1 0 719362043 65327104 13442 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15949 13442 566 18 0 15931 0 vsize: 63796 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4093380 0 0 0 28166 6837 0 0 25 0 1 0 719362043 66002944 13616 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16114 13616 566 18 0 16096 0 vsize: 64456 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4093549 0 0 0 29166 6837 0 0 25 0 1 0 719362043 66543616 13785 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16246 13785 566 18 0 16228 0 vsize: 64984 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4093716 0 0 0 30165 6839 0 0 25 0 1 0 719362043 67219456 13952 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16411 13952 566 18 0 16393 0 vsize: 65644 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4094200 0 0 0 31163 6840 0 0 25 0 1 0 719362043 69246976 14436 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16906 14436 566 18 0 16888 0 vsize: 67624 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095051 0 0 0 32161 6843 0 0 25 0 1 0 719362043 72626176 15287 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17731 15287 566 18 0 17713 0 vsize: 70924 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095387 0 0 0 33161 6843 0 0 25 0 1 0 719362043 74227712 15623 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18122 15623 566 18 0 18104 0 vsize: 72488 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095387 0 0 0 34160 6844 0 0 25 0 1 0 719362043 74227712 15623 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18122 15623 566 18 0 18104 0 vsize: 72488 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095387 0 0 0 35160 6845 0 0 25 0 1 0 719362043 74227712 15623 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18122 15623 566 18 0 18104 0 vsize: 72488 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095387 0 0 0 36160 6845 0 0 25 0 1 0 719362043 74227712 15623 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18122 15623 566 18 0 18104 0 vsize: 72488 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095387 0 0 0 37160 6845 0 0 25 0 1 0 719362043 74227712 15623 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18122 15623 566 18 0 18104 0 vsize: 72488 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095393 0 0 0 38159 6846 0 0 25 0 1 0 719362043 74489856 15629 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15629 566 18 0 18168 0 vsize: 72744 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095393 0 0 0 39159 6846 0 0 25 0 1 0 719362043 74489856 15629 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15629 566 18 0 18168 0 vsize: 72744 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095393 0 0 0 40159 6847 0 0 25 0 1 0 719362043 74489856 15629 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15629 566 18 0 18168 0 vsize: 72744 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 41159 6847 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 42159 6847 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220720 134519988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 43158 6848 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220720 134520006 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 44158 6848 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 45158 6849 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 46158 6849 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 47157 6849 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+550.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 48157 6850 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+560.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 49157 6850 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+570.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 50157 6851 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220672 134560338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 51157 6851 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 52156 6851 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220672 134560363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 53156 6852 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 54156 6852 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134559115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 55156 6853 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+630.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 56156 6853 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 57156 6853 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134560637 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 58155 6854 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+660.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 59155 6854 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220416 134556137 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 60155 6854 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220672 134560462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 61155 6855 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 62154 6856 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 63154 6856 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 64154 6856 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 65154 6856 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 66154 6857 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220676 134557855 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095398 0 0 0 67153 6858 0 0 25 0 1 0 719362043 74489856 15634 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18186 15634 566 18 0 18168 0 vsize: 72744 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095432 0 0 0 68153 6858 0 0 25 0 1 0 719362043 74752000 15668 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15668 566 18 0 18232 0 vsize: 73000 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095433 0 0 0 69153 6858 0 0 25 0 1 0 719362043 74752000 15669 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15669 566 18 0 18232 0 vsize: 73000 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095434 0 0 0 70152 6859 0 0 25 0 1 0 719362043 74752000 15670 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15670 566 18 0 18232 0 vsize: 73000 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095435 0 0 0 71152 6860 0 0 25 0 1 0 719362043 74752000 15671 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15671 566 18 0 18232 0 vsize: 73000 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095436 0 0 0 72152 6860 0 0 25 0 1 0 719362043 74752000 15672 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15672 566 18 0 18232 0 vsize: 73000 [startup+800.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095437 0 0 0 73151 6861 0 0 25 0 1 0 719362043 74752000 15673 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15673 566 18 0 18232 0 vsize: 73000 [startup+810.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095438 0 0 0 74151 6862 0 0 25 0 1 0 719362043 74752000 15674 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15674 566 18 0 18232 0 vsize: 73000 [startup+820.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095439 0 0 0 75150 6862 0 0 25 0 1 0 719362043 74752000 15675 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15675 566 18 0 18232 0 vsize: 73000 [startup+830.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095440 0 0 0 76150 6863 0 0 25 0 1 0 719362043 74752000 15676 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15676 566 18 0 18232 0 vsize: 73000 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095442 0 0 0 77149 6864 0 0 25 0 1 0 719362043 74752000 15678 4294967295 134512640 134581331 3221221792 3221220676 134557775 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15678 566 18 0 18232 0 vsize: 73000 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095442 0 0 0 78149 6864 0 0 25 0 1 0 719362043 74752000 15678 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15678 566 18 0 18232 0 vsize: 73000 [startup+860.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095443 0 0 0 79149 6865 0 0 25 0 1 0 719362043 74752000 15679 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15679 566 18 0 18232 0 vsize: 73000 [startup+870.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095443 0 0 0 80148 6865 0 0 25 0 1 0 719362043 74752000 15679 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15679 566 18 0 18232 0 vsize: 73000 [startup+880.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095444 0 0 0 81148 6866 0 0 25 0 1 0 719362043 74752000 15680 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15680 566 18 0 18232 0 vsize: 73000 [startup+890.044 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095444 0 0 0 82148 6867 0 0 25 0 1 0 719362043 74752000 15680 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15680 566 18 0 18232 0 vsize: 73000 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095445 0 0 0 83147 6867 0 0 25 0 1 0 719362043 74752000 15681 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15681 566 18 0 18232 0 vsize: 73000 [startup+910.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095445 0 0 0 84147 6868 0 0 25 0 1 0 719362043 74752000 15681 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15681 566 18 0 18232 0 vsize: 73000 [startup+920.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095446 0 0 0 85146 6868 0 0 25 0 1 0 719362043 74752000 15682 4294967295 134512640 134581331 3221221792 3221220784 134561068 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15682 566 18 0 18232 0 vsize: 73000 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095447 0 0 0 86146 6869 0 0 25 0 1 0 719362043 74752000 15683 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15683 566 18 0 18232 0 vsize: 73000 [startup+940.046 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095447 0 0 0 87145 6870 0 0 25 0 1 0 719362043 74752000 15683 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15683 566 18 0 18232 0 vsize: 73000 [startup+950.046 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095449 0 0 0 88145 6870 0 0 25 0 1 0 719362043 74752000 15685 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15685 566 18 0 18232 0 vsize: 73000 [startup+960.046 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095451 0 0 0 89145 6870 0 0 25 0 1 0 719362043 74752000 15687 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15687 566 18 0 18232 0 vsize: 73000 [startup+970.048 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095452 0 0 0 90145 6871 0 0 25 0 1 0 719362043 74752000 15688 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15688 566 18 0 18232 0 vsize: 73000 [startup+980.048 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095453 0 0 0 91145 6871 0 0 25 0 1 0 719362043 74752000 15689 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15689 566 18 0 18232 0 vsize: 73000 [startup+990.048 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095453 0 0 0 92144 6872 0 0 25 0 1 0 719362043 74752000 15689 4294967295 134512640 134581331 3221221792 3221220784 134561134 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15689 566 18 0 18232 0 vsize: 73000 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095455 0 0 0 93144 6872 0 0 25 0 1 0 719362043 74752000 15691 4294967295 134512640 134581331 3221221792 3221220692 134560196 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15691 566 18 0 18232 0 vsize: 73000 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095456 0 0 0 94144 6873 0 0 25 0 1 0 719362043 74752000 15692 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15692 566 18 0 18232 0 vsize: 73000 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095469 0 0 0 95143 6873 0 0 25 0 1 0 719362043 74752000 15705 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18250 15705 566 18 0 18232 0 vsize: 73000 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095681 0 0 0 96142 6875 0 0 25 0 1 0 719362043 75685888 15917 4294967295 134512640 134581331 3221221792 3221220676 134557799 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18478 15917 566 18 0 18460 0 vsize: 73912 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4095859 0 0 0 97141 6876 0 0 25 0 1 0 719362043 76460032 16095 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18667 16095 566 18 0 18649 0 vsize: 74668 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096074 0 0 0 98140 6877 0 0 25 0 1 0 719362043 77262848 16310 4294967295 134512640 134581331 3221221792 3221220764 134554652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18863 16310 566 18 0 18845 0 vsize: 75452 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096325 0 0 0 99138 6879 0 0 25 0 1 0 719362043 78573568 16561 4294967295 134512640 134581331 3221221792 3221220612 1075289714 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19183 16561 566 18 0 19165 0 vsize: 76732 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096498 0 0 0 100138 6880 0 0 25 0 1 0 719362043 79237120 16734 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19345 16734 566 18 0 19327 0 vsize: 77380 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.98 3/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096684 0 0 0 101137 6881 0 0 25 0 1 0 719362043 80019456 16920 4294967295 134512640 134581331 3221221792 3221220736 134559385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19536 16920 566 18 0 19518 0 vsize: 78144 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096864 0 0 0 102136 6882 0 0 25 0 1 0 719362043 80785408 17100 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19723 17100 566 18 0 19705 0 vsize: 78892 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096948 0 0 0 103136 6883 0 0 25 0 1 0 719362043 81055744 17184 4294967295 134512640 134581331 3221221792 3221220800 134519703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19789 17184 566 18 0 19771 0 vsize: 79156 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096971 0 0 0 104135 6883 0 0 25 0 1 0 719362043 81190912 17207 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19822 17207 566 18 0 19804 0 vsize: 79288 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4096986 0 0 0 105135 6883 0 0 25 0 1 0 719362043 81190912 17222 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19822 17222 566 18 0 19804 0 vsize: 79288 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4097079 0 0 0 106134 6885 0 0 25 0 1 0 719362043 81575936 17315 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19916 17315 566 18 0 19898 0 vsize: 79664 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4097294 0 0 0 107134 6885 0 0 25 0 1 0 719362043 82513920 17530 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20145 17530 566 18 0 20127 0 vsize: 80580 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4097519 0 0 0 108132 6887 0 0 25 0 1 0 719362043 83435520 17755 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20370 17755 566 18 0 20352 0 vsize: 81480 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4097758 0 0 0 109131 6888 0 0 25 0 1 0 719362043 84340736 17994 4294967295 134512640 134581331 3221221792 3221220704 134518603 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20591 17994 566 18 0 20573 0 vsize: 82364 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4098000 0 0 0 110130 6889 0 0 25 0 1 0 719362043 85393408 18236 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20848 18236 566 18 0 20830 0 vsize: 83392 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4098100 0 0 0 111130 6890 0 0 25 0 1 0 719362043 85803008 18336 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20948 18337 566 18 0 20930 0 vsize: 83792 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4098416 0 0 0 112129 6892 0 0 25 0 1 0 719362043 87101440 18652 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21265 18652 566 18 0 21247 0 vsize: 85060 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 31832 Raw data (stat): 31832 (Pueblo) R 31831 7876 7672 0 -1 0 4098576 0 0 0 113128 6893 0 0 25 0 1 0 719362043 87760896 18812 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21426 18812 566 18 0 21408 0 vsize: 85704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 31832 Raw data (stat): 31832 (Pueblo) Z 31831 7876 7672 0 -1 1036 4098576 0 0 0 113128 6896 0 0 25 0 1 0 719362043 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.1 CPU time (s): 1200.25 CPU user time (s): 1131.28 CPU system time (s): 68.9685 CPU usage (%): 100.013 Max. virtual memory (Kb): 85704 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####