Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb |
MD5SUM | 5af5f5067167ce7c0b9b9169af5e7adf |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 27 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 27 |
Number of bits of the sum of numbers in the objective function | 5 |
Biggest number in a constraint | 13 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 40 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01085 |
Number of variables | 27 |
Total number of constraints | 145 |
Number of constraints which are clauses | 117 |
Number of constraints which are cardinality constraints (but not clauses) | 28 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 27 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 09:00:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20961 boxname=wulflinc11 idbench=949 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 5af5f5067167ce7c0b9b9169af5e7adf /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stein27.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stein27.opb IDLAUNCH: 20961 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 854684 kB Buffers: 28556 kB Cached: 130336 kB SwapCached: 772 kB Active: 56948 kB Inactive: 103992 kB HighTotal: 131008 kB HighFree: 1960 kB LowTotal: 903652 kB LowFree: 852724 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13352 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 09:08:27 (client local time) WITH STATUS 30 IN 452.218 SECONDS stats: 20961 0 452.218 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stein27.opb c reading problem ... done. Time 0.311 ms. c #vars 27 c #constraints 118 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 19 Current CPU time: 0.35 ms c CURRENT OPTIMUM= 18 Current CPU time: 0.59 ms c starts : 12 c conflicts : 7627 c decisions : 7907 c propagations : 39763 c inspects : 8684562 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7626 c root simplifications : 25 s OPTIMUM_FOUND v -V0001_bit0 -V0002_bit0 -V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 -V0010_bit0 -V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 V0015_bit0 V0016_bit0 -V0017_bit0 V0018_bit0 V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 -V0026_bit0 V0027_bit0 c objectif function=18 c Total CPU time (ms) : 447.435 #### 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): 1.03 1.01 1.00 2/54 5777 Raw data (stat): 5777 (runsolver) R 5776 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779410287 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 1.17 1.04 1.01 2/64 5789 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18109 3 1 0 724 42 0 0 25 0 11 0 779410287 859918336 20310 4294967295 134512640 134569956 3221224368 3221214680 1131170193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209941 20310 13086 16 0 209925 0 vsize: 839764 [startup+20.0015 s] Raw data (loadavg): 1.15 1.04 1.01 2/64 5789 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 1695 42 0 0 25 0 11 0 779410287 862900224 21638 4294967295 134512640 134569956 3221224368 3221214480 1131447004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 21638 13086 16 0 210653 0 vsize: 842676 [startup+30.0018 s] Raw data (loadavg): 1.12 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 2666 42 0 0 25 0 11 0 779410287 862900224 21963 4294967295 134512640 134569956 3221224368 3221214100 1131217481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 21963 13086 16 0 210653 0 vsize: 842676 [startup+40.0019 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 3641 42 0 0 25 0 11 0 779410287 862900224 22190 4294967295 134512640 134569956 3221224368 3221214296 1131217447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22190 13086 16 0 210653 0 vsize: 842676 [startup+50.0031 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 4603 42 0 0 25 0 11 0 779410287 862900224 22448 4294967295 134512640 134569956 3221224368 3221214448 1085679759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22448 13086 16 0 210653 0 vsize: 842676 [startup+60.0031 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 5571 42 0 0 25 0 11 0 779410287 862900224 22766 4294967295 134512640 134569956 3221224368 3221213968 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22766 13086 16 0 210653 0 vsize: 842676 [startup+70.0034 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 6543 42 0 0 25 0 11 0 779410287 862900224 22766 4294967295 134512640 134569956 3221224368 3221214656 1131171080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22766 13086 16 0 210653 0 vsize: 842676 [startup+80.0042 s] Raw data (loadavg): 1.12 1.05 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 7513 42 0 0 25 0 11 0 779410287 862900224 22791 4294967295 134512640 134569956 3221224368 3221214656 1131170166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22791 13086 16 0 210653 0 vsize: 842676 [startup+90.0045 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 8482 42 0 0 25 0 11 0 779410287 862900224 22919 4294967295 134512640 134569956 3221224368 3221214116 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22919 13086 16 0 210653 0 vsize: 842676 [startup+100.005 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 9451 42 0 0 25 0 11 0 779410287 862900224 22966 4294967295 134512640 134569956 3221224368 3221214336 1131277974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 22966 13086 16 0 210653 0 vsize: 842676 [startup+110.006 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 10431 43 0 0 25 0 11 0 779410287 862900224 23013 4294967295 134512640 134569956 3221224368 3221214152 1131217440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23013 13086 16 0 210653 0 vsize: 842676 [startup+120.006 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18110 3 1 0 11399 43 0 0 25 0 11 0 779410287 862900224 23089 4294967295 134512640 134569956 3221224368 3221214488 1131249492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23089 13086 16 0 210653 0 vsize: 842676 [startup+130.007 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 12368 43 0 0 25 0 11 0 779410287 862900224 23167 4294967295 134512640 134569956 3221224368 3221214200 1131217468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23167 13086 16 0 210653 0 vsize: 842676 [startup+140.008 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 13337 43 0 0 25 0 11 0 779410287 862900224 23275 4294967295 134512640 134569956 3221224368 3221214488 1131217241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23275 13086 16 0 210653 0 vsize: 842676 [startup+150.008 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 14309 43 0 0 25 0 11 0 779410287 862900224 23364 4294967295 134512640 134569956 3221224368 3221214720 1131147285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23364 13086 16 0 210653 0 vsize: 842676 [startup+160.009 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 15281 43 0 0 25 0 11 0 779410287 862900224 23454 4294967295 134512640 134569956 3221224368 3221214616 1131194835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23454 13086 16 0 210653 0 vsize: 842676 [startup+170.01 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 16255 43 0 0 25 0 11 0 779410287 862900224 23539 4294967295 134512640 134569956 3221224368 3221214656 1131170193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23539 13086 16 0 210653 0 vsize: 842676 [startup+180.011 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18111 3 1 0 17238 43 0 0 25 0 11 0 779410287 862900224 23588 4294967295 134512640 134569956 3221224368 3221214288 1131276117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23588 13086 16 0 210653 0 vsize: 842676 [startup+190.012 s] Raw data (loadavg): 1.02 1.03 1.00 3/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 18200 43 0 0 25 0 11 0 779410287 862900224 23677 4294967295 134512640 134569956 3221224368 3221214732 1131137581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210669 23677 13086 16 0 210653 0 vsize: 842676 [startup+200.012 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 19178 43 0 0 25 0 11 0 779410287 862900224 23767 4294967295 134512640 134569956 3221224368 3221214436 1131249547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23767 13086 16 0 210653 0 vsize: 842676 [startup+210.012 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 20158 43 0 0 25 0 11 0 779410287 862900224 23847 4294967295 134512640 134569956 3221224368 3221214048 1131217480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23847 13086 16 0 210653 0 vsize: 842676 [startup+220.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 21137 44 0 0 25 0 11 0 779410287 862900224 23919 4294967295 134512640 134569956 3221224368 3221214200 1131249528 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23919 13086 16 0 210653 0 vsize: 842676 [startup+230.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 22118 44 0 0 25 0 11 0 779410287 862900224 23963 4294967295 134512640 134569956 3221224368 3221214052 1131249552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 23963 13086 16 0 210653 0 vsize: 842676 [startup+240.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 23098 44 0 0 25 0 11 0 779410287 862900224 24015 4294967295 134512640 134569956 3221224368 3221214064 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24015 13086 16 0 210653 0 vsize: 842676 [startup+250.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 24078 44 0 0 25 0 11 0 779410287 862900224 24055 4294967295 134512640 134569956 3221224368 3221214048 1131217474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210669 24055 13086 16 0 210653 0 vsize: 842676 [startup+260.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 25058 44 0 0 25 0 11 0 779410287 862900224 24101 4294967295 134512640 134569956 3221224368 3221214352 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24101 13086 16 0 210653 0 vsize: 842676 [startup+270.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 26039 44 0 0 25 0 11 0 779410287 862900224 24152 4294967295 134512640 134569956 3221224368 3221214672 1131228166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24152 13086 16 0 210653 0 vsize: 842676 [startup+280.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 27020 44 0 0 25 0 11 0 779410287 862900224 24194 4294967295 134512640 134569956 3221224368 3221214400 1085679766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24194 13086 16 0 210653 0 vsize: 842676 [startup+290.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 28001 44 0 0 25 0 11 0 779410287 862900224 24230 4294967295 134512640 134569956 3221224368 3221214656 1131170193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24230 13086 16 0 210653 0 vsize: 842676 [startup+300.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 28982 44 0 0 25 0 11 0 779410287 862900224 24272 4294967295 134512640 134569956 3221224368 3221214656 1131170210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24272 13086 16 0 210653 0 vsize: 842676 [startup+310.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 5791 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 29960 44 0 0 25 0 11 0 779410287 862900224 24335 4294967295 134512640 134569956 3221224368 3221214720 1131147340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24335 13086 16 0 210653 0 vsize: 842676 [startup+320.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 30944 44 0 0 25 0 11 0 779410287 862900224 24380 4294967295 134512640 134569956 3221224368 3221214488 1131249492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210669 24380 13086 16 0 210653 0 vsize: 842676 [startup+330.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 31921 45 0 0 25 0 11 0 779410287 862900224 24440 4294967295 134512640 134569956 3221224368 3221214536 1131217416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24440 13086 16 0 210653 0 vsize: 842676 [startup+340.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 32905 45 0 0 25 0 11 0 779410287 862900224 24488 4294967295 134512640 134569956 3221224368 3221214656 1131170100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24488 13086 16 0 210653 0 vsize: 842676 [startup+350.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 33888 45 0 0 25 0 11 0 779410287 862900224 24522 4294967295 134512640 134569956 3221224368 3221214656 1131169818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24522 13086 16 0 210653 0 vsize: 842676 [startup+360.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 34867 45 0 0 25 0 11 0 779410287 862900224 24572 4294967295 134512640 134569956 3221224368 3221214344 1131249613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24572 13086 16 0 210653 0 vsize: 842676 [startup+370.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 35852 45 0 0 25 0 11 0 779410287 862900224 24610 4294967295 134512640 134569956 3221224368 3221214200 1131217488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24610 13086 16 0 210653 0 vsize: 842676 [startup+380.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 36836 45 0 0 25 0 11 0 779410287 862900224 24630 4294967295 134512640 134569956 3221224368 3221213972 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24630 13086 16 0 210653 0 vsize: 842676 [startup+390.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 37813 45 0 0 25 0 11 0 779410287 862900224 24661 4294967295 134512640 134569956 3221224368 3221214656 1131170690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24661 13086 16 0 210653 0 vsize: 842676 [startup+400.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 38798 45 0 0 25 0 11 0 779410287 862900224 24696 4294967295 134512640 134569956 3221224368 3221214536 1131217482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24696 13086 16 0 210653 0 vsize: 842676 [startup+410.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 39778 45 0 0 25 0 11 0 779410287 862900224 24744 4294967295 134512640 134569956 3221224368 3221214200 1131249500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24744 13086 16 0 210653 0 vsize: 842676 [startup+420.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 40763 46 0 0 25 0 11 0 779410287 862900224 24783 4294967295 134512640 134569956 3221224368 3221214440 1131217468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24783 13086 16 0 210653 0 vsize: 842676 [startup+430.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 41745 46 0 0 25 0 11 0 779410287 862900224 24831 4294967295 134512640 134569956 3221224368 3221214712 1131220705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24831 13086 16 0 210653 0 vsize: 842676 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 5793 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 42732 46 0 0 25 0 11 0 779410287 862900224 24865 4294967295 134512640 134569956 3221224368 3221213912 1131249500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24865 13086 16 0 210653 0 vsize: 842676 [startup+448.497 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 5794 Raw data (stat): 5777 (java) R 5776 25830 25829 0 -1 0 18113 3 1 0 42732 46 0 0 25 0 11 0 779410287 862900224 24865 4294967295 134512640 134569956 3221224368 3221213912 1131249500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210669 24865 13086 16 0 210653 0 vsize: 0 Child status: 30 Real time (s): 448.496 CPU time (s): 452.218 CPU user time (s): 451.531 CPU system time (s): 0.686895 CPU usage (%): 100.83 Max. virtual memory (Kb): 842676 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 18 #### END VERIFIER DATA ####