Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb |
MD5SUM | ab27bfd879fc4acac2b1d87511f2d291 |
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 | 41280 |
Biggest coefficient in the objective function | 1342177280000000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 260295726093315792 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1342177280000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 260295726093315792 |
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.973851 |
Number of variables | 107520 |
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 | 50 |
Maximum length of a constraint | 820 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-25 09:03:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20966 boxname=wulflinc10 idbench=954 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: ab27bfd879fc4acac2b1d87511f2d291 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-a1c1s1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-a1c1s1.opb IDLAUNCH: 20966 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 792556 kB Buffers: 26432 kB Cached: 193320 kB SwapCached: 92 kB Active: 47664 kB Inactive: 174724 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 792304 kB SwapTotal: 2097136 kB SwapFree: 2096752 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6392 kB Slab: 14088 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 09:25:39 (client local time) WITH STATUS 143 IN 1316.37 SECONDS stats: 20966 7 1316.37 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/wulflinc10/normalized-mps-v2-20-10-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.18 #### 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.99 0.99 1/54 29284 Raw data (stat): 29284 (runsolver) R 29283 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779444291 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+9.99987 s] Raw data (loadavg): 0.94 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18002 0 1 0 873 39 0 0 25 0 10 0 779444291 853962752 19360 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208487 19360 13086 16 0 208471 0 vsize: 833948 [startup+20.0013 s] Raw data (loadavg): 0.95 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 1767 40 0 0 25 0 10 0 779444291 855261184 20171 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208804 20171 13086 16 0 208788 0 vsize: 835216 [startup+30.0014 s] Raw data (loadavg): 0.95 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 2659 40 0 0 25 0 10 0 779444291 855261184 20664 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208804 20664 13086 16 0 208788 0 vsize: 835216 [startup+40.0026 s] Raw data (loadavg): 0.96 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 3575 40 0 0 25 0 10 0 779444291 854900736 20901 4294967295 134512640 134569956 3221224368 3221214768 1131249397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208716 20901 13086 16 0 208700 0 vsize: 834864 [startup+50.0026 s] Raw data (loadavg): 0.97 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 4497 40 0 0 25 0 10 0 779444291 854900736 21065 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208716 21065 13086 16 0 208700 0 vsize: 834864 [startup+60.0022 s] Raw data (loadavg): 0.97 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 5418 40 0 0 25 0 10 0 779444291 854900736 21190 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208716 21190 13086 16 0 208700 0 vsize: 834864 [startup+70.0067 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18003 0 1 0 6349 40 0 0 25 0 10 0 779444291 854654976 21369 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21369 13086 16 0 208640 0 vsize: 834624 [startup+80.008 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 7288 40 0 0 25 0 10 0 779444291 854654976 21470 4294967295 134512640 134569956 3221224368 3221214320 1079668454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21470 13086 16 0 208640 0 vsize: 834624 [startup+90.0119 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18003 0 1 0 8231 41 0 0 25 0 10 0 779444291 854654976 21560 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21560 13086 16 0 208640 0 vsize: 834624 [startup+100.013 s] Raw data (loadavg): 0.98 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 9173 41 0 0 25 0 10 0 779444291 854654976 21646 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21646 13086 16 0 208640 0 vsize: 834624 [startup+110.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 10115 41 0 0 24 0 10 0 779444291 854654976 21727 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21727 13086 16 0 208640 0 vsize: 834624 [startup+120.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 11060 41 0 0 25 0 10 0 779444291 854654976 21800 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21800 13086 16 0 208640 0 vsize: 834624 [startup+130.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29293 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 12002 41 0 0 25 0 10 0 779444291 854654976 21873 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21873 13086 16 0 208640 0 vsize: 834624 [startup+140.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 12948 41 0 0 25 0 10 0 779444291 854654976 21938 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 21938 13086 16 0 208640 0 vsize: 834624 [startup+150.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 13891 41 0 0 25 0 10 0 779444291 854654976 22004 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22004 13086 16 0 208640 0 vsize: 834624 [startup+160.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 14837 41 0 0 25 0 10 0 779444291 854654976 22064 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22064 13086 16 0 208640 0 vsize: 834624 [startup+170.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 15779 42 0 0 25 0 10 0 779444291 854654976 22125 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22125 13086 16 0 208640 0 vsize: 834624 [startup+180.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 16695 42 0 0 25 0 10 0 779444291 854654976 22181 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22181 13086 16 0 208640 0 vsize: 834624 [startup+190.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 17616 42 0 0 25 0 10 0 779444291 854654976 22492 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22492 13086 16 0 208640 0 vsize: 834624 [startup+200.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 18555 42 0 0 25 0 10 0 779444291 854654976 22547 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22547 13086 16 0 208640 0 vsize: 834624 [startup+210.023 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18003 0 1 0 19494 42 0 0 25 0 10 0 779444291 854654976 22600 4294967295 134512640 134569956 3221224368 3221213360 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22600 13086 16 0 208640 0 vsize: 834624 [startup+220.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 20436 42 0 0 25 0 10 0 779444291 854654976 22651 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22651 13086 16 0 208640 0 vsize: 834624 [startup+230.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 21374 42 0 0 25 0 10 0 779444291 854654976 22702 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22702 13086 16 0 208640 0 vsize: 834624 [startup+240.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 22315 43 0 0 25 0 10 0 779444291 854654976 22749 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22749 13086 16 0 208640 0 vsize: 834624 [startup+250.025 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 23253 43 0 0 25 0 10 0 779444291 854654976 22799 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22799 13086 16 0 208640 0 vsize: 834624 [startup+260.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 24193 43 0 0 25 0 10 0 779444291 854654976 22844 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22844 13086 16 0 208640 0 vsize: 834624 [startup+270.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 25130 43 0 0 25 0 10 0 779444291 854654976 22891 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22891 13086 16 0 208640 0 vsize: 834624 [startup+280.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 26069 43 0 0 25 0 10 0 779444291 854654976 22935 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22935 13086 16 0 208640 0 vsize: 834624 [startup+290.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 27005 43 0 0 25 0 10 0 779444291 854654976 22980 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 22980 13086 16 0 208640 0 vsize: 834624 [startup+300.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 27944 43 0 0 25 0 10 0 779444291 854654976 23022 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23022 13086 16 0 208640 0 vsize: 834624 [startup+310.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 28879 43 0 0 25 0 10 0 779444291 854654976 23066 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23066 13086 16 0 208640 0 vsize: 834624 [startup+320.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 29817 43 0 0 25 0 10 0 779444291 854654976 23107 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23107 13086 16 0 208640 0 vsize: 834624 [startup+330.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 30751 43 0 0 24 0 10 0 779444291 854654976 23150 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23150 13086 16 0 208640 0 vsize: 834624 [startup+340.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 31688 43 0 0 25 0 10 0 779444291 854654976 23189 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23189 13086 16 0 208640 0 vsize: 834624 [startup+350.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 32625 43 0 0 25 0 10 0 779444291 854654976 23228 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23228 13086 16 0 208640 0 vsize: 834624 [startup+360.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 33557 44 0 0 25 0 10 0 779444291 854654976 23268 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23268 13086 16 0 208640 0 vsize: 834624 [startup+370.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 34494 44 0 0 25 0 10 0 779444291 854654976 23307 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23307 13086 16 0 208640 0 vsize: 834624 [startup+380.032 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 35425 44 0 0 24 0 10 0 779444291 854654976 23346 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23346 13086 16 0 208640 0 vsize: 834624 [startup+390.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 36360 44 0 0 25 0 10 0 779444291 854654976 23383 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23383 13086 16 0 208640 0 vsize: 834624 [startup+400.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 37295 44 0 0 25 0 10 0 779444291 854654976 23419 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23419 13086 16 0 208640 0 vsize: 834624 [startup+410.035 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18003 0 1 0 38228 44 0 0 25 0 10 0 779444291 854654976 23455 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23455 13086 16 0 208640 0 vsize: 834624 [startup+420.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 39160 44 0 0 25 0 10 0 779444291 854654976 23492 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23492 13086 16 0 208640 0 vsize: 834624 [startup+430.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 40093 44 0 0 25 0 10 0 779444291 854654976 23527 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23527 13086 16 0 208640 0 vsize: 834624 [startup+440.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 41026 44 0 0 25 0 10 0 779444291 854654976 23562 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23562 13086 16 0 208640 0 vsize: 834624 [startup+450.04 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18003 0 1 0 41956 45 0 0 25 0 10 0 779444291 854654976 23596 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23596 13086 16 0 208640 0 vsize: 834624 [startup+460.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 42888 45 0 0 25 0 10 0 779444291 854654976 23632 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23632 13086 16 0 208640 0 vsize: 834624 [startup+470.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18003 0 1 0 43813 45 0 0 24 0 10 0 779444291 854654976 23668 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208656 23668 13086 16 0 208640 0 vsize: 834624 [startup+480.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18011 0 1 0 44736 45 0 0 25 0 10 0 779444291 854622208 23702 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 23702 13086 16 0 208632 0 vsize: 834592 [startup+490.042 s] Raw data (loadavg): 1.07 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18012 0 1 0 45641 45 0 0 25 0 10 0 779444291 855965696 24164 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208976 24164 13086 16 0 208960 0 vsize: 835904 [startup+500.043 s] Raw data (loadavg): 1.14 1.03 1.01 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 46563 46 0 0 25 0 10 0 779444291 855703552 24181 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208912 24181 13086 16 0 208896 0 vsize: 835648 [startup+510.043 s] Raw data (loadavg): 1.12 1.03 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 47484 46 0 0 25 0 10 0 779444291 854622208 23997 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 23997 13086 16 0 208632 0 vsize: 834592 [startup+520.044 s] Raw data (loadavg): 1.10 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 48407 46 0 0 25 0 10 0 779444291 854622208 24053 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24053 13086 16 0 208632 0 vsize: 834592 [startup+530.044 s] Raw data (loadavg): 1.08 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 49330 46 0 0 25 0 10 0 779444291 854622208 24107 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24107 13086 16 0 208632 0 vsize: 834592 [startup+540.044 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 50247 46 0 0 25 0 10 0 779444291 854622208 24156 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24156 13086 16 0 208632 0 vsize: 834592 [startup+550.046 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 51169 46 0 0 25 0 10 0 779444291 854622208 24210 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24210 13086 16 0 208632 0 vsize: 834592 [startup+560.046 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 52092 46 0 0 25 0 10 0 779444291 854622208 24263 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24263 13086 16 0 208632 0 vsize: 834592 [startup+570.046 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 53013 47 0 0 25 0 10 0 779444291 854622208 24317 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24317 13086 16 0 208632 0 vsize: 834592 [startup+580.046 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 53935 47 0 0 25 0 10 0 779444291 854622208 24367 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24367 13086 16 0 208632 0 vsize: 834592 [startup+590.047 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 54855 47 0 0 25 0 10 0 779444291 854622208 24419 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24419 13086 16 0 208632 0 vsize: 834592 [startup+600.048 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 55774 47 0 0 20 0 10 0 779444291 854622208 24471 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24471 13086 16 0 208632 0 vsize: 834592 [startup+610.048 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 56694 48 0 0 25 0 10 0 779444291 854622208 24524 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24524 13086 16 0 208632 0 vsize: 834592 [startup+620.048 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 57614 48 0 0 25 0 10 0 779444291 854622208 24571 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24571 13086 16 0 208632 0 vsize: 834592 [startup+630.048 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 58534 48 0 0 25 0 10 0 779444291 854622208 24623 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24623 13086 16 0 208632 0 vsize: 834592 [startup+640.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 59452 48 0 0 25 0 10 0 779444291 854622208 24670 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24670 13086 16 0 208632 0 vsize: 834592 [startup+650.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 60367 48 0 0 21 0 10 0 779444291 854622208 24718 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24718 13086 16 0 208632 0 vsize: 834592 [startup+660.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 61276 49 0 0 25 0 10 0 779444291 854622208 24782 4294967295 134512640 134569956 3221224368 3221214164 1076877600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 24782 13086 16 0 208632 0 vsize: 834592 [startup+670.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18013 0 1 0 62183 49 0 0 25 0 10 0 779444291 854622208 25215 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25215 13086 16 0 208632 0 vsize: 834592 [startup+680.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 63093 49 0 0 25 0 10 0 779444291 854622208 25662 4294967295 134512640 134569956 3221224368 3221214760 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25662 13086 16 0 208632 0 vsize: 834592 [startup+690.057 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 64002 49 0 0 25 0 10 0 779444291 854622208 25663 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25663 13086 16 0 208632 0 vsize: 834592 [startup+700.058 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 64903 49 0 0 25 0 10 0 779444291 854622208 25734 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25734 13086 16 0 208632 0 vsize: 834592 [startup+710.058 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 65804 50 0 0 25 0 10 0 779444291 854622208 25799 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25799 13086 16 0 208632 0 vsize: 834592 [startup+720.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 66696 50 0 0 19 0 10 0 779444291 854622208 25866 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25866 13086 16 0 208632 0 vsize: 834592 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18013 0 1 0 67602 50 0 0 23 0 10 0 779444291 854622208 25974 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 25974 13086 16 0 208632 0 vsize: 834592 [startup+740.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 68506 50 0 0 22 0 10 0 779444291 854622208 26034 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26034 13086 16 0 208632 0 vsize: 834592 [startup+750.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18013 0 1 0 69410 50 0 0 20 0 10 0 779444291 854622208 26090 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26090 13086 16 0 208632 0 vsize: 834592 [startup+760.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 70318 50 0 0 24 0 10 0 779444291 854622208 26146 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26146 13086 16 0 208632 0 vsize: 834592 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 71221 50 0 0 21 0 10 0 779444291 854622208 26206 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26206 13086 16 0 208632 0 vsize: 834592 [startup+780.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 72126 51 0 0 20 0 10 0 779444291 854622208 26261 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26261 13086 16 0 208632 0 vsize: 834592 [startup+790.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 73034 51 0 0 19 0 10 0 779444291 854622208 26312 4294967295 134512640 134569956 3221224368 3221213824 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26312 13086 16 0 208632 0 vsize: 834592 [startup+800.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 73948 51 0 0 24 0 10 0 779444291 854622208 26345 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26345 13086 16 0 208632 0 vsize: 834592 [startup+810.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 74856 51 0 0 25 0 10 0 779444291 854622208 26379 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26379 13086 16 0 208632 0 vsize: 834592 [startup+820.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 75764 51 0 0 25 0 10 0 779444291 854622208 26413 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26413 13086 16 0 208632 0 vsize: 834592 [startup+830.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 76675 51 0 0 25 0 10 0 779444291 854622208 26445 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26445 13086 16 0 208632 0 vsize: 834592 [startup+840.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 77583 51 0 0 25 0 10 0 779444291 854622208 26481 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26481 13086 16 0 208632 0 vsize: 834592 [startup+850.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 78490 52 0 0 25 0 10 0 779444291 854622208 26515 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26515 13086 16 0 208632 0 vsize: 834592 [startup+860.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 79397 52 0 0 25 0 10 0 779444291 854622208 26547 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26547 13086 16 0 208632 0 vsize: 834592 [startup+870.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 80308 52 0 0 25 0 10 0 779444291 854622208 26580 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26580 13086 16 0 208632 0 vsize: 834592 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 81214 52 0 0 25 0 10 0 779444291 854622208 26613 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26613 13086 16 0 208632 0 vsize: 834592 [startup+890.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 82122 52 0 0 24 0 10 0 779444291 854622208 26640 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26640 13086 16 0 208632 0 vsize: 834592 [startup+900.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 83034 52 0 0 25 0 10 0 779444291 854622208 26666 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26666 13086 16 0 208632 0 vsize: 834592 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 83942 52 0 0 25 0 10 0 779444291 854622208 26693 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26693 13086 16 0 208632 0 vsize: 834592 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 84848 52 0 0 25 0 10 0 779444291 854622208 26720 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26720 13086 16 0 208632 0 vsize: 834592 [startup+930.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 85755 53 0 0 24 0 10 0 779444291 854622208 26744 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26744 13086 16 0 208632 0 vsize: 834592 [startup+940.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 86667 53 0 0 25 0 10 0 779444291 854622208 26770 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26770 13086 16 0 208632 0 vsize: 834592 [startup+950.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 87573 53 0 0 25 0 10 0 779444291 854622208 26795 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26795 13086 16 0 208632 0 vsize: 834592 [startup+960.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 88478 53 0 0 20 0 10 0 779444291 854622208 26822 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26822 13086 16 0 208632 0 vsize: 834592 [startup+970.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 89382 53 0 0 19 0 10 0 779444291 854622208 26846 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26846 13086 16 0 208632 0 vsize: 834592 [startup+980.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 90292 53 0 0 24 0 10 0 779444291 854622208 26871 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26871 13086 16 0 208632 0 vsize: 834592 [startup+990.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 91197 53 0 0 20 0 10 0 779444291 854622208 26894 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26894 13086 16 0 208632 0 vsize: 834592 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 92102 53 0 0 19 0 10 0 779444291 854622208 26926 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26926 13086 16 0 208632 0 vsize: 834592 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 93011 53 0 0 23 0 10 0 779444291 854622208 26948 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26948 13086 16 0 208632 0 vsize: 834592 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 93917 53 0 0 22 0 10 0 779444291 854622208 26973 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26973 13086 16 0 208632 0 vsize: 834592 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 94820 53 0 0 20 0 10 0 779444291 854622208 26996 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 26996 13086 16 0 208632 0 vsize: 834592 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 95724 54 0 0 24 0 10 0 779444291 854622208 27021 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27021 13086 16 0 208632 0 vsize: 834592 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 96631 54 0 0 22 0 10 0 779444291 854622208 27047 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27047 13086 16 0 208632 0 vsize: 834592 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 97532 54 0 0 19 0 10 0 779444291 854622208 27078 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27078 13086 16 0 208632 0 vsize: 834592 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 98440 54 0 0 23 0 10 0 779444291 854622208 27106 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27106 13086 16 0 208632 0 vsize: 834592 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 99339 54 0 0 21 0 10 0 779444291 854622208 27135 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27135 13086 16 0 208632 0 vsize: 834592 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 100240 55 0 0 19 0 10 0 779444291 854622208 27163 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27163 13086 16 0 208632 0 vsize: 834592 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 101148 55 0 0 23 0 10 0 779444291 854622208 27184 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27184 13086 16 0 208632 0 vsize: 834592 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 102050 55 0 0 20 0 10 0 779444291 854622208 27210 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27210 13086 16 0 208632 0 vsize: 834592 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 102957 55 0 0 24 0 10 0 779444291 854622208 27230 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27230 13086 16 0 208632 0 vsize: 834592 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 103856 56 0 0 21 0 10 0 779444291 854622208 27252 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27252 13086 16 0 208632 0 vsize: 834592 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 104760 56 0 0 23 0 10 0 779444291 854622208 27276 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27276 13086 16 0 208632 0 vsize: 834592 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 105659 56 0 0 20 0 10 0 779444291 854622208 27299 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27299 13086 16 0 208632 0 vsize: 834592 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 106562 57 0 0 23 0 10 0 779444291 854622208 27323 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27323 13086 16 0 208632 0 vsize: 834592 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 107460 58 0 0 20 0 10 0 779444291 854622208 27345 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27345 13086 16 0 208632 0 vsize: 834592 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 108364 58 0 0 23 0 10 0 779444291 854622208 27373 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208648 27373 13086 16 0 208632 0 vsize: 834592 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 109261 58 0 0 20 0 10 0 779444291 854622208 27394 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27394 13086 16 0 208632 0 vsize: 834592 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 110165 59 0 0 24 0 10 0 779444291 854622208 27418 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27418 13086 16 0 208632 0 vsize: 834592 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 111061 59 0 0 20 0 10 0 779444291 854622208 27439 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27439 13086 16 0 208632 0 vsize: 834592 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 111966 60 0 0 23 0 10 0 779444291 854622208 27459 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27459 13086 16 0 208632 0 vsize: 834592 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 112863 60 0 0 19 0 10 0 779444291 854622208 27484 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27484 13086 16 0 208632 0 vsize: 834592 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 113767 61 0 0 22 0 10 0 779444291 854622208 27503 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27503 13086 16 0 208632 0 vsize: 834592 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 114663 61 0 0 19 0 10 0 779444291 854622208 27529 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27529 13086 16 0 208632 0 vsize: 834592 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 115566 61 0 0 22 0 10 0 779444291 854622208 27554 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27554 13086 16 0 208632 0 vsize: 834592 [startup+1270.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 116463 62 0 0 19 0 10 0 779444291 854622208 27576 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27576 13086 16 0 208632 0 vsize: 834592 [startup+1280.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 117367 62 0 0 21 0 10 0 779444291 854622208 27606 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27606 13086 16 0 208632 0 vsize: 834592 [startup+1290.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 118265 63 0 0 18 0 10 0 779444291 854622208 27622 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27622 13086 16 0 208632 0 vsize: 834592 [startup+1300.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) R 29283 15547 15546 0 -1 0 18014 0 1 0 119168 63 0 0 21 0 10 0 779444291 854622208 27650 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27650 13086 16 0 208632 0 vsize: 834592 [startup+1310.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 29295 Raw data (stat): 29284 (java) S 29283 15547 15546 0 -1 0 18014 0 1 0 120071 64 0 0 24 0 10 0 779444291 854622208 27691 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208648 27691 13086 16 0 208632 0 vsize: 834592 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 29297 Raw data (stat): 29284 (java) Z 29283 15547 15546 0 -1 1036 18014 12794 1 0 120072 69 11441 53 17 0 1 0 779444291 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.22 CPU time (s): 1316.37 CPU user time (s): 1315.15 CPU system time (s): 1.22781 CPU usage (%): 100.469 Max. virtual memory (Kb): 835904 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####