Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb |
MD5SUM | 40e47c460002545cc2670ca84fd53082 |
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 | 2606 |
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 | 2606 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2606 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2606 |
Total number of constraints | 6509 |
Number of constraints which are clauses | 6509 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-02 09:05:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26475 boxname=wulflinc5 idbench=205 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 40e47c460002545cc2670ca84fd53082 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-2-c.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-2-c.opb IDLAUNCH: 26475 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 676804 kB Buffers: 34648 kB Cached: 300092 kB SwapCached: 568 kB Active: 53984 kB Inactive: 282816 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 676552 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5140 kB Slab: 15436 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 09:25:44 (client local time) WITH STATUS 0 IN 1200.14 SECONDS stats: 26475 7 1200.14 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.93 2/54 2285 Raw data (stat): 2285 (runsolver) R 2284 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848571779 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 781 0 0 0 996 1 0 0 25 0 1 0 848571779 8962048 755 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2188 755 566 18 0 2170 0 vsize: 8752 [startup+20.0017 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 872 0 0 0 1996 2 0 0 25 0 1 0 848571779 9232384 846 4294967295 134512640 134581267 3221224592 3221223508 134558732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2254 846 566 18 0 2236 0 vsize: 9016 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 948 0 0 0 2995 2 0 0 25 0 1 0 848571779 9637888 922 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2353 922 566 18 0 2335 0 vsize: 9412 [startup+40.0022 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1042 0 0 0 3995 3 0 0 25 0 1 0 848571779 9904128 1016 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2418 1016 566 18 0 2400 0 vsize: 9672 [startup+50.0029 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1091 0 0 0 4994 3 0 0 25 0 1 0 848571779 10182656 1065 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2486 1065 566 18 0 2468 0 vsize: 9944 [startup+60.0032 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1091 0 0 0 5994 3 0 0 25 0 1 0 848571779 10182656 1065 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2486 1065 566 18 0 2468 0 vsize: 9944 [startup+70.0044 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1091 0 0 0 6994 3 0 0 25 0 1 0 848571779 10182656 1065 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2486 1065 566 18 0 2468 0 vsize: 9944 [startup+80.0052 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1135 0 0 0 7995 3 0 0 25 0 1 0 848571779 10313728 1109 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2518 1109 566 18 0 2500 0 vsize: 10072 [startup+90.0045 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1173 0 0 0 8994 4 0 0 25 0 1 0 848571779 10448896 1147 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2551 1147 566 18 0 2533 0 vsize: 10204 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1182 0 0 0 9994 4 0 0 25 0 1 0 848571779 10637312 1156 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2597 1156 566 18 0 2579 0 vsize: 10388 [startup+110.006 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1230 0 0 0 10994 4 0 0 25 0 1 0 848571779 10768384 1204 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2629 1204 566 18 0 2611 0 vsize: 10516 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1277 0 0 0 11994 5 0 0 25 0 1 0 848571779 10903552 1251 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2662 1251 566 18 0 2644 0 vsize: 10648 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1283 0 0 0 12994 5 0 0 25 0 1 0 848571779 11051008 1257 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2698 1257 566 18 0 2680 0 vsize: 10792 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1289 0 0 0 13993 5 0 0 25 0 1 0 848571779 11051008 1263 4294967295 134512640 134581267 3221224592 3221223536 134559318 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2698 1263 566 18 0 2680 0 vsize: 10792 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1353 0 0 0 14993 6 0 0 25 0 1 0 848571779 11313152 1327 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2762 1327 566 18 0 2744 0 vsize: 11048 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1353 0 0 0 15993 7 0 0 25 0 1 0 848571779 11313152 1327 4294967295 134512640 134581267 3221224592 3221223536 134558840 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2762 1327 566 18 0 2744 0 vsize: 11048 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1356 0 0 0 16993 7 0 0 25 0 1 0 848571779 11313152 1330 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2762 1330 566 18 0 2744 0 vsize: 11048 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1405 0 0 0 17992 7 0 0 25 0 1 0 848571779 11444224 1379 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1430 0 0 0 18991 8 0 0 25 0 1 0 848571779 11575296 1404 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2826 1404 566 18 0 2808 0 vsize: 11304 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1430 0 0 0 19991 8 0 0 25 0 1 0 848571779 11575296 1404 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2826 1404 566 18 0 2808 0 vsize: 11304 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1430 0 0 0 20991 9 0 0 25 0 1 0 848571779 11575296 1404 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2826 1404 566 18 0 2808 0 vsize: 11304 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1430 0 0 0 21991 9 0 0 25 0 1 0 848571779 11575296 1404 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2826 1404 566 18 0 2808 0 vsize: 11304 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1484 0 0 0 22991 9 0 0 25 0 1 0 848571779 11837440 1458 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2890 1458 566 18 0 2872 0 vsize: 11560 [startup+240.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1497 0 0 0 23991 9 0 0 25 0 1 0 848571779 11837440 1471 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2890 1471 566 18 0 2872 0 vsize: 11560 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1519 0 0 0 24990 10 0 0 25 0 1 0 848571779 11972608 1493 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1493 566 18 0 2905 0 vsize: 11692 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1523 0 0 0 25990 10 0 0 25 0 1 0 848571779 11972608 1497 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1497 566 18 0 2905 0 vsize: 11692 [startup+270.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 26990 10 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223472 134560348 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+280.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 27990 10 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 28990 10 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 29990 11 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+310.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 30990 11 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+320.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 31990 11 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223560 134554609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1529 0 0 0 32989 12 0 0 25 0 1 0 848571779 11972608 1503 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2923 1503 566 18 0 2905 0 vsize: 11692 [startup+340.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 33989 12 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+350.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 34989 12 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+360.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 35989 12 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+370.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 36989 12 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+380.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 37989 12 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+390.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1549 0 0 0 38989 13 0 0 25 0 1 0 848571779 12103680 1523 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1523 566 18 0 2937 0 vsize: 11820 [startup+400.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1557 0 0 0 39989 13 0 0 25 0 1 0 848571779 12103680 1531 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1531 566 18 0 2937 0 vsize: 11820 [startup+410.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1569 0 0 0 40989 13 0 0 25 0 1 0 848571779 12103680 1543 4294967295 134512640 134581267 3221224592 3221223472 134560391 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1543 566 18 0 2937 0 vsize: 11820 [startup+420.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1569 0 0 0 41988 14 0 0 25 0 1 0 848571779 12103680 1543 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1543 566 18 0 2937 0 vsize: 11820 [startup+430.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1569 0 0 0 42988 14 0 0 25 0 1 0 848571779 12103680 1543 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1543 566 18 0 2937 0 vsize: 11820 [startup+440.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1571 0 0 0 43988 14 0 0 25 0 1 0 848571779 12103680 1545 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2955 1545 566 18 0 2937 0 vsize: 11820 [startup+450.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1576 0 0 0 44988 14 0 0 25 0 1 0 848571779 12263424 1550 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2994 1550 566 18 0 2976 0 vsize: 11976 [startup+460.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1576 0 0 0 45988 15 0 0 25 0 1 0 848571779 12263424 1550 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2994 1550 566 18 0 2976 0 vsize: 11976 [startup+470.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1600 0 0 0 46987 15 0 0 25 0 1 0 848571779 12263424 1574 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2994 1574 566 18 0 2976 0 vsize: 11976 [startup+480.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1642 0 0 0 47987 15 0 0 25 0 1 0 848571779 12529664 1616 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3059 1616 566 18 0 3041 0 vsize: 12236 [startup+490.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1642 0 0 0 48987 16 0 0 25 0 1 0 848571779 12517376 1616 4294967295 134512640 134581267 3221224592 3221223472 134560435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3056 1616 566 18 0 3038 0 vsize: 12224 [startup+500.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1644 0 0 0 49987 16 0 0 25 0 1 0 848571779 12517376 1618 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3056 1618 566 18 0 3038 0 vsize: 12224 [startup+510.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1644 0 0 0 50987 16 0 0 25 0 1 0 848571779 12517376 1618 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3056 1618 566 18 0 3038 0 vsize: 12224 [startup+520.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1646 0 0 0 51987 16 0 0 25 0 1 0 848571779 12517376 1620 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3056 1620 566 18 0 3038 0 vsize: 12224 [startup+530.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1646 0 0 0 52987 17 0 0 25 0 1 0 848571779 12517376 1620 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3056 1620 566 18 0 3038 0 vsize: 12224 [startup+540.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1696 0 0 0 53986 17 0 0 25 0 1 0 848571779 12648448 1670 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3088 1670 566 18 0 3070 0 vsize: 12352 [startup+550.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1700 0 0 0 54986 18 0 0 25 0 1 0 848571779 12779520 1674 4294967295 134512640 134581267 3221224592 3221223472 134560322 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1674 566 18 0 3102 0 vsize: 12480 [startup+560.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1700 0 0 0 55985 18 0 0 25 0 1 0 848571779 12779520 1674 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1674 566 18 0 3102 0 vsize: 12480 [startup+570.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1701 0 0 0 56985 18 0 0 25 0 1 0 848571779 12779520 1675 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1675 566 18 0 3102 0 vsize: 12480 [startup+580.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1701 0 0 0 57985 18 0 0 25 0 1 0 848571779 12779520 1675 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1675 566 18 0 3102 0 vsize: 12480 [startup+590.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1701 0 0 0 58985 18 0 0 25 0 1 0 848571779 12779520 1675 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1675 566 18 0 3102 0 vsize: 12480 [startup+600.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1701 0 0 0 59985 19 0 0 25 0 1 0 848571779 12779520 1675 4294967295 134512640 134581267 3221224592 3221223504 134519975 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1675 566 18 0 3102 0 vsize: 12480 [startup+610.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1724 0 0 0 60985 19 0 0 25 0 1 0 848571779 12779520 1698 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1698 566 18 0 3102 0 vsize: 12480 [startup+620.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1727 0 0 0 61985 19 0 0 25 0 1 0 848571779 12779520 1701 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1701 566 18 0 3102 0 vsize: 12480 [startup+630.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1727 0 0 0 62985 20 0 0 25 0 1 0 848571779 12779520 1701 4294967295 134512640 134581267 3221224592 3221223520 134519910 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1701 566 18 0 3102 0 vsize: 12480 [startup+640.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1727 0 0 0 63985 20 0 0 25 0 1 0 848571779 12779520 1701 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1701 566 18 0 3102 0 vsize: 12480 [startup+650.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1727 0 0 0 64984 20 0 0 25 0 1 0 848571779 12779520 1701 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1701 566 18 0 3102 0 vsize: 12480 [startup+660.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1727 0 0 0 65984 20 0 0 25 0 1 0 848571779 12779520 1701 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1701 566 18 0 3102 0 vsize: 12480 [startup+670.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1729 0 0 0 66984 21 0 0 25 0 1 0 848571779 12779520 1703 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3120 1703 566 18 0 3102 0 vsize: 12480 [startup+680.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 67984 21 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+690.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 68984 21 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223504 134531349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+700.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 69984 21 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+710.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 70983 22 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+720.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 71984 22 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223584 134561078 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+730.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 72983 22 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+740.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 73983 22 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+750.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 74983 23 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+760.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 75983 23 0 0 25 0 1 0 848571779 12910592 1735 4294967295 134512640 134581267 3221224592 3221223552 134554613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3152 1735 566 18 0 3134 0 vsize: 12608 [startup+770.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1761 0 0 0 76983 23 0 0 25 0 1 0 848571779 12894208 1733 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3148 1733 566 18 0 3130 0 vsize: 12592 [startup+780.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1808 0 0 0 77983 24 0 0 25 0 1 0 848571779 13156352 1780 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3212 1780 566 18 0 3194 0 vsize: 12848 [startup+790.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1849 0 0 0 78982 24 0 0 25 0 1 0 848571779 13295616 1821 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3246 1821 566 18 0 3228 0 vsize: 12984 [startup+800.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 79982 25 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223552 134531369 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+810.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 80981 25 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+820.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 81981 26 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+830.041 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 82981 26 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+840.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 83981 26 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+850.041 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 84981 27 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+860.041 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 85981 27 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+870.042 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 86981 27 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+880.042 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 87981 27 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+890.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 88980 28 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+900.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1944 0 0 0 89980 28 0 0 25 0 1 0 848571779 13688832 1916 4294967295 134512640 134581267 3221224592 3221223536 134559233 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1916 566 18 0 3324 0 vsize: 13368 [startup+910.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 90980 28 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+920.044 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 91980 29 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223552 134531368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+930.044 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 92979 29 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+940.044 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 93979 30 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223488 134517729 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+950.047 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 94979 30 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+960.047 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 95979 30 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+970.048 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 96979 30 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+980.048 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 97979 31 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134560825 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+990.048 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 98979 31 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134560606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 99979 31 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 100979 31 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 101979 31 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223552 134554664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 102979 32 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 103978 32 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1945 0 0 0 104978 32 0 0 25 0 1 0 848571779 13688832 1917 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1917 566 18 0 3324 0 vsize: 13368 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1949 0 0 0 105978 33 0 0 25 0 1 0 848571779 13688832 1921 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3342 1921 566 18 0 3324 0 vsize: 13368 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 106978 33 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 107978 33 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223536 134559211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1090.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 108978 34 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1100.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 109978 34 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1110.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 110978 34 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223488 134517743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1120.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 111978 34 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1130.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1968 0 0 0 112977 34 0 0 25 0 1 0 848571779 13824000 1940 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1940 566 18 0 3357 0 vsize: 13500 [startup+1140.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1978 0 0 0 113977 35 0 0 25 0 1 0 848571779 13824000 1950 4294967295 134512640 134581267 3221224592 3221223472 134560160 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1950 566 18 0 3357 0 vsize: 13500 [startup+1150.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1980 0 0 0 114977 35 0 0 25 0 1 0 848571779 13824000 1952 4294967295 134512640 134581267 3221224592 3221223500 134520140 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1952 566 18 0 3357 0 vsize: 13500 [startup+1160.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1980 0 0 0 115977 35 0 0 25 0 1 0 848571779 13824000 1952 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1952 566 18 0 3357 0 vsize: 13500 [startup+1170.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1980 0 0 0 116977 36 0 0 25 0 1 0 848571779 13824000 1952 4294967295 134512640 134581267 3221224592 3221223536 134559203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3375 1952 566 18 0 3357 0 vsize: 13500 [startup+1180.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1985 0 0 0 117977 36 0 0 25 0 1 0 848571779 13963264 1957 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3409 1957 566 18 0 3391 0 vsize: 13636 [startup+1190.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1996 0 0 0 118976 36 0 0 25 0 1 0 848571779 13963264 1968 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3409 1968 566 18 0 3391 0 vsize: 13636 [startup+1200.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2287 Raw data (stat): 2285 (Pueblo-v2) R 2284 7266 7265 0 -1 0 1996 0 0 0 119976 37 0 0 25 0 1 0 848571779 13963264 1968 4294967295 134512640 134581267 3221224592 3221223472 134520182 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3409 1968 566 18 0 3391 0 vsize: 13636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.93 1/54 2287 Raw data (stat): 2285 (Pueblo-v2) Z 2284 7266 7265 0 -1 1036 1996 0 0 0 119976 37 0 0 25 0 1 0 848571779 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.07 CPU time (s): 1200.14 CPU user time (s): 1199.76 CPU system time (s): 0.379942 CPU usage (%): 100.006 Max. virtual memory (Kb): 13636 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####