Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb |
MD5SUM | 28123830d5f7e3646d18978bb347487c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 9505 |
Biggest coefficient in the objective function | 697303040 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 66656504525 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 697303040 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 66656504525 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.085986 |
Number of variables | 9535 |
Total number of constraints | 365 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 280 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-02 23:42:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27279 boxname=wulflinc2 idbench=1407 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 28123830d5f7e3646d18978bb347487c /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dcmulti.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dcmulti.opb IDLAUNCH: 27279 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 421840 kB Buffers: 30884 kB Cached: 559692 kB SwapCached: 1160 kB Active: 42292 kB Inactive: 550784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 421588 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14124 kB Committed_AS: 71776 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-03 00:02:41 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 27279 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.91 2/54 1042 Raw data (stat): 1042 (runsolver) R 1041 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853837745 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.0014 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 2025 0 0 0 994 4 0 0 25 0 1 0 853837745 14213120 1999 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3470 1999 566 18 0 3452 0 vsize: 13880 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 2041 0 0 0 1994 4 0 0 25 0 1 0 853837745 14348288 2015 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3503 2015 566 18 0 3485 0 vsize: 14012 [startup+30.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 2135 0 0 0 2994 5 0 0 25 0 1 0 853837745 14712832 2109 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3592 2109 566 18 0 3574 0 vsize: 14368 [startup+40.0018 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 2588 0 0 0 3992 6 0 0 25 0 1 0 853837745 16543744 2562 4294967295 134512640 134581267 3221224576 3221223228 1075289077 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4039 2562 566 18 0 4021 0 vsize: 16156 [startup+50.0018 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 2889 0 0 0 4992 7 0 0 25 0 1 0 853837745 17788928 2863 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4343 2863 566 18 0 4325 0 vsize: 17372 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3076 0 0 0 5992 7 0 0 25 0 1 0 853837745 18571264 3050 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4534 3050 566 18 0 4516 0 vsize: 18136 [startup+70.0035 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3076 0 0 0 6993 7 0 0 25 0 1 0 853837745 18550784 3050 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4529 3050 566 18 0 4511 0 vsize: 18116 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3076 0 0 0 7993 7 0 0 25 0 1 0 853837745 18546688 3050 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4528 3050 566 18 0 4510 0 vsize: 18112 [startup+90.0036 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3076 0 0 0 8993 7 0 0 25 0 1 0 853837745 18534400 3050 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4525 3050 566 18 0 4507 0 vsize: 18100 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3216 0 0 0 9993 7 0 0 25 0 1 0 853837745 19189760 3190 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4685 3190 566 18 0 4667 0 vsize: 18740 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3400 0 0 0 10993 8 0 0 25 0 1 0 853837745 19845120 3374 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4845 3374 566 18 0 4827 0 vsize: 19380 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3408 0 0 0 11993 8 0 0 25 0 1 0 853837745 19968000 3382 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4875 3382 566 18 0 4857 0 vsize: 19500 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3412 0 0 0 12993 8 0 0 25 0 1 0 853837745 19968000 3386 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4875 3386 566 18 0 4857 0 vsize: 19500 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3496 0 0 0 13993 8 0 0 25 0 1 0 853837745 20209664 3470 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4934 3470 566 18 0 4916 0 vsize: 19736 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3810 0 0 0 14993 8 0 0 25 0 1 0 853837745 21512192 3784 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5252 3784 566 18 0 5234 0 vsize: 21008 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3862 0 0 0 15993 9 0 0 25 0 1 0 853837745 21782528 3836 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3836 566 18 0 5300 0 vsize: 21272 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 16993 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 17993 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 18993 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 19993 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 20994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 21994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 22994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 23994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 24994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3870 0 0 0 25994 9 0 0 25 0 1 0 853837745 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3844 566 18 0 5300 0 vsize: 21272 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3871 0 0 0 26994 9 0 0 25 0 1 0 853837745 21782528 3845 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3845 566 18 0 5300 0 vsize: 21272 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3871 0 0 0 27995 9 0 0 25 0 1 0 853837745 21782528 3845 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3845 566 18 0 5300 0 vsize: 21272 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3871 0 0 0 28995 9 0 0 25 0 1 0 853837745 21782528 3845 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5318 3845 566 18 0 5300 0 vsize: 21272 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 3901 0 0 0 29995 9 0 0 25 0 1 0 853837745 21913600 3875 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5350 3875 566 18 0 5332 0 vsize: 21400 [startup+310.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4044 0 0 0 30995 9 0 0 25 0 1 0 853837745 22573056 4018 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5511 4018 566 18 0 5493 0 vsize: 22044 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4240 0 0 0 31995 9 0 0 25 0 1 0 853837745 23363584 4214 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5704 4214 566 18 0 5686 0 vsize: 22816 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 32994 10 0 0 25 0 1 0 853837745 24698880 4538 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6030 4538 566 18 0 6012 0 vsize: 24120 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 33994 10 0 0 25 0 1 0 853837745 24690688 4538 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6028 4538 566 18 0 6010 0 vsize: 24112 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 34994 10 0 0 25 0 1 0 853837745 24678400 4538 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6025 4538 566 18 0 6007 0 vsize: 24100 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 35995 10 0 0 25 0 1 0 853837745 24678400 4538 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6025 4538 566 18 0 6007 0 vsize: 24100 [startup+370.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 36995 10 0 0 25 0 1 0 853837745 24678400 4538 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6025 4538 566 18 0 6007 0 vsize: 24100 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 37995 10 0 0 25 0 1 0 853837745 24678400 4538 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6025 4538 566 18 0 6007 0 vsize: 24100 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 38995 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 39995 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 40995 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 41996 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 42996 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4564 0 0 0 43996 10 0 0 25 0 1 0 853837745 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5982 4520 566 18 0 5964 0 vsize: 23928 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 44996 10 0 0 25 0 1 0 853837745 25169920 4660 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6145 4660 566 18 0 6127 0 vsize: 24580 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 45996 10 0 0 25 0 1 0 853837745 25169920 4660 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6145 4660 566 18 0 6127 0 vsize: 24580 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 46996 10 0 0 25 0 1 0 853837745 25157632 4660 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6142 4660 566 18 0 6124 0 vsize: 24568 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 47996 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 48997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 49997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 50997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+520.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 51997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+530.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 52997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+540.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 53997 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+550.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4704 0 0 0 54998 10 0 0 25 0 1 0 853837745 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6061 4599 566 18 0 6043 0 vsize: 24244 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4816 0 0 0 55997 11 0 0 25 0 1 0 853837745 25354240 4711 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6190 4711 566 18 0 6172 0 vsize: 24760 [startup+570.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 56998 11 0 0 25 0 1 0 853837745 25747456 4793 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6286 4793 566 18 0 6268 0 vsize: 25144 [startup+580.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 57998 11 0 0 25 0 1 0 853837745 25747456 4793 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6286 4793 566 18 0 6268 0 vsize: 25144 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 58998 11 0 0 25 0 1 0 853837745 25743360 4793 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6285 4793 566 18 0 6267 0 vsize: 25140 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 59998 11 0 0 25 0 1 0 853837745 25718784 4793 4294967295 134512640 134581267 3221224576 3221223324 1075285250 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6279 4793 566 18 0 6261 0 vsize: 25116 [startup+610.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 60998 11 0 0 25 0 1 0 853837745 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6278 4793 566 18 0 6260 0 vsize: 25112 [startup+620.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 61998 11 0 0 25 0 1 0 853837745 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6278 4793 566 18 0 6260 0 vsize: 25112 [startup+630.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 62999 11 0 0 25 0 1 0 853837745 25714688 4793 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6278 4793 566 18 0 6260 0 vsize: 25112 [startup+640.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 63999 11 0 0 25 0 1 0 853837745 25714688 4793 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6278 4793 566 18 0 6260 0 vsize: 25112 [startup+650.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 64999 11 0 0 25 0 1 0 853837745 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6278 4793 566 18 0 6260 0 vsize: 25112 [startup+660.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 65999 11 0 0 25 0 1 0 853837745 25710592 4793 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6277 4793 566 18 0 6259 0 vsize: 25108 [startup+670.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 67000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+680.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 68000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+690.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 69000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+700.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 70000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+710.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 71000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+720.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 72000 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+730.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 73001 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 4898 0 0 0 74001 11 0 0 25 0 1 0 853837745 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6268 4793 566 18 0 6250 0 vsize: 25072 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5185 0 0 0 75000 11 0 0 25 0 1 0 853837745 26836992 5080 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6552 5080 566 18 0 6534 0 vsize: 26208 [startup+760.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 76000 11 0 0 25 0 1 0 853837745 27500544 5230 4294967295 134512640 134581267 3221224576 3221223552 134560782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6714 5230 566 18 0 6696 0 vsize: 26856 [startup+770.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 77000 11 0 0 25 0 1 0 853837745 27500544 5230 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6714 5230 566 18 0 6696 0 vsize: 26856 [startup+780.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 78001 11 0 0 25 0 1 0 853837745 27500544 5230 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6714 5230 566 18 0 6696 0 vsize: 26856 [startup+790.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 79001 11 0 0 25 0 1 0 853837745 27459584 5230 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6704 5230 566 18 0 6686 0 vsize: 26816 [startup+800.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 80001 11 0 0 25 0 1 0 853837745 27455488 5230 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5230 566 18 0 6685 0 vsize: 26812 [startup+810.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 81001 11 0 0 25 0 1 0 853837745 27455488 5230 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5230 566 18 0 6685 0 vsize: 26812 [startup+820.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5335 0 0 0 82001 11 0 0 25 0 1 0 853837745 27455488 5230 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5230 566 18 0 6685 0 vsize: 26812 [startup+830.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 83001 11 0 0 25 0 1 0 853837745 27717632 5286 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6767 5286 566 18 0 6749 0 vsize: 27068 [startup+840.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 84002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+850.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 85002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+860.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 86002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+870.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 87002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223292 1075289104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+880.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 88002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+890.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 89002 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+900.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 90003 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+910.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 91003 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+920.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5391 0 0 0 92003 11 0 0 25 0 1 0 853837745 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5241 566 18 0 6685 0 vsize: 26812 [startup+930.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 93003 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+940.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 94003 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+950.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 95003 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+960.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 96003 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+970.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 97003 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+980.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 98004 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223212 1075289350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+990.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 99004 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 100004 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223440 134560389 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 101004 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527676 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 102004 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 103005 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1042 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 104005 12 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 104995 22 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 105995 22 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 5540 0 0 0 106995 22 0 0 25 0 1 0 853837745 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5390 566 18 0 6846 0 vsize: 27456 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6037 0 0 0 107994 23 0 0 25 0 1 0 853837745 30113792 5887 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7352 5888 566 18 0 7334 0 vsize: 29408 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6406 0 0 0 108993 24 0 0 25 0 1 0 853837745 31707136 6256 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7741 6256 566 18 0 7723 0 vsize: 30964 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6455 0 0 0 109993 24 0 0 25 0 1 0 853837745 31834112 6305 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7772 6305 566 18 0 7754 0 vsize: 31088 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1095 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 110993 24 0 0 25 0 1 0 853837745 31965184 6311 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7804 6311 566 18 0 7786 0 vsize: 31216 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 111993 24 0 0 25 0 1 0 853837745 31952896 6311 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7801 6311 566 18 0 7783 0 vsize: 31204 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 112994 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 113994 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 114994 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 115994 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223520 134558863 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 116995 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 117995 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 118995 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1097 Raw data (stat): 1042 (Pueblo-v2) R 1041 31399 31398 0 -1 0 6461 0 0 0 119995 24 0 0 25 0 1 0 853837745 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7707 6245 566 18 0 7689 0 vsize: 30828 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 1097 Raw data (stat): 1042 (Pueblo-v2) Z 1041 31399 31398 0 -1 1036 6461 0 0 0 119995 25 0 0 25 0 1 0 853837745 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.02 CPU time (s): 1200.22 CPU user time (s): 1199.96 CPU system time (s): 0.25896 CPU usage (%): 100.016 Max. virtual memory (Kb): 31216 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####