Name | normalized-opb/submitted/een/normalized-p0548.opb |
MD5SUM | 422c0da7d5380a26c4dac413428db5c9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14670 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.14 |
Number of variables | 527 |
Total number of constraints | 156 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 134 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-02 15:28:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26673 boxname=wulflinc6 idbench=403 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 422c0da7d5380a26c4dac413428db5c9 /oldhome/oroussel/tmp/wulflinc6/normalized-p0548.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-p0548.opb IDLAUNCH: 26673 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 733348 kB Buffers: 33688 kB Cached: 246600 kB SwapCached: 552 kB Active: 56628 kB Inactive: 225744 kB HighTotal: 131008 kB HighFree: 4144 kB LowTotal: 903652 kB LowFree: 729204 kB SwapTotal: 2097136 kB SwapFree: 2095652 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5192 kB Slab: 13188 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 15:48:51 (client local time) WITH STATUS 0 IN 1200.49 SECONDS stats: 26673 7 1200.49 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.85 0.94 0.91 2/54 17546 Raw data (stat): 17546 (runsolver) R 17545 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850869987 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.87 0.94 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 335 0 0 0 998 0 0 0 25 0 1 0 850869987 6971392 309 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1702 309 566 18 0 1684 0 vsize: 6808 [startup+20.0018 s] Raw data (loadavg): 0.89 0.94 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 341 0 0 0 1999 1 0 0 25 0 1 0 850869987 6971392 315 4294967295 134512640 134581267 3221224592 3221223368 1075291317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1702 315 566 18 0 1684 0 vsize: 6808 [startup+30.003 s] Raw data (loadavg): 0.91 0.94 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 344 0 0 0 2999 1 0 0 25 0 1 0 850869987 7102464 318 4294967295 134512640 134581267 3221224592 3221223280 1075289377 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 318 566 18 0 1716 0 vsize: 6936 [startup+40.0028 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 348 0 0 0 3998 2 0 0 25 0 1 0 850869987 7102464 322 4294967295 134512640 134581267 3221224592 3221223456 134528110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 322 566 18 0 1716 0 vsize: 6936 [startup+50.0043 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 352 0 0 0 4998 2 0 0 25 0 1 0 850869987 7102464 326 4294967295 134512640 134581267 3221224592 3221223368 1075285678 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 326 566 18 0 1716 0 vsize: 6936 [startup+60.0054 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 354 0 0 0 5998 2 0 0 25 0 1 0 850869987 7102464 328 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 328 566 18 0 1716 0 vsize: 6936 [startup+70.0062 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 356 0 0 0 6998 3 0 0 25 0 1 0 850869987 7102464 330 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 330 566 18 0 1716 0 vsize: 6936 [startup+80.0077 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 356 0 0 0 7998 3 0 0 25 0 1 0 850869987 7102464 330 4294967295 134512640 134581267 3221224592 3221223504 134527332 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 330 566 18 0 1716 0 vsize: 6936 [startup+90.0089 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 360 0 0 0 8998 3 0 0 25 0 1 0 850869987 7102464 334 4294967295 134512640 134581267 3221224592 3221223480 134560149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 334 566 18 0 1716 0 vsize: 6936 [startup+100.01 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 361 0 0 0 9998 4 0 0 25 0 1 0 850869987 7102464 335 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 335 566 18 0 1716 0 vsize: 6936 [startup+110.012 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 361 0 0 0 10999 4 0 0 25 0 1 0 850869987 7102464 335 4294967295 134512640 134581267 3221224592 3221223520 134519939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1734 335 566 18 0 1716 0 vsize: 6936 [startup+120.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 361 0 0 0 11999 4 0 0 25 0 1 0 850869987 7102464 335 4294967295 134512640 134581267 3221224592 3221223504 134527554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 335 566 18 0 1716 0 vsize: 6936 [startup+130.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 363 0 0 0 12999 4 0 0 25 0 1 0 850869987 7102464 337 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 337 566 18 0 1716 0 vsize: 6936 [startup+140.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 363 0 0 0 13999 4 0 0 25 0 1 0 850869987 7102464 337 4294967295 134512640 134581267 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 337 566 18 0 1716 0 vsize: 6936 [startup+150.014 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 363 0 0 0 15000 4 0 0 25 0 1 0 850869987 7102464 337 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 337 566 18 0 1716 0 vsize: 6936 [startup+160.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 364 0 0 0 16000 4 0 0 25 0 1 0 850869987 7102464 338 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 338 566 18 0 1716 0 vsize: 6936 [startup+170.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 364 0 0 0 17001 4 0 0 25 0 1 0 850869987 7102464 338 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 338 566 18 0 1716 0 vsize: 6936 [startup+180.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 366 0 0 0 18001 4 0 0 25 0 1 0 850869987 7102464 340 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 340 566 18 0 1716 0 vsize: 6936 [startup+190.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 367 0 0 0 19002 4 0 0 25 0 1 0 850869987 7102464 341 4294967295 134512640 134581267 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 341 566 18 0 1716 0 vsize: 6936 [startup+200.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 367 0 0 0 20002 4 0 0 25 0 1 0 850869987 7102464 341 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 341 566 18 0 1716 0 vsize: 6936 [startup+210.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 368 0 0 0 21002 4 0 0 25 0 1 0 850869987 7102464 342 4294967295 134512640 134581267 3221224592 3221223280 1075288762 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 342 566 18 0 1716 0 vsize: 6936 [startup+220.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 369 0 0 0 22003 4 0 0 25 0 1 0 850869987 7102464 343 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 343 566 18 0 1716 0 vsize: 6936 [startup+230.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 369 0 0 0 23003 4 0 0 25 0 1 0 850869987 7102464 343 4294967295 134512640 134581267 3221224592 3221223696 134562541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 343 566 18 0 1716 0 vsize: 6936 [startup+240.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 372 0 0 0 24004 4 0 0 25 0 1 0 850869987 7102464 346 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 346 566 18 0 1716 0 vsize: 6936 [startup+250.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 372 0 0 0 25004 4 0 0 25 0 1 0 850869987 7102464 346 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 346 566 18 0 1716 0 vsize: 6936 [startup+260.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 372 0 0 0 26004 4 0 0 25 0 1 0 850869987 7102464 346 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 346 566 18 0 1716 0 vsize: 6936 [startup+270.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 372 0 0 0 27005 4 0 0 25 0 1 0 850869987 7102464 346 4294967295 134512640 134581267 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 346 566 18 0 1716 0 vsize: 6936 [startup+280.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 372 0 0 0 28005 4 0 0 25 0 1 0 850869987 7102464 346 4294967295 134512640 134581267 3221224592 3221223368 1075291167 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 346 566 18 0 1716 0 vsize: 6936 [startup+290.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 373 0 0 0 29005 4 0 0 25 0 1 0 850869987 7102464 347 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 347 566 18 0 1716 0 vsize: 6936 [startup+300.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 373 0 0 0 30006 4 0 0 25 0 1 0 850869987 7102464 347 4294967295 134512640 134581267 3221224592 3221223536 134559235 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 347 566 18 0 1716 0 vsize: 6936 [startup+310.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 374 0 0 0 31006 4 0 0 25 0 1 0 850869987 7102464 348 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 348 566 18 0 1716 0 vsize: 6936 [startup+320.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 374 0 0 0 32007 4 0 0 25 0 1 0 850869987 7102464 348 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1734 348 566 18 0 1716 0 vsize: 6936 [startup+330.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 33007 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+340.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 34007 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+350.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 35008 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+360.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 36008 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+370.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 37008 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+380.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 38009 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+390.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 39009 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 40010 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+410.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 41010 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+420.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 375 0 0 0 42011 4 0 0 25 0 1 0 850869987 7229440 349 4294967295 134512640 134581267 3221224592 3221223536 134559264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 349 566 18 0 1747 0 vsize: 7060 [startup+430.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 376 0 0 0 43011 4 0 0 25 0 1 0 850869987 7229440 350 4294967295 134512640 134581267 3221224592 3221223424 134531773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 350 566 18 0 1747 0 vsize: 7060 [startup+440.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 378 0 0 0 44011 4 0 0 25 0 1 0 850869987 7229440 352 4294967295 134512640 134581267 3221224592 3221223488 134517909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 352 566 18 0 1747 0 vsize: 7060 [startup+450.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 379 0 0 0 45012 4 0 0 25 0 1 0 850869987 7229440 353 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 353 566 18 0 1747 0 vsize: 7060 [startup+460.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 46012 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+470.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 47012 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+480.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 48013 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223572 134560749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+490.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 49014 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+500.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 50014 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+510.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 381 0 0 0 51015 4 0 0 25 0 1 0 850869987 7229440 355 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 355 566 18 0 1747 0 vsize: 7060 [startup+520.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 382 0 0 0 52015 4 0 0 25 0 1 0 850869987 7229440 356 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 356 566 18 0 1747 0 vsize: 7060 [startup+530.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 382 0 0 0 53016 4 0 0 25 0 1 0 850869987 7229440 356 4294967295 134512640 134581267 3221224592 3221223472 134520299 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 356 566 18 0 1747 0 vsize: 7060 [startup+540.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 383 0 0 0 54016 4 0 0 25 0 1 0 850869987 7229440 357 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 357 566 18 0 1747 0 vsize: 7060 [startup+550.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 383 0 0 0 55016 4 0 0 25 0 1 0 850869987 7229440 357 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 357 566 18 0 1747 0 vsize: 7060 [startup+560.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 387 0 0 0 56017 4 0 0 25 0 1 0 850869987 7229440 361 4294967295 134512640 134581267 3221224592 3221223536 134559241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 361 566 18 0 1747 0 vsize: 7060 [startup+570.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 387 0 0 0 57017 4 0 0 25 0 1 0 850869987 7229440 361 4294967295 134512640 134581267 3221224592 3221223628 134565053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 361 566 18 0 1747 0 vsize: 7060 [startup+580.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 387 0 0 0 58018 4 0 0 25 0 1 0 850869987 7229440 361 4294967295 134512640 134581267 3221224592 3221223280 1075288754 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 361 566 18 0 1747 0 vsize: 7060 [startup+590.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 59018 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223228 1075288538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+600.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 60018 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+610.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 61019 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+620.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 62019 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+630.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 63019 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+640.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 64020 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223584 134561018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+650.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 65020 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+660.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 388 0 0 0 66020 4 0 0 25 0 1 0 850869987 7229440 362 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 362 566 18 0 1747 0 vsize: 7060 [startup+670.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 389 0 0 0 67021 4 0 0 25 0 1 0 850869987 7229440 363 4294967295 134512640 134581267 3221224592 3221223568 134560643 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 363 566 18 0 1747 0 vsize: 7060 [startup+680.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 68021 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134528053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+690.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 69021 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+700.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 70021 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+710.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 71022 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+720.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 72022 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+730.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 73022 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+740.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 74023 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223384 1075288760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+750.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 75023 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223456 134526909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+760.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 76023 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+770.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 77023 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+780.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 78024 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+790.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 79024 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+800.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 80024 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+810.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 81024 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+820.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 82025 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223536 134558698 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+830.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 83026 4 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+840.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 84027 5 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+850.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 394 0 0 0 85027 5 0 0 25 0 1 0 850869987 7229440 368 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+860.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 398 0 0 0 86027 5 0 0 25 0 1 0 850869987 7229440 372 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 372 566 18 0 1747 0 vsize: 7060 [startup+870.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 399 0 0 0 87028 5 0 0 25 0 1 0 850869987 7229440 373 4294967295 134512640 134581267 3221224592 3221223632 134561498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 373 566 18 0 1747 0 vsize: 7060 [startup+880.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 88028 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+890.103 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 89032 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223508 1075285548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+900.103 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 90033 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223552 134554637 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+910.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 91033 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223364 1075288232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+920.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 92033 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223536 134559264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+930.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 93034 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+940.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 94034 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223488 134517720 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+950.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 403 0 0 0 95034 5 0 0 25 0 1 0 850869987 7229440 377 4294967295 134512640 134581267 3221224592 3221223520 134520080 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+960.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 405 0 0 0 96035 5 0 0 25 0 1 0 850869987 7229440 379 4294967295 134512640 134581267 3221224592 3221223336 1075288232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 379 566 18 0 1747 0 vsize: 7060 [startup+970.101 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 405 0 0 0 97035 5 0 0 25 0 1 0 850869987 7229440 379 4294967295 134512640 134581267 3221224592 3221223564 134527304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 379 566 18 0 1747 0 vsize: 7060 [startup+980.104 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 405 0 0 0 98036 5 0 0 25 0 1 0 850869987 7229440 379 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1765 379 566 18 0 1747 0 vsize: 7060 [startup+990.104 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 99036 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223384 1075288894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1000.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 100036 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223536 134558863 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1010.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 101037 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223536 134558803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1020.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 102037 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1030.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 103037 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1040.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 104038 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1050.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 105038 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1060.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 106038 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1070.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 107039 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1080.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 108039 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1090.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 109039 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1100.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 409 0 0 0 110040 5 0 0 25 0 1 0 850869987 7360512 383 4294967295 134512640 134581267 3221224592 3221223456 134528324 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 383 566 18 0 1779 0 vsize: 7188 [startup+1110.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 111040 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1120.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 112040 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1130.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 113041 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1140.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 114041 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1150.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 115041 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1160.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 116042 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1170.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 117042 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223472 134520328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1180.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 118042 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1190.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 119043 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17546 Raw data (stat): 17546 (Pueblo-v2) R 17545 25568 25567 0 -1 0 411 0 0 0 120043 5 0 0 25 0 1 0 850869987 7360512 385 4294967295 134512640 134581267 3221224592 3221223340 1075285120 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 17546 Raw data (stat): 17546 (Pueblo-v2) Z 17545 25568 25567 0 -1 1036 411 0 0 0 120043 5 0 0 25 0 1 0 850869987 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.11 CPU time (s): 1200.49 CPU user time (s): 1200.44 CPU system time (s): 0.051992 CPU usage (%): 100.032 Max. virtual memory (Kb): 7188 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####