Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb |
MD5SUM | 8be56d63285d7b46f1a8393a6f228d5d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5243135 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8960 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 469761600 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 469761600 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.45 |
Number of variables | 16548 |
Total number of constraints | 11747 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3136 |
Number of constraints which are nor clauses,nor cardinality constraints | 8611 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-03 03:22:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27376 boxname=wulflinc4 idbench=1504 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 8be56d63285d7b46f1a8393a6f228d5d /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos12.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos12.opb IDLAUNCH: 27376 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 555824 kB Buffers: 32224 kB Cached: 423828 kB SwapCached: 568 kB Active: 31440 kB Inactive: 426712 kB HighTotal: 131008 kB HighFree: 51212 kB LowTotal: 903652 kB LowFree: 504612 kB SwapTotal: 2097136 kB SwapFree: 2095660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5316 kB Slab: 14932 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-03 03:42:48 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 27376 7 1200.24 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.95 0.90 2/54 25081 Raw data (stat): 25081 (runsolver) R 25080 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855146009 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0011 s] Raw data (loadavg): 0.88 0.95 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+20.002 s] Raw data (loadavg): 0.89 0.95 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 1989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+30.0025 s] Raw data (loadavg): 0.91 0.95 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 2989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+40.0028 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 3989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+50.0022 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 4989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+60.0021 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 5989 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+70.0023 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 6990 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+80.0032 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 7990 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+90.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 8990 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+100.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3457 0 0 0 9990 10 0 0 25 0 1 0 855146009 20955136 3431 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3431 566 18 0 5098 0 vsize: 20464 [startup+110.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3471 0 0 0 10990 10 0 0 25 0 1 0 855146009 20955136 3445 4294967295 134512640 134581267 3221224576 3221223504 134520099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5116 3445 566 18 0 5098 0 vsize: 20464 [startup+120.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3491 0 0 0 11990 10 0 0 25 0 1 0 855146009 21102592 3465 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3465 566 18 0 5134 0 vsize: 20608 [startup+130.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3496 0 0 0 12991 10 0 0 25 0 1 0 855146009 21102592 3470 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3470 566 18 0 5134 0 vsize: 20608 [startup+140.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3496 0 0 0 13991 10 0 0 25 0 1 0 855146009 21102592 3470 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3470 566 18 0 5134 0 vsize: 20608 [startup+150.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3504 0 0 0 14991 10 0 0 25 0 1 0 855146009 21102592 3478 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3478 566 18 0 5134 0 vsize: 20608 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3506 0 0 0 15991 10 0 0 25 0 1 0 855146009 21102592 3480 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3480 566 18 0 5134 0 vsize: 20608 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3506 0 0 0 16991 10 0 0 25 0 1 0 855146009 21102592 3480 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 3480 566 18 0 5134 0 vsize: 20608 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3576 0 0 0 17991 10 0 0 25 0 1 0 855146009 21401600 3550 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5225 3550 566 18 0 5207 0 vsize: 20900 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3584 0 0 0 18991 10 0 0 25 0 1 0 855146009 21540864 3558 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5259 3558 566 18 0 5241 0 vsize: 21036 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3608 0 0 0 19991 10 0 0 25 0 1 0 855146009 21704704 3582 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5299 3582 566 18 0 5281 0 vsize: 21196 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3608 0 0 0 20992 10 0 0 25 0 1 0 855146009 21704704 3582 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5299 3582 566 18 0 5281 0 vsize: 21196 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3616 0 0 0 21992 10 0 0 25 0 1 0 855146009 21704704 3590 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5299 3590 566 18 0 5281 0 vsize: 21196 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3616 0 0 0 22992 11 0 0 25 0 1 0 855146009 21704704 3590 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5299 3590 566 18 0 5281 0 vsize: 21196 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3616 0 0 0 23992 11 0 0 25 0 1 0 855146009 21704704 3590 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5299 3590 566 18 0 5281 0 vsize: 21196 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3646 0 0 0 24992 11 0 0 25 0 1 0 855146009 21868544 3620 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5339 3620 566 18 0 5321 0 vsize: 21356 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3658 0 0 0 25992 11 0 0 25 0 1 0 855146009 21868544 3632 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5339 3632 566 18 0 5321 0 vsize: 21356 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3691 0 0 0 26992 11 0 0 25 0 1 0 855146009 22032384 3665 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5379 3665 566 18 0 5361 0 vsize: 21516 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3691 0 0 0 27993 11 0 0 25 0 1 0 855146009 22032384 3665 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5379 3665 566 18 0 5361 0 vsize: 21516 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3703 0 0 0 28993 11 0 0 25 0 1 0 855146009 22228992 3677 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5427 3677 566 18 0 5409 0 vsize: 21708 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3749 0 0 0 29993 11 0 0 25 0 1 0 855146009 22360064 3723 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 3723 566 18 0 5441 0 vsize: 21836 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3761 0 0 0 30993 11 0 0 25 0 1 0 855146009 22360064 3735 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 3735 566 18 0 5441 0 vsize: 21836 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3762 0 0 0 31993 11 0 0 25 0 1 0 855146009 22360064 3736 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 3736 566 18 0 5441 0 vsize: 21836 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3762 0 0 0 32993 11 0 0 25 0 1 0 855146009 22360064 3736 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 3736 566 18 0 5441 0 vsize: 21836 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3762 0 0 0 33994 11 0 0 25 0 1 0 855146009 22360064 3736 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 3736 566 18 0 5441 0 vsize: 21836 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3773 0 0 0 34994 11 0 0 25 0 1 0 855146009 22548480 3747 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5505 3747 566 18 0 5487 0 vsize: 22020 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3798 0 0 0 35994 11 0 0 25 0 1 0 855146009 22548480 3772 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5505 3772 566 18 0 5487 0 vsize: 22020 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3798 0 0 0 36994 11 0 0 25 0 1 0 855146009 22548480 3772 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5505 3772 566 18 0 5487 0 vsize: 22020 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3798 0 0 0 37994 11 0 0 25 0 1 0 855146009 22548480 3772 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5505 3772 566 18 0 5487 0 vsize: 22020 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3808 0 0 0 38994 11 0 0 25 0 1 0 855146009 22745088 3782 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3782 566 18 0 5535 0 vsize: 22212 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3809 0 0 0 39995 11 0 0 25 0 1 0 855146009 22745088 3783 4294967295 134512640 134581267 3221224576 3221223536 134516754 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3783 566 18 0 5535 0 vsize: 22212 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3809 0 0 0 40995 11 0 0 25 0 1 0 855146009 22745088 3783 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3783 566 18 0 5535 0 vsize: 22212 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3809 0 0 0 41995 11 0 0 25 0 1 0 855146009 22745088 3783 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3783 566 18 0 5535 0 vsize: 22212 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3818 0 0 0 42995 11 0 0 25 0 1 0 855146009 22745088 3792 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3792 566 18 0 5535 0 vsize: 22212 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3825 0 0 0 43995 11 0 0 25 0 1 0 855146009 22745088 3799 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5553 3799 566 18 0 5535 0 vsize: 22212 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3841 0 0 0 44995 11 0 0 25 0 1 0 855146009 22904832 3815 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5592 3815 566 18 0 5574 0 vsize: 22368 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3841 0 0 0 45995 11 0 0 25 0 1 0 855146009 22904832 3815 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5592 3815 566 18 0 5574 0 vsize: 22368 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3866 0 0 0 46996 11 0 0 25 0 1 0 855146009 22904832 3840 4294967295 134512640 134581267 3221224576 3221223536 134516723 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5592 3840 566 18 0 5574 0 vsize: 22368 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3866 0 0 0 47996 11 0 0 25 0 1 0 855146009 22904832 3840 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5592 3840 566 18 0 5574 0 vsize: 22368 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3907 0 0 0 48996 11 0 0 25 0 1 0 855146009 23166976 3881 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5656 3881 566 18 0 5638 0 vsize: 22624 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3910 0 0 0 49996 11 0 0 25 0 1 0 855146009 23166976 3884 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5656 3884 566 18 0 5638 0 vsize: 22624 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3920 0 0 0 50996 11 0 0 25 0 1 0 855146009 23166976 3894 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5656 3894 566 18 0 5638 0 vsize: 22624 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3920 0 0 0 51996 12 0 0 25 0 1 0 855146009 23166976 3894 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5656 3894 566 18 0 5638 0 vsize: 22624 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3931 0 0 0 52997 12 0 0 25 0 1 0 855146009 23347200 3905 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5700 3905 566 18 0 5682 0 vsize: 22800 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3968 0 0 0 53997 12 0 0 25 0 1 0 855146009 23511040 3942 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3942 566 18 0 5722 0 vsize: 22960 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3968 0 0 0 54996 12 0 0 25 0 1 0 855146009 23511040 3942 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3942 566 18 0 5722 0 vsize: 22960 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3969 0 0 0 55996 12 0 0 25 0 1 0 855146009 23511040 3943 4294967295 134512640 134581267 3221224576 3221223504 134519823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3943 566 18 0 5722 0 vsize: 22960 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3971 0 0 0 56997 12 0 0 25 0 1 0 855146009 23511040 3945 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3945 566 18 0 5722 0 vsize: 22960 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3971 0 0 0 57997 13 0 0 25 0 1 0 855146009 23511040 3945 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3945 566 18 0 5722 0 vsize: 22960 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3971 0 0 0 58997 13 0 0 25 0 1 0 855146009 23511040 3945 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3945 566 18 0 5722 0 vsize: 22960 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3972 0 0 0 59997 13 0 0 25 0 1 0 855146009 23511040 3946 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3946 566 18 0 5722 0 vsize: 22960 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3972 0 0 0 60997 13 0 0 25 0 1 0 855146009 23511040 3946 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3946 566 18 0 5722 0 vsize: 22960 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3973 0 0 0 61997 13 0 0 25 0 1 0 855146009 23511040 3947 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3947 566 18 0 5722 0 vsize: 22960 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 62997 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 63998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 64998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 65998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223536 134516747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 66998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 67998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 68998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 69998 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 70999 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 71999 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3985 0 0 0 72999 13 0 0 25 0 1 0 855146009 23511040 3959 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3959 566 18 0 5722 0 vsize: 22960 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3986 0 0 0 73999 13 0 0 25 0 1 0 855146009 23511040 3960 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3960 566 18 0 5722 0 vsize: 22960 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3987 0 0 0 74999 13 0 0 25 0 1 0 855146009 23511040 3961 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3961 566 18 0 5722 0 vsize: 22960 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3987 0 0 0 76000 13 0 0 25 0 1 0 855146009 23511040 3961 4294967295 134512640 134581267 3221224576 3221223504 134519855 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3961 566 18 0 5722 0 vsize: 22960 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3987 0 0 0 77000 13 0 0 25 0 1 0 855146009 23511040 3961 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3961 566 18 0 5722 0 vsize: 22960 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3988 0 0 0 78000 13 0 0 25 0 1 0 855146009 23511040 3962 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3962 566 18 0 5722 0 vsize: 22960 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3988 0 0 0 79000 13 0 0 25 0 1 0 855146009 23511040 3962 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3962 566 18 0 5722 0 vsize: 22960 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 80000 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+810.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 81000 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+820.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 82001 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 83001 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 84001 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 3997 0 0 0 85001 13 0 0 25 0 1 0 855146009 23511040 3971 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5740 3971 566 18 0 5722 0 vsize: 22960 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4007 0 0 0 86001 13 0 0 25 0 1 0 855146009 23707648 3981 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5788 3981 566 18 0 5770 0 vsize: 23152 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4007 0 0 0 87002 13 0 0 25 0 1 0 855146009 23707648 3981 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5788 3981 566 18 0 5770 0 vsize: 23152 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4008 0 0 0 88002 13 0 0 25 0 1 0 855146009 23707648 3982 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5788 3982 566 18 0 5770 0 vsize: 23152 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4008 0 0 0 89002 14 0 0 25 0 1 0 855146009 23707648 3982 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5788 3982 566 18 0 5770 0 vsize: 23152 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4071 0 0 0 90002 14 0 0 25 0 1 0 855146009 23838720 4045 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5820 4045 566 18 0 5802 0 vsize: 23280 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4075 0 0 0 91002 14 0 0 25 0 1 0 855146009 23982080 4049 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4049 566 18 0 5837 0 vsize: 23420 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4077 0 0 0 92002 14 0 0 25 0 1 0 855146009 23982080 4051 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4051 566 18 0 5837 0 vsize: 23420 [startup+930.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4080 0 0 0 93003 14 0 0 25 0 1 0 855146009 23982080 4054 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4054 566 18 0 5837 0 vsize: 23420 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4095 0 0 0 94003 14 0 0 25 0 1 0 855146009 23982080 4069 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4069 566 18 0 5837 0 vsize: 23420 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4096 0 0 0 95003 14 0 0 25 0 1 0 855146009 23982080 4070 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4070 566 18 0 5837 0 vsize: 23420 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4096 0 0 0 96003 14 0 0 25 0 1 0 855146009 23982080 4070 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4070 566 18 0 5837 0 vsize: 23420 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4096 0 0 0 97003 14 0 0 25 0 1 0 855146009 23982080 4070 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4070 566 18 0 5837 0 vsize: 23420 [startup+980.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4098 0 0 0 98003 14 0 0 25 0 1 0 855146009 23982080 4072 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4072 566 18 0 5837 0 vsize: 23420 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4098 0 0 0 99004 14 0 0 25 0 1 0 855146009 23982080 4072 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5855 4072 566 18 0 5837 0 vsize: 23420 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4116 0 0 0 100004 14 0 0 25 0 1 0 855146009 24129536 4090 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4090 566 18 0 5873 0 vsize: 23564 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4118 0 0 0 101004 14 0 0 25 0 1 0 855146009 24129536 4092 4294967295 134512640 134581267 3221224576 3221223520 134559211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4092 566 18 0 5873 0 vsize: 23564 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4118 0 0 0 102004 14 0 0 25 0 1 0 855146009 24129536 4092 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4092 566 18 0 5873 0 vsize: 23564 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4118 0 0 0 103004 14 0 0 25 0 1 0 855146009 24129536 4092 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4092 566 18 0 5873 0 vsize: 23564 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 104004 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 105005 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 106005 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 107005 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 108005 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 109005 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 110006 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 111006 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 112006 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4130 0 0 0 113006 14 0 0 25 0 1 0 855146009 24129536 4104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4104 566 18 0 5873 0 vsize: 23564 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4131 0 0 0 114006 14 0 0 25 0 1 0 855146009 24129536 4105 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4105 566 18 0 5873 0 vsize: 23564 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4131 0 0 0 115006 15 0 0 25 0 1 0 855146009 24129536 4105 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4105 566 18 0 5873 0 vsize: 23564 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4131 0 0 0 116006 15 0 0 25 0 1 0 855146009 24129536 4105 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5891 4105 566 18 0 5873 0 vsize: 23564 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4136 0 0 0 117006 15 0 0 25 0 1 0 855146009 24293376 4110 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 4110 566 18 0 5913 0 vsize: 23724 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4136 0 0 0 118006 15 0 0 25 0 1 0 855146009 24293376 4110 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 4110 566 18 0 5913 0 vsize: 23724 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4136 0 0 0 119007 15 0 0 25 0 1 0 855146009 24293376 4110 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 4110 566 18 0 5913 0 vsize: 23724 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25081 Raw data (stat): 25081 (Pueblo-v2) R 25080 21152 21151 0 -1 0 4138 0 0 0 120007 15 0 0 25 0 1 0 855146009 24293376 4112 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 4112 566 18 0 5913 0 vsize: 23724 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 25081 Raw data (stat): 25081 (Pueblo-v2) Z 25080 21152 21151 0 -1 1036 4138 0 0 0 120007 16 0 0 25 0 1 0 855146009 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.05 CPU time (s): 1200.24 CPU user time (s): 1200.07 CPU system time (s): 0.163975 CPU usage (%): 100.015 Max. virtual memory (Kb): 23724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####