Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb |
MD5SUM | b99a0e1987692fd9762e75d45288f75a |
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 | 39256355821 |
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 | 39256355821 |
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.97785 |
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 17:23:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19156 boxname=wulflinc31 idbench=1474 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: b99a0e1987692fd9762e75d45288f75a /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb IDLAUNCH: 19156 /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: 669904 kB Buffers: 30704 kB Cached: 312684 kB SwapCached: 1168 kB Active: 226988 kB Inactive: 118780 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 669652 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5352 kB Slab: 13360 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 17:43:52 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 19156 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 Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (runsolver) R 1193 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797428429 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.0005 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 78533 0 0 0 842 154 0 0 25 0 1 0 797428429 56086528 12018 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13693 12018 566 18 0 13675 0 vsize: 54772 [startup+20.002 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 386207 0 0 0 1287 710 0 0 25 0 1 0 797428429 57573376 12443 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14056 12443 566 18 0 14038 0 vsize: 56224 [startup+30.0024 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 1977 1019 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+40.0033 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 2977 1020 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+50.0037 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 3977 1020 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+60.0037 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 4977 1020 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+70.005 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 5976 1021 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+80.0055 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 6976 1021 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+90.0058 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 7976 1022 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+100.007 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 8976 1022 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220564 1075285088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+110.007 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 9976 1022 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+120.008 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 10975 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+130.008 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 11975 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+140.008 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 12975 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+150.009 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 13975 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+160.009 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 14976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+170.01 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 15976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+180.01 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 16976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+190.01 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 17976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+200.011 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 18976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+210.011 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 19976 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+220.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 20977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+230.011 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 21977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+240.011 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 22977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+250.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 23977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+260.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 24977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+270.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 25977 1023 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+280.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 26977 1024 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+290.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 27977 1024 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220656 134560304 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+300.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 28977 1024 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+310.012 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 29977 1024 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+320.013 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558789 0 0 0 30978 1024 0 0 25 0 1 0 797428429 57049088 12397 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13928 12397 566 18 0 13910 0 vsize: 55712 [startup+330.013 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558814 0 0 0 31978 1024 0 0 25 0 1 0 797428429 57176064 12422 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13959 12422 566 18 0 13941 0 vsize: 55836 [startup+340.013 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558856 0 0 0 32977 1024 0 0 25 0 1 0 797428429 57307136 12464 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13991 12464 566 18 0 13973 0 vsize: 55964 [startup+350.014 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558896 0 0 0 33977 1025 0 0 25 0 1 0 797428429 57438208 12504 4294967295 134512640 134581331 3221221792 3221220736 134559067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14023 12504 566 18 0 14005 0 vsize: 56092 [startup+360.015 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 558939 0 0 0 34978 1025 0 0 25 0 1 0 797428429 57700352 12547 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14087 12547 566 18 0 14069 0 vsize: 56348 [startup+370.016 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559000 0 0 0 35978 1025 0 0 25 0 1 0 797428429 57962496 12608 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14151 12608 566 18 0 14133 0 vsize: 56604 [startup+380.015 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559040 0 0 0 36977 1025 0 0 25 0 1 0 797428429 58085376 12648 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14181 12648 566 18 0 14163 0 vsize: 56724 [startup+390.016 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559072 0 0 0 37978 1025 0 0 25 0 1 0 797428429 58216448 12680 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14213 12680 566 18 0 14195 0 vsize: 56852 [startup+400.017 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559108 0 0 0 38978 1025 0 0 25 0 1 0 797428429 58347520 12716 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14245 12716 566 18 0 14227 0 vsize: 56980 [startup+410.016 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559165 0 0 0 39977 1026 0 0 25 0 1 0 797428429 58601472 12773 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14307 12773 566 18 0 14289 0 vsize: 57228 [startup+420.017 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559221 0 0 0 40977 1026 0 0 25 0 1 0 797428429 58851328 12829 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14368 12829 566 18 0 14350 0 vsize: 57472 [startup+430.018 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559276 0 0 0 41977 1026 0 0 25 0 1 0 797428429 59092992 12884 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14427 12884 566 18 0 14409 0 vsize: 57708 [startup+440.018 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559316 0 0 0 42977 1027 0 0 25 0 1 0 797428429 59219968 12924 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14458 12924 566 18 0 14440 0 vsize: 57832 [startup+450.018 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559371 0 0 0 43977 1027 0 0 25 0 1 0 797428429 59457536 12979 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14516 12979 566 18 0 14498 0 vsize: 58064 [startup+460.018 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559478 0 0 0 44977 1028 0 0 25 0 1 0 797428429 59944960 13086 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14635 13086 566 18 0 14617 0 vsize: 58540 [startup+470.019 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559586 0 0 0 45976 1028 0 0 25 0 1 0 797428429 60301312 13194 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14722 13194 566 18 0 14704 0 vsize: 58888 [startup+480.019 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559646 0 0 0 46976 1028 0 0 25 0 1 0 797428429 60547072 13254 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14782 13254 566 18 0 14764 0 vsize: 59128 [startup+490.019 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559701 0 0 0 47976 1029 0 0 25 0 1 0 797428429 60796928 13309 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14843 13309 566 18 0 14825 0 vsize: 59372 [startup+500.02 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559750 0 0 0 48976 1029 0 0 25 0 1 0 797428429 61054976 13358 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14906 13358 566 18 0 14888 0 vsize: 59624 [startup+510.02 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559835 0 0 0 49975 1030 0 0 25 0 1 0 797428429 61296640 13443 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14965 13443 566 18 0 14947 0 vsize: 59860 [startup+520.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559899 0 0 0 50975 1030 0 0 25 0 1 0 797428429 61673472 13507 4294967295 134512640 134581331 3221221792 3221220736 134559057 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15057 13507 566 18 0 15039 0 vsize: 60228 [startup+530.02 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 559942 0 0 0 51975 1030 0 0 25 0 1 0 797428429 61788160 13550 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15085 13550 566 18 0 15067 0 vsize: 60340 [startup+540.02 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560022 0 0 0 52975 1030 0 0 25 0 1 0 797428429 62152704 13630 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15174 13630 566 18 0 15156 0 vsize: 60696 [startup+550.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560109 0 0 0 53975 1031 0 0 25 0 1 0 797428429 62513152 13717 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15262 13717 566 18 0 15244 0 vsize: 61048 [startup+560.02 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560176 0 0 0 54975 1031 0 0 25 0 1 0 797428429 62763008 13784 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15323 13784 566 18 0 15305 0 vsize: 61292 [startup+570.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560247 0 0 0 55975 1031 0 0 25 0 1 0 797428429 63021056 13855 4294967295 134512640 134581331 3221221792 3221220704 134527720 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15386 13855 566 18 0 15368 0 vsize: 61544 [startup+580.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560350 0 0 0 56975 1032 0 0 25 0 1 0 797428429 63512576 13958 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15506 13958 566 18 0 15488 0 vsize: 62024 [startup+590.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560416 0 0 0 57974 1033 0 0 25 0 1 0 797428429 63774720 14024 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15570 14024 566 18 0 15552 0 vsize: 62280 [startup+600.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560497 0 0 0 58974 1033 0 0 25 0 1 0 797428429 64028672 14105 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15632 14105 566 18 0 15614 0 vsize: 62528 [startup+610.021 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560576 0 0 0 59974 1033 0 0 25 0 1 0 797428429 64421888 14184 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15728 14184 566 18 0 15710 0 vsize: 62912 [startup+620.022 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560638 0 0 0 60974 1033 0 0 25 0 1 0 797428429 64679936 14246 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15791 14246 566 18 0 15773 0 vsize: 63164 [startup+630.022 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560668 0 0 0 61974 1033 0 0 25 0 1 0 797428429 64798720 14276 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15820 14276 566 18 0 15802 0 vsize: 63280 [startup+640.022 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560745 0 0 0 62974 1034 0 0 25 0 1 0 797428429 65060864 14353 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15884 14353 566 18 0 15866 0 vsize: 63536 [startup+650.023 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560822 0 0 0 63974 1034 0 0 25 0 1 0 797428429 65441792 14430 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15977 14430 566 18 0 15959 0 vsize: 63908 [startup+660.023 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560888 0 0 0 64974 1034 0 0 25 0 1 0 797428429 65691648 14496 4294967295 134512640 134581331 3221221792 3221220748 134527310 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16038 14496 566 18 0 16020 0 vsize: 64152 [startup+670.024 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 560977 0 0 0 65974 1034 0 0 25 0 1 0 797428429 66117632 14585 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16142 14585 566 18 0 16124 0 vsize: 64568 [startup+680.024 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561057 0 0 0 66974 1035 0 0 25 0 1 0 797428429 66371584 14665 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16204 14665 566 18 0 16186 0 vsize: 64816 [startup+690.025 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561099 0 0 0 67973 1035 0 0 25 0 1 0 797428429 66613248 14707 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16263 14707 566 18 0 16245 0 vsize: 65052 [startup+700.026 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561136 0 0 0 68974 1035 0 0 25 0 1 0 797428429 66736128 14744 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16293 14744 566 18 0 16275 0 vsize: 65172 [startup+710.026 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561191 0 0 0 69974 1035 0 0 25 0 1 0 797428429 66998272 14799 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16357 14799 566 18 0 16339 0 vsize: 65428 [startup+720.027 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561238 0 0 0 70973 1036 0 0 25 0 1 0 797428429 67129344 14846 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16389 14846 566 18 0 16371 0 vsize: 65556 [startup+730.028 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561277 0 0 0 71973 1036 0 0 25 0 1 0 797428429 67252224 14885 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16419 14885 566 18 0 16401 0 vsize: 65676 [startup+740.027 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561315 0 0 0 72973 1036 0 0 25 0 1 0 797428429 67383296 14923 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16451 14923 566 18 0 16433 0 vsize: 65804 [startup+750.027 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561344 0 0 0 73973 1036 0 0 25 0 1 0 797428429 67506176 14952 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16481 14952 566 18 0 16463 0 vsize: 65924 [startup+760.027 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561371 0 0 0 74973 1036 0 0 25 0 1 0 797428429 67633152 14979 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16512 14979 566 18 0 16494 0 vsize: 66048 [startup+770.028 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561400 0 0 0 75973 1037 0 0 25 0 1 0 797428429 67764224 15008 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16544 15008 566 18 0 16526 0 vsize: 66176 [startup+780.028 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561432 0 0 0 76973 1037 0 0 25 0 1 0 797428429 67891200 15040 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16575 15040 566 18 0 16557 0 vsize: 66300 [startup+790.028 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561468 0 0 0 77973 1037 0 0 25 0 1 0 797428429 68009984 15076 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16604 15076 566 18 0 16586 0 vsize: 66416 [startup+800.029 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561510 0 0 0 78974 1037 0 0 25 0 1 0 797428429 68259840 15118 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16665 15118 566 18 0 16647 0 vsize: 66660 [startup+810.029 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561556 0 0 0 79974 1037 0 0 25 0 1 0 797428429 68390912 15164 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16697 15164 566 18 0 16679 0 vsize: 66788 [startup+820.03 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561603 0 0 0 80974 1037 0 0 25 0 1 0 797428429 68653056 15211 4294967295 134512640 134581331 3221221792 3221220736 134558835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16761 15211 566 18 0 16743 0 vsize: 67044 [startup+830.031 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561656 0 0 0 81974 1037 0 0 25 0 1 0 797428429 68890624 15264 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16819 15264 566 18 0 16801 0 vsize: 67276 [startup+840.03 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561721 0 0 0 82974 1037 0 0 25 0 1 0 797428429 69152768 15329 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16883 15329 566 18 0 16865 0 vsize: 67532 [startup+850.031 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561779 0 0 0 83974 1038 0 0 25 0 1 0 797428429 69394432 15387 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16942 15387 566 18 0 16924 0 vsize: 67768 [startup+860.031 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561823 0 0 0 84974 1038 0 0 25 0 1 0 797428429 69517312 15431 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16972 15431 566 18 0 16954 0 vsize: 67888 [startup+870.033 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561898 0 0 0 85973 1039 0 0 25 0 1 0 797428429 69898240 15506 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17065 15506 566 18 0 17047 0 vsize: 68260 [startup+880.034 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561948 0 0 0 86973 1039 0 0 25 0 1 0 797428429 70029312 15556 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17097 15556 566 18 0 17079 0 vsize: 68388 [startup+890.033 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 561994 0 0 0 87973 1039 0 0 25 0 1 0 797428429 70291456 15602 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17161 15602 566 18 0 17143 0 vsize: 68644 [startup+900.033 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562044 0 0 0 88973 1039 0 0 25 0 1 0 797428429 70422528 15652 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17193 15652 566 18 0 17175 0 vsize: 68772 [startup+910.033 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562089 0 0 0 89973 1040 0 0 25 0 1 0 797428429 70549504 15697 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17224 15697 566 18 0 17206 0 vsize: 68896 [startup+920.034 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562136 0 0 0 90973 1040 0 0 25 0 1 0 797428429 70799360 15744 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17285 15744 566 18 0 17267 0 vsize: 69140 [startup+930.034 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562185 0 0 0 91973 1040 0 0 25 0 1 0 797428429 71057408 15793 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17348 15793 566 18 0 17330 0 vsize: 69392 [startup+940.034 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562235 0 0 0 92972 1041 0 0 25 0 1 0 797428429 71188480 15843 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17380 15843 566 18 0 17362 0 vsize: 69520 [startup+950.035 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562279 0 0 0 93972 1041 0 0 25 0 1 0 797428429 71434240 15887 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17440 15887 566 18 0 17422 0 vsize: 69760 [startup+960.035 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562351 0 0 0 94972 1041 0 0 25 0 1 0 797428429 71675904 15959 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17499 15959 566 18 0 17481 0 vsize: 69996 [startup+970.036 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562404 0 0 0 95972 1042 0 0 25 0 1 0 797428429 71938048 16012 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17563 16012 566 18 0 17545 0 vsize: 70252 [startup+980.036 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562516 0 0 0 96972 1042 0 0 25 0 1 0 797428429 72302592 16124 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17652 16124 566 18 0 17634 0 vsize: 70608 [startup+990.036 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562605 0 0 0 97972 1042 0 0 25 0 1 0 797428429 72683520 16213 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17745 16213 566 18 0 17727 0 vsize: 70980 [startup+1000.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562676 0 0 0 98972 1042 0 0 25 0 1 0 797428429 73048064 16284 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17834 16284 566 18 0 17816 0 vsize: 71336 [startup+1010.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562722 0 0 0 99972 1043 0 0 25 0 1 0 797428429 73179136 16330 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17866 16330 566 18 0 17848 0 vsize: 71464 [startup+1020.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562773 0 0 0 100972 1043 0 0 25 0 1 0 797428429 73441280 16381 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17930 16381 566 18 0 17912 0 vsize: 71720 [startup+1030.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562820 0 0 0 101972 1043 0 0 25 0 1 0 797428429 73572352 16428 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17962 16428 566 18 0 17944 0 vsize: 71848 [startup+1040.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562849 0 0 0 102972 1043 0 0 25 0 1 0 797428429 73695232 16457 4294967295 134512640 134581331 3221221792 3221220704 134527687 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17992 16457 566 18 0 17974 0 vsize: 71968 [startup+1050.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562889 0 0 0 103972 1043 0 0 25 0 1 0 797428429 73826304 16497 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18024 16497 566 18 0 18006 0 vsize: 72096 [startup+1060.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562948 0 0 0 104972 1044 0 0 25 0 1 0 797428429 74088448 16556 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18088 16556 566 18 0 18070 0 vsize: 72352 [startup+1070.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 562991 0 0 0 105972 1044 0 0 25 0 1 0 797428429 74350592 16599 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18152 16599 566 18 0 18134 0 vsize: 72608 [startup+1080.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563049 0 0 0 106972 1044 0 0 25 0 1 0 797428429 74481664 16657 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18184 16657 566 18 0 18166 0 vsize: 72736 [startup+1090.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563092 0 0 0 107972 1044 0 0 25 0 1 0 797428429 74739712 16700 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18247 16700 566 18 0 18229 0 vsize: 72988 [startup+1100.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563125 0 0 0 108972 1044 0 0 25 0 1 0 797428429 74870784 16733 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18279 16733 566 18 0 18261 0 vsize: 73116 [startup+1110.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563156 0 0 0 109972 1045 0 0 25 0 1 0 797428429 74993664 16764 4294967295 134512640 134581331 3221221792 3221220656 134527118 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18309 16764 566 18 0 18291 0 vsize: 73236 [startup+1120.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563197 0 0 0 110972 1045 0 0 25 0 1 0 797428429 75124736 16805 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18341 16805 566 18 0 18323 0 vsize: 73364 [startup+1130.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563219 0 0 0 111972 1045 0 0 25 0 1 0 797428429 75243520 16827 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18370 16827 566 18 0 18352 0 vsize: 73480 [startup+1140.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563245 0 0 0 112972 1045 0 0 25 0 1 0 797428429 75362304 16853 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18399 16853 566 18 0 18381 0 vsize: 73596 [startup+1150.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563281 0 0 0 113972 1045 0 0 25 0 1 0 797428429 75485184 16889 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18429 16889 566 18 0 18411 0 vsize: 73716 [startup+1160.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563320 0 0 0 114972 1046 0 0 25 0 1 0 797428429 75616256 16928 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18461 16928 566 18 0 18443 0 vsize: 73844 [startup+1170.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563359 0 0 0 115972 1046 0 0 25 0 1 0 797428429 75747328 16967 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18493 16967 566 18 0 18475 0 vsize: 73972 [startup+1180.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563403 0 0 0 116972 1046 0 0 25 0 1 0 797428429 76001280 17011 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18555 17011 566 18 0 18537 0 vsize: 74220 [startup+1190.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563425 0 0 0 117972 1046 0 0 25 0 1 0 797428429 76128256 17033 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18586 17033 566 18 0 18568 0 vsize: 74344 [startup+1200.04 s] Raw data (loadavg): 0.99 0.99 0.97 2/55 1194 Raw data (stat): 1194 (Pueblo) R 1193 7876 7672 0 -1 0 563456 0 0 0 118971 1047 0 0 25 0 1 0 797428429 76251136 17064 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18616 17064 566 18 0 18598 0 vsize: 74464 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 0.99 0.99 0.97 1/55 1194 Raw data (stat): 1194 (Pueblo) Z 1193 7876 7672 0 -1 1036 563456 0 0 0 118971 1050 0 0 25 0 1 0 797428429 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.08 CPU time (s): 1200.22 CPU user time (s): 1189.72 CPU system time (s): 10.5024 CPU usage (%): 100.012 Max. virtual memory (Kb): 74464 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####