Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb |
MD5SUM | 0b425344c538e99a27247a487d2e5952 |
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 | 43740 |
Biggest coefficient in the objective function | 1977295568896000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 276588440762806557 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1977295568896000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 276588440762806557 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.375942 |
Number of variables | 43740 |
Total number of constraints | 352 |
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 | 352 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 08:13:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20891 boxname=wulflinc24 idbench=879 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 0b425344c538e99a27247a487d2e5952 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-ship04s.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-ship04s.opb IDLAUNCH: 20891 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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.080 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: 658284 kB Buffers: 24196 kB Cached: 329492 kB SwapCached: 524 kB Active: 150836 kB Inactive: 205240 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 658032 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5656 kB Slab: 14692 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 08:22:56 (client local time) WITH STATUS 20 IN 545.184 SECONDS stats: 20891 7 545.184 20 #### 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/wulflinc24/normalized-mps-v2-20-10-ship04s.opb c reading problem ... c (trivial inconsistency) c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 s UNSATISFIABLE c Total CPU time (ms) : 539.317 #### 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.93 0.98 0.99 2/54 19855 Raw data (stat): 19855 (runsolver) R 19854 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837350890 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+9.9995 s] Raw data (loadavg): 1.16 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 867 40 0 0 25 0 10 0 837350890 857001984 20099 4294967295 134512640 134569956 3221224368 3221214756 1130895490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209229 20099 13086 16 0 209213 0 vsize: 836916 [startup+20.0007 s] Raw data (loadavg): 1.14 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 1761 40 0 0 25 0 10 0 837350890 854736896 20158 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208676 20158 13086 16 0 208660 0 vsize: 834704 [startup+30.0009 s] Raw data (loadavg): 1.12 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 2648 41 0 0 24 0 10 0 837350890 854736896 20673 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208676 20673 13086 16 0 208660 0 vsize: 834704 [startup+40.0017 s] Raw data (loadavg): 1.10 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 3566 41 0 0 25 0 10 0 837350890 854822912 21007 4294967295 134512640 134569956 3221224368 3221214768 1131246970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21007 13086 16 0 208681 0 vsize: 834788 [startup+50.0028 s] Raw data (loadavg): 1.08 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 4487 41 0 0 25 0 10 0 837350890 854822912 21178 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21178 13086 16 0 208681 0 vsize: 834788 [startup+60.0021 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 5406 41 0 0 25 0 10 0 837350890 854822912 21309 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21309 13086 16 0 208681 0 vsize: 834788 [startup+70.003 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 6334 41 0 0 25 0 10 0 837350890 854822912 21422 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21422 13086 16 0 208681 0 vsize: 834788 [startup+80.004 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 7275 41 0 0 25 0 10 0 837350890 854822912 21523 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21523 13086 16 0 208681 0 vsize: 834788 [startup+90.0042 s] Raw data (loadavg): 1.12 1.04 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 8216 42 0 0 25 0 10 0 837350890 854822912 21616 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21616 13086 16 0 208681 0 vsize: 834788 [startup+100.004 s] Raw data (loadavg): 1.10 1.04 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 9159 42 0 0 25 0 10 0 837350890 854822912 21701 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21701 13086 16 0 208681 0 vsize: 834788 [startup+110.005 s] Raw data (loadavg): 1.09 1.04 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 10099 42 0 0 24 0 10 0 837350890 854822912 21787 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21787 13086 16 0 208681 0 vsize: 834788 [startup+120.006 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 11043 42 0 0 25 0 10 0 837350890 854822912 21862 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21862 13086 16 0 208681 0 vsize: 834788 [startup+130.006 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 11987 43 0 0 25 0 10 0 837350890 854822912 21933 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21933 13086 16 0 208681 0 vsize: 834788 [startup+140.007 s] Raw data (loadavg): 1.05 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 12932 43 0 0 25 0 10 0 837350890 854822912 22001 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22001 13086 16 0 208681 0 vsize: 834788 [startup+150.007 s] Raw data (loadavg): 1.04 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 13873 43 0 0 24 0 10 0 837350890 854822912 22070 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22070 13086 16 0 208681 0 vsize: 834788 [startup+160.007 s] Raw data (loadavg): 1.04 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 14818 43 0 0 25 0 10 0 837350890 854822912 22132 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22132 13086 16 0 208681 0 vsize: 834788 [startup+170.009 s] Raw data (loadavg): 1.03 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 15763 43 0 0 25 0 10 0 837350890 854822912 22192 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22192 13086 16 0 208681 0 vsize: 834788 [startup+180.009 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 16686 43 0 0 25 0 10 0 837350890 854822912 22250 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22250 13086 16 0 208681 0 vsize: 834788 [startup+190.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 17603 43 0 0 25 0 10 0 837350890 854822912 22307 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22307 13086 16 0 208681 0 vsize: 834788 [startup+200.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 18538 43 0 0 25 0 10 0 837350890 854822912 22618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22618 13086 16 0 208681 0 vsize: 834788 [startup+210.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 19479 43 0 0 25 0 10 0 837350890 854822912 22671 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22671 13086 16 0 208681 0 vsize: 834788 [startup+220.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 20420 43 0 0 24 0 10 0 837350890 854822912 22722 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22722 13086 16 0 208681 0 vsize: 834788 [startup+230.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 21357 43 0 0 24 0 10 0 837350890 854822912 22776 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22776 13086 16 0 208681 0 vsize: 834788 [startup+240.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 22298 43 0 0 25 0 10 0 837350890 854822912 22825 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22825 13086 16 0 208681 0 vsize: 834788 [startup+250.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 23238 44 0 0 25 0 10 0 837350890 854822912 22873 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22873 13086 16 0 208681 0 vsize: 834788 [startup+260.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 24178 44 0 0 25 0 10 0 837350890 854822912 22920 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22920 13086 16 0 208681 0 vsize: 834788 [startup+270.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 25116 44 0 0 25 0 10 0 837350890 854822912 22966 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 22966 13086 16 0 208681 0 vsize: 834788 [startup+280.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 26055 44 0 0 25 0 10 0 837350890 854822912 23011 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23011 13086 16 0 208681 0 vsize: 834788 [startup+290.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) S 19854 4613 4612 0 -1 0 18003 0 1 0 26990 44 0 0 25 0 10 0 837350890 854822912 23056 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23056 13086 16 0 208681 0 vsize: 834788 [startup+300.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 27927 44 0 0 25 0 10 0 837350890 854822912 23101 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23101 13086 16 0 208681 0 vsize: 834788 [startup+310.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 28865 45 0 0 25 0 10 0 837350890 854822912 23143 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23143 13086 16 0 208681 0 vsize: 834788 [startup+320.02 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 29802 45 0 0 25 0 10 0 837350890 854822912 23185 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23185 13086 16 0 208681 0 vsize: 834788 [startup+330.021 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 30738 45 0 0 25 0 10 0 837350890 854822912 23226 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23226 13086 16 0 208681 0 vsize: 834788 [startup+340.024 s] Raw data (loadavg): 1.05 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 31674 45 0 0 25 0 10 0 837350890 854822912 23266 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23266 13086 16 0 208681 0 vsize: 834788 [startup+350.024 s] Raw data (loadavg): 1.04 1.03 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 32610 46 0 0 25 0 10 0 837350890 854822912 23306 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23306 13086 16 0 208681 0 vsize: 834788 [startup+360.024 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 33545 46 0 0 25 0 10 0 837350890 854822912 23346 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23346 13086 16 0 208681 0 vsize: 834788 [startup+370.025 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 34480 46 0 0 25 0 10 0 837350890 854822912 23384 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23384 13086 16 0 208681 0 vsize: 834788 [startup+380.024 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 35415 46 0 0 25 0 10 0 837350890 854822912 23422 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23422 13086 16 0 208681 0 vsize: 834788 [startup+390.026 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 36349 47 0 0 25 0 10 0 837350890 854822912 23460 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23460 13086 16 0 208681 0 vsize: 834788 [startup+400.026 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 37283 47 0 0 20 0 10 0 837350890 854822912 23497 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23497 13086 16 0 208681 0 vsize: 834788 [startup+410.026 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 38215 47 0 0 25 0 10 0 837350890 854822912 23533 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23533 13086 16 0 208681 0 vsize: 834788 [startup+420.027 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 39149 47 0 0 25 0 10 0 837350890 854822912 23569 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23569 13086 16 0 208681 0 vsize: 834788 [startup+430.027 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 40082 47 0 0 25 0 10 0 837350890 854822912 23605 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23605 13086 16 0 208681 0 vsize: 834788 [startup+440.028 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 41015 47 0 0 25 0 10 0 837350890 854822912 23640 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23640 13086 16 0 208681 0 vsize: 834788 [startup+450.028 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 41946 47 0 0 25 0 10 0 837350890 854822912 23674 4294967295 134512640 134569956 3221224368 3221214776 1131174916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23674 13086 16 0 208681 0 vsize: 834788 [startup+460.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 42878 48 0 0 25 0 10 0 837350890 854822912 23709 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23709 13086 16 0 208681 0 vsize: 834788 [startup+470.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 43809 48 0 0 25 0 10 0 837350890 854822912 23742 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23742 13086 16 0 208681 0 vsize: 834788 [startup+480.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 44740 48 0 0 25 0 10 0 837350890 854822912 23776 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23776 13086 16 0 208681 0 vsize: 834788 [startup+490.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 45670 48 0 0 25 0 10 0 837350890 854822912 23809 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23809 13086 16 0 208681 0 vsize: 834788 [startup+500.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 46600 48 0 0 25 0 10 0 837350890 854822912 23843 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23843 13086 16 0 208681 0 vsize: 834788 [startup+510.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 47530 48 0 0 25 0 10 0 837350890 854822912 23875 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23875 13086 16 0 208681 0 vsize: 834788 [startup+520.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 48459 48 0 0 24 0 10 0 837350890 854822912 23907 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23907 13086 16 0 208681 0 vsize: 834788 [startup+530.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18003 0 1 0 49387 49 0 0 24 0 10 0 837350890 854822912 23939 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 23939 13086 16 0 208681 0 vsize: 834788 [startup+540.033 s] Raw data (loadavg): 1.16 1.04 1.01 2/63 19864 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18013 0 1 0 50246 49 0 0 25 0 10 0 837350890 854822912 24224 4294967295 134512640 134569956 3221224368 3221214768 1131157236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 24224 13086 16 0 208681 0 vsize: 834788 [startup+540.387 s] Raw data (loadavg): 1.16 1.04 1.01 1/53 19865 Raw data (stat): 19855 (java) R 19854 4613 4612 0 -1 0 18013 0 1 0 50246 49 0 0 25 0 10 0 837350890 854822912 24224 4294967295 134512640 134569956 3221224368 3221214768 1131157236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 24224 13086 16 0 208681 0 vsize: 0 Child status: 20 Real time (s): 540.386 CPU time (s): 545.184 CPU user time (s): 544.325 CPU system time (s): 0.858869 CPU usage (%): 100.888 Max. virtual memory (Kb): 836916 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####