Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
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 | 7500 |
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 | 7500 |
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 | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 2 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-05 00:26:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1186 boxname=wulflinc31 idbench=132 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb IDLAUNCH: 1186 /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: 889932 kB Buffers: 44904 kB Cached: 77028 kB SwapCached: 944 kB Active: 102252 kB Inactive: 22152 kB HighTotal: 131008 kB HighFree: 53032 kB LowTotal: 903652 kB LowFree: 836900 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5540 kB Slab: 14700 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-05 00:46:29 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 1186 7 1200.3 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.86 0.96 0.98 2/54 7428 Raw data (stat): 7428 (runsolver) R 7427 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 661708533 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 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.0002 s] Raw data (loadavg): 0.88 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 6787 0 0 0 975 21 0 0 25 0 1 0 661708533 33538048 6764 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8188 6764 566 18 0 8170 0 vsize: 32752 [startup+20.0001 s] Raw data (loadavg): 0.90 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 6931 0 0 0 1975 22 0 0 25 0 1 0 661708533 33931264 6876 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8284 6876 566 18 0 8266 0 vsize: 33136 [startup+30.0001 s] Raw data (loadavg): 0.91 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 7187 0 0 0 2974 22 0 0 25 0 1 0 661708533 35266560 7132 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8610 7132 566 18 0 8592 0 vsize: 34440 [startup+40.0001 s] Raw data (loadavg): 0.93 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8005 0 0 0 3971 25 0 0 25 0 1 0 661708533 38375424 7950 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 7950 566 18 0 9351 0 vsize: 37476 [startup+50 s] Raw data (loadavg): 0.94 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8013 0 0 0 4971 26 0 0 25 0 1 0 661708533 38375424 7958 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 7958 566 18 0 9351 0 vsize: 37476 [startup+59.9999 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8016 0 0 0 5970 26 0 0 25 0 1 0 661708533 38375424 7961 4294967295 134512640 134581331 3221221792 3221220688 134517612 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 7961 566 18 0 9351 0 vsize: 37476 [startup+69.9999 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8018 0 0 0 6970 27 0 0 25 0 1 0 661708533 38375424 7963 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 7963 566 18 0 9351 0 vsize: 37476 [startup+79.9998 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8019 0 0 0 7970 27 0 0 25 0 1 0 661708533 38375424 7964 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 7964 566 18 0 9351 0 vsize: 37476 [startup+89.9999 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8021 0 0 0 8970 28 0 0 25 0 1 0 661708533 38375424 7966 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9369 7966 566 18 0 9351 0 vsize: 37476 [startup+99.9999 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8421 0 0 0 9969 29 0 0 25 0 1 0 661708533 40062976 8366 4294967295 134512640 134581331 3221221792 3221220736 134558874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9781 8366 566 18 0 9763 0 vsize: 39124 [startup+110.001 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8988 0 0 0 10967 31 0 0 25 0 1 0 661708533 42491904 8933 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10374 8933 566 18 0 10356 0 vsize: 41496 [startup+120.001 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 9462 0 0 0 11966 32 0 0 25 0 1 0 661708533 44326912 9407 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10822 9407 566 18 0 10804 0 vsize: 43288 [startup+130.001 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10028 0 0 0 12965 33 0 0 25 0 1 0 661708533 46690304 9973 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11399 9973 566 18 0 11381 0 vsize: 45596 [startup+140 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10453 0 0 0 13963 35 0 0 25 0 1 0 661708533 48398336 10398 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11816 10398 566 18 0 11798 0 vsize: 47264 [startup+150 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10997 0 0 0 14962 36 0 0 25 0 1 0 661708533 50622464 10942 4294967295 134512640 134581331 3221221792 3221220672 134560398 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12359 10942 566 18 0 12341 0 vsize: 49436 [startup+160 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 11376 0 0 0 15961 38 0 0 25 0 1 0 661708533 52211712 11321 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12747 11321 566 18 0 12729 0 vsize: 50988 [startup+170 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 11927 0 0 0 16960 38 0 0 25 0 1 0 661708533 54415360 11872 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13285 11872 566 18 0 13267 0 vsize: 53140 [startup+180 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 12642 0 0 0 17958 41 0 0 25 0 1 0 661708533 57356288 12587 4294967295 134512640 134581331 3221221792 3221220752 134554662 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14003 12587 566 18 0 13985 0 vsize: 56012 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 13226 0 0 0 18956 43 0 0 25 0 1 0 661708533 59777024 13171 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14594 13171 566 18 0 14576 0 vsize: 58376 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 13961 0 0 0 19954 45 0 0 25 0 1 0 661708533 62881792 13906 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15352 13906 566 18 0 15334 0 vsize: 61408 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 14719 0 0 0 20953 46 0 0 25 0 1 0 661708533 65941504 14664 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16099 14664 566 18 0 16081 0 vsize: 64396 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 15397 0 0 0 21951 48 0 0 25 0 1 0 661708533 68743168 15342 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16783 15342 566 18 0 16765 0 vsize: 67132 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 16054 0 0 0 22949 51 0 0 25 0 1 0 661708533 71409664 15999 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17434 15999 566 18 0 17416 0 vsize: 69736 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 16630 0 0 0 23948 52 0 0 25 0 1 0 661708533 73764864 16575 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18009 16575 566 18 0 17991 0 vsize: 72036 [startup+250.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 17235 0 0 0 24947 53 0 0 25 0 1 0 661708533 76288000 17180 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18625 17180 566 18 0 18607 0 vsize: 74500 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 17658 0 0 0 25946 54 0 0 25 0 1 0 661708533 77991936 17603 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19041 17603 566 18 0 19023 0 vsize: 76164 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18005 0 0 0 26945 55 0 0 25 0 1 0 661708533 79425536 17950 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19391 17950 566 18 0 19373 0 vsize: 77564 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18377 0 0 0 27943 57 0 0 25 0 1 0 661708533 80973824 18322 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19769 18322 566 18 0 19751 0 vsize: 79076 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18803 0 0 0 28942 59 0 0 25 0 1 0 661708533 82669568 18748 4294967295 134512640 134581331 3221221792 3221220688 134517729 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20183 18748 566 18 0 20165 0 vsize: 80732 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 19313 0 0 0 29940 61 0 0 25 0 1 0 661708533 84762624 19258 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20694 19258 566 18 0 20676 0 vsize: 82776 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 19826 0 0 0 30938 62 0 0 25 0 1 0 661708533 86851584 19771 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21204 19771 566 18 0 21186 0 vsize: 84816 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 20314 0 0 0 31937 64 0 0 25 0 1 0 661708533 88940544 20259 4294967295 134512640 134581331 3221221792 3221220748 134519782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21714 20259 566 18 0 21696 0 vsize: 86856 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 20609 0 0 0 32937 64 0 0 25 0 1 0 661708533 90144768 20554 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22008 20554 566 18 0 21990 0 vsize: 88032 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21006 0 0 0 33935 66 0 0 25 0 1 0 661708533 91742208 20951 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22398 20951 566 18 0 22380 0 vsize: 89592 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21415 0 0 0 34934 68 0 0 25 0 1 0 661708533 93429760 21360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22810 21360 566 18 0 22792 0 vsize: 91240 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21786 0 0 0 35933 68 0 0 25 0 1 0 661708533 95010816 21731 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23196 21731 566 18 0 23178 0 vsize: 92784 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22202 0 0 0 36932 70 0 0 25 0 1 0 661708533 96706560 22147 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23610 22147 566 18 0 23592 0 vsize: 94440 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22570 0 0 0 37931 71 0 0 25 0 1 0 661708533 98152448 22515 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23963 22515 566 18 0 23945 0 vsize: 95852 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22950 0 0 0 38930 72 0 0 25 0 1 0 661708533 99713024 22895 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24344 22895 566 18 0 24326 0 vsize: 97376 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 23236 0 0 0 39929 73 0 0 25 0 1 0 661708533 100904960 23181 4294967295 134512640 134581331 3221221792 3221220772 134560686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24635 23181 566 18 0 24617 0 vsize: 98540 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 23668 0 0 0 40928 74 0 0 25 0 1 0 661708533 102744064 23613 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25084 23613 566 18 0 25066 0 vsize: 100336 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24080 0 0 0 41926 76 0 0 25 0 1 0 661708533 104439808 24025 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25498 24025 566 18 0 25480 0 vsize: 101992 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24556 0 0 0 42924 78 0 0 25 0 1 0 661708533 106360832 24501 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25967 24501 566 18 0 25949 0 vsize: 103868 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24995 0 0 0 43924 79 0 0 25 0 1 0 661708533 108158976 24940 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26406 24940 566 18 0 26388 0 vsize: 105624 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.98 3/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 25415 0 0 0 44923 80 0 0 25 0 1 0 661708533 109834240 25360 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26815 25360 566 18 0 26797 0 vsize: 107260 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 25859 0 0 0 45922 82 0 0 25 0 1 0 661708533 111902720 25804 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27320 25804 566 18 0 27302 0 vsize: 109280 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 26245 0 0 0 46921 83 0 0 25 0 1 0 661708533 113455104 26190 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27699 26190 566 18 0 27681 0 vsize: 110796 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 26621 0 0 0 47920 84 0 0 25 0 1 0 661708533 115023872 26566 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28082 26566 566 18 0 28064 0 vsize: 112328 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27031 0 0 0 48919 85 0 0 25 0 1 0 661708533 116690944 26976 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28489 26976 566 18 0 28471 0 vsize: 113956 [startup+500.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27493 0 0 0 49918 86 0 0 25 0 1 0 661708533 118644736 27438 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28966 27438 566 18 0 28948 0 vsize: 115864 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27950 0 0 0 50917 87 0 0 25 0 1 0 661708533 120463360 27895 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29410 27895 566 18 0 29392 0 vsize: 117640 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 28385 0 0 0 51916 88 0 0 25 0 1 0 661708533 122281984 28330 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29854 28330 566 18 0 29836 0 vsize: 119416 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 28838 0 0 0 52916 89 0 0 25 0 1 0 661708533 124104704 28783 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30299 28783 566 18 0 30281 0 vsize: 121196 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29302 0 0 0 53915 90 0 0 25 0 1 0 661708533 126070784 29247 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30779 29247 566 18 0 30761 0 vsize: 123116 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29691 0 0 0 54914 91 0 0 25 0 1 0 661708533 127623168 29636 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31158 29636 566 18 0 31140 0 vsize: 124632 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29972 0 0 0 55913 93 0 0 25 0 1 0 661708533 128708608 29917 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31423 29917 566 18 0 31405 0 vsize: 125692 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30288 0 0 0 56912 94 0 0 25 0 1 0 661708533 130060288 30233 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31753 30233 566 18 0 31735 0 vsize: 127012 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30601 0 0 0 57911 95 0 0 25 0 1 0 661708533 131354624 30546 4294967295 134512640 134581331 3221221792 3221220768 134560737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32069 30546 566 18 0 32051 0 vsize: 128276 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30884 0 0 0 58911 96 0 0 25 0 1 0 661708533 132521984 30829 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32354 30829 566 18 0 32336 0 vsize: 129416 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31193 0 0 0 59909 97 0 0 25 0 1 0 661708533 133812224 31138 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32669 31138 566 18 0 32651 0 vsize: 130676 [startup+610.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31540 0 0 0 60909 98 0 0 25 0 1 0 661708533 135114752 31485 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32987 31485 566 18 0 32969 0 vsize: 131948 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31921 0 0 0 61909 98 0 0 25 0 1 0 661708533 136798208 31866 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33398 31866 566 18 0 33380 0 vsize: 133592 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 32380 0 0 0 62908 99 0 0 25 0 1 0 661708533 138620928 32325 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33843 32325 566 18 0 33825 0 vsize: 135372 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 32793 0 0 0 63906 101 0 0 25 0 1 0 661708533 140308480 32738 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34255 32738 566 18 0 34237 0 vsize: 137020 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33160 0 0 0 64906 102 0 0 25 0 1 0 661708533 141889536 33105 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34641 33105 566 18 0 34623 0 vsize: 138564 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33517 0 0 0 65905 103 0 0 25 0 1 0 661708533 143339520 33462 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34995 33462 566 18 0 34977 0 vsize: 139980 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33765 0 0 0 66905 103 0 0 25 0 1 0 661708533 144261120 33710 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35220 33710 566 18 0 35202 0 vsize: 140880 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34023 0 0 0 67904 104 0 0 25 0 1 0 661708533 145330176 33968 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35481 33968 566 18 0 35463 0 vsize: 141924 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34412 0 0 0 68903 105 0 0 25 0 1 0 661708533 146894848 34357 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35863 34357 566 18 0 35845 0 vsize: 143452 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34860 0 0 0 69903 106 0 0 25 0 1 0 661708533 148733952 34805 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36312 34805 566 18 0 36294 0 vsize: 145248 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35224 0 0 0 70902 107 0 0 25 0 1 0 661708533 150302720 35169 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36695 35169 566 18 0 36677 0 vsize: 146780 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35535 0 0 0 71901 108 0 0 25 0 1 0 661708533 151609344 35480 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37014 35480 566 18 0 36996 0 vsize: 148056 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35835 0 0 0 72900 109 0 0 25 0 1 0 661708533 152768512 35780 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37297 35780 566 18 0 37279 0 vsize: 149188 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 36171 0 0 0 73900 109 0 0 25 0 1 0 661708533 154210304 36116 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37649 36116 566 18 0 37631 0 vsize: 150596 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 36613 0 0 0 74898 111 0 0 25 0 1 0 661708533 155922432 36558 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38067 36558 566 18 0 38049 0 vsize: 152268 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37063 0 0 0 75897 113 0 0 25 0 1 0 661708533 157769728 37008 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38518 37008 566 18 0 38500 0 vsize: 154072 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37504 0 0 0 76895 115 0 0 25 0 1 0 661708533 159592448 37449 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38963 37449 566 18 0 38945 0 vsize: 155852 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.98 3/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37900 0 0 0 77895 116 0 0 25 0 1 0 661708533 161263616 37845 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39371 37845 566 18 0 39353 0 vsize: 157484 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38204 0 0 0 78894 117 0 0 25 0 1 0 661708533 162455552 38149 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39662 38149 566 18 0 39644 0 vsize: 158648 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38541 0 0 0 79892 118 0 0 25 0 1 0 661708533 163880960 38486 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40010 38486 566 18 0 39992 0 vsize: 160040 [startup+810.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38856 0 0 0 80892 119 0 0 25 0 1 0 661708533 165191680 38801 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40330 38801 566 18 0 40312 0 vsize: 161320 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39095 0 0 0 81891 120 0 0 25 0 1 0 661708533 166125568 39040 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40558 39040 566 18 0 40540 0 vsize: 162232 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39393 0 0 0 82891 120 0 0 25 0 1 0 661708533 167305216 39338 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40846 39338 566 18 0 40828 0 vsize: 163384 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39626 0 0 0 83890 121 0 0 25 0 1 0 661708533 168374272 39571 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41107 39571 566 18 0 41089 0 vsize: 164428 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39826 0 0 0 84890 122 0 0 25 0 1 0 661708533 169168896 39771 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41301 39771 566 18 0 41283 0 vsize: 165204 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40054 0 0 0 85890 122 0 0 25 0 1 0 661708533 170070016 39999 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41521 39999 566 18 0 41503 0 vsize: 166084 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40243 0 0 0 86889 123 0 0 25 0 1 0 661708533 170860544 40188 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41714 40188 566 18 0 41696 0 vsize: 166856 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40462 0 0 0 87889 124 0 0 25 0 1 0 661708533 171814912 40407 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41947 40407 566 18 0 41929 0 vsize: 167788 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40744 0 0 0 88889 124 0 0 25 0 1 0 661708533 172990464 40689 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42234 40689 566 18 0 42216 0 vsize: 168936 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41153 0 0 0 89888 125 0 0 25 0 1 0 661708533 174682112 41098 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42647 41098 566 18 0 42629 0 vsize: 170588 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41517 0 0 0 90887 126 0 0 25 0 1 0 661708533 176111616 41462 4294967295 134512640 134581331 3221221792 3221220764 134554712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42996 41462 566 18 0 42978 0 vsize: 171984 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41913 0 0 0 91887 127 0 0 25 0 1 0 661708533 177815552 41858 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43412 41858 566 18 0 43394 0 vsize: 173648 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42326 0 0 0 92886 128 0 0 25 0 1 0 661708533 179490816 42271 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43821 42271 566 18 0 43803 0 vsize: 175284 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42623 0 0 0 93885 129 0 0 25 0 1 0 661708533 180662272 42568 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44107 42568 566 18 0 44089 0 vsize: 176428 [startup+950.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42918 0 0 0 94884 130 0 0 25 0 1 0 661708533 181932032 42863 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44417 42863 566 18 0 44399 0 vsize: 177668 [startup+960.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43250 0 0 0 95884 130 0 0 25 0 1 0 661708533 183230464 43195 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44734 43195 566 18 0 44716 0 vsize: 178936 [startup+970.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43580 0 0 0 96883 132 0 0 25 0 1 0 661708533 184627200 43525 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45075 43525 566 18 0 45057 0 vsize: 180300 [startup+980.036 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43944 0 0 0 97882 133 0 0 25 0 1 0 661708533 186048512 43889 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45422 43889 566 18 0 45404 0 vsize: 181688 [startup+990.037 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44308 0 0 0 98881 134 0 0 25 0 1 0 661708533 187584512 44253 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45797 44253 566 18 0 45779 0 vsize: 183188 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44647 0 0 0 99880 135 0 0 25 0 1 0 661708533 189009920 44592 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46145 44592 566 18 0 46127 0 vsize: 184580 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44970 0 0 0 100879 136 0 0 25 0 1 0 661708533 190283776 44915 4294967295 134512640 134581331 3221221792 3221220764 134554652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46456 44915 566 18 0 46438 0 vsize: 185824 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45257 0 0 0 101878 137 0 0 25 0 1 0 661708533 191438848 45202 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46738 45202 566 18 0 46720 0 vsize: 186952 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45580 0 0 0 102878 138 0 0 25 0 1 0 661708533 192843776 45525 4294967295 134512640 134581331 3221221792 3221220848 134556137 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47081 45525 566 18 0 47063 0 vsize: 188324 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45891 0 0 0 103877 139 0 0 25 0 1 0 661708533 194072576 45836 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47381 45836 566 18 0 47363 0 vsize: 189524 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46124 0 0 0 104876 140 0 0 25 0 1 0 661708533 195129344 46069 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47639 46069 566 18 0 47621 0 vsize: 190556 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46342 0 0 0 105876 140 0 0 25 0 1 0 661708533 195964928 46287 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47843 46287 566 18 0 47825 0 vsize: 191372 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46631 0 0 0 106875 141 0 0 25 0 1 0 661708533 197267456 46576 4294967295 134512640 134581331 3221221792 3221220672 134560216 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48161 46576 566 18 0 48143 0 vsize: 192644 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46983 0 0 0 107874 142 0 0 25 0 1 0 661708533 198709248 46928 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48513 46928 566 18 0 48495 0 vsize: 194052 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47375 0 0 0 108873 143 0 0 25 0 1 0 661708533 200278016 47320 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48896 47320 566 18 0 48878 0 vsize: 195584 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47694 0 0 0 109873 144 0 0 25 0 1 0 661708533 201576448 47639 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49213 47639 566 18 0 49195 0 vsize: 196852 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47993 0 0 0 110872 145 0 0 25 0 1 0 661708533 202727424 47938 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49494 47938 566 18 0 49476 0 vsize: 197976 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 48422 0 0 0 111872 146 0 0 25 0 1 0 661708533 204521472 48367 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49932 48367 566 18 0 49914 0 vsize: 199728 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 48740 0 0 0 112871 147 0 0 25 0 1 0 661708533 205815808 48685 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50248 48685 566 18 0 50230 0 vsize: 200992 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49027 0 0 0 113870 148 0 0 25 0 1 0 661708533 207040512 48972 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50547 48972 566 18 0 50529 0 vsize: 202188 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49331 0 0 0 114870 148 0 0 25 0 1 0 661708533 208297984 49276 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50854 49276 566 18 0 50836 0 vsize: 203416 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49710 0 0 0 115869 149 0 0 25 0 1 0 661708533 209784832 49655 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51217 49655 566 18 0 51199 0 vsize: 204868 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50084 0 0 0 116868 150 0 0 25 0 1 0 661708533 211398656 50029 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51611 50029 566 18 0 51593 0 vsize: 206444 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50459 0 0 0 117868 151 0 0 25 0 1 0 661708533 212914176 50404 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51981 50404 566 18 0 51963 0 vsize: 207924 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50747 0 0 0 118867 151 0 0 25 0 1 0 661708533 214061056 50692 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52261 50692 566 18 0 52243 0 vsize: 209044 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 7428 Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 51064 0 0 0 119867 152 0 0 25 0 1 0 661708533 215326720 51009 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52570 51009 566 18 0 52552 0 vsize: 210280 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 0.99 0.97 0.98 1/54 7428 Raw data (stat): 7428 (Pueblo) Z 7427 7876 7672 0 -1 1036 51064 0 0 0 119867 161 0 0 25 0 1 0 661708533 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.14 CPU time (s): 1200.3 CPU user time (s): 1198.68 CPU system time (s): 1.61975 CPU usage (%): 100.013 Max. virtual memory (Kb): 210280 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####