Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb |
MD5SUM | c1c7537cd9b3e10215a81ec1ca3be5cb |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2605440 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 504 |
Biggest coefficient in the objective function | 148373504 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 3393589600 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 148373504 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 3393589600 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 504 |
Total number of constraints | 34 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 34 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-03 01:16:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27333 boxname=wulflinc5 idbench=1461 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: c1c7537cd9b3e10215a81ec1ca3be5cb /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gr4x6.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gr4x6.opb IDLAUNCH: 27333 /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: 604560 kB Buffers: 31788 kB Cached: 375304 kB SwapCached: 568 kB Active: 32960 kB Inactive: 376120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 604308 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5148 kB Slab: 15288 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-03 01:36:21 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 27333 0 1189.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gr4x6.opb c #variables read: 504 - #constraints read: 45 s SATISFIABLE v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 X0_bit0 X0_bit1 X0_bit2 X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 X2_bit0 -X2_bit1 -X2_bit2 X2_bit3 X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 X4_bit0 -X4_bit1 X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 X7_bit2 X7_bit3 X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 X11_bit0 -X11_bit1 X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 X12_bit2 -X12_bit3 X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 X21_bit0 X21_bit1 X21_bit2 X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 Y0_bit0 -Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_bit0 Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 #### 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.90 0.97 0.93 1/54 15666 Raw data (stat): 15666 (runsolver) R 15665 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854397605 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.0006 s] Raw data (loadavg): 0.91 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 432 0 0 0 996 3 0 0 25 0 1 0 854397605 7368704 406 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1799 406 566 18 0 1781 0 vsize: 7196 [startup+20 s] Raw data (loadavg): 0.93 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 436 0 0 0 1993 5 0 0 25 0 1 0 854397605 7368704 410 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1799 410 566 18 0 1781 0 vsize: 7196 [startup+30.0011 s] Raw data (loadavg): 0.94 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 484 0 0 0 2990 9 0 0 25 0 1 0 854397605 7634944 458 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 458 566 18 0 1846 0 vsize: 7456 [startup+40.0008 s] Raw data (loadavg): 0.95 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 484 0 0 0 3987 12 0 0 25 0 1 0 854397605 7634944 458 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 458 566 18 0 1846 0 vsize: 7456 [startup+50.0013 s] Raw data (loadavg): 0.95 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 484 0 0 0 4983 16 0 0 25 0 1 0 854397605 7634944 458 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 458 566 18 0 1846 0 vsize: 7456 [startup+60.0013 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 490 0 0 0 5980 19 0 0 25 0 1 0 854397605 7634944 464 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 464 566 18 0 1846 0 vsize: 7456 [startup+70.001 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 490 0 0 0 6975 24 0 0 25 0 1 0 854397605 7634944 464 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 464 566 18 0 1846 0 vsize: 7456 [startup+80.0015 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 490 0 0 0 7972 28 0 0 25 0 1 0 854397605 7634944 464 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 464 566 18 0 1846 0 vsize: 7456 [startup+90.0016 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 490 0 0 0 8967 32 0 0 25 0 1 0 854397605 7634944 464 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 464 566 18 0 1846 0 vsize: 7456 [startup+100.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 501 0 0 0 9963 37 0 0 25 0 1 0 854397605 7634944 475 4294967295 134512640 134581267 3221224576 3221223256 1075288181 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 475 566 18 0 1846 0 vsize: 7456 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 501 0 0 0 10959 41 0 0 25 0 1 0 854397605 7634944 475 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 475 566 18 0 1846 0 vsize: 7456 [startup+120.003 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 501 0 0 0 11955 45 0 0 25 0 1 0 854397605 7634944 475 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1864 475 566 18 0 1846 0 vsize: 7456 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 12952 48 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 13948 52 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 14944 57 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 15942 59 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223008 134566244 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 16939 62 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 17936 66 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 18932 70 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 19929 73 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 519 0 0 0 20924 78 0 0 25 0 1 0 854397605 7737344 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 493 566 18 0 1871 0 vsize: 7556 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 538 0 0 0 21921 82 0 0 25 0 1 0 854397605 7860224 512 4294967295 134512640 134581267 3221224576 3221223440 134527095 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1919 512 566 18 0 1901 0 vsize: 7676 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 538 0 0 0 22916 87 0 0 25 0 1 0 854397605 7835648 512 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 512 566 18 0 1895 0 vsize: 7652 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 538 0 0 0 23911 92 0 0 25 0 1 0 854397605 7835648 512 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 512 566 18 0 1895 0 vsize: 7652 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 548 0 0 0 24908 95 0 0 25 0 1 0 854397605 7835648 522 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 522 566 18 0 1895 0 vsize: 7652 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 548 0 0 0 25904 100 0 0 25 0 1 0 854397605 7835648 522 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 522 566 18 0 1895 0 vsize: 7652 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 548 0 0 0 26900 103 0 0 25 0 1 0 854397605 7835648 522 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 522 566 18 0 1895 0 vsize: 7652 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 27897 106 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 28894 110 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 29889 115 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 30885 120 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 31879 125 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 32875 130 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 555 0 0 0 33872 133 0 0 25 0 1 0 854397605 7835648 529 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1913 529 566 18 0 1895 0 vsize: 7652 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 34869 136 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 35864 142 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 36859 146 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 37856 150 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 38852 154 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 39850 157 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 40846 160 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 558 0 0 0 41842 164 0 0 25 0 1 0 854397605 7905280 532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1930 532 566 18 0 1912 0 vsize: 7720 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 42839 167 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 43836 170 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 44831 176 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 45827 180 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 46823 185 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223488 134527554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 47818 190 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 48813 195 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 49809 199 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 50807 201 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 51804 204 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 52801 208 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 53796 212 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223520 134558904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 575 0 0 0 54794 216 0 0 25 0 1 0 854397605 7979008 549 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 549 566 18 0 1930 0 vsize: 7792 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 55790 219 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 56786 224 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 57779 231 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 58777 233 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 59773 237 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 591 0 0 0 60770 240 0 0 25 0 1 0 854397605 7979008 565 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1948 565 566 18 0 1930 0 vsize: 7792 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 61767 244 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 62764 247 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 63761 249 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 64756 255 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 65752 259 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 66748 263 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 67744 267 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223544 134527273 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 68741 271 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223264 1075288251 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 69737 275 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+710.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 70733 279 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 71728 284 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 72725 287 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 73723 290 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 74720 293 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+760.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 75716 297 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 76714 299 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 77710 303 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 78708 305 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 79706 308 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 80704 311 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 81701 313 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 82698 316 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+840.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 83697 318 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+850.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 84695 320 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 85691 324 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 86687 328 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+880.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 87683 333 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 88678 338 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 89673 343 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 90668 348 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 91665 352 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 92660 356 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 93656 360 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 94651 365 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 95647 370 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 96644 373 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 593 0 0 0 97642 376 0 0 25 0 1 0 854397605 8085504 567 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 567 566 18 0 1956 0 vsize: 7896 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 98640 378 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 99635 383 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 100631 387 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 101628 391 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 102624 395 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 103621 399 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 104617 403 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 105613 407 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 106609 411 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 107606 414 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 108603 417 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 109598 423 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 110592 429 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 111588 433 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 112583 438 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 113578 444 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 114572 450 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 115567 455 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 597 0 0 0 116564 458 0 0 25 0 1 0 854397605 8085504 571 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 571 566 18 0 1956 0 vsize: 7896 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 602 0 0 0 117561 462 0 0 25 0 1 0 854397605 8085504 576 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 576 566 18 0 1956 0 vsize: 7896 [startup+1188.81 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 15666 Raw data (stat): 15666 (Pueblo-v2) R 15665 7266 7265 0 -1 0 602 0 0 0 117561 462 0 0 25 0 1 0 854397605 8085504 576 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1974 576 566 18 0 1956 0 vsize: 0 Child status: 10 Real time (s): 1188.81 CPU time (s): 1189.01 CPU user time (s): 1184.33 CPU system time (s): 4.67229 CPU usage (%): 100.016 Max. virtual memory (Kb): 7896 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 2605440 #### END VERIFIER DATA ####