Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb |
MD5SUM | c8b965306fec2c21edee64824d12f378 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63488 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 230 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-02 18:13:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26912 boxname=wulflinc3 idbench=1040 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: c8b965306fec2c21edee64824d12f378 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1.opb IDLAUNCH: 26912 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 346656 kB Buffers: 28932 kB Cached: 636692 kB SwapCached: 232 kB Active: 36044 kB Inactive: 632216 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 346404 kB SwapTotal: 2097136 kB SwapFree: 2096476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6336 kB Slab: 13948 kB Committed_AS: 71780 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 18:26:37 (client local time) WITH STATUS 0 IN 810.011 SECONDS stats: 26912 7 810.011 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### Pueblo-v2: Global.h:70: T* xrealloc(T*, unsigned int) [with T = pbWatchTerm]: Assertion `size == 0 || tmp != __null' failed. c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1.opb c #variables read: 230 - #constraints read: 63 #### 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.92 0.97 0.91 2/54 13635 Raw data (stat): 13635 (runsolver) R 13634 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851848645 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 3233 0 0 0 943 56 0 0 25 0 1 0 851848645 20459520 3207 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4995 3207 566 18 0 4977 0 vsize: 19980 [startup+20.0012 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 6107 0 0 0 1889 109 0 0 25 0 1 0 851848645 34344960 6081 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8385 6081 566 18 0 8367 0 vsize: 33540 [startup+30.0017 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 10344 0 0 0 2836 162 0 0 25 0 1 0 851848645 57413632 10318 4294967295 134512640 134581267 3221224576 3221223584 134530796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14017 10318 566 18 0 13999 0 vsize: 56068 [startup+40.0015 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 11727 0 0 0 3786 213 0 0 25 0 1 0 851848645 61607936 11701 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15041 11701 566 18 0 15023 0 vsize: 60164 [startup+50.0027 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 13197 0 0 0 4733 267 0 0 25 0 1 0 851848645 61607936 13171 4294967295 134512640 134581267 3221224576 3221223584 134530811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15041 13171 566 18 0 15023 0 vsize: 60164 [startup+60.0022 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 18114 0 0 0 5673 327 0 0 25 0 1 0 851848645 107917312 18002 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26347 18002 566 18 0 26329 0 vsize: 105388 [startup+70.003 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 20156 0 0 0 6618 381 0 0 25 0 1 0 851848645 116305920 20044 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28395 20044 566 18 0 28377 0 vsize: 113580 [startup+80.0032 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 22066 0 0 0 7564 436 0 0 25 0 1 0 851848645 116305920 21954 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28395 21954 566 18 0 28377 0 vsize: 113580 [startup+90.0037 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 24108 0 0 0 8510 490 0 0 25 0 1 0 851848645 116305920 23996 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28395 23996 566 18 0 28377 0 vsize: 113580 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 26150 0 0 0 9460 541 0 0 25 0 1 0 851848645 116305920 26038 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28395 26038 566 18 0 28377 0 vsize: 113580 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 31413 0 0 0 10399 601 0 0 25 0 1 0 851848645 209997824 31007 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51269 31007 566 18 0 51251 0 vsize: 205076 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 33766 0 0 0 11344 657 0 0 25 0 1 0 851848645 209997824 33360 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51269 33360 566 18 0 51251 0 vsize: 205076 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 36119 0 0 0 12289 712 0 0 25 0 1 0 851848645 209997824 35713 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51269 35713 566 18 0 51251 0 vsize: 205076 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 38471 0 0 0 13234 767 0 0 25 0 1 0 851848645 226775040 38065 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 38065 566 18 0 55347 0 vsize: 221460 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 40667 0 0 0 14180 822 0 0 25 0 1 0 851848645 226775040 40261 4294967295 134512640 134581267 3221224576 3221223584 134529989 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 40261 566 18 0 55347 0 vsize: 221460 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 43020 0 0 0 15125 876 0 0 25 0 1 0 851848645 226775040 42614 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 42614 566 18 0 55347 0 vsize: 221460 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 45373 0 0 0 16070 931 0 0 25 0 1 0 851848645 226775040 44967 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 44967 566 18 0 55347 0 vsize: 221460 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 47725 0 0 0 17015 987 0 0 25 0 1 0 851848645 226775040 47319 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 47319 566 18 0 55347 0 vsize: 221460 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 49921 0 0 0 17963 1039 0 0 25 0 1 0 851848645 226775040 49515 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 49516 566 18 0 55347 0 vsize: 221460 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 52274 0 0 0 18911 1091 0 0 25 0 1 0 851848645 226775040 51868 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55365 51868 566 18 0 55347 0 vsize: 221460 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 57401 0 0 0 19846 1157 0 0 25 0 1 0 851848645 411418624 56250 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 56250 566 18 0 100426 0 vsize: 401776 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 59896 0 0 0 20789 1213 0 0 25 0 1 0 851848645 411418624 58745 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 58745 566 18 0 100426 0 vsize: 401776 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 62390 0 0 0 21734 1269 0 0 25 0 1 0 851848645 411418624 61239 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 61239 566 18 0 100426 0 vsize: 401776 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 64885 0 0 0 22679 1324 0 0 25 0 1 0 851848645 411418624 63734 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 63734 566 18 0 100426 0 vsize: 401776 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 67212 0 0 0 23629 1374 0 0 25 0 1 0 851848645 411418624 66061 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 66061 566 18 0 100426 0 vsize: 401776 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 69707 0 0 0 24573 1430 0 0 25 0 1 0 851848645 411418624 68556 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 100444 68556 566 18 0 100426 0 vsize: 401776 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 72201 0 0 0 25517 1487 0 0 25 0 1 0 851848645 444973056 71050 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 71050 566 18 0 108618 0 vsize: 434544 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 74527 0 0 0 26464 1540 0 0 25 0 1 0 851848645 444973056 73376 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 73376 566 18 0 108618 0 vsize: 434544 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 77022 0 0 0 27410 1594 0 0 25 0 1 0 851848645 444973056 75871 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 75871 566 18 0 108618 0 vsize: 434544 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 79516 0 0 0 28355 1649 0 0 25 0 1 0 851848645 444973056 78365 4294967295 134512640 134581267 3221224576 3221223584 134529976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 78365 566 18 0 108618 0 vsize: 434544 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 81842 0 0 0 29301 1703 0 0 25 0 1 0 851848645 444973056 80691 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 80691 566 18 0 108618 0 vsize: 434544 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 84337 0 0 0 30245 1759 0 0 25 0 1 0 851848645 444973056 83186 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 83186 566 18 0 108618 0 vsize: 434544 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 86831 0 0 0 31187 1817 0 0 25 0 1 0 851848645 444973056 85680 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 85680 566 18 0 108618 0 vsize: 434544 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 89157 0 0 0 32131 1872 0 0 25 0 1 0 851848645 444973056 88006 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 88006 566 18 0 108618 0 vsize: 434544 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 91651 0 0 0 33075 1928 0 0 25 0 1 0 851848645 444973056 90500 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 90500 566 18 0 108618 0 vsize: 434544 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 94145 0 0 0 34023 1978 0 0 25 0 1 0 851848645 444973056 92994 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 92994 566 18 0 108618 0 vsize: 434544 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 96472 0 0 0 34968 2033 0 0 25 0 1 0 851848645 444973056 95321 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 95321 566 18 0 108618 0 vsize: 434544 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 98966 0 0 0 35917 2083 0 0 25 0 1 0 851848645 444973056 97815 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 97815 566 18 0 108618 0 vsize: 434544 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 101460 0 0 0 36859 2140 0 0 25 0 1 0 851848645 444973056 100309 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 100309 566 18 0 108618 0 vsize: 434544 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 103787 0 0 0 37803 2195 0 0 25 0 1 0 851848645 444973056 102636 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 102636 566 18 0 108618 0 vsize: 434544 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 108879 0 0 0 38736 2262 0 0 25 0 1 0 851848645 812429312 106303 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 106303 566 18 0 198329 0 vsize: 793388 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 111264 0 0 0 39682 2315 0 0 25 0 1 0 851848645 812429312 108688 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 108688 566 18 0 198329 0 vsize: 793388 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 113821 0 0 0 40625 2371 0 0 25 0 1 0 851848645 812429312 111245 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 111245 566 18 0 198329 0 vsize: 793388 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 116206 0 0 0 41570 2426 0 0 25 0 1 0 851848645 812429312 113630 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 113630 566 18 0 198329 0 vsize: 793388 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 118763 0 0 0 42513 2482 0 0 25 0 1 0 851848645 812429312 116187 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 116187 566 18 0 198329 0 vsize: 793388 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 121321 0 0 0 43455 2539 0 0 25 0 1 0 851848645 812429312 118745 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 118745 566 18 0 198329 0 vsize: 793388 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 123706 0 0 0 44400 2593 0 0 25 0 1 0 851848645 812429312 121130 4294967295 134512640 134581267 3221224576 3221223584 134529989 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 121130 566 18 0 198329 0 vsize: 793388 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 126263 0 0 0 45346 2646 0 0 25 0 1 0 851848645 812429312 123687 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 123687 566 18 0 198329 0 vsize: 793388 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 128648 0 0 0 46290 2701 0 0 25 0 1 0 851848645 812429312 126072 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 126072 566 18 0 198329 0 vsize: 793388 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 131206 0 0 0 47235 2755 0 0 25 0 1 0 851848645 812429312 128630 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 128630 566 18 0 198329 0 vsize: 793388 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 133764 0 0 0 48178 2812 0 0 25 0 1 0 851848645 812429312 131188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 131188 566 18 0 198329 0 vsize: 793388 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 136149 0 0 0 49123 2866 0 0 25 0 1 0 851848645 812429312 133573 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198347 133573 566 18 0 198329 0 vsize: 793388 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 138706 0 0 0 50063 2925 0 0 25 0 1 0 851848645 879538176 136130 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 136130 566 18 0 214713 0 vsize: 858924 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 141090 0 0 0 51009 2979 0 0 25 0 1 0 851848645 879538176 138514 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 138514 566 18 0 214713 0 vsize: 858924 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 143648 0 0 0 51952 3034 0 0 25 0 1 0 851848645 879538176 141072 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 141072 566 18 0 214713 0 vsize: 858924 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 146205 0 0 0 52897 3089 0 0 25 0 1 0 851848645 879538176 143629 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 143629 566 18 0 214713 0 vsize: 858924 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 148590 0 0 0 53843 3142 0 0 25 0 1 0 851848645 879538176 146014 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 146014 566 18 0 214713 0 vsize: 858924 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 151148 0 0 0 54783 3201 0 0 25 0 1 0 851848645 879538176 148572 4294967295 134512640 134581267 3221224576 3221223584 134530211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 214731 148572 566 18 0 214713 0 vsize: 858924 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 153537 0 0 0 55721 3263 0 0 25 0 1 0 851848645 879538176 150961 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 214731 150961 566 18 0 214713 0 vsize: 858924 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 156094 0 0 0 56666 3316 0 0 25 0 1 0 851848645 879538176 153518 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 153518 566 18 0 214713 0 vsize: 858924 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 158652 0 0 0 57612 3369 0 0 25 0 1 0 851848645 879538176 156076 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 156076 566 18 0 214713 0 vsize: 858924 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 161036 0 0 0 58560 3420 0 0 25 0 1 0 851848645 879538176 158460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 158460 566 18 0 214713 0 vsize: 858924 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 163594 0 0 0 59504 3475 0 0 25 0 1 0 851848645 879538176 161018 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 161018 566 18 0 214713 0 vsize: 858924 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 165978 0 0 0 60449 3530 0 0 25 0 1 0 851848645 879538176 163402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 163402 566 18 0 214713 0 vsize: 858924 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 168536 0 0 0 61395 3583 0 0 25 0 1 0 851848645 879538176 165960 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 165960 566 18 0 214713 0 vsize: 858924 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 171093 0 0 0 62341 3636 0 0 25 0 1 0 851848645 879538176 168517 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 168518 566 18 0 214713 0 vsize: 858924 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 173478 0 0 0 63281 3695 0 0 25 0 1 0 851848645 879538176 170902 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 170902 566 18 0 214713 0 vsize: 858924 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 176036 0 0 0 64225 3750 0 0 25 0 1 0 851848645 879538176 173460 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 173460 566 18 0 214713 0 vsize: 858924 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 178420 0 0 0 65171 3803 0 0 25 0 1 0 851848645 879538176 175844 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 175844 566 18 0 214713 0 vsize: 858924 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 180978 0 0 0 66119 3854 0 0 25 0 1 0 851848645 879538176 178402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 178402 566 18 0 214713 0 vsize: 858924 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 183535 0 0 0 67066 3907 0 0 25 0 1 0 851848645 879538176 180959 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 180959 566 18 0 214713 0 vsize: 858924 [startup+720.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 185919 0 0 0 68014 3957 0 0 25 0 1 0 851848645 879538176 183343 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 183343 566 18 0 214713 0 vsize: 858924 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 188476 0 0 0 68960 4010 0 0 25 0 1 0 851848645 879538176 185900 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 185900 566 18 0 214713 0 vsize: 858924 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 190861 0 0 0 69907 4063 0 0 25 0 1 0 851848645 879538176 188285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 188285 566 18 0 214713 0 vsize: 858924 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 193418 0 0 0 70848 4121 0 0 25 0 1 0 851848645 879538176 190842 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 190842 566 18 0 214713 0 vsize: 858924 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 195975 0 0 0 71792 4177 0 0 25 0 1 0 851848645 879538176 193399 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 193399 566 18 0 214713 0 vsize: 858924 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 198360 0 0 0 72735 4232 0 0 25 0 1 0 851848645 879538176 195784 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 195784 566 18 0 214713 0 vsize: 858924 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 200917 0 0 0 73682 4284 0 0 25 0 1 0 851848645 879538176 198341 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 198341 566 18 0 214713 0 vsize: 858924 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 203302 0 0 0 74625 4341 0 0 25 0 1 0 851848645 879538176 200726 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214731 200726 566 18 0 214713 0 vsize: 858924 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 0 205859 0 0 0 75568 4396 0 0 25 0 1 0 851848645 879538176 203283 4294967295 134512640 134581267 3221224576 3221223584 134529949 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 214731 203283 566 18 0 214713 0 vsize: 858924 [startup+810.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 1028 208252 0 0 0 76504 4459 0 0 25 0 1 0 851848645 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 [startup+810.404 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 13635 Raw data (stat): 13635 (Pueblo-v2) R 13634 20224 20223 0 -1 1028 208252 0 0 0 76504 4459 0 0 25 0 1 0 851848645 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 810.404 CPU time (s): 810.011 CPU user time (s): 765.044 CPU system time (s): 44.9672 CPU usage (%): 99.9515 Max. virtual memory (Kb): 858924 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####