Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 48ed39004ec868a1cad026c865b17eb2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
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 | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-02 09:11:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26476 boxname=wulflinc4 idbench=206 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 48ed39004ec868a1cad026c865b17eb2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb IDLAUNCH: 26476 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 685112 kB Buffers: 33960 kB Cached: 293640 kB SwapCached: 568 kB Active: 53788 kB Inactive: 275960 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 684860 kB SwapTotal: 2097136 kB SwapFree: 2095660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5312 kB Slab: 14068 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 09:31:10 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 26476 7 1200.23 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.92 0.98 0.97 1/54 7324 Raw data (stat): 7324 (runsolver) R 7323 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848595419 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0012 s] Raw data (loadavg): 0.93 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1295 0 0 0 996 3 0 0 25 0 1 0 848595419 11055104 1269 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2699 1269 566 18 0 2681 0 vsize: 10796 [startup+20.0021 s] Raw data (loadavg): 0.94 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1301 0 0 0 1996 3 0 0 25 0 1 0 848595419 11055104 1275 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2699 1275 566 18 0 2681 0 vsize: 10796 [startup+30.0022 s] Raw data (loadavg): 0.95 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1304 0 0 0 2996 3 0 0 25 0 1 0 848595419 11055104 1278 4294967295 134512640 134581267 3221224592 3221223584 134561012 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2699 1278 566 18 0 2681 0 vsize: 10796 [startup+40.0028 s] Raw data (loadavg): 0.96 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1403 0 0 0 3996 3 0 0 25 0 1 0 848595419 11452416 1377 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2796 1377 566 18 0 2778 0 vsize: 11184 [startup+50.0027 s] Raw data (loadavg): 0.96 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1507 0 0 0 4997 3 0 0 25 0 1 0 848595419 11853824 1481 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2894 1481 566 18 0 2876 0 vsize: 11576 [startup+60.003 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1547 0 0 0 5997 3 0 0 25 0 1 0 848595419 11988992 1521 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2927 1521 566 18 0 2909 0 vsize: 11708 [startup+70.0034 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1551 0 0 0 6997 3 0 0 25 0 1 0 848595419 12124160 1525 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2960 1525 566 18 0 2942 0 vsize: 11840 [startup+80.0032 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1631 0 0 0 7997 3 0 0 25 0 1 0 848595419 12386304 1605 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3024 1605 566 18 0 3006 0 vsize: 12096 [startup+90.0035 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1631 0 0 0 8997 3 0 0 25 0 1 0 848595419 12386304 1605 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3024 1605 566 18 0 3006 0 vsize: 12096 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1699 0 0 0 9997 3 0 0 25 0 1 0 848595419 12652544 1673 4294967295 134512640 134581267 3221224592 3221223536 134559211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3089 1673 566 18 0 3071 0 vsize: 12356 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1770 0 0 0 10997 3 0 0 25 0 1 0 848595419 12918784 1744 4294967295 134512640 134581267 3221224592 3221223472 134560319 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3154 1744 566 18 0 3136 0 vsize: 12616 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1770 0 0 0 11998 3 0 0 25 0 1 0 848595419 12918784 1744 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3154 1744 566 18 0 3136 0 vsize: 12616 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1822 0 0 0 12998 3 0 0 25 0 1 0 848595419 13189120 1796 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3220 1796 566 18 0 3202 0 vsize: 12880 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1822 0 0 0 13998 3 0 0 25 0 1 0 848595419 13189120 1796 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3220 1796 566 18 0 3202 0 vsize: 12880 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1826 0 0 0 14998 3 0 0 25 0 1 0 848595419 13189120 1800 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3220 1800 566 18 0 3202 0 vsize: 12880 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1917 0 0 0 15998 4 0 0 25 0 1 0 848595419 13639680 1891 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3330 1891 566 18 0 3312 0 vsize: 13320 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1922 0 0 0 16998 4 0 0 25 0 1 0 848595419 13639680 1896 4294967295 134512640 134581267 3221224592 3221223568 134560680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3330 1896 566 18 0 3312 0 vsize: 13320 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1924 0 0 0 17998 4 0 0 25 0 1 0 848595419 13639680 1898 4294967295 134512640 134581267 3221224592 3221223536 134559217 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3330 1898 566 18 0 3312 0 vsize: 13320 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1996 0 0 0 18997 4 0 0 25 0 1 0 848595419 13905920 1970 4294967295 134512640 134581267 3221224592 3221223472 134520174 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3395 1970 566 18 0 3377 0 vsize: 13580 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1996 0 0 0 19998 4 0 0 25 0 1 0 848595419 13905920 1970 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3395 1970 566 18 0 3377 0 vsize: 13580 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2058 0 0 0 20998 4 0 0 25 0 1 0 848595419 14168064 2032 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3459 2032 566 18 0 3441 0 vsize: 13836 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2243 0 0 0 21997 5 0 0 25 0 1 0 848595419 14970880 2217 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3655 2217 566 18 0 3637 0 vsize: 14620 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2243 0 0 0 22997 5 0 0 25 0 1 0 848595419 14970880 2217 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3655 2217 566 18 0 3637 0 vsize: 14620 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2248 0 0 0 23997 5 0 0 25 0 1 0 848595419 14970880 2222 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3655 2222 566 18 0 3637 0 vsize: 14620 [startup+250.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2281 0 0 0 24997 5 0 0 25 0 1 0 848595419 15101952 2255 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2255 566 18 0 3669 0 vsize: 14748 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2281 0 0 0 25998 5 0 0 25 0 1 0 848595419 15101952 2255 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2255 566 18 0 3669 0 vsize: 14748 [startup+270.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2288 0 0 0 26998 5 0 0 25 0 1 0 848595419 15101952 2262 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2262 566 18 0 3669 0 vsize: 14748 [startup+280.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2293 0 0 0 27998 5 0 0 25 0 1 0 848595419 15233024 2267 4294967295 134512640 134581267 3221224592 3221223568 134560667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3719 2267 566 18 0 3701 0 vsize: 14876 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2293 0 0 0 28998 5 0 0 25 0 1 0 848595419 15233024 2267 4294967295 134512640 134581267 3221224592 3221223472 134520271 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3719 2267 566 18 0 3701 0 vsize: 14876 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2304 0 0 0 29998 5 0 0 25 0 1 0 848595419 15233024 2278 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3719 2278 566 18 0 3701 0 vsize: 14876 [startup+310.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2380 0 0 0 30999 5 0 0 25 0 1 0 848595419 15499264 2354 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3784 2354 566 18 0 3766 0 vsize: 15136 [startup+320.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2483 0 0 0 31998 6 0 0 25 0 1 0 848595419 16027648 2457 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3913 2457 566 18 0 3895 0 vsize: 15652 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2484 0 0 0 32998 6 0 0 25 0 1 0 848595419 16027648 2458 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3913 2458 566 18 0 3895 0 vsize: 15652 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2489 0 0 0 33999 6 0 0 25 0 1 0 848595419 16027648 2463 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3913 2463 566 18 0 3895 0 vsize: 15652 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2585 0 0 0 34998 6 0 0 25 0 1 0 848595419 16429056 2559 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2559 566 18 0 3993 0 vsize: 16044 [startup+360.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2585 0 0 0 35999 6 0 0 25 0 1 0 848595419 16429056 2559 4294967295 134512640 134581267 3221224592 3221223472 134560430 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2559 566 18 0 3993 0 vsize: 16044 [startup+370.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2586 0 0 0 36999 6 0 0 25 0 1 0 848595419 16429056 2560 4294967295 134512640 134581267 3221224592 3221223584 134561108 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2560 566 18 0 3993 0 vsize: 16044 [startup+380.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2592 0 0 0 37998 6 0 0 25 0 1 0 848595419 16429056 2566 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2566 566 18 0 3993 0 vsize: 16044 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 38999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+400.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 39999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+410.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 40999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+420.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 41999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+430.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 42999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223520 134519880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+440.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 44000 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223552 134554618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2567 566 18 0 3993 0 vsize: 16044 [startup+450.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2595 0 0 0 45000 6 0 0 25 0 1 0 848595419 16429056 2569 4294967295 134512640 134581267 3221224592 3221223536 134559165 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2569 566 18 0 3993 0 vsize: 16044 [startup+460.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2596 0 0 0 46000 6 0 0 25 0 1 0 848595419 16429056 2570 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2570 566 18 0 3993 0 vsize: 16044 [startup+470.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2596 0 0 0 47000 6 0 0 25 0 1 0 848595419 16429056 2570 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2570 566 18 0 3993 0 vsize: 16044 [startup+480.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 48001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+490.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 49001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+500.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 50001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+510.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 51001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+520.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 52001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+530.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 53002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+540.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 54002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+550.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 55002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+560.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 56002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+570.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 57002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2572 566 18 0 3993 0 vsize: 16044 [startup+580.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2604 0 0 0 58003 6 0 0 25 0 1 0 848595419 16429056 2578 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 2578 566 18 0 3993 0 vsize: 16044 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2609 0 0 0 59003 6 0 0 25 0 1 0 848595419 16592896 2583 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2583 566 18 0 4033 0 vsize: 16204 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2609 0 0 0 60003 6 0 0 25 0 1 0 848595419 16592896 2583 4294967295 134512640 134581267 3221224592 3221223472 134560456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2583 566 18 0 4033 0 vsize: 16204 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2616 0 0 0 61003 6 0 0 25 0 1 0 848595419 16592896 2590 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2590 566 18 0 4033 0 vsize: 16204 [startup+620.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 62003 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2592 566 18 0 4033 0 vsize: 16204 [startup+630.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 63003 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2592 566 18 0 4033 0 vsize: 16204 [startup+640.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 64004 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223504 134519975 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2592 566 18 0 4033 0 vsize: 16204 [startup+650.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 65004 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 2592 566 18 0 4033 0 vsize: 16204 [startup+660.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2719 0 0 0 66004 7 0 0 25 0 1 0 848595419 16998400 2693 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4150 2693 566 18 0 4132 0 vsize: 16600 [startup+670.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2725 0 0 0 67004 7 0 0 25 0 1 0 848595419 16998400 2699 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4150 2699 566 18 0 4132 0 vsize: 16600 [startup+680.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2727 0 0 0 68004 7 0 0 25 0 1 0 848595419 16998400 2701 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4150 2701 566 18 0 4132 0 vsize: 16600 [startup+690.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2727 0 0 0 69004 7 0 0 25 0 1 0 848595419 16998400 2701 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4150 2701 566 18 0 4132 0 vsize: 16600 [startup+700.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 70004 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2768 566 18 0 4203 0 vsize: 16884 [startup+710.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 71005 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2768 566 18 0 4203 0 vsize: 16884 [startup+720.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 72005 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223472 134560433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2768 566 18 0 4203 0 vsize: 16884 [startup+730.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2795 0 0 0 73005 7 0 0 25 0 1 0 848595419 17289216 2769 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2769 566 18 0 4203 0 vsize: 16884 [startup+740.026 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 74005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2783 566 18 0 4203 0 vsize: 16884 [startup+750.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 75005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223576 134560628 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2783 566 18 0 4203 0 vsize: 16884 [startup+760.026 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 76005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223536 134559384 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2783 566 18 0 4203 0 vsize: 16884 [startup+770.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 77006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2784 566 18 0 4203 0 vsize: 16884 [startup+780.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 78006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2784 566 18 0 4203 0 vsize: 16884 [startup+790.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 79006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2784 566 18 0 4203 0 vsize: 16884 [startup+800.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 80006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2784 566 18 0 4203 0 vsize: 16884 [startup+810.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 81006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2784 566 18 0 4203 0 vsize: 16884 [startup+820.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 82007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+830.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 83007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134560807 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+840.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 84007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223536 134559023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+850.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 85007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 86008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+870.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 87008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 88008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+890.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 89008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+900.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 90008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+910.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 91009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+920.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 92009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+930.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 93009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2791 566 18 0 4244 0 vsize: 17048 [startup+940.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 94009 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2800 566 18 0 4244 0 vsize: 17048 [startup+950.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 95009 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2800 566 18 0 4244 0 vsize: 17048 [startup+960.037 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 96010 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2800 566 18 0 4244 0 vsize: 17048 [startup+970.037 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 97010 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223472 134520182 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2800 566 18 0 4244 0 vsize: 17048 [startup+980.037 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2831 0 0 0 98010 7 0 0 25 0 1 0 848595419 17457152 2805 4294967295 134512640 134581267 3221224592 3221223536 134559023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4262 2805 566 18 0 4244 0 vsize: 17048 [startup+990.038 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2898 0 0 0 99010 7 0 0 25 0 1 0 848595419 17723392 2872 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4327 2872 566 18 0 4309 0 vsize: 17308 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2898 0 0 0 100010 7 0 0 25 0 1 0 848595419 17723392 2872 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4327 2872 566 18 0 4309 0 vsize: 17308 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2906 0 0 0 101010 7 0 0 25 0 1 0 848595419 17862656 2880 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4361 2880 566 18 0 4343 0 vsize: 17444 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2908 0 0 0 102010 7 0 0 25 0 1 0 848595419 17862656 2882 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4361 2882 566 18 0 4343 0 vsize: 17444 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2959 0 0 0 103010 8 0 0 25 0 1 0 848595419 17993728 2933 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 2933 566 18 0 4375 0 vsize: 17572 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2966 0 0 0 104010 8 0 0 25 0 1 0 848595419 17993728 2940 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 2940 566 18 0 4375 0 vsize: 17572 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2967 0 0 0 105011 8 0 0 25 0 1 0 848595419 17993728 2941 4294967295 134512640 134581267 3221224592 3221223472 134560317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 2941 566 18 0 4375 0 vsize: 17572 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2968 0 0 0 106011 8 0 0 25 0 1 0 848595419 17993728 2942 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 2942 566 18 0 4375 0 vsize: 17572 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2974 0 0 0 107011 8 0 0 25 0 1 0 848595419 18157568 2948 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4433 2948 566 18 0 4415 0 vsize: 17732 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 108011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223504 134531366 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4530 3061 566 18 0 4512 0 vsize: 18120 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 109011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4530 3061 566 18 0 4512 0 vsize: 18120 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 110011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4530 3061 566 18 0 4512 0 vsize: 18120 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 111012 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223472 134560322 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4530 3061 566 18 0 4512 0 vsize: 18120 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3093 0 0 0 112012 8 0 0 25 0 1 0 848595419 18554880 3067 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4530 3067 566 18 0 4512 0 vsize: 18120 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 113012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 114012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 115012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223472 134560529 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 116012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 117013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 118013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 119013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223472 134560418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 7324 Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 120013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4595 3107 566 18 0 4577 0 vsize: 18380 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.97 1/54 7324 Raw data (stat): 7324 (Pueblo-v2) Z 7323 21152 21151 0 -1 1036 3133 0 0 0 120013 9 0 0 25 0 1 0 848595419 0 0 4294967295 0 0 0 0 0 0 0 7 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.05 CPU time (s): 1200.23 CPU user time (s): 1200.14 CPU system time (s): 0.093985 CPU usage (%): 100.015 Max. virtual memory (Kb): 18380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####