Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb |
MD5SUM | 389a3363aac4cd4681aed244ad9f1688 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39143259648 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39143259648 |
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.975851 |
Number of variables | 105000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-21 01:11:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19000 boxname=wulflinc31 idbench=1462 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 389a3363aac4cd4681aed244ad9f1688 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb IDLAUNCH: 19000 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 579040 kB Buffers: 34420 kB Cached: 399812 kB SwapCached: 1172 kB Active: 295948 kB Inactive: 140664 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 578788 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5356 kB Slab: 13332 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-21 01:31:50 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 19000 7 1200.28 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 Raw data (loadavg): 0.93 0.97 0.91 2/55 3821 Raw data (stat): 3821 (runsolver) R 3820 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800236479 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.94 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 79408 0 0 0 843 154 0 0 25 0 1 0 800236479 56016896 12069 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13676 12069 566 18 0 13658 0 vsize: 54704 [startup+20.0013 s] Raw data (loadavg): 0.95 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 387694 0 0 0 1299 698 0 0 25 0 1 0 800236479 57638912 12385 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14072 12385 566 18 0 14054 0 vsize: 56288 [startup+30.0012 s] Raw data (loadavg): 0.95 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 558784 0 0 0 1987 1010 0 0 25 0 1 0 800236479 57114624 12392 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13944 12392 566 18 0 13926 0 vsize: 55776 [startup+40.0017 s] Raw data (loadavg): 0.96 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 558784 0 0 0 2987 1010 0 0 25 0 1 0 800236479 57114624 12392 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13944 12392 566 18 0 13926 0 vsize: 55776 [startup+50.0022 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 559226 0 0 0 3985 1012 0 0 25 0 1 0 800236479 58863616 12834 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14371 12834 566 18 0 14353 0 vsize: 57484 [startup+60.0021 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 560083 0 0 0 4981 1016 0 0 25 0 1 0 800236479 62386176 13691 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15231 13691 566 18 0 15213 0 vsize: 60924 [startup+70.0032 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 560970 0 0 0 5979 1018 0 0 25 0 1 0 800236479 65998848 14578 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16113 14578 566 18 0 16095 0 vsize: 64452 [startup+80.0038 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 561846 0 0 0 6976 1021 0 0 25 0 1 0 800236479 69591040 15454 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16990 15454 566 18 0 16972 0 vsize: 67960 [startup+90.0037 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 562736 0 0 0 7974 1024 0 0 25 0 1 0 800236479 73302016 16344 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17896 16344 566 18 0 17878 0 vsize: 71584 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 563625 0 0 0 8971 1027 0 0 25 0 1 0 800236479 76890112 17233 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18772 17233 566 18 0 18754 0 vsize: 75088 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 564477 0 0 0 9966 1032 0 0 25 0 1 0 800236479 80334848 18085 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19613 18085 566 18 0 19595 0 vsize: 78452 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 565370 0 0 0 10963 1035 0 0 25 0 1 0 800236479 84045824 18978 4294967295 134512640 134581331 3221221792 3221220704 134527667 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20519 18978 566 18 0 20501 0 vsize: 82076 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 566260 0 0 0 11959 1038 0 0 25 0 1 0 800236479 87633920 19868 4294967295 134512640 134581331 3221221792 3221220656 134560398 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21395 19868 566 18 0 21377 0 vsize: 85580 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 567144 0 0 0 12955 1043 0 0 25 0 1 0 800236479 91348992 20752 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22302 20752 566 18 0 22284 0 vsize: 89208 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 568016 0 0 0 13953 1045 0 0 25 0 1 0 800236479 94822400 21624 4294967295 134512640 134581331 3221221792 3221220704 134527647 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23150 21624 566 18 0 23132 0 vsize: 92600 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 568892 0 0 0 14951 1047 0 0 25 0 1 0 800236479 98443264 22500 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24034 22500 566 18 0 24016 0 vsize: 96136 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 569784 0 0 0 15948 1051 0 0 25 0 1 0 800236479 102174720 23392 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24945 23392 566 18 0 24927 0 vsize: 99780 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 570669 0 0 0 16945 1053 0 0 25 0 1 0 800236479 105783296 24277 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25826 24277 566 18 0 25808 0 vsize: 103304 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 571552 0 0 0 17942 1056 0 0 25 0 1 0 800236479 109412352 25160 4294967295 134512640 134581331 3221221792 3221220688 134517931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26712 25160 566 18 0 26694 0 vsize: 106848 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 572438 0 0 0 18940 1059 0 0 25 0 1 0 800236479 113045504 26046 4294967295 134512640 134581331 3221221792 3221220736 134558922 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27599 26046 566 18 0 27581 0 vsize: 110396 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 573312 0 0 0 19938 1061 0 0 25 0 1 0 800236479 116559872 26920 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28457 26920 566 18 0 28439 0 vsize: 113828 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 574179 0 0 0 20936 1063 0 0 25 0 1 0 800236479 120193024 27787 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29344 27788 566 18 0 29326 0 vsize: 117376 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 575063 0 0 0 21933 1067 0 0 25 0 1 0 800236479 123707392 28671 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30202 28671 566 18 0 30184 0 vsize: 120808 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 575945 0 0 0 22930 1070 0 0 25 0 1 0 800236479 127361024 29553 4294967295 134512640 134581331 3221221792 3221220656 134528353 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31094 29553 566 18 0 31076 0 vsize: 124376 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 576827 0 0 0 23927 1073 0 0 25 0 1 0 800236479 131014656 30435 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31986 30435 566 18 0 31968 0 vsize: 127944 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 577698 0 0 0 24925 1075 0 0 25 0 1 0 800236479 134549504 31306 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32849 31306 566 18 0 32831 0 vsize: 131396 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 578580 0 0 0 25921 1079 0 0 25 0 1 0 800236479 138092544 32188 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33714 32188 566 18 0 33696 0 vsize: 134856 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 579460 0 0 0 26919 1081 0 0 25 0 1 0 800236479 141770752 33068 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34612 33068 566 18 0 34594 0 vsize: 138448 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 580340 0 0 0 27917 1084 0 0 25 0 1 0 800236479 145317888 33948 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35478 33948 566 18 0 35460 0 vsize: 141912 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 581224 0 0 0 28914 1086 0 0 25 0 1 0 800236479 148975616 34832 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36371 34832 566 18 0 36353 0 vsize: 145484 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 582073 0 0 0 29911 1090 0 0 25 0 1 0 800236479 152518656 35681 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37236 35681 566 18 0 37218 0 vsize: 148944 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 582952 0 0 0 30907 1094 0 0 25 0 1 0 800236479 156053504 36560 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38099 36560 566 18 0 38081 0 vsize: 152396 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 583827 0 0 0 31904 1097 0 0 25 0 1 0 800236479 159715328 37435 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38993 37435 566 18 0 38975 0 vsize: 155972 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 584707 0 0 0 32901 1100 0 0 25 0 1 0 800236479 163246080 38315 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39855 38315 566 18 0 39837 0 vsize: 159420 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 585581 0 0 0 33898 1103 0 0 25 0 1 0 800236479 166903808 39189 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40748 39189 566 18 0 40730 0 vsize: 162992 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 586447 0 0 0 34895 1107 0 0 25 0 1 0 800236479 170434560 40055 4294967295 134512640 134581331 3221221792 3221220480 1075288435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41610 40055 566 18 0 41592 0 vsize: 166440 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 587324 0 0 0 35892 1110 0 0 25 0 1 0 800236479 173961216 40932 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42471 40932 566 18 0 42453 0 vsize: 169884 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 588196 0 0 0 36889 1113 0 0 25 0 1 0 800236479 177610752 41804 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43362 41804 566 18 0 43344 0 vsize: 173448 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 589067 0 0 0 37886 1116 0 0 25 0 1 0 800236479 181133312 42675 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44222 42675 566 18 0 44204 0 vsize: 176888 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 589943 0 0 0 38883 1119 0 0 25 0 1 0 800236479 184774656 43551 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45111 43551 566 18 0 45093 0 vsize: 180444 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 590805 0 0 0 39880 1122 0 0 25 0 1 0 800236479 188289024 44413 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45969 44413 566 18 0 45951 0 vsize: 183876 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 591678 0 0 0 40878 1124 0 0 25 0 1 0 800236479 191803392 45286 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46827 45286 566 18 0 46809 0 vsize: 187308 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 592546 0 0 0 41875 1128 0 0 25 0 1 0 800236479 195432448 46154 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47713 46154 566 18 0 47695 0 vsize: 190852 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 593417 0 0 0 42874 1129 0 0 25 0 1 0 800236479 198938624 47025 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48569 47025 566 18 0 48551 0 vsize: 194276 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 594258 0 0 0 43870 1133 0 0 25 0 1 0 800236479 202440704 47866 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49424 47866 566 18 0 49406 0 vsize: 197696 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 595131 0 0 0 44867 1136 0 0 25 0 1 0 800236479 205942784 48739 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50279 48739 566 18 0 50261 0 vsize: 201116 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 595999 0 0 0 45865 1139 0 0 25 0 1 0 800236479 209567744 49607 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51164 49607 566 18 0 51146 0 vsize: 204656 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 596866 0 0 0 46862 1142 0 0 25 0 1 0 800236479 213065728 50474 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52018 50474 566 18 0 52000 0 vsize: 208072 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 597734 0 0 0 47860 1144 0 0 25 0 1 0 800236479 216551424 51342 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52869 51342 566 18 0 52851 0 vsize: 211476 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 598592 0 0 0 48856 1148 0 0 25 0 1 0 800236479 220164096 52200 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53751 52200 566 18 0 53733 0 vsize: 215004 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 599459 0 0 0 49854 1150 0 0 25 0 1 0 800236479 223657984 53067 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54604 53067 566 18 0 54586 0 vsize: 218416 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 600322 0 0 0 50851 1153 0 0 25 0 1 0 800236479 227143680 53930 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55455 53930 566 18 0 55437 0 vsize: 221820 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 601188 0 0 0 51849 1156 0 0 25 0 1 0 800236479 230756352 54796 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56337 54796 566 18 0 56319 0 vsize: 225348 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 602053 0 0 0 52845 1160 0 0 25 0 1 0 800236479 234262528 55661 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 57193 55661 566 18 0 57175 0 vsize: 228772 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 602905 0 0 0 53842 1163 0 0 25 0 1 0 800236479 237768704 56513 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58049 56513 566 18 0 58031 0 vsize: 232196 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603769 0 0 0 54840 1165 0 0 25 0 1 0 800236479 241397760 57377 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58935 57377 566 18 0 58917 0 vsize: 235740 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 55840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220576 134528785 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 56840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 57840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 58840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 59840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 60841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 61841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 62841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+650.019 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 63841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+660.019 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 64841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+670.02 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 65841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+680.02 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 66841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+690.021 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 67840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+700.021 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 68840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220428 1075288589 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+710.021 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 69840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+720.021 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 70841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+730.021 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 71841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+740.021 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 72841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+750.021 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 73841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+760.021 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 74841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220488 1075291317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+770.022 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 75842 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+780.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 76842 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+790.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 77842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+800.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 78842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+810.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 79842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+820.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 80842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+830.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 81842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+840.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 82842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+850.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 83843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+860.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 84843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+870.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 85843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+880.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 86843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+890.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 87843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+900.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 88843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+910.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 89844 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+920.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 90844 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59026 57465 566 18 0 59008 0 vsize: 236104 [startup+930.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 91844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+940.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 92844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+950.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 93844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+960.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 94844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+970.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 95844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+980.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 96845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220724 1075290409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+990.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 97845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527658 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 98845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 99845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 100845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 101845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 102845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 103846 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 104846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 105846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 106846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 107846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 108847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 109847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 110847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 111847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 112847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 113847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 114848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 115848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 116848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 117848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3821 Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 118848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58706 57151 566 18 0 58688 0 vsize: 234824 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.15 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 3821 Raw data (stat): 3821 (Pueblo) Z 3820 7876 7672 0 -1 1036 603857 0 0 0 118848 1178 0 0 25 0 1 0 800236479 0 0 4294967295 0 0 0 0 0 0 0 1 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.15 CPU time (s): 1200.28 CPU user time (s): 1188.49 CPU system time (s): 11.7892 CPU usage (%): 100.011 Max. virtual memory (Kb): 236104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####