Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6b39a5ca45e18a6e9e3dc91f7594e22c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483575 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1224.15 |
Number of variables | 6651 |
Total number of constraints | 7355 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6951 |
Number of constraints which are nor clauses,nor cardinality constraints | 404 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6651 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-25 02:41:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12847 boxname=wulflinc19 idbench=989 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 6b39a5ca45e18a6e9e3dc91f7594e22c /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-nsrand-ipx.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-nsrand-ipx.opb IDLAUNCH: 12847 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 630604 kB Buffers: 34348 kB Cached: 342396 kB SwapCached: 520 kB Active: 48300 kB Inactive: 330784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 630352 kB SwapTotal: 2097892 kB SwapFree: 2096796 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5672 kB Slab: 19328 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 02:53:53 (client local time) WITH STATUS 20 IN 746.982 SECONDS stats: 12847 7 746.982 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 6651 variables and 720 constraints. c After prepocess the problem consists of 6651 variables and 537 constraints. c preprocess terminated 746.878 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 746.885 s #### 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.75 0.89 0.88 2/54 19191 Raw data (stat): 19191 (runsolver) R 19190 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835350632 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.79 0.89 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 39712 0 0 0 918 80 0 0 25 0 1 0 835350632 176304128 39690 4294967295 134512640 134714540 3221224592 3221222252 1077246145 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43043 39690 1111 63 0 42980 0 vsize: 172172 [startup+20.0015 s] Raw data (loadavg): 0.82 0.89 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 42724 0 0 0 1912 86 0 0 25 0 1 0 835350632 188567552 42702 4294967295 134512640 134714540 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46037 42702 1111 63 0 45974 0 vsize: 184148 [startup+30.0024 s] Raw data (loadavg): 0.85 0.90 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 44206 0 0 0 2907 89 0 0 25 0 1 0 835350632 194654208 44184 4294967295 134512640 134714540 3221224592 3221223256 134569323 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47523 44184 1111 63 0 47460 0 vsize: 190092 [startup+40.0027 s] Raw data (loadavg): 0.87 0.90 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47041 0 0 0 3901 96 0 0 25 0 1 0 835350632 196345856 46986 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47936 46986 1111 63 0 47873 0 vsize: 191744 [startup+50.0025 s] Raw data (loadavg): 0.89 0.90 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47158 0 0 0 4900 96 0 0 25 0 1 0 835350632 196825088 47103 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48053 47103 1111 63 0 47990 0 vsize: 192212 [startup+60.0023 s] Raw data (loadavg): 0.91 0.91 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47158 0 0 0 5900 96 0 0 25 0 1 0 835350632 196825088 47103 4294967295 134512640 134714540 3221224592 3221223012 1077378713 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48053 47103 1111 63 0 47990 0 vsize: 192212 [startup+70.0024 s] Raw data (loadavg): 0.92 0.91 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47301 0 0 0 6900 96 0 0 25 0 1 0 835350632 197410816 47239 4294967295 134512640 134714540 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48196 47239 1111 63 0 48133 0 vsize: 192784 [startup+80.0029 s] Raw data (loadavg): 0.93 0.91 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47516 0 0 0 7900 97 0 0 25 0 1 0 835350632 198287360 47454 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48410 47454 1111 63 0 48347 0 vsize: 193640 [startup+90.0026 s] Raw data (loadavg): 0.94 0.91 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 47652 0 0 0 8900 97 0 0 25 0 1 0 835350632 198848512 47590 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48547 47590 1111 63 0 48484 0 vsize: 194188 [startup+100.002 s] Raw data (loadavg): 0.95 0.92 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 48588 0 0 0 9898 99 0 0 25 0 1 0 835350632 202682368 48526 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49483 48526 1111 63 0 49420 0 vsize: 197932 [startup+110.004 s] Raw data (loadavg): 0.96 0.92 0.89 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 10897 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539151 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+120.004 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 11897 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134543110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+130.004 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 12898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+140.004 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 13898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+150.003 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 14898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+160.004 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 15898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+170.003 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 16898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+180.004 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 17898 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+190.004 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 18899 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+200.004 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49095 0 0 0 19899 100 0 0 25 0 1 0 835350632 204730368 49033 4294967295 134512640 134714540 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49983 49033 1111 63 0 49920 0 vsize: 199932 [startup+210.004 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 20899 100 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223244 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+220.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 21899 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223184 134534092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+230.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 22899 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+240.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 23899 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+250.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 24899 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+260.004 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 25899 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223040 134540467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+270.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 26900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+280.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 27900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+290.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 28900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+300.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 29900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+310.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 30900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+320.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 31900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+330.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 32900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+340.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 33900 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+350.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 34901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+360.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 35901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+370.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 36901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+380.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 37901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+390.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 38901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223136 134538902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+400.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 39901 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223200 134609231 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+410.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 40902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+420.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 41902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223096 134543638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+430.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 42902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+440.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 43902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+450.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 44902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+460.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 45902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134557490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+470.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 46902 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 47903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223212 134536922 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 48903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223084 134542371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+500.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 49903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+510.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 50903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+520.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 51903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+530.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 52903 101 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+540.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 53903 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+550.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 54903 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+560.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 55903 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+570.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 56903 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+580.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 57903 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223136 134535026 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+590.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 58904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223124 1077374057 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+600.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 59904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 60904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+620.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 61904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 62904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+640.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 63904 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 64905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 65905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+670.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 66905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+680.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 67905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+690.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 68905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+700.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 69905 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539186 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+710.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 70906 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+720.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 71906 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+730.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 72906 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223264 134607118 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+740.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 73906 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 200348 [startup+746.899 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 19191 Raw data (stat): 19191 (bsolo_mis) R 19190 10795 10794 0 -1 0 49199 0 0 0 73906 102 0 0 25 0 1 0 835350632 205156352 49137 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50087 49137 1111 63 0 50024 0 vsize: 0 Child status: 20 Real time (s): 746.898 CPU time (s): 746.982 CPU user time (s): 745.864 CPU system time (s): 1.11883 CPU usage (%): 100.011 Max. virtual memory (Kb): 200348 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####