Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb |
MD5SUM | 96cffa4027013d4e1e663a2c8e2c78bc |
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 | 42360 |
Biggest coefficient in the objective function | 1930952704000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 425698145420625 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1930952704000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 425698145420625 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.365943 |
Number of variables | 42360 |
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 | 20 |
Maximum length of a constraint | 1680 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-05-25 12:20:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21274 boxname=wulflinc22 idbench=1262 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 96cffa4027013d4e1e663a2c8e2c78bc /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ship04l.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ship04l.opb IDLAUNCH: 21274 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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.031 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: 670824 kB Buffers: 33112 kB Cached: 307848 kB SwapCached: 400 kB Active: 64124 kB Inactive: 279120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 670572 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5576 kB Slab: 14972 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:29:19 (client local time) WITH STATUS 20 IN 529.649 SECONDS stats: 21274 7 529.649 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/wulflinc22/normalized-mps-v2-13-7-ship04l.opb c reading problem ... done. Time 499.095 ms. c #vars 42360 c #constraints 604 c starts : 1 c conflicts : 25 c decisions : 898 c propagations : 30249 c inspects : 4849 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 24 c root simplifications : 8 s UNSATISFIABLE c Total CPU time (ms) : 521.811 #### 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.86 0.97 0.99 2/54 3298 Raw data (stat): 3298 (runsolver) R 3297 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838832529 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.0005 s] Raw data (loadavg): 0.88 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18015 0 1 0 876 37 0 0 25 0 10 0 838832529 853659648 19330 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208413 19330 13086 16 0 208397 0 vsize: 833652 [startup+20.0006 s] Raw data (loadavg): 0.90 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 1772 37 0 0 25 0 10 0 838832529 854642688 20088 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208653 20088 13086 16 0 208637 0 vsize: 834612 [startup+30.0009 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 2661 37 0 0 25 0 10 0 838832529 854642688 20592 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208653 20592 13086 16 0 208637 0 vsize: 834612 [startup+40.0007 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 3576 37 0 0 25 0 10 0 838832529 854642688 20895 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 20895 13086 16 0 208637 0 vsize: 834612 [startup+50.0022 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 4497 37 0 0 25 0 10 0 838832529 854642688 21063 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21063 13086 16 0 208637 0 vsize: 834612 [startup+60.0021 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 5418 37 0 0 25 0 10 0 838832529 854642688 21191 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21191 13086 16 0 208637 0 vsize: 834612 [startup+70.0018 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 6345 37 0 0 25 0 10 0 838832529 854642688 21442 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21442 13086 16 0 208637 0 vsize: 834612 [startup+80.0031 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 7287 38 0 0 25 0 10 0 838832529 854642688 21541 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21541 13086 16 0 208637 0 vsize: 834612 [startup+90.0033 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 8226 38 0 0 24 0 10 0 838832529 854642688 21637 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21637 13086 16 0 208637 0 vsize: 834612 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 9170 38 0 0 25 0 10 0 838832529 854642688 21720 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21720 13086 16 0 208637 0 vsize: 834612 [startup+110.006 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 10111 39 0 0 25 0 10 0 838832529 854642688 21804 4294967295 134512640 134569956 3221224368 3221214320 1079668418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21804 13086 16 0 208637 0 vsize: 834612 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 11056 39 0 0 25 0 10 0 838832529 854642688 21878 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21878 13086 16 0 208637 0 vsize: 834612 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 11997 39 0 0 25 0 10 0 838832529 854642688 21952 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 21952 13086 16 0 208637 0 vsize: 834612 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 12943 39 0 0 25 0 10 0 838832529 854642688 22019 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22019 13086 16 0 208637 0 vsize: 834612 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 13885 39 0 0 25 0 10 0 838832529 854642688 22087 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22087 13086 16 0 208637 0 vsize: 834612 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 14826 40 0 0 24 0 10 0 838832529 854642688 22152 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22152 13086 16 0 208637 0 vsize: 834612 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 15772 40 0 0 25 0 10 0 838832529 854642688 22211 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22211 13086 16 0 208637 0 vsize: 834612 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 16688 40 0 0 25 0 10 0 838832529 854642688 22268 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22268 13086 16 0 208637 0 vsize: 834612 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 17608 40 0 0 25 0 10 0 838832529 854642688 22580 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22580 13086 16 0 208637 0 vsize: 834612 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 18547 40 0 0 25 0 10 0 838832529 854642688 22637 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22637 13086 16 0 208637 0 vsize: 834612 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 19489 40 0 0 25 0 10 0 838832529 854642688 22689 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22689 13086 16 0 208637 0 vsize: 834612 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 20428 40 0 0 25 0 10 0 838832529 854642688 22742 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22742 13086 16 0 208637 0 vsize: 834612 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 21369 41 0 0 25 0 10 0 838832529 854642688 22792 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22792 13086 16 0 208637 0 vsize: 834612 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 22307 41 0 0 25 0 10 0 838832529 854642688 22844 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22844 13086 16 0 208637 0 vsize: 834612 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 23248 41 0 0 25 0 10 0 838832529 854642688 22891 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22891 13086 16 0 208637 0 vsize: 834612 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 24185 41 0 0 25 0 10 0 838832529 854642688 22940 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22940 13086 16 0 208637 0 vsize: 834612 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 25126 41 0 0 25 0 10 0 838832529 854642688 22985 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 22985 13086 16 0 208637 0 vsize: 834612 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 26061 41 0 0 24 0 10 0 838832529 854642688 23032 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23032 13086 16 0 208637 0 vsize: 834612 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 27001 41 0 0 25 0 10 0 838832529 854642688 23075 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23075 13086 16 0 208637 0 vsize: 834612 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 27936 42 0 0 24 0 10 0 838832529 854642688 23120 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23120 13086 16 0 208637 0 vsize: 834612 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 28875 42 0 0 25 0 10 0 838832529 854642688 23162 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23162 13086 16 0 208637 0 vsize: 834612 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 29813 42 0 0 25 0 10 0 838832529 854642688 23203 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23203 13086 16 0 208637 0 vsize: 834612 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 30747 42 0 0 25 0 10 0 838832529 854642688 23245 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23245 13086 16 0 208637 0 vsize: 834612 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 31684 42 0 0 25 0 10 0 838832529 854642688 23285 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23285 13086 16 0 208637 0 vsize: 834612 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 32617 42 0 0 25 0 10 0 838832529 854642688 23327 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23327 13086 16 0 208637 0 vsize: 834612 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 33553 42 0 0 25 0 10 0 838832529 854642688 23366 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23366 13086 16 0 208637 0 vsize: 834612 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 34485 42 0 0 24 0 10 0 838832529 854642688 23406 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23406 13086 16 0 208637 0 vsize: 834612 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 35421 42 0 0 25 0 10 0 838832529 854642688 23443 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23443 13086 16 0 208637 0 vsize: 834612 [startup+390.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) S 3297 23310 23309 0 -1 0 18016 0 1 0 36355 42 0 0 25 0 10 0 838832529 854642688 23480 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23480 13086 16 0 208637 0 vsize: 834612 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 37286 42 0 0 25 0 10 0 838832529 854642688 23519 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23519 13086 16 0 208637 0 vsize: 834612 [startup+410.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 38221 43 0 0 25 0 10 0 838832529 854642688 23554 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23554 13086 16 0 208637 0 vsize: 834612 [startup+420.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 39151 43 0 0 24 0 10 0 838832529 854642688 23592 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23592 13086 16 0 208637 0 vsize: 834612 [startup+430.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 40085 43 0 0 25 0 10 0 838832529 854642688 23627 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23627 13086 16 0 208637 0 vsize: 834612 [startup+440.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 41018 43 0 0 25 0 10 0 838832529 854642688 23661 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23661 13086 16 0 208637 0 vsize: 834612 [startup+450.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 41946 43 0 0 24 0 10 0 838832529 854642688 23697 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23697 13086 16 0 208637 0 vsize: 834612 [startup+460.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 42878 43 0 0 25 0 10 0 838832529 854642688 23731 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23731 13086 16 0 208637 0 vsize: 834612 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 43810 43 0 0 25 0 10 0 838832529 854642688 23764 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23764 13086 16 0 208637 0 vsize: 834612 [startup+480.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) S 3297 23310 23309 0 -1 0 18016 0 1 0 44741 43 0 0 25 0 10 0 838832529 854642688 23798 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23798 13086 16 0 208637 0 vsize: 834612 [startup+490.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18016 0 1 0 45669 43 0 0 25 0 10 0 838832529 854642688 23832 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208653 23832 13086 16 0 208637 0 vsize: 834612 [startup+500.034 s] Raw data (loadavg): 1.14 1.00 1.00 2/63 3307 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18027 0 1 0 46523 45 0 0 25 0 10 0 838832529 855060480 25506 4294967295 134512640 134569956 3221224368 3221213776 1131272156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208755 25506 13086 16 0 208739 0 vsize: 835020 [startup+510.034 s] Raw data (loadavg): 1.12 1.00 1.00 2/64 3308 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 47395 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214736 1131331476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208900 29960 13086 16 0 208884 0 vsize: 835600 [startup+520.034 s] Raw data (loadavg): 1.10 1.00 1.00 2/64 3308 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 48379 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214648 1131339725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208900 29960 13086 16 0 208884 0 vsize: 835600 [startup+522.864 s] Raw data (loadavg): 1.10 1.00 1.00 1/53 3309 Raw data (stat): 3298 (java) R 3297 23310 23309 0 -1 0 18068 0 1 0 48379 46 0 0 25 0 11 0 838832529 855654400 29960 4294967295 134512640 134569956 3221224368 3221214648 1131339725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208900 29960 13086 16 0 208884 0 vsize: 0 Child status: 20 Real time (s): 522.864 CPU time (s): 529.649 CPU user time (s): 528.757 CPU system time (s): 0.892864 CPU usage (%): 101.298 Max. virtual memory (Kb): 835600 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####