Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 64e81a7b23abbb8a6da4e2377ea69dee |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13453 |
Number of constraints which are clauses | 13453 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-02 09:05:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26474 boxname=wulflinc1 idbench=204 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 64e81a7b23abbb8a6da4e2377ea69dee /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb IDLAUNCH: 26474 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 670756 kB Buffers: 34196 kB Cached: 305572 kB SwapCached: 640 kB Active: 68292 kB Inactive: 273696 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 670504 kB SwapTotal: 2097136 kB SwapFree: 2095412 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5820 kB Slab: 16184 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 09:25:38 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 26474 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.68 0.79 0.84 2/55 1628 Raw data (stat): 1628 (runsolver) R 1627 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 791714519 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.73 0.79 0.84 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1304 0 0 0 996 3 0 0 25 0 1 0 791714519 11063296 1278 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2701 1278 566 18 0 2683 0 vsize: 10804 [startup+20.0001 s] Raw data (loadavg): 0.77 0.80 0.84 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1381 0 0 0 1995 3 0 0 25 0 1 0 791714519 11325440 1355 4294967295 134512640 134581267 3221224592 3221223472 134560433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2765 1355 566 18 0 2747 0 vsize: 11060 [startup+30.0009 s] Raw data (loadavg): 0.81 0.81 0.84 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1452 0 0 0 2995 4 0 0 25 0 1 0 791714519 11591680 1426 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2830 1426 566 18 0 2812 0 vsize: 11320 [startup+40.0007 s] Raw data (loadavg): 0.84 0.81 0.84 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1605 0 0 0 3995 4 0 0 25 0 1 0 791714519 12349440 1579 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1579 566 18 0 2997 0 vsize: 12060 [startup+50.0015 s] Raw data (loadavg): 0.86 0.82 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1605 0 0 0 4995 4 0 0 25 0 1 0 791714519 12349440 1579 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1579 566 18 0 2997 0 vsize: 12060 [startup+60.0013 s] Raw data (loadavg): 0.88 0.82 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1616 0 0 0 5994 5 0 0 25 0 1 0 791714519 12349440 1590 4294967295 134512640 134581267 3221224592 3221223536 134559190 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1590 566 18 0 2997 0 vsize: 12060 [startup+70.0011 s] Raw data (loadavg): 0.90 0.83 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1625 0 0 0 6995 5 0 0 25 0 1 0 791714519 12349440 1599 4294967295 134512640 134581267 3221224592 3221223568 134560967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1599 566 18 0 2997 0 vsize: 12060 [startup+80.0019 s] Raw data (loadavg): 0.91 0.83 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1747 0 0 0 7995 5 0 0 25 0 1 0 791714519 12877824 1721 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3144 1721 566 18 0 3126 0 vsize: 12576 [startup+90.0016 s] Raw data (loadavg): 0.93 0.84 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1750 0 0 0 8994 5 0 0 25 0 1 0 791714519 12877824 1724 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3144 1724 566 18 0 3126 0 vsize: 12576 [startup+100.002 s] Raw data (loadavg): 0.94 0.84 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1856 0 0 0 9994 6 0 0 25 0 1 0 791714519 13279232 1830 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3242 1830 566 18 0 3224 0 vsize: 12968 [startup+110.003 s] Raw data (loadavg): 0.95 0.85 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1884 0 0 0 10994 6 0 0 25 0 1 0 791714519 13422592 1858 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3277 1858 566 18 0 3259 0 vsize: 13108 [startup+120.003 s] Raw data (loadavg): 0.95 0.85 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1911 0 0 0 11994 6 0 0 25 0 1 0 791714519 13557760 1885 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3310 1885 566 18 0 3292 0 vsize: 13240 [startup+130.003 s] Raw data (loadavg): 0.96 0.86 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1939 0 0 0 12994 6 0 0 25 0 1 0 791714519 13713408 1913 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3348 1913 566 18 0 3330 0 vsize: 13392 [startup+140.003 s] Raw data (loadavg): 0.97 0.86 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1944 0 0 0 13994 7 0 0 25 0 1 0 791714519 13713408 1918 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3348 1918 566 18 0 3330 0 vsize: 13392 [startup+150.003 s] Raw data (loadavg): 0.97 0.87 0.85 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1956 0 0 0 14994 7 0 0 25 0 1 0 791714519 13873152 1930 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3387 1930 566 18 0 3369 0 vsize: 13548 [startup+160.003 s] Raw data (loadavg): 0.98 0.87 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1978 0 0 0 15994 7 0 0 25 0 1 0 791714519 14020608 1952 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3423 1952 566 18 0 3405 0 vsize: 13692 [startup+170.003 s] Raw data (loadavg): 0.98 0.87 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 16993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3423 1956 566 18 0 3405 0 vsize: 13692 [startup+180.003 s] Raw data (loadavg): 0.98 0.88 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 17993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3423 1956 566 18 0 3405 0 vsize: 13692 [startup+190.003 s] Raw data (loadavg): 0.98 0.88 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 18993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3423 1956 566 18 0 3405 0 vsize: 13692 [startup+200.004 s] Raw data (loadavg): 0.99 0.88 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1986 0 0 0 19993 8 0 0 25 0 1 0 791714519 14020608 1960 4294967295 134512640 134581267 3221224592 3221223520 134519968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3423 1960 566 18 0 3405 0 vsize: 13692 [startup+210.004 s] Raw data (loadavg): 0.99 0.89 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2060 0 0 0 20993 9 0 0 25 0 1 0 791714519 14282752 2034 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3487 2034 566 18 0 3469 0 vsize: 13948 [startup+220.004 s] Raw data (loadavg): 0.99 0.89 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2076 0 0 0 21992 10 0 0 25 0 1 0 791714519 14282752 2050 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3487 2050 566 18 0 3469 0 vsize: 13948 [startup+230.004 s] Raw data (loadavg): 0.99 0.89 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2209 0 0 0 22992 10 0 0 25 0 1 0 791714519 14950400 2183 4294967295 134512640 134581267 3221224592 3221223536 134559190 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3650 2183 566 18 0 3632 0 vsize: 14600 [startup+240.003 s] Raw data (loadavg): 0.99 0.90 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2496 0 0 0 23991 11 0 0 25 0 1 0 791714519 16146432 2470 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3942 2470 566 18 0 3924 0 vsize: 15768 [startup+250.005 s] Raw data (loadavg): 0.99 0.90 0.86 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2525 0 0 0 24991 12 0 0 25 0 1 0 791714519 16146432 2499 4294967295 134512640 134581267 3221224592 3221223552 134554618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3942 2499 566 18 0 3924 0 vsize: 15768 [startup+260.005 s] Raw data (loadavg): 0.99 0.90 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2527 0 0 0 25991 12 0 0 25 0 1 0 791714519 16146432 2501 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3942 2501 566 18 0 3924 0 vsize: 15768 [startup+270.005 s] Raw data (loadavg): 0.99 0.90 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2740 0 0 0 26990 12 0 0 25 0 1 0 791714519 17072128 2714 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4168 2714 566 18 0 4150 0 vsize: 16672 [startup+280.005 s] Raw data (loadavg): 0.99 0.91 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 27990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4233 2765 566 18 0 4215 0 vsize: 16932 [startup+290.005 s] Raw data (loadavg): 0.99 0.91 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 28990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4233 2765 566 18 0 4215 0 vsize: 16932 [startup+300.006 s] Raw data (loadavg): 0.99 0.91 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 29990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223568 134560967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4233 2765 566 18 0 4215 0 vsize: 16932 [startup+310.006 s] Raw data (loadavg): 0.99 0.91 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 30990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4298 2833 566 18 0 4280 0 vsize: 17192 [startup+320.006 s] Raw data (loadavg): 0.99 0.92 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 31990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223468 1075285088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4298 2833 566 18 0 4280 0 vsize: 17192 [startup+330.006 s] Raw data (loadavg): 0.99 0.92 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 32990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4298 2833 566 18 0 4280 0 vsize: 17192 [startup+340.006 s] Raw data (loadavg): 0.99 0.92 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3104 0 0 0 33989 15 0 0 25 0 1 0 791714519 18530304 3078 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4524 3078 566 18 0 4506 0 vsize: 18096 [startup+350.007 s] Raw data (loadavg): 0.99 0.92 0.87 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3283 0 0 0 34988 16 0 0 25 0 1 0 791714519 19316736 3257 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3257 566 18 0 4698 0 vsize: 18864 [startup+360.008 s] Raw data (loadavg): 0.99 0.92 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3288 0 0 0 35988 16 0 0 25 0 1 0 791714519 19316736 3262 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3262 566 18 0 4698 0 vsize: 18864 [startup+370.008 s] Raw data (loadavg): 0.99 0.93 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3297 0 0 0 36988 16 0 0 25 0 1 0 791714519 19316736 3271 4294967295 134512640 134581267 3221224592 3221223536 134558824 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3271 566 18 0 4698 0 vsize: 18864 [startup+380.008 s] Raw data (loadavg): 0.99 0.93 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3298 0 0 0 37989 16 0 0 25 0 1 0 791714519 19316736 3272 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3272 566 18 0 4698 0 vsize: 18864 [startup+390.008 s] Raw data (loadavg): 0.99 0.93 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 38989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3273 566 18 0 4698 0 vsize: 18864 [startup+400.009 s] Raw data (loadavg): 0.99 0.93 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 39989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3273 566 18 0 4698 0 vsize: 18864 [startup+410.009 s] Raw data (loadavg): 0.99 0.93 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 40989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3273 566 18 0 4698 0 vsize: 18864 [startup+420.008 s] Raw data (loadavg): 0.99 0.94 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3313 0 0 0 41989 16 0 0 25 0 1 0 791714519 19464192 3287 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3287 566 18 0 4734 0 vsize: 19008 [startup+430.01 s] Raw data (loadavg): 0.99 0.94 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3313 0 0 0 42990 16 0 0 25 0 1 0 791714519 19464192 3287 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3287 566 18 0 4734 0 vsize: 19008 [startup+440.009 s] Raw data (loadavg): 0.99 0.94 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3318 0 0 0 43990 16 0 0 25 0 1 0 791714519 19464192 3292 4294967295 134512640 134581267 3221224592 3221223472 134560459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3292 566 18 0 4734 0 vsize: 19008 [startup+450.01 s] Raw data (loadavg): 0.99 0.94 0.88 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3319 0 0 0 44990 16 0 0 25 0 1 0 791714519 19464192 3293 4294967295 134512640 134581267 3221224592 3221223584 134561117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3293 566 18 0 4734 0 vsize: 19008 [startup+460.01 s] Raw data (loadavg): 0.99 0.94 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 45990 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223472 134560322 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3301 566 18 0 4734 0 vsize: 19008 [startup+470.009 s] Raw data (loadavg): 0.99 0.94 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 46990 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3301 566 18 0 4734 0 vsize: 19008 [startup+480.009 s] Raw data (loadavg): 0.99 0.94 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 47991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3301 566 18 0 4734 0 vsize: 19008 [startup+490.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 48991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3301 566 18 0 4734 0 vsize: 19008 [startup+500.01 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 49991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3301 566 18 0 4734 0 vsize: 19008 [startup+510.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 50991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+520.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 51991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223504 134531431 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+530.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 52991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+540.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 53991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+550.01 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 54992 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+560.009 s] Raw data (loadavg): 0.99 0.95 0.89 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 55992 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3302 566 18 0 4734 0 vsize: 19008 [startup+570.009 s] Raw data (loadavg): 0.99 0.95 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3329 0 0 0 56992 16 0 0 25 0 1 0 791714519 19464192 3303 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3303 566 18 0 4734 0 vsize: 19008 [startup+580.009 s] Raw data (loadavg): 0.99 0.95 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3330 0 0 0 57992 16 0 0 25 0 1 0 791714519 19464192 3304 4294967295 134512640 134581267 3221224592 3221223472 134560515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3304 566 18 0 4734 0 vsize: 19008 [startup+590.009 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3330 0 0 0 58992 16 0 0 25 0 1 0 791714519 19464192 3304 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4752 3304 566 18 0 4734 0 vsize: 19008 [startup+600.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3335 0 0 0 59993 16 0 0 25 0 1 0 791714519 19628032 3309 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3309 566 18 0 4774 0 vsize: 19168 [startup+610.011 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3336 0 0 0 60993 16 0 0 25 0 1 0 791714519 19628032 3310 4294967295 134512640 134581267 3221224592 3221223520 134520034 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3310 566 18 0 4774 0 vsize: 19168 [startup+620.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3336 0 0 0 61993 16 0 0 25 0 1 0 791714519 19628032 3310 4294967295 134512640 134581267 3221224592 3221223568 134560680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3310 566 18 0 4774 0 vsize: 19168 [startup+630.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3341 0 0 0 62993 16 0 0 25 0 1 0 791714519 19628032 3315 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3315 566 18 0 4774 0 vsize: 19168 [startup+640.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3343 0 0 0 63993 16 0 0 25 0 1 0 791714519 19628032 3317 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3317 566 18 0 4774 0 vsize: 19168 [startup+650.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3343 0 0 0 64993 16 0 0 25 0 1 0 791714519 19628032 3317 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3317 566 18 0 4774 0 vsize: 19168 [startup+660.01 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3359 0 0 0 65993 16 0 0 25 0 1 0 791714519 19628032 3333 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3333 566 18 0 4774 0 vsize: 19168 [startup+670.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 66994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+680.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 67994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 68994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 69994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 70994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 71995 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3334 566 18 0 4774 0 vsize: 19168 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3362 0 0 0 72995 16 0 0 25 0 1 0 791714519 19628032 3336 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 3336 566 18 0 4774 0 vsize: 19168 [startup+740.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 73995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 74995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 75995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+770.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 76995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 77996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 78996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561111 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 79996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+810.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 80996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134560929 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3346 566 18 0 4821 0 vsize: 19356 [startup+820.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 81996 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3352 566 18 0 4821 0 vsize: 19356 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 82996 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3352 566 18 0 4821 0 vsize: 19356 [startup+840.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 83997 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3352 566 18 0 4821 0 vsize: 19356 [startup+850.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 84997 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3352 566 18 0 4821 0 vsize: 19356 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3383 0 0 0 85997 16 0 0 25 0 1 0 791714519 19820544 3357 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3357 566 18 0 4821 0 vsize: 19356 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 86997 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3363 566 18 0 4821 0 vsize: 19356 [startup+880.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 87997 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3363 566 18 0 4821 0 vsize: 19356 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 88998 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3363 566 18 0 4821 0 vsize: 19356 [startup+900.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3390 0 0 0 89998 16 0 0 25 0 1 0 791714519 19820544 3364 4294967295 134512640 134581267 3221224592 3221223504 134558736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3364 566 18 0 4821 0 vsize: 19356 [startup+910.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 90998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223584 134561098 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3372 566 18 0 4821 0 vsize: 19356 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 91998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3372 566 18 0 4821 0 vsize: 19356 [startup+930.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 92998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3372 566 18 0 4821 0 vsize: 19356 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3407 0 0 0 93998 16 0 0 25 0 1 0 791714519 20017152 3381 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3381 566 18 0 4869 0 vsize: 19548 [startup+950.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 94999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 95999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223520 134520105 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 96999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+980.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 97999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223488 134560256 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+990.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 98999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 100000 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223472 134560314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3382 566 18 0 4869 0 vsize: 19548 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 101000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223648 134556132 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 102000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 103000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 104000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 105001 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223472 134560252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 106001 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3383 566 18 0 4869 0 vsize: 19548 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3410 0 0 0 107001 16 0 0 25 0 1 0 791714519 20017152 3384 4294967295 134512640 134581267 3221224592 3221223536 134558840 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3384 566 18 0 4869 0 vsize: 19548 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 108001 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 109001 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223568 134560711 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 110002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 111002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 112002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 113002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 114002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 115003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 116003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 117003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223536 134558759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3394 566 18 0 4869 0 vsize: 19548 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 118003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3395 566 18 0 4869 0 vsize: 19548 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 119003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3395 566 18 0 4869 0 vsize: 19548 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1628 Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 120003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4887 3395 566 18 0 4869 0 vsize: 19548 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 1628 Raw data (stat): 1628 (Pueblo-v2) Z 1627 8378 8377 0 -1 1036 3421 0 0 0 120003 17 0 0 25 0 1 0 791714519 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.03 CPU time (s): 1200.22 CPU user time (s): 1200.04 CPU system time (s): 0.175973 CPU usage (%): 100.015 Max. virtual memory (Kb): 19548 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####