Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb |
MD5SUM | 2678162fff018c2bb73a090ae021ae87 |
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 | 39120920179 |
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 | 39120920179 |
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.973851 |
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-20 20:47:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19078 boxname=wulflinc31 idbench=1468 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 2678162fff018c2bb73a090ae021ae87 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb IDLAUNCH: 19078 /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: 624488 kB Buffers: 32516 kB Cached: 356224 kB SwapCached: 1172 kB Active: 255068 kB Inactive: 136064 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 624236 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5356 kB Slab: 13332 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 21:07:16 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 19078 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.85 0.94 0.92 2/55 2316 Raw data (stat): 2316 (runsolver) R 2315 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798648969 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 0.88 0.94 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 80379 0 0 0 840 157 0 0 25 0 1 0 798648969 56049664 12010 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13684 12019 566 18 0 13666 0 vsize: 54736 [startup+20.0011 s] Raw data (loadavg): 0.89 0.94 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 386887 0 0 0 1295 702 0 0 25 0 1 0 798648969 57679872 12402 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14082 12411 566 18 0 14064 0 vsize: 56328 [startup+30.001 s] Raw data (loadavg): 0.91 0.94 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 1988 1009 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13927 12396 566 18 0 13909 0 vsize: 55708 [startup+40.0023 s] Raw data (loadavg): 0.92 0.94 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 2988 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13927 12396 566 18 0 13909 0 vsize: 55708 [startup+50.0028 s] Raw data (loadavg): 0.93 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 3987 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13927 12396 566 18 0 13909 0 vsize: 55708 [startup+60.0028 s] Raw data (loadavg): 0.94 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 4987 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13927 12396 566 18 0 13909 0 vsize: 55708 [startup+70.0031 s] Raw data (loadavg): 0.95 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 5987 1011 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13927 12396 566 18 0 13909 0 vsize: 55708 [startup+80.0037 s] Raw data (loadavg): 0.96 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559019 0 0 0 6987 1011 0 0 25 0 1 0 798648969 57970688 12627 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14153 12627 566 18 0 14135 0 vsize: 56612 [startup+90.0036 s] Raw data (loadavg): 0.96 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559435 0 0 0 7985 1013 0 0 25 0 1 0 798648969 59723776 13043 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14581 13043 566 18 0 14563 0 vsize: 58324 [startup+100.004 s] Raw data (loadavg): 0.97 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559859 0 0 0 8984 1014 0 0 25 0 1 0 798648969 61476864 13467 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15009 13467 566 18 0 14991 0 vsize: 60036 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 560278 0 0 0 9983 1015 0 0 25 0 1 0 798648969 63119360 13886 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15410 13886 566 18 0 15392 0 vsize: 61640 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 560704 0 0 0 10982 1016 0 0 25 0 1 0 798648969 64884736 14312 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15841 14312 566 18 0 15823 0 vsize: 63364 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561132 0 0 0 11980 1019 0 0 25 0 1 0 798648969 66686976 14740 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16281 14740 566 18 0 16263 0 vsize: 65124 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561558 0 0 0 12978 1021 0 0 25 0 1 0 798648969 68460544 15166 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16714 15166 566 18 0 16696 0 vsize: 66856 [startup+150.005 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561982 0 0 0 13976 1023 0 0 25 0 1 0 798648969 70103040 15590 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17115 15590 566 18 0 17097 0 vsize: 68460 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 562415 0 0 0 14974 1026 0 0 25 0 1 0 798648969 71864320 16023 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17545 16023 566 18 0 17527 0 vsize: 70180 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 562847 0 0 0 15972 1028 0 0 25 0 1 0 798648969 73736192 16455 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18002 16455 566 18 0 17984 0 vsize: 72008 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 563281 0 0 0 16971 1029 0 0 25 0 1 0 798648969 75493376 16889 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18431 16889 566 18 0 18413 0 vsize: 73724 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 563713 0 0 0 17969 1031 0 0 25 0 1 0 798648969 77234176 17321 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18856 17321 566 18 0 18838 0 vsize: 75424 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564143 0 0 0 18968 1032 0 0 25 0 1 0 798648969 78999552 17751 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19287 17751 566 18 0 19269 0 vsize: 77148 [startup+210.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564576 0 0 0 19966 1034 0 0 25 0 1 0 798648969 80752640 18184 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19715 18184 566 18 0 19697 0 vsize: 78860 [startup+220.008 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564751 0 0 0 20965 1035 0 0 25 0 1 0 798648969 81461248 18359 4294967295 134512640 134581331 3221221792 3221220704 134527707 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19888 18359 566 18 0 19870 0 vsize: 79552 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564867 0 0 0 21964 1036 0 0 25 0 1 0 798648969 82034688 18475 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20028 18475 566 18 0 20010 0 vsize: 80112 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564980 0 0 0 22964 1037 0 0 25 0 1 0 798648969 82497536 18588 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20141 18588 566 18 0 20123 0 vsize: 80564 [startup+250.009 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565095 0 0 0 23963 1038 0 0 25 0 1 0 798648969 82956288 18703 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20253 18703 566 18 0 20235 0 vsize: 81012 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565344 0 0 0 24962 1039 0 0 25 0 1 0 798648969 83943424 18952 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20494 18952 566 18 0 20476 0 vsize: 81976 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565590 0 0 0 25961 1041 0 0 25 0 1 0 798648969 84955136 19198 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20741 19198 566 18 0 20723 0 vsize: 82964 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565834 0 0 0 26960 1041 0 0 25 0 1 0 798648969 85929984 19442 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20979 19442 566 18 0 20961 0 vsize: 83916 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566055 0 0 0 27960 1042 0 0 25 0 1 0 798648969 86810624 19663 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21194 19663 566 18 0 21176 0 vsize: 84776 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566281 0 0 0 28959 1043 0 0 25 0 1 0 798648969 87740416 19889 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21421 19889 566 18 0 21403 0 vsize: 85684 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566505 0 0 0 29957 1045 0 0 25 0 1 0 798648969 88715264 20113 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21659 20113 566 18 0 21641 0 vsize: 86636 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566606 0 0 0 30957 1045 0 0 25 0 1 0 798648969 89075712 20214 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21747 20214 566 18 0 21729 0 vsize: 86988 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566841 0 0 0 31957 1046 0 0 25 0 1 0 798648969 90054656 20449 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21986 20449 566 18 0 21968 0 vsize: 87944 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567075 0 0 0 32957 1046 0 0 25 0 1 0 798648969 91025408 20683 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22223 20683 566 18 0 22205 0 vsize: 88892 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567284 0 0 0 33956 1047 0 0 25 0 1 0 798648969 91881472 20892 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22432 20892 566 18 0 22414 0 vsize: 89728 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567606 0 0 0 34955 1048 0 0 25 0 1 0 798648969 93130752 21214 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22737 21214 566 18 0 22719 0 vsize: 90948 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567932 0 0 0 35954 1049 0 0 25 0 1 0 798648969 94494720 21540 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23070 21540 566 18 0 23052 0 vsize: 92280 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568134 0 0 0 36953 1050 0 0 25 0 1 0 798648969 95367168 21742 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23283 21742 566 18 0 23265 0 vsize: 93132 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568323 0 0 0 37953 1051 0 0 25 0 1 0 798648969 96088064 21931 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23459 21931 566 18 0 23441 0 vsize: 93836 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568608 0 0 0 38952 1052 0 0 25 0 1 0 798648969 97280000 22216 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23750 22216 566 18 0 23732 0 vsize: 95000 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568924 0 0 0 39951 1053 0 0 25 0 1 0 798648969 98627584 22532 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24079 22532 566 18 0 24061 0 vsize: 96316 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569215 0 0 0 40950 1054 0 0 25 0 1 0 798648969 99823616 22823 4294967295 134512640 134581331 3221221792 3221220656 134527042 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24371 22823 566 18 0 24353 0 vsize: 97484 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569487 0 0 0 41949 1055 0 0 25 0 1 0 798648969 100855808 23095 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24623 23095 566 18 0 24605 0 vsize: 98492 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569762 0 0 0 42949 1056 0 0 25 0 1 0 798648969 102055936 23370 4294967295 134512640 134581331 3221221792 3221220704 134527737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24916 23370 566 18 0 24898 0 vsize: 99664 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570045 0 0 0 43948 1056 0 0 25 0 1 0 798648969 103165952 23653 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25187 23653 566 18 0 25169 0 vsize: 100748 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570293 0 0 0 44948 1057 0 0 25 0 1 0 798648969 104124416 23901 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25421 23901 566 18 0 25403 0 vsize: 101684 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570539 0 0 0 45947 1058 0 0 25 0 1 0 798648969 105222144 24147 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25689 24147 566 18 0 25671 0 vsize: 102756 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570821 0 0 0 46946 1060 0 0 25 0 1 0 798648969 106332160 24429 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25960 24429 566 18 0 25942 0 vsize: 103840 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571043 0 0 0 47945 1061 0 0 25 0 1 0 798648969 107307008 24651 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26198 24651 566 18 0 26180 0 vsize: 104792 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571284 0 0 0 48944 1062 0 0 25 0 1 0 798648969 108244992 24892 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26427 24892 566 18 0 26409 0 vsize: 105708 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571525 0 0 0 49943 1062 0 0 25 0 1 0 798648969 109215744 25133 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26664 25133 566 18 0 26646 0 vsize: 106656 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571783 0 0 0 50942 1063 0 0 25 0 1 0 798648969 110301184 25391 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26929 25391 566 18 0 26911 0 vsize: 107716 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571960 0 0 0 51941 1064 0 0 25 0 1 0 798648969 111132672 25568 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27132 25568 566 18 0 27114 0 vsize: 108528 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572098 0 0 0 52941 1065 0 0 25 0 1 0 798648969 111616000 25706 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27250 25706 566 18 0 27232 0 vsize: 109000 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572204 0 0 0 53941 1065 0 0 25 0 1 0 798648969 112087040 25812 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27365 25812 566 18 0 27347 0 vsize: 109460 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572715 0 0 0 54940 1066 0 0 25 0 1 0 798648969 114196480 26323 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27880 26323 566 18 0 27862 0 vsize: 111520 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572984 0 0 0 55939 1067 0 0 25 0 1 0 798648969 115253248 26592 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28138 26592 566 18 0 28120 0 vsize: 112552 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573257 0 0 0 56938 1069 0 0 25 0 1 0 798648969 116379648 26865 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28413 26865 566 18 0 28395 0 vsize: 113652 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573459 0 0 0 57937 1069 0 0 25 0 1 0 798648969 117239808 27067 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28623 27067 566 18 0 28605 0 vsize: 114492 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573668 0 0 0 58937 1070 0 0 25 0 1 0 798648969 118083584 27276 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28829 27276 566 18 0 28811 0 vsize: 115316 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573838 0 0 0 59936 1071 0 0 25 0 1 0 798648969 118804480 27446 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29005 27446 566 18 0 28987 0 vsize: 116020 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573986 0 0 0 60936 1071 0 0 25 0 1 0 798648969 119386112 27594 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29147 27594 566 18 0 29129 0 vsize: 116588 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574146 0 0 0 61935 1072 0 0 25 0 1 0 798648969 119959552 27754 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29287 27754 566 18 0 29269 0 vsize: 117148 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574303 0 0 0 62935 1072 0 0 25 0 1 0 798648969 120668160 27911 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29460 27911 566 18 0 29442 0 vsize: 117840 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574463 0 0 0 63935 1073 0 0 25 0 1 0 798648969 121257984 28071 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29604 28071 566 18 0 29586 0 vsize: 118416 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574612 0 0 0 64935 1073 0 0 25 0 1 0 798648969 121970688 28220 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29778 28220 566 18 0 29760 0 vsize: 119112 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574771 0 0 0 65935 1074 0 0 25 0 1 0 798648969 122580992 28379 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29927 28379 566 18 0 29909 0 vsize: 119708 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574914 0 0 0 66934 1074 0 0 25 0 1 0 798648969 123195392 28522 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30077 28522 566 18 0 30059 0 vsize: 120308 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575076 0 0 0 67934 1075 0 0 25 0 1 0 798648969 123813888 28684 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30228 28684 566 18 0 30210 0 vsize: 120912 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575228 0 0 0 68933 1075 0 0 25 0 1 0 798648969 124440576 28836 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30381 28836 566 18 0 30363 0 vsize: 121524 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575351 0 0 0 69933 1076 0 0 25 0 1 0 798648969 124923904 28959 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30499 28959 566 18 0 30481 0 vsize: 121996 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575487 0 0 0 70932 1077 0 0 25 0 1 0 798648969 125505536 29095 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30641 29095 566 18 0 30623 0 vsize: 122564 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575623 0 0 0 71932 1077 0 0 25 0 1 0 798648969 126099456 29231 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30786 29231 566 18 0 30768 0 vsize: 123144 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575793 0 0 0 72931 1078 0 0 25 0 1 0 798648969 126701568 29401 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30933 29401 566 18 0 30915 0 vsize: 123732 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575924 0 0 0 73931 1079 0 0 25 0 1 0 798648969 127283200 29532 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31075 29532 566 18 0 31057 0 vsize: 124300 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2316 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576047 0 0 0 74930 1079 0 0 25 0 1 0 798648969 127746048 29655 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31188 29655 566 18 0 31170 0 vsize: 124752 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 2317 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576184 0 0 0 75930 1080 0 0 25 0 1 0 798648969 128372736 29792 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31341 29792 566 18 0 31323 0 vsize: 125364 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576299 0 0 0 76929 1080 0 0 25 0 1 0 798648969 128856064 29907 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31459 29907 566 18 0 31441 0 vsize: 125836 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576427 0 0 0 77929 1081 0 0 25 0 1 0 798648969 129351680 30035 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31580 30035 566 18 0 31562 0 vsize: 126320 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576560 0 0 0 78928 1082 0 0 25 0 1 0 798648969 129835008 30168 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31698 30168 566 18 0 31680 0 vsize: 126792 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576692 0 0 0 79928 1082 0 0 25 0 1 0 798648969 130428928 30300 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31843 30300 566 18 0 31825 0 vsize: 127372 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576828 0 0 0 80928 1082 0 0 25 0 1 0 798648969 131026944 30436 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31989 30436 566 18 0 31971 0 vsize: 127956 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576958 0 0 0 81928 1083 0 0 25 0 1 0 798648969 131506176 30566 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32106 30566 566 18 0 32088 0 vsize: 128424 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2369 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577083 0 0 0 82927 1084 0 0 25 0 1 0 798648969 131981312 30691 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32222 30691 566 18 0 32204 0 vsize: 128888 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577211 0 0 0 83927 1084 0 0 25 0 1 0 798648969 132608000 30819 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32375 30819 566 18 0 32357 0 vsize: 129500 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577273 0 0 0 84926 1085 0 0 25 0 1 0 798648969 132857856 30881 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32436 30881 566 18 0 32418 0 vsize: 129744 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577395 0 0 0 85926 1085 0 0 25 0 1 0 798648969 133361664 31003 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32559 31003 566 18 0 32541 0 vsize: 130236 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577493 0 0 0 86926 1086 0 0 25 0 1 0 798648969 133718016 31101 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32646 31101 566 18 0 32628 0 vsize: 130584 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577576 0 0 0 87926 1086 0 0 25 0 1 0 798648969 134090752 31184 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32737 31184 566 18 0 32719 0 vsize: 130948 [startup+900.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577664 0 0 0 88926 1086 0 0 25 0 1 0 798648969 134438912 31272 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32822 31272 566 18 0 32804 0 vsize: 131288 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577746 0 0 0 89926 1086 0 0 25 0 1 0 798648969 134782976 31354 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32906 31354 566 18 0 32888 0 vsize: 131624 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577848 0 0 0 90926 1087 0 0 25 0 1 0 798648969 135151616 31456 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32996 31456 566 18 0 32978 0 vsize: 131984 [startup+930.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577986 0 0 0 91926 1087 0 0 25 0 1 0 798648969 135778304 31594 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33149 31594 566 18 0 33131 0 vsize: 132596 [startup+940.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578120 0 0 0 92925 1088 0 0 25 0 1 0 798648969 136249344 31728 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33264 31728 566 18 0 33246 0 vsize: 133056 [startup+950.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578262 0 0 0 93925 1088 0 0 25 0 1 0 798648969 136847360 31870 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33410 31870 566 18 0 33392 0 vsize: 133640 [startup+960.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578347 0 0 0 94924 1089 0 0 25 0 1 0 798648969 137191424 31955 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33494 31955 566 18 0 33476 0 vsize: 133976 [startup+970.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578479 0 0 0 95925 1089 0 0 25 0 1 0 798648969 137777152 32087 4294967295 134512640 134581331 3221221792 3221220704 134527642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33637 32087 566 18 0 33619 0 vsize: 134548 [startup+980.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578618 0 0 0 96924 1089 0 0 25 0 1 0 798648969 138264576 32226 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33756 32226 566 18 0 33738 0 vsize: 135024 [startup+990.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578894 0 0 0 97924 1090 0 0 25 0 1 0 798648969 139485184 32502 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34054 32502 566 18 0 34036 0 vsize: 136216 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579154 0 0 0 98923 1091 0 0 25 0 1 0 798648969 140521472 32762 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34307 32762 566 18 0 34289 0 vsize: 137228 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579457 0 0 0 99922 1092 0 0 25 0 1 0 798648969 141705216 33065 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34596 33065 566 18 0 34578 0 vsize: 138384 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579759 0 0 0 100921 1093 0 0 25 0 1 0 798648969 142987264 33367 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34909 33367 566 18 0 34891 0 vsize: 139636 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580107 0 0 0 101920 1095 0 0 25 0 1 0 798648969 144437248 33715 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35263 33715 566 18 0 35245 0 vsize: 141052 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580194 0 0 0 102920 1095 0 0 25 0 1 0 798648969 144818176 33802 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35356 33802 566 18 0 35338 0 vsize: 141424 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580339 0 0 0 103919 1096 0 0 25 0 1 0 798648969 145301504 33947 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35474 33947 566 18 0 35456 0 vsize: 141896 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580547 0 0 0 104919 1096 0 0 25 0 1 0 798648969 146182144 34155 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35689 34155 566 18 0 35671 0 vsize: 142756 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580791 0 0 0 105918 1097 0 0 25 0 1 0 798648969 147144704 34399 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35924 34399 566 18 0 35906 0 vsize: 143696 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581030 0 0 0 106918 1098 0 0 25 0 1 0 798648969 148131840 34638 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36165 34638 566 18 0 36147 0 vsize: 144660 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581225 0 0 0 107917 1099 0 0 25 0 1 0 798648969 148963328 34833 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36368 34833 566 18 0 36350 0 vsize: 145472 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581450 0 0 0 108917 1100 0 0 25 0 1 0 798648969 149934080 35058 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36605 35058 566 18 0 36587 0 vsize: 146420 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581609 0 0 0 109916 1101 0 0 25 0 1 0 798648969 150544384 35217 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36754 35217 566 18 0 36736 0 vsize: 147016 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 582624 0 0 0 110913 1104 0 0 25 0 1 0 798648969 154664960 36232 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37760 36232 566 18 0 37742 0 vsize: 151040 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2371 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 583163 0 0 0 111911 1105 0 0 25 0 1 0 798648969 156966912 36771 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38322 36772 566 18 0 38304 0 vsize: 153288 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 584033 0 0 0 112909 1108 0 0 25 0 1 0 798648969 160514048 37641 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39188 37641 566 18 0 39170 0 vsize: 156752 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 585298 0 0 0 113906 1111 0 0 25 0 1 0 798648969 165609472 38906 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40432 38906 566 18 0 40414 0 vsize: 161728 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 586654 0 0 0 114902 1115 0 0 25 0 1 0 798648969 171220992 40262 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41802 40262 566 18 0 41784 0 vsize: 167208 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 587919 0 0 0 115899 1118 0 0 25 0 1 0 798648969 176455680 41527 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43080 41527 566 18 0 43062 0 vsize: 172320 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 589209 0 0 0 116895 1123 0 0 25 0 1 0 798648969 181792768 42817 4294967295 134512640 134581331 3221221792 3221220428 1075289077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44383 42817 566 18 0 44365 0 vsize: 177532 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 590471 0 0 0 117893 1125 0 0 25 0 1 0 798648969 186961920 44079 4294967295 134512640 134581331 3221221792 3221220672 134520212 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45645 44079 566 18 0 45627 0 vsize: 182580 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 2373 Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 591785 0 0 0 118889 1129 0 0 25 0 1 0 798648969 192364544 45393 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46964 45393 566 18 0 46946 0 vsize: 187856 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 2373 Raw data (stat): 2316 (Pueblo) Z 2315 7876 7672 0 -1 1036 591785 0 0 0 118889 1138 0 0 25 0 1 0 798648969 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.13 CPU time (s): 1200.28 CPU user time (s): 1188.9 CPU system time (s): 11.3803 CPU usage (%): 100.012 Max. virtual memory (Kb): 187856 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####