Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb |
MD5SUM | 8c1b8634a2f99e9f8e579ef031d10353 |
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 | 2630 |
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 | 2630 |
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 | 2630 |
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 | 2630 |
Total number of constraints | 6569 |
Number of constraints which are clauses | 6569 |
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 wulflinc2 THE 2005-06-02 09:05:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26473 boxname=wulflinc2 idbench=203 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 8c1b8634a2f99e9f8e579ef031d10353 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1-c.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1-c.opb IDLAUNCH: 26473 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 708176 kB Buffers: 33776 kB Cached: 270816 kB SwapCached: 1136 kB Active: 54184 kB Inactive: 252836 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 707924 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 13808 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 09:25:27 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 26473 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.69 0.93 0.91 2/54 21081 Raw data (stat): 21081 (runsolver) R 21080 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848573616 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0001 s] Raw data (loadavg): 0.74 0.93 0.91 2/54 21081 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 745 0 0 0 997 1 0 0 25 0 1 0 848573616 8704000 719 4294967295 134512640 134581267 3221224592 3221223556 134554612 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2125 719 566 18 0 2107 0 vsize: 8500 [startup+20.0003 s] Raw data (loadavg): 0.78 0.93 0.91 2/54 21081 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 858 0 0 0 1996 2 0 0 25 0 1 0 848573616 9232384 832 4294967295 134512640 134581267 3221224592 3221223556 134554612 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2254 832 566 18 0 2236 0 vsize: 9016 [startup+30.0007 s] Raw data (loadavg): 0.81 0.93 0.91 2/54 21081 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 947 0 0 0 2996 2 0 0 25 0 1 0 848573616 9625600 921 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2350 921 566 18 0 2332 0 vsize: 9400 [startup+40 s] Raw data (loadavg): 0.84 0.93 0.91 2/54 21081 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1033 0 0 0 3996 2 0 0 25 0 1 0 848573616 9887744 1007 4294967295 134512640 134581267 3221224592 3221223472 134560456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2414 1007 566 18 0 2396 0 vsize: 9656 [startup+50.0011 s] Raw data (loadavg): 0.86 0.94 0.91 2/54 21081 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1140 0 0 0 4996 2 0 0 25 0 1 0 848573616 10416128 1114 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2543 1114 566 18 0 2525 0 vsize: 10172 [startup+60.0018 s] Raw data (loadavg): 0.88 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1183 0 0 0 5996 2 0 0 25 0 1 0 848573616 10547200 1157 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2575 1157 566 18 0 2557 0 vsize: 10300 [startup+70.0021 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1266 0 0 0 6996 3 0 0 25 0 1 0 848573616 10944512 1240 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1240 566 18 0 2654 0 vsize: 10688 [startup+80.0032 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1275 0 0 0 7997 3 0 0 25 0 1 0 848573616 10944512 1249 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1249 566 18 0 2654 0 vsize: 10688 [startup+90.0028 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1275 0 0 0 8997 3 0 0 25 0 1 0 848573616 10944512 1249 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1249 566 18 0 2654 0 vsize: 10688 [startup+100.003 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1284 0 0 0 9997 3 0 0 25 0 1 0 848573616 10944512 1258 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1258 566 18 0 2654 0 vsize: 10688 [startup+110.004 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1286 0 0 0 10997 3 0 0 25 0 1 0 848573616 10944512 1260 4294967295 134512640 134581267 3221224592 3221223520 134520039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2672 1260 566 18 0 2654 0 vsize: 10688 [startup+120.004 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1298 0 0 0 11997 3 0 0 25 0 1 0 848573616 11075584 1272 4294967295 134512640 134581267 3221224592 3221223520 134519965 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2704 1272 566 18 0 2686 0 vsize: 10816 [startup+130.004 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1299 0 0 0 12998 3 0 0 25 0 1 0 848573616 11075584 1273 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2704 1273 566 18 0 2686 0 vsize: 10816 [startup+140.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1388 0 0 0 13998 3 0 0 25 0 1 0 848573616 11476992 1362 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2802 1362 566 18 0 2784 0 vsize: 11208 [startup+150.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1388 0 0 0 14998 3 0 0 25 0 1 0 848573616 11476992 1362 4294967295 134512640 134581267 3221224592 3221223472 134560529 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2802 1362 566 18 0 2784 0 vsize: 11208 [startup+160.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1390 0 0 0 15998 3 0 0 25 0 1 0 848573616 11472896 1364 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1364 566 18 0 2783 0 vsize: 11204 [startup+170.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1390 0 0 0 16998 3 0 0 25 0 1 0 848573616 11472896 1364 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1364 566 18 0 2783 0 vsize: 11204 [startup+180.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1390 0 0 0 17998 3 0 0 25 0 1 0 848573616 11472896 1364 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1364 566 18 0 2783 0 vsize: 11204 [startup+190.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1390 0 0 0 18999 3 0 0 25 0 1 0 848573616 11472896 1364 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1364 566 18 0 2783 0 vsize: 11204 [startup+200.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1390 0 0 0 19999 3 0 0 25 0 1 0 848573616 11472896 1364 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1364 566 18 0 2783 0 vsize: 11204 [startup+210.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1396 0 0 0 20999 3 0 0 25 0 1 0 848573616 11472896 1370 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1370 566 18 0 2783 0 vsize: 11204 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1400 0 0 0 21999 3 0 0 25 0 1 0 848573616 11472896 1374 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1374 566 18 0 2783 0 vsize: 11204 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1404 0 0 0 22999 3 0 0 25 0 1 0 848573616 11472896 1378 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2801 1378 566 18 0 2783 0 vsize: 11204 [startup+240.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1431 0 0 0 24000 3 0 0 25 0 1 0 848573616 11603968 1405 4294967295 134512640 134581267 3221224592 3221223520 134519965 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2833 1405 566 18 0 2815 0 vsize: 11332 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1497 0 0 0 24999 3 0 0 25 0 1 0 848573616 11866112 1471 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1471 566 18 0 2879 0 vsize: 11588 [startup+260.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1497 0 0 0 26000 3 0 0 25 0 1 0 848573616 11866112 1471 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1471 566 18 0 2879 0 vsize: 11588 [startup+270.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1497 0 0 0 27000 3 0 0 25 0 1 0 848573616 11866112 1471 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1471 566 18 0 2879 0 vsize: 11588 [startup+280.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1497 0 0 0 28000 3 0 0 25 0 1 0 848573616 11866112 1471 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1471 566 18 0 2879 0 vsize: 11588 [startup+290.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1497 0 0 0 29000 3 0 0 25 0 1 0 848573616 11866112 1471 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1471 566 18 0 2879 0 vsize: 11588 [startup+300.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1498 0 0 0 30000 3 0 0 25 0 1 0 848573616 11866112 1472 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1472 566 18 0 2879 0 vsize: 11588 [startup+310.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1499 0 0 0 31000 3 0 0 25 0 1 0 848573616 11866112 1473 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1473 566 18 0 2879 0 vsize: 11588 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 32001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 33001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 34001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 35001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 36001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223536 134558803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1500 0 0 0 37001 3 0 0 25 0 1 0 848573616 11866112 1474 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1474 566 18 0 2879 0 vsize: 11588 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1506 0 0 0 38002 3 0 0 25 0 1 0 848573616 11866112 1480 4294967295 134512640 134581267 3221224592 3221223488 134517586 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1480 566 18 0 2879 0 vsize: 11588 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1506 0 0 0 39002 3 0 0 25 0 1 0 848573616 11866112 1480 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1480 566 18 0 2879 0 vsize: 11588 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1513 0 0 0 40002 3 0 0 25 0 1 0 848573616 11866112 1487 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1487 566 18 0 2879 0 vsize: 11588 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1514 0 0 0 41002 3 0 0 25 0 1 0 848573616 11866112 1488 4294967295 134512640 134581267 3221224592 3221223536 134558846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1488 566 18 0 2879 0 vsize: 11588 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1515 0 0 0 42002 4 0 0 25 0 1 0 848573616 11866112 1489 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1489 566 18 0 2879 0 vsize: 11588 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1515 0 0 0 43002 4 0 0 25 0 1 0 848573616 11866112 1489 4294967295 134512640 134581267 3221224592 3221223568 134560643 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1489 566 18 0 2879 0 vsize: 11588 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1515 0 0 0 44003 4 0 0 25 0 1 0 848573616 11866112 1489 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1489 566 18 0 2879 0 vsize: 11588 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1515 0 0 0 45003 4 0 0 25 0 1 0 848573616 11866112 1489 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2897 1489 566 18 0 2879 0 vsize: 11588 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1619 0 0 0 46003 4 0 0 25 0 1 0 848573616 12410880 1593 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3030 1593 566 18 0 3012 0 vsize: 12120 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1710 0 0 0 47003 4 0 0 25 0 1 0 848573616 12673024 1684 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3094 1684 566 18 0 3076 0 vsize: 12376 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 48003 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 49003 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223472 134560188 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 50003 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 51003 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 52003 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223516 134531404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 53004 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223536 134559211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 54004 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223520 134520034 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 55004 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 56004 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1726 0 0 0 57004 4 0 0 25 0 1 0 848573616 12804096 1700 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1700 566 18 0 3108 0 vsize: 12504 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 58004 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 59005 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223536 134559000 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 60005 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223472 134560184 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 61005 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 62005 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 63005 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223504 134531356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+640.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 64006 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223472 134560206 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+650.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 65006 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223536 134559341 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 66006 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 67006 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 68006 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1727 0 0 0 69007 4 0 0 25 0 1 0 848573616 12804096 1701 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1701 566 18 0 3108 0 vsize: 12504 [startup+700.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1729 0 0 0 70007 4 0 0 25 0 1 0 848573616 12804096 1703 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1703 566 18 0 3108 0 vsize: 12504 [startup+710.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1744 0 0 0 71007 5 0 0 25 0 1 0 848573616 12804096 1718 4294967295 134512640 134581267 3221224592 3221223516 134519970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3126 1718 566 18 0 3108 0 vsize: 12504 [startup+720.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1754 0 0 0 72007 5 0 0 25 0 1 0 848573616 12935168 1728 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3158 1728 566 18 0 3140 0 vsize: 12632 [startup+730.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1754 0 0 0 73007 5 0 0 25 0 1 0 848573616 12935168 1728 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3158 1728 566 18 0 3140 0 vsize: 12632 [startup+740.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1754 0 0 0 74007 5 0 0 25 0 1 0 848573616 12935168 1728 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3158 1728 566 18 0 3140 0 vsize: 12632 [startup+750.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1764 0 0 0 75007 5 0 0 25 0 1 0 848573616 12935168 1738 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3158 1738 566 18 0 3140 0 vsize: 12632 [startup+760.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1778 0 0 0 76007 5 0 0 25 0 1 0 848573616 13066240 1752 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3190 1752 566 18 0 3172 0 vsize: 12760 [startup+770.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1779 0 0 0 77007 5 0 0 25 0 1 0 848573616 13062144 1753 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3189 1753 566 18 0 3171 0 vsize: 12756 [startup+780.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1779 0 0 0 78007 5 0 0 25 0 1 0 848573616 13053952 1753 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1753 566 18 0 3169 0 vsize: 12748 [startup+790.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1780 0 0 0 79008 5 0 0 25 0 1 0 848573616 13053952 1754 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1754 566 18 0 3169 0 vsize: 12748 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1786 0 0 0 80008 5 0 0 25 0 1 0 848573616 13053952 1760 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1760 566 18 0 3169 0 vsize: 12748 [startup+810.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1786 0 0 0 81008 5 0 0 25 0 1 0 848573616 13053952 1760 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1760 566 18 0 3169 0 vsize: 12748 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1786 0 0 0 82008 5 0 0 25 0 1 0 848573616 13053952 1760 4294967295 134512640 134581267 3221224592 3221223472 134520205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1760 566 18 0 3169 0 vsize: 12748 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1786 0 0 0 83008 5 0 0 25 0 1 0 848573616 13053952 1760 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1760 566 18 0 3169 0 vsize: 12748 [startup+840.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1792 0 0 0 84008 5 0 0 25 0 1 0 848573616 13053952 1766 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1766 566 18 0 3169 0 vsize: 12748 [startup+850.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1792 0 0 0 85008 5 0 0 25 0 1 0 848573616 13053952 1766 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1766 566 18 0 3169 0 vsize: 12748 [startup+860.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1797 0 0 0 86009 5 0 0 25 0 1 0 848573616 13053952 1771 4294967295 134512640 134581267 3221224592 3221223536 134559041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1771 566 18 0 3169 0 vsize: 12748 [startup+870.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1797 0 0 0 87009 5 0 0 25 0 1 0 848573616 13053952 1771 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1771 566 18 0 3169 0 vsize: 12748 [startup+880.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1797 0 0 0 88009 5 0 0 25 0 1 0 848573616 13053952 1771 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1771 566 18 0 3169 0 vsize: 12748 [startup+890.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1798 0 0 0 89009 5 0 0 25 0 1 0 848573616 13053952 1772 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3187 1772 566 18 0 3169 0 vsize: 12748 [startup+900.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1840 0 0 0 90009 5 0 0 25 0 1 0 848573616 13316096 1814 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3251 1814 566 18 0 3233 0 vsize: 13004 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1896 0 0 0 91010 5 0 0 25 0 1 0 848573616 13578240 1870 4294967295 134512640 134581267 3221224592 3221223536 134559580 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3315 1870 566 18 0 3297 0 vsize: 13260 [startup+920.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1910 0 0 0 92010 5 0 0 25 0 1 0 848573616 13578240 1884 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3315 1884 566 18 0 3297 0 vsize: 13260 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 93010 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 94010 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+950.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 95010 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+960.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 96010 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+970.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 97011 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223520 134519820 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+980.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 98011 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+990.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 99011 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 100011 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223552 134554616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 101011 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 102012 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 103012 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 104012 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1933 0 0 0 105012 5 0 0 25 0 1 0 848573616 13709312 1907 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1907 566 18 0 3329 0 vsize: 13388 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 106012 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223520 134519962 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 107013 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 108013 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223472 134520309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 109013 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 110013 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 111014 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 112014 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 113014 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 114014 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1934 0 0 0 115014 5 0 0 25 0 1 0 848573616 13709312 1908 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1908 566 18 0 3329 0 vsize: 13388 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1945 0 0 0 116014 5 0 0 25 0 1 0 848573616 13709312 1919 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1919 566 18 0 3329 0 vsize: 13388 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1945 0 0 0 117015 5 0 0 25 0 1 0 848573616 13709312 1919 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1919 566 18 0 3329 0 vsize: 13388 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1945 0 0 0 118015 5 0 0 25 0 1 0 848573616 13709312 1919 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1919 566 18 0 3329 0 vsize: 13388 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1945 0 0 0 119015 5 0 0 25 0 1 0 848573616 13709312 1919 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1919 566 18 0 3329 0 vsize: 13388 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21083 Raw data (stat): 21081 (Pueblo-v2) R 21080 31399 31398 0 -1 0 1945 0 0 0 120015 5 0 0 25 0 1 0 848573616 13709312 1919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3347 1919 566 18 0 3329 0 vsize: 13388 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 21083 Raw data (stat): 21081 (Pueblo-v2) Z 21080 31399 31398 0 -1 1036 1945 0 0 0 120015 6 0 0 25 0 1 0 848573616 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.02 CPU time (s): 1200.22 CPU user time (s): 1200.16 CPU system time (s): 0.06399 CPU usage (%): 100.017 Max. virtual memory (Kb): 13388 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####