Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb |
MD5SUM | 6f8b2121f6d249fe6e02652d1aab6d14 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29675972066390 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29675972066390 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.43378 |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-28 12:43:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24610 boxname=wulflinc31 idbench=1082 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6f8b2121f6d249fe6e02652d1aab6d14 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3704.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3704.opb IDLAUNCH: 24610 /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: 821072 kB Buffers: 35504 kB Cached: 154932 kB SwapCached: 1052 kB Active: 92452 kB Inactive: 100224 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 820820 kB SwapTotal: 2097892 kB SwapFree: 2095928 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 15320 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:56:42 (client local time) WITH STATUS 1 IN 783.631 SECONDS stats: 24610 7 783.631 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified Unexpected exception : St9bad_alloc #### 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.85 0.93 0.90 2/55 20109 Raw data (stat): 20109 (runsolver) R 20108 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864875051 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.88 0.93 0.90 2/55 20109 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 2197 0 0 0 993 6 0 0 25 0 1 0 864875051 8089600 1521 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1975 1521 300 300 0 1675 0 vsize: 7900 [startup+20.0011 s] Raw data (loadavg): 0.89 0.93 0.90 2/55 20109 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 2747 0 0 0 1991 8 0 0 25 0 1 0 864875051 9441280 2062 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2305 2062 300 300 0 2005 0 vsize: 9220 [startup+30.0011 s] Raw data (loadavg): 0.91 0.94 0.90 2/55 20109 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 3883 0 0 0 2989 11 0 0 25 0 1 0 864875051 13410304 2486 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2486 300 300 0 2974 0 vsize: 13096 [startup+40.0012 s] Raw data (loadavg): 0.92 0.94 0.90 2/55 20109 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4145 0 0 0 3988 12 0 0 25 0 1 0 864875051 14086144 2743 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3439 2743 300 300 0 3139 0 vsize: 13756 [startup+50.0025 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 20109 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4405 0 0 0 4987 12 0 0 25 0 1 0 864875051 14761984 2999 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3604 2999 300 300 0 3304 0 vsize: 14416 [startup+60.003 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4637 0 0 0 5986 13 0 0 25 0 1 0 864875051 15437824 3227 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3769 3227 300 300 0 3469 0 vsize: 15076 [startup+70.0034 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4853 0 0 0 6985 14 0 0 25 0 1 0 864875051 15978496 3440 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3440 300 300 0 3601 0 vsize: 15604 [startup+80.0043 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5053 0 0 0 7984 16 0 0 25 0 1 0 864875051 16519168 3637 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4033 3637 300 300 0 3733 0 vsize: 16132 [startup+90.0038 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5241 0 0 0 8983 17 0 0 25 0 1 0 864875051 17059840 3822 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4165 3822 300 300 0 3865 0 vsize: 16660 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5419 0 0 0 9983 18 0 0 25 0 1 0 864875051 17465344 3997 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4264 3997 300 300 0 3964 0 vsize: 17056 [startup+110.006 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 20111 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7466 0 0 0 10978 22 0 0 25 0 1 0 864875051 25403392 4631 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4631 300 300 0 5902 0 vsize: 24808 [startup+120.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7521 0 0 0 11977 23 0 0 25 0 1 0 864875051 25403392 4684 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4684 300 300 0 5902 0 vsize: 24808 [startup+130.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7576 0 0 0 12977 24 0 0 25 0 1 0 864875051 25403392 4736 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4736 300 300 0 5902 0 vsize: 24808 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7635 0 0 0 13977 24 0 0 25 0 1 0 864875051 25403392 4793 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4793 300 300 0 5902 0 vsize: 24808 [startup+150.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7706 0 0 0 14977 24 0 0 25 0 1 0 864875051 25403392 4861 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4861 300 300 0 5902 0 vsize: 24808 [startup+160.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7791 0 0 0 15976 25 0 0 25 0 1 0 864875051 25673728 4944 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6268 4944 300 300 0 5968 0 vsize: 25072 [startup+170.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 20113 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7923 0 0 0 16976 25 0 0 25 0 1 0 864875051 25944064 5074 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6334 5074 300 300 0 6034 0 vsize: 25336 [startup+180.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8052 0 0 0 17975 26 0 0 25 0 1 0 864875051 26349568 5201 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6433 5201 300 300 0 6133 0 vsize: 25732 [startup+190.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8179 0 0 0 18974 27 0 0 25 0 1 0 864875051 26619904 5326 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6499 5326 300 300 0 6199 0 vsize: 25996 [startup+200.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8302 0 0 0 19974 28 0 0 25 0 1 0 864875051 27025408 5447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6598 5447 300 300 0 6298 0 vsize: 26392 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8422 0 0 0 20973 29 0 0 25 0 1 0 864875051 27295744 5565 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6664 5565 300 300 0 6364 0 vsize: 26656 [startup+220.015 s] Raw data (loadavg): 1.07 0.97 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8540 0 0 0 21972 30 0 0 25 0 1 0 864875051 27566080 5681 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6730 5681 300 300 0 6430 0 vsize: 26920 [startup+230.016 s] Raw data (loadavg): 1.06 0.97 0.91 2/55 20115 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8656 0 0 0 22972 30 0 0 25 0 1 0 864875051 27971584 5795 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6829 5795 300 300 0 6529 0 vsize: 27316 [startup+240.017 s] Raw data (loadavg): 1.05 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8770 0 0 0 23971 31 0 0 25 0 1 0 864875051 28241920 5907 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6895 5907 300 300 0 6595 0 vsize: 27580 [startup+250.018 s] Raw data (loadavg): 1.04 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8881 0 0 0 24970 32 0 0 25 0 1 0 864875051 28512256 6017 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6961 6017 300 300 0 6661 0 vsize: 27844 [startup+260.018 s] Raw data (loadavg): 1.03 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8990 0 0 0 25970 33 0 0 25 0 1 0 864875051 28782592 6124 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7027 6124 300 300 0 6727 0 vsize: 28108 [startup+270.018 s] Raw data (loadavg): 1.03 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9097 0 0 0 26969 34 0 0 25 0 1 0 864875051 29052928 6229 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7093 6229 300 300 0 6793 0 vsize: 28372 [startup+280.019 s] Raw data (loadavg): 1.02 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9203 0 0 0 27968 34 0 0 25 0 1 0 864875051 29323264 6333 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7159 6333 300 300 0 6859 0 vsize: 28636 [startup+290.02 s] Raw data (loadavg): 1.02 0.97 0.91 2/55 20117 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9305 0 0 0 28968 35 0 0 25 0 1 0 864875051 29593600 6434 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6434 300 300 0 6925 0 vsize: 28900 [startup+300.02 s] Raw data (loadavg): 1.02 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9408 0 0 0 29966 37 0 0 25 0 1 0 864875051 29863936 6535 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7291 6535 300 300 0 6991 0 vsize: 29164 [startup+310.02 s] Raw data (loadavg): 1.01 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9508 0 0 0 30966 38 0 0 25 0 1 0 864875051 30134272 6634 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7357 6634 300 300 0 7057 0 vsize: 29428 [startup+320.021 s] Raw data (loadavg): 1.01 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9608 0 0 0 31965 39 0 0 25 0 1 0 864875051 30404608 6732 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7423 6732 300 300 0 7123 0 vsize: 29692 [startup+330.022 s] Raw data (loadavg): 1.01 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9706 0 0 0 32964 39 0 0 25 0 1 0 864875051 30674944 6828 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7489 6828 300 300 0 7189 0 vsize: 29956 [startup+340.022 s] Raw data (loadavg): 1.01 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9801 0 0 0 33964 40 0 0 25 0 1 0 864875051 30945280 6922 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7555 6922 300 300 0 7255 0 vsize: 30220 [startup+350.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20119 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9896 0 0 0 34963 41 0 0 25 0 1 0 864875051 31215616 7015 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7621 7015 300 300 0 7321 0 vsize: 30484 [startup+360.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9989 0 0 0 35963 41 0 0 25 0 1 0 864875051 31485952 7107 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7687 7107 300 300 0 7387 0 vsize: 30748 [startup+370.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10082 0 0 0 36962 42 0 0 25 0 1 0 864875051 31621120 7198 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7720 7198 300 300 0 7420 0 vsize: 30880 [startup+380.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10172 0 0 0 37962 43 0 0 25 0 1 0 864875051 31891456 7287 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7786 7287 300 300 0 7486 0 vsize: 31144 [startup+390.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10263 0 0 0 38962 43 0 0 25 0 1 0 864875051 32161792 7376 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7852 7376 300 300 0 7552 0 vsize: 31408 [startup+400.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10352 0 0 0 39961 44 0 0 25 0 1 0 864875051 32432128 7464 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7918 7464 300 300 0 7618 0 vsize: 31672 [startup+410.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20121 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10439 0 0 0 40961 44 0 0 25 0 1 0 864875051 32567296 7550 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7951 7550 300 300 0 7651 0 vsize: 31804 [startup+420.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10526 0 0 0 41960 45 0 0 25 0 1 0 864875051 32837632 7635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8017 7635 300 300 0 7717 0 vsize: 32068 [startup+430.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10612 0 0 0 42959 46 0 0 25 0 1 0 864875051 33107968 7720 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8083 7720 300 300 0 7783 0 vsize: 32332 [startup+440.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10697 0 0 0 43959 47 0 0 25 0 1 0 864875051 33243136 7803 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8116 7803 300 300 0 7816 0 vsize: 32464 [startup+450.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10782 0 0 0 44958 48 0 0 25 0 1 0 864875051 33513472 7887 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8182 7887 300 300 0 7882 0 vsize: 32728 [startup+460.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10863 0 0 0 45957 48 0 0 25 0 1 0 864875051 33783808 7967 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8248 7967 300 300 0 7948 0 vsize: 32992 [startup+470.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20123 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10946 0 0 0 46957 49 0 0 25 0 1 0 864875051 33918976 8048 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8281 8048 300 300 0 7981 0 vsize: 33124 [startup+480.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14828 0 0 0 47948 57 0 0 25 0 1 0 864875051 49254400 9111 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9111 300 300 0 11725 0 vsize: 48100 [startup+490.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14856 0 0 0 48948 58 0 0 25 0 1 0 864875051 49254400 9138 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9138 300 300 0 11725 0 vsize: 48100 [startup+500.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14883 0 0 0 49948 58 0 0 25 0 1 0 864875051 49254400 9164 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9164 300 300 0 11725 0 vsize: 48100 [startup+510.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14912 0 0 0 50948 58 0 0 25 0 1 0 864875051 49254400 9191 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9191 300 300 0 11725 0 vsize: 48100 [startup+520.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14939 0 0 0 51948 58 0 0 25 0 1 0 864875051 49254400 9217 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9217 300 300 0 11725 0 vsize: 48100 [startup+530.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20125 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14966 0 0 0 52948 59 0 0 25 0 1 0 864875051 49254400 9243 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9243 300 300 0 11725 0 vsize: 48100 [startup+540.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14993 0 0 0 53947 59 0 0 25 0 1 0 864875051 49254400 9269 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9269 300 300 0 11725 0 vsize: 48100 [startup+550.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15021 0 0 0 54947 59 0 0 25 0 1 0 864875051 49254400 9295 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9295 300 300 0 11725 0 vsize: 48100 [startup+560.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15047 0 0 0 55947 59 0 0 25 0 1 0 864875051 49254400 9320 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9320 300 300 0 11725 0 vsize: 48100 [startup+570.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15074 0 0 0 56948 59 0 0 25 0 1 0 864875051 49254400 9346 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9346 300 300 0 11725 0 vsize: 48100 [startup+580.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15100 0 0 0 57948 59 0 0 25 0 1 0 864875051 49254400 9371 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9371 300 300 0 11725 0 vsize: 48100 [startup+590.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20127 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15125 0 0 0 58947 60 0 0 25 0 1 0 864875051 49254400 9395 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9395 300 300 0 11725 0 vsize: 48100 [startup+600.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15152 0 0 0 59946 60 0 0 25 0 1 0 864875051 49254400 9420 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9420 300 300 0 11725 0 vsize: 48100 [startup+610.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15196 0 0 0 60946 60 0 0 25 0 1 0 864875051 49254400 9463 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9463 300 300 0 11725 0 vsize: 48100 [startup+620.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15228 0 0 0 61946 60 0 0 25 0 1 0 864875051 49254400 9494 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9494 300 300 0 11725 0 vsize: 48100 [startup+630.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15253 0 0 0 62947 60 0 0 25 0 1 0 864875051 49254400 9518 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9518 300 300 0 11725 0 vsize: 48100 [startup+640.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15278 0 0 0 63946 61 0 0 25 0 1 0 864875051 49254400 9542 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9542 300 300 0 11725 0 vsize: 48100 [startup+650.038 s] Raw data (loadavg): 1.00 0.97 0.91 3/55 20129 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15303 0 0 0 64946 61 0 0 25 0 1 0 864875051 49254400 9566 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9566 300 300 0 11725 0 vsize: 48100 [startup+660.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15327 0 0 0 65946 61 0 0 25 0 1 0 864875051 49254400 9589 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9589 300 300 0 11725 0 vsize: 48100 [startup+670.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 16576 0 0 0 66943 64 0 0 25 0 1 0 864875051 54390784 10837 4294967295 134512640 135726644 3221224576 3221220144 134606509 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13279 10837 300 300 0 12979 0 vsize: 53116 [startup+680.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 56675 0 0 0 67850 158 0 0 25 0 1 0 864875051 189173760 43050 4294967295 134512640 135726644 3221224576 3159523640 135297949 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46185 43050 300 300 0 45885 0 vsize: 184740 [startup+690.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 92825 0 0 0 68778 230 0 0 25 0 1 0 864875051 308142080 60598 4294967295 134512640 135726644 3221224576 3159323004 134634276 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75230 60598 300 300 0 74930 0 vsize: 300920 [startup+700.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 108789 0 0 0 69740 268 0 0 25 0 1 0 864875051 338300928 76341 4294967295 134512640 135726644 3221224576 3162651656 135281619 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 82593 76341 300 300 0 82293 0 vsize: 330372 [startup+710.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20131 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 137765 0 0 0 70673 336 0 0 25 0 1 0 864875051 446111744 92836 4294967295 134512640 135726644 3221224576 3160372552 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 108914 92837 300 300 0 108614 0 vsize: 435656 [startup+720.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 176099 0 0 0 71597 412 0 0 25 0 1 0 864875051 569458688 111577 4294967295 134512640 135726644 3221224576 3159605008 135280446 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139028 111578 300 300 0 138728 0 vsize: 556112 [startup+730.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 207194 0 0 0 72533 476 0 0 25 0 1 0 864875051 770789376 142465 4294967295 134512640 135726644 3221224576 3160134992 134784885 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188181 142469 300 300 0 187881 0 vsize: 752724 [startup+740.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 227319 0 0 0 73485 525 0 0 25 0 1 0 864875051 720977920 137831 4294967295 134512640 135726644 3221224576 3166228152 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176020 137831 300 300 0 175720 0 vsize: 704080 [startup+750.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 246869 0 0 0 74440 570 0 0 25 0 1 0 864875051 749092864 157153 4294967295 134512640 135726644 3221224576 3159727352 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182884 157153 300 300 0 182584 0 vsize: 731536 [startup+760.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 266145 0 0 0 75400 611 0 0 25 0 1 0 864875051 776396800 176208 4294967295 134512640 135726644 3221224576 3159826928 134554711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 189550 176209 300 300 0 189250 0 vsize: 758200 [startup+770.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20133 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274791 0 0 0 76381 630 0 0 25 0 1 0 864875051 789340160 184757 4294967295 134512640 135726644 3221224576 3172131500 135102828 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 192710 184757 300 300 0 192410 0 vsize: 770840 [startup+780.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 20135 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274792 0 0 0 77380 631 0 0 25 0 1 0 864875051 785141760 184152 4294967295 134512640 135726644 3221224576 3221222560 135280446 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191685 184152 300 300 0 191385 0 vsize: 766740 [startup+783.574 s] Raw data (loadavg): 1.00 0.97 0.91 1/54 20135 Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274792 0 0 0 77380 631 0 0 25 0 1 0 864875051 785141760 184152 4294967295 134512640 135726644 3221224576 3221222560 135280446 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191685 184152 300 300 0 191385 0 vsize: 0 Child status: 1 Real time (s): 783.573 CPU time (s): 783.631 CPU user time (s): 776.938 CPU system time (s): 6.69298 CPU usage (%): 100.007 Max. virtual memory (Kb): 770840 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####