Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb |
MD5SUM | 60a85eb68562d07c063b16fa35f27512 |
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 | 27456 |
Biggest coefficient in the objective function | 1310720000000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 254165973806800 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 1310720000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 254165973806800 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.648901 |
Number of variables | 71616 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 33 |
Maximum length of a constraint | 545 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 13:03:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21350 boxname=wulflinc25 idbench=1338 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 60a85eb68562d07c063b16fa35f27512 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb IDLAUNCH: 21350 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 346688 kB Buffers: 33384 kB Cached: 630252 kB SwapCached: 588 kB Active: 106400 kB Inactive: 559444 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 346436 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16484 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 13:25:49 (client local time) WITH STATUS 143 IN 1316.15 SECONDS stats: 21350 7 1316.15 143 #### 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/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb c reading problem ... 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 UNKNOWN c Total CPU time (ms) : 1309.134 #### 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 13781 Raw data (stat): 13781 (runsolver) R 13780 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839108082 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.0009 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 13790 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18002 0 1 0 870 38 0 0 25 0 10 0 839108082 853803008 19336 4294967295 134512640 134569956 3221224368 3221213772 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208448 19336 13086 16 0 208432 0 vsize: 833792 [startup+20.0007 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 13790 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18003 0 1 0 1765 38 0 0 25 0 10 0 839108082 855560192 20227 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 20227 13086 16 0 208861 0 vsize: 835508 [startup+30.0003 s] Raw data (loadavg): 0.95 0.98 0.99 3/63 13790 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 2660 38 0 0 25 0 10 0 839108082 855560192 20723 4294967295 134512640 134569956 3221224368 3221213480 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 20723 13086 16 0 208861 0 vsize: 835508 [startup+40.0004 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 13790 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18003 0 1 0 3572 38 0 0 25 0 10 0 839108082 854278144 20752 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 20752 13086 16 0 208548 0 vsize: 834256 [startup+50.0006 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 13790 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 4491 39 0 0 24 0 10 0 839108082 854278144 20918 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 20918 13086 16 0 208548 0 vsize: 834256 [startup+60.0011 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 13790 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 5411 39 0 0 25 0 10 0 839108082 854278144 21040 4294967295 134512640 134569956 3221224368 3221214712 1131192321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208564 21040 13086 16 0 208548 0 vsize: 834256 [startup+70.0026 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 13790 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 6339 40 0 0 25 0 10 0 839108082 854278144 21291 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21291 13086 16 0 208548 0 vsize: 834256 [startup+80.0024 s] Raw data (loadavg): 1.04 1.00 1.00 2/63 13790 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 7280 40 0 0 25 0 10 0 839108082 854278144 21387 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21387 13086 16 0 208548 0 vsize: 834256 [startup+90.0038 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 8219 41 0 0 25 0 10 0 839108082 854278144 21479 4294967295 134512640 134569956 3221224368 3221214704 1131219729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21479 13086 16 0 208548 0 vsize: 834256 [startup+100.004 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 9159 41 0 0 25 0 10 0 839108082 854278144 21565 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21565 13086 16 0 208548 0 vsize: 834256 [startup+110.005 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 10100 42 0 0 24 0 10 0 839108082 854278144 21645 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21645 13086 16 0 208548 0 vsize: 834256 [startup+120.006 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 11045 42 0 0 25 0 10 0 839108082 854278144 21717 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21717 13086 16 0 208548 0 vsize: 834256 [startup+130.006 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 11987 42 0 0 25 0 10 0 839108082 854278144 21788 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21788 13086 16 0 208548 0 vsize: 834256 [startup+140.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 12928 43 0 0 25 0 10 0 839108082 854278144 21857 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21857 13086 16 0 208548 0 vsize: 834256 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 13869 44 0 0 24 0 10 0 839108082 854278144 21923 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21923 13086 16 0 208548 0 vsize: 834256 [startup+160.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 14814 44 0 0 25 0 10 0 839108082 854278144 21983 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 21983 13086 16 0 208548 0 vsize: 834256 [startup+170.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 15748 44 0 0 25 0 10 0 839108082 854278144 22044 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 22044 13086 16 0 208548 0 vsize: 834256 [startup+180.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 16665 45 0 0 25 0 10 0 839108082 854278144 22100 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 22100 13086 16 0 208548 0 vsize: 834256 [startup+190.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 17589 45 0 0 25 0 10 0 839108082 854278144 22410 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 22410 13086 16 0 208548 0 vsize: 834256 [startup+200.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 18526 46 0 0 25 0 10 0 839108082 854278144 22466 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208564 22466 13086 16 0 208548 0 vsize: 834256 [startup+210.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18011 0 1 0 19466 46 0 0 25 0 10 0 839108082 854278144 22525 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208564 22525 13086 16 0 208548 0 vsize: 834256 [startup+220.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18012 0 1 0 20394 46 0 0 25 0 10 0 839108082 854278144 22581 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208564 22581 13086 16 0 208548 0 vsize: 834256 [startup+230.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 21313 46 0 0 25 0 10 0 839108082 855597056 23067 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208886 23067 13086 16 0 208870 0 vsize: 835544 [startup+240.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18013 0 1 0 22239 47 0 0 25 0 10 0 839108082 856485888 23319 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209103 23319 13086 16 0 209087 0 vsize: 836412 [startup+250.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 23161 47 0 0 25 0 10 0 839108082 855343104 23166 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208824 23166 13086 16 0 208808 0 vsize: 835296 [startup+260.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 24089 47 0 0 25 0 10 0 839108082 854581248 23079 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23079 13086 16 0 208622 0 vsize: 834552 [startup+270.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 25017 48 0 0 25 0 10 0 839108082 854581248 23158 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23158 13086 16 0 208622 0 vsize: 834552 [startup+280.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18013 0 1 0 25941 49 0 0 25 0 10 0 839108082 854581248 23235 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23235 13086 16 0 208622 0 vsize: 834552 [startup+290.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 26864 49 0 0 24 0 10 0 839108082 854581248 23318 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23318 13086 16 0 208622 0 vsize: 834552 [startup+300.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 27784 49 0 0 25 0 10 0 839108082 854581248 23397 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23397 13086 16 0 208622 0 vsize: 834552 [startup+310.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 28699 49 0 0 25 0 10 0 839108082 854581248 23497 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23497 13086 16 0 208622 0 vsize: 834552 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 29609 50 0 0 24 0 10 0 839108082 854581248 23599 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23599 13086 16 0 208622 0 vsize: 834552 [startup+330.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 30521 50 0 0 25 0 10 0 839108082 854581248 23703 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23703 13086 16 0 208622 0 vsize: 834552 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 31440 50 0 0 25 0 10 0 839108082 854581248 23828 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23828 13086 16 0 208622 0 vsize: 834552 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 32362 51 0 0 25 0 10 0 839108082 854581248 23919 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23919 13086 16 0 208622 0 vsize: 834552 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 33291 51 0 0 25 0 10 0 839108082 854581248 23998 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 23998 13086 16 0 208622 0 vsize: 834552 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 34217 51 0 0 25 0 10 0 839108082 854581248 24052 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24052 13086 16 0 208622 0 vsize: 834552 [startup+380.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 35148 51 0 0 25 0 10 0 839108082 854581248 24103 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24103 13086 16 0 208622 0 vsize: 834552 [startup+390.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 36079 52 0 0 25 0 10 0 839108082 854581248 24155 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24155 13086 16 0 208622 0 vsize: 834552 [startup+400.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 37007 52 0 0 25 0 10 0 839108082 854581248 24207 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24207 13086 16 0 208622 0 vsize: 834552 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 37939 52 0 0 25 0 10 0 839108082 854581248 24247 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24247 13086 16 0 208622 0 vsize: 834552 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 38871 53 0 0 25 0 10 0 839108082 854581248 24287 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24287 13086 16 0 208622 0 vsize: 834552 [startup+430.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 39798 53 0 0 25 0 10 0 839108082 854581248 24328 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24328 13086 16 0 208622 0 vsize: 834552 [startup+440.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 40729 53 0 0 25 0 10 0 839108082 854581248 24366 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24366 13086 16 0 208622 0 vsize: 834552 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 41659 53 0 0 25 0 10 0 839108082 854581248 24406 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24406 13086 16 0 208622 0 vsize: 834552 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 42584 54 0 0 25 0 10 0 839108082 854581248 24444 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24444 13086 16 0 208622 0 vsize: 834552 [startup+470.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 43513 54 0 0 25 0 10 0 839108082 854581248 24483 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24483 13086 16 0 208622 0 vsize: 834552 [startup+480.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 44442 54 0 0 25 0 10 0 839108082 854581248 24528 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24528 13086 16 0 208622 0 vsize: 834552 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 45366 55 0 0 25 0 10 0 839108082 854581248 24569 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24569 13086 16 0 208622 0 vsize: 834552 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 46294 55 0 0 25 0 10 0 839108082 854581248 24606 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24606 13086 16 0 208622 0 vsize: 834552 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 47223 56 0 0 25 0 10 0 839108082 854581248 24641 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24641 13086 16 0 208622 0 vsize: 834552 [startup+520.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 48150 56 0 0 25 0 10 0 839108082 854581248 24676 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24676 13086 16 0 208622 0 vsize: 834552 [startup+530.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 49073 56 0 0 24 0 10 0 839108082 854581248 24715 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24715 13086 16 0 208622 0 vsize: 834552 [startup+540.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 49999 57 0 0 25 0 10 0 839108082 854581248 24749 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24749 13086 16 0 208622 0 vsize: 834552 [startup+550.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 50926 57 0 0 25 0 10 0 839108082 854581248 24783 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24783 13086 16 0 208622 0 vsize: 834552 [startup+560.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 51852 57 0 0 25 0 10 0 839108082 854581248 24817 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24817 13086 16 0 208622 0 vsize: 834552 [startup+570.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 52779 58 0 0 25 0 10 0 839108082 854581248 24850 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24850 13086 16 0 208622 0 vsize: 834552 [startup+580.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 53700 58 0 0 24 0 10 0 839108082 854581248 24885 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24885 13086 16 0 208622 0 vsize: 834552 [startup+590.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 54626 58 0 0 25 0 10 0 839108082 854581248 24918 4294967295 134512640 134569956 3221224368 3221214692 1079677981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24918 13086 16 0 208622 0 vsize: 834552 [startup+600.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 55550 58 0 0 25 0 10 0 839108082 854581248 24951 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24951 13086 16 0 208622 0 vsize: 834552 [startup+610.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 56474 59 0 0 25 0 10 0 839108082 854581248 24983 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 24983 13086 16 0 208622 0 vsize: 834552 [startup+620.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 57398 59 0 0 25 0 10 0 839108082 854581248 25014 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25014 13086 16 0 208622 0 vsize: 834552 [startup+630.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 58322 59 0 0 25 0 10 0 839108082 854581248 25049 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25049 13086 16 0 208622 0 vsize: 834552 [startup+640.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 59243 60 0 0 25 0 10 0 839108082 854581248 25080 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25080 13086 16 0 208622 0 vsize: 834552 [startup+650.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 60165 60 0 0 24 0 10 0 839108082 854581248 25112 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25112 13086 16 0 208622 0 vsize: 834552 [startup+660.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 61088 60 0 0 25 0 10 0 839108082 854581248 25143 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25143 13086 16 0 208622 0 vsize: 834552 [startup+670.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 62005 61 0 0 25 0 10 0 839108082 854581248 25721 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25721 13086 16 0 208622 0 vsize: 834552 [startup+680.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 62931 61 0 0 25 0 10 0 839108082 854581248 25721 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25721 13086 16 0 208622 0 vsize: 834552 [startup+690.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 63845 62 0 0 25 0 10 0 839108082 854581248 25732 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25732 13086 16 0 208622 0 vsize: 834552 [startup+700.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 64758 62 0 0 25 0 10 0 839108082 854581248 25759 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25759 13086 16 0 208622 0 vsize: 834552 [startup+710.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 65671 62 0 0 24 0 10 0 839108082 854581248 25789 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25789 13086 16 0 208622 0 vsize: 834552 [startup+720.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 66583 62 0 0 24 0 10 0 839108082 854581248 25818 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25818 13086 16 0 208622 0 vsize: 834552 [startup+730.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 67500 62 0 0 25 0 10 0 839108082 854581248 25846 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 25846 13086 16 0 208622 0 vsize: 834552 [startup+740.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 68411 64 0 0 25 0 10 0 839108082 854581248 25877 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 25877 13086 16 0 208622 0 vsize: 834552 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 69323 64 0 0 25 0 10 0 839108082 854581248 25907 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 25907 13086 16 0 208622 0 vsize: 834552 [startup+760.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 70235 64 0 0 25 0 10 0 839108082 854581248 25932 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 25932 13086 16 0 208622 0 vsize: 834552 [startup+770.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 71146 64 0 0 25 0 10 0 839108082 854581248 25961 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 25961 13086 16 0 208622 0 vsize: 834552 [startup+780.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 72058 64 0 0 25 0 10 0 839108082 854581248 25989 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 25989 13086 16 0 208622 0 vsize: 834552 [startup+790.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 72969 64 0 0 25 0 10 0 839108082 854581248 26017 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26017 13086 16 0 208622 0 vsize: 834552 [startup+800.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 73880 64 0 0 25 0 10 0 839108082 854581248 26045 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26045 13086 16 0 208622 0 vsize: 834552 [startup+810.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 74791 64 0 0 25 0 10 0 839108082 854581248 26072 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26072 13086 16 0 208622 0 vsize: 834552 [startup+820.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 75702 64 0 0 25 0 10 0 839108082 854581248 26100 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26100 13086 16 0 208622 0 vsize: 834552 [startup+830.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 76612 64 0 0 25 0 10 0 839108082 854581248 26127 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26127 13086 16 0 208622 0 vsize: 834552 [startup+840.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 77522 64 0 0 25 0 10 0 839108082 854581248 26155 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26155 13086 16 0 208622 0 vsize: 834552 [startup+850.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 78430 64 0 0 25 0 10 0 839108082 854581248 26182 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26182 13086 16 0 208622 0 vsize: 834552 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 79339 64 0 0 24 0 10 0 839108082 854581248 26213 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26213 13086 16 0 208622 0 vsize: 834552 [startup+870.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 80253 65 0 0 25 0 10 0 839108082 854581248 26235 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26235 13086 16 0 208622 0 vsize: 834552 [startup+880.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 81162 65 0 0 25 0 10 0 839108082 854581248 26263 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26263 13086 16 0 208622 0 vsize: 834552 [startup+890.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 82070 65 0 0 25 0 10 0 839108082 854581248 26290 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26290 13086 16 0 208622 0 vsize: 834552 [startup+900.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 82977 65 0 0 22 0 10 0 839108082 854581248 26317 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26317 13086 16 0 208622 0 vsize: 834552 [startup+910.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 83884 65 0 0 20 0 10 0 839108082 854581248 26343 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208638 26343 13086 16 0 208622 0 vsize: 834552 [startup+920.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 84790 66 0 0 19 0 10 0 839108082 854581248 26367 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26367 13086 16 0 208622 0 vsize: 834552 [startup+930.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 85701 66 0 0 24 0 10 0 839108082 854581248 26392 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26392 13086 16 0 208622 0 vsize: 834552 [startup+940.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 86606 66 0 0 22 0 10 0 839108082 854581248 26423 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26423 13086 16 0 208622 0 vsize: 834552 [startup+950.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 87511 67 0 0 19 0 10 0 839108082 854581248 26454 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26454 13086 16 0 208622 0 vsize: 834552 [startup+960.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 88418 67 0 0 23 0 10 0 839108082 854581248 26481 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26481 13086 16 0 208622 0 vsize: 834552 [startup+970.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 89324 67 0 0 22 0 10 0 839108082 854581248 26508 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26508 13086 16 0 208622 0 vsize: 834552 [startup+980.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 90227 68 0 0 20 0 10 0 839108082 854581248 26538 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26538 13086 16 0 208622 0 vsize: 834552 [startup+990.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 91132 68 0 0 24 0 10 0 839108082 854581248 26573 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26573 13086 16 0 208622 0 vsize: 834552 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 92040 68 0 0 22 0 10 0 839108082 854581248 26598 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26598 13086 16 0 208622 0 vsize: 834552 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 92943 69 0 0 20 0 10 0 839108082 854581248 26624 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26624 13086 16 0 208622 0 vsize: 834552 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 93847 70 0 0 19 0 10 0 839108082 854581248 26650 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26650 13086 16 0 208622 0 vsize: 834552 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 94755 70 0 0 22 0 10 0 839108082 854581248 26678 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26678 13086 16 0 208622 0 vsize: 834552 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 95657 71 0 0 20 0 10 0 839108082 854581248 26705 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26705 13086 16 0 208622 0 vsize: 834552 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 96560 72 0 0 23 0 10 0 839108082 854581248 26729 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26729 13086 16 0 208622 0 vsize: 834552 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 97466 72 0 0 22 0 10 0 839108082 854581248 26754 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26754 13086 16 0 208622 0 vsize: 834552 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 98366 73 0 0 19 0 10 0 839108082 854581248 26791 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26791 13086 16 0 208622 0 vsize: 834552 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 99270 73 0 0 23 0 10 0 839108082 854581248 26816 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26816 13086 16 0 208622 0 vsize: 834552 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 100172 73 0 0 21 0 10 0 839108082 854581248 26844 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26844 13086 16 0 208622 0 vsize: 834552 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 101073 74 0 0 19 0 10 0 839108082 854581248 26868 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26868 13086 16 0 208622 0 vsize: 834552 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 101979 74 0 0 23 0 10 0 839108082 854581248 26889 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26889 13086 16 0 208622 0 vsize: 834552 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 102878 74 0 0 20 0 10 0 839108082 854581248 26928 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26928 13086 16 0 208622 0 vsize: 834552 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 103783 75 0 0 24 0 10 0 839108082 854581248 26957 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26957 13086 16 0 208622 0 vsize: 834552 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 104682 75 0 0 21 0 10 0 839108082 854581248 26978 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 26978 13086 16 0 208622 0 vsize: 834552 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 105581 76 0 0 19 0 10 0 839108082 854581248 27006 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27006 13086 16 0 208622 0 vsize: 834552 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 106486 77 0 0 21 0 10 0 839108082 854581248 27034 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27034 13086 16 0 208622 0 vsize: 834552 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 107385 78 0 0 19 0 10 0 839108082 854581248 27056 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27056 13086 16 0 208622 0 vsize: 834552 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 108290 78 0 0 22 0 10 0 839108082 854581248 27078 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27078 13086 16 0 208622 0 vsize: 834552 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 109186 78 0 0 18 0 10 0 839108082 854581248 27116 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27116 13086 16 0 208622 0 vsize: 834552 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 110089 79 0 0 21 0 10 0 839108082 854581248 27154 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27154 13086 16 0 208622 0 vsize: 834552 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 110983 79 0 0 18 0 10 0 839108082 854581248 27185 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27185 13086 16 0 208622 0 vsize: 834552 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 111884 79 0 0 21 0 10 0 839108082 854581248 27211 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27211 13086 16 0 208622 0 vsize: 834552 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 112778 80 0 0 18 0 10 0 839108082 854581248 27243 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27243 13086 16 0 208622 0 vsize: 834552 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 113680 81 0 0 22 0 10 0 839108082 854581248 27282 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27282 13086 16 0 208622 0 vsize: 834552 [startup+1250.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 114577 81 0 0 24 0 10 0 839108082 854581248 27311 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27311 13086 16 0 208622 0 vsize: 834552 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 115481 81 0 0 21 0 10 0 839108082 854581248 27349 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27349 13086 16 0 208622 0 vsize: 834552 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 116380 82 0 0 19 0 10 0 839108082 854581248 27376 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27376 13086 16 0 208622 0 vsize: 834552 [startup+1280.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 117285 82 0 0 21 0 10 0 839108082 854581248 27410 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27410 13086 16 0 208622 0 vsize: 834552 [startup+1290.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 118186 82 0 0 19 0 10 0 839108082 854581248 27445 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27445 13086 16 0 208622 0 vsize: 834552 [startup+1300.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 119093 82 0 0 22 0 10 0 839108082 854581248 27458 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27458 13086 16 0 208622 0 vsize: 834552 [startup+1310.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 13792 Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 119996 83 0 0 24 0 10 0 839108082 854581248 27616 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208638 27616 13086 16 0 208622 0 vsize: 834552 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.2 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13794 Raw data (stat): 13781 (java) Z 13780 1586 1585 0 -1 1036 18014 13193 1 0 120000 88 11467 57 21 0 1 0 839108082 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.2 CPU time (s): 1316.15 CPU user time (s): 1314.69 CPU system time (s): 1.45778 CPU usage (%): 100.454 Max. virtual memory (Kb): 836412 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####