Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb |
MD5SUM | 4829333e276b05557ca595f3889e1c97 |
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 | 8784 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 144203531006459664 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 144203531006459664 |
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.135978 |
Number of variables | 15504 |
Total number of constraints | 1560 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 09:54:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21046 boxname=wulflinc11 idbench=1034 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4829333e276b05557ca595f3889e1c97 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb IDLAUNCH: 21046 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 847592 kB Buffers: 30404 kB Cached: 135356 kB SwapCached: 772 kB Active: 61496 kB Inactive: 106296 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 847340 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13472 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 10:15:29 (client local time) WITH STATUS 143 IN 1258.01 SECONDS stats: 21046 7 1258.01 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/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb c reading problem ... done. Time 74.327 ms. c #vars 15504 c #constraints 1536 c starts : 9 c conflicts : 6952 c decisions : 8524 c propagations : 39393 c inspects : 1443082 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6952 c root simplifications : 22 s UNKNOWN c Total CPU time (ms) : 1259.162 #### 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 1.00 0.99 2/54 6262 Raw data (stat): 6262 (runsolver) R 6261 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779731081 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.0002 s] Raw data (loadavg): 0.94 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18013 0 1 0 883 36 0 0 25 0 10 0 779731081 856317952 20059 4294967295 134512640 134569956 3221224368 3221214688 1131186561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209062 20059 13086 16 0 209046 0 vsize: 836248 [startup+20.0009 s] Raw data (loadavg): 0.95 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18013 0 1 0 1779 36 0 0 25 0 10 0 779731081 855375872 20338 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208832 20338 13086 16 0 208816 0 vsize: 835328 [startup+30.0022 s] Raw data (loadavg): 0.95 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18022 0 1 0 2662 37 0 0 24 0 10 0 779731081 855375872 20890 4294967295 134512640 134569956 3221224368 3221214516 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208832 20890 13086 16 0 208816 0 vsize: 835328 [startup+40.003 s] Raw data (loadavg): 0.96 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18023 0 1 0 3516 37 0 0 25 0 10 0 779731081 858849280 21882 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209680 21882 13086 16 0 209664 0 vsize: 838720 [startup+50.0034 s] Raw data (loadavg): 0.97 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 4404 38 0 0 25 0 10 0 779731081 857473024 21884 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209344 21884 13086 16 0 209328 0 vsize: 837376 [startup+60.0047 s] Raw data (loadavg): 0.97 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 5294 38 0 0 25 0 10 0 779731081 857473024 22123 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209344 22123 13086 16 0 209328 0 vsize: 837376 [startup+70.005 s] Raw data (loadavg): 0.97 1.00 0.99 2/63 6271 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 6191 38 0 0 24 0 10 0 779731081 857473024 22438 4294967295 134512640 134569956 3221224368 3221214800 1131257350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209344 22438 13086 16 0 209328 0 vsize: 837376 [startup+80.0087 s] Raw data (loadavg): 1.14 1.03 1.01 4/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18067 0 1 0 7024 39 0 0 25 0 11 0 779731081 862760960 25214 4294967295 134512640 134569956 3221224368 3221214408 1131418827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210635 25214 13086 16 0 210619 0 vsize: 842540 [startup+90.009 s] Raw data (loadavg): 1.12 1.03 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18070 0 1 0 7999 40 0 0 25 0 11 0 779731081 861589504 25204 4294967295 134512640 134569956 3221224368 3221214528 1131354281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 25204 13086 16 0 210333 0 vsize: 841396 [startup+100.009 s] Raw data (loadavg): 1.10 1.03 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 8968 40 0 0 25 0 11 0 779731081 861589504 25206 4294967295 134512640 134569956 3221224368 3221214512 1131420094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 25206 13086 16 0 210333 0 vsize: 841396 [startup+110.009 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 9918 40 0 0 25 0 11 0 779731081 861589504 25575 4294967295 134512640 134569956 3221224368 3221214512 1131420161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 25575 13086 16 0 210333 0 vsize: 841396 [startup+120.01 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 10855 40 0 0 25 0 11 0 779731081 861589504 26163 4294967295 134512640 134569956 3221224368 3221214616 1131270727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 26163 13086 16 0 210333 0 vsize: 841396 [startup+130.011 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 11801 40 0 0 25 0 11 0 779731081 861589504 26785 4294967295 134512640 134569956 3221224368 3221214616 1131357668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 26785 13086 16 0 210333 0 vsize: 841396 [startup+140.01 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 12747 41 0 0 25 0 11 0 779731081 861589504 27278 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 27278 13086 16 0 210333 0 vsize: 841396 [startup+150.011 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 13690 41 0 0 25 0 11 0 779731081 861589504 27849 4294967295 134512640 134569956 3221224368 3221214632 1131415719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 27849 13086 16 0 210333 0 vsize: 841396 [startup+160.011 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 14640 41 0 0 25 0 11 0 779731081 861589504 28272 4294967295 134512640 134569956 3221224368 3221214616 1131357626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 28272 13086 16 0 210333 0 vsize: 841396 [startup+170.011 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 15595 41 0 0 25 0 11 0 779731081 861589504 28707 4294967295 134512640 134569956 3221224368 3221214580 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 28707 13086 16 0 210333 0 vsize: 841396 [startup+180.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 16547 42 0 0 25 0 11 0 779731081 861589504 28924 4294967295 134512640 134569956 3221224368 3221214528 1131419184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 28924 13086 16 0 210333 0 vsize: 841396 [startup+190.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 17494 42 0 0 25 0 11 0 779731081 861589504 29249 4294967295 134512640 134569956 3221224368 3221214632 1131415683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 29249 13086 16 0 210333 0 vsize: 841396 [startup+200.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 18443 42 0 0 25 0 11 0 779731081 861589504 29454 4294967295 134512640 134569956 3221224368 3221214584 1131201104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 29454 13086 16 0 210333 0 vsize: 841396 [startup+210.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 19381 42 0 0 24 0 11 0 779731081 861589504 29728 4294967295 134512640 134569956 3221224368 3221214208 1131592692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 29728 13086 16 0 210333 0 vsize: 841396 [startup+220.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 20329 42 0 0 25 0 11 0 779731081 861589504 30036 4294967295 134512640 134569956 3221224368 3221214896 1131200320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30036 13086 16 0 210333 0 vsize: 841396 [startup+230.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 21279 42 0 0 25 0 11 0 779731081 861589504 30221 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30221 13086 16 0 210333 0 vsize: 841396 [startup+240.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 22237 42 0 0 25 0 11 0 779731081 861589504 30369 4294967295 134512640 134569956 3221224368 3221214528 1131420040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30369 13086 16 0 210333 0 vsize: 841396 [startup+250.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 23183 43 0 0 25 0 11 0 779731081 861589504 30598 4294967295 134512640 134569956 3221224368 3221214528 1131419041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30598 13086 16 0 210333 0 vsize: 841396 [startup+260.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 24140 43 0 0 25 0 11 0 779731081 861589504 30800 4294967295 134512640 134569956 3221224368 3221214580 1131456748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30800 13086 16 0 210333 0 vsize: 841396 [startup+270.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 25088 43 0 0 25 0 11 0 779731081 861589504 30951 4294967295 134512640 134569956 3221224368 3221214528 1131418817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 30951 13086 16 0 210333 0 vsize: 841396 [startup+280.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 26047 43 0 0 25 0 11 0 779731081 861589504 31123 4294967295 134512640 134569956 3221224368 3221214528 1131420924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 31123 13086 16 0 210333 0 vsize: 841396 [startup+290.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 26991 43 0 0 25 0 11 0 779731081 861589504 31441 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 31441 13086 16 0 210333 0 vsize: 841396 [startup+300.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 27947 43 0 0 25 0 11 0 779731081 861589504 31661 4294967295 134512640 134569956 3221224368 3221214680 1131387838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 31661 13086 16 0 210333 0 vsize: 841396 [startup+310.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 28903 43 0 0 25 0 11 0 779731081 861589504 31914 4294967295 134512640 134569956 3221224368 3221214148 1131384550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 31914 13086 16 0 210333 0 vsize: 841396 [startup+320.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 29859 43 0 0 25 0 11 0 779731081 861589504 32190 4294967295 134512640 134569956 3221224368 3221214728 1131201119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 32190 13086 16 0 210333 0 vsize: 841396 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6272 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 30816 44 0 0 25 0 11 0 779731081 861589504 32435 4294967295 134512640 134569956 3221224368 3221214160 1131384440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 32435 13086 16 0 210333 0 vsize: 841396 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 3/67 6309 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 31779 48 0 0 25 0 11 0 779731081 861589504 32610 4294967295 134512640 134569956 3221224368 3221214632 1131415760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 32610 13086 16 0 210333 0 vsize: 841396 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 32732 50 0 0 25 0 11 0 779731081 861589504 32915 4294967295 134512640 134569956 3221224368 3221214528 1131347989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 32915 13086 16 0 210333 0 vsize: 841396 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 33689 51 0 0 25 0 11 0 779731081 861589504 33178 4294967295 134512640 134569956 3221224368 3221214600 1131414424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 33178 13086 16 0 210333 0 vsize: 841396 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 34645 51 0 0 25 0 11 0 779731081 861589504 33483 4294967295 134512640 134569956 3221224368 3221214600 1131414352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 33483 13086 16 0 210333 0 vsize: 841396 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 35601 52 0 0 25 0 11 0 779731081 861589504 33707 4294967295 134512640 134569956 3221224368 3221214616 1131357652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 33707 13086 16 0 210333 0 vsize: 841396 [startup+390.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 36570 52 0 0 25 0 11 0 779731081 861589504 33897 4294967295 134512640 134569956 3221224368 3221214604 1131127961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 33897 13086 16 0 210333 0 vsize: 841396 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 37527 52 0 0 25 0 11 0 779731081 861589504 34202 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 34202 13086 16 0 210333 0 vsize: 841396 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6325 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 38486 52 0 0 25 0 11 0 779731081 861589504 34264 4294967295 134512640 134569956 3221224368 3221214352 1085679508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 34264 13086 16 0 210333 0 vsize: 841396 [startup+420.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 39443 53 0 0 25 0 11 0 779731081 861589504 34518 4294967295 134512640 134569956 3221224368 3221214528 1131245396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 34518 13086 16 0 210333 0 vsize: 841396 [startup+430.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 40410 53 0 0 25 0 11 0 779731081 861589504 34688 4294967295 134512640 134569956 3221224368 3221214208 1131592687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 34688 13086 16 0 210333 0 vsize: 841396 [startup+440.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 41366 53 0 0 25 0 11 0 779731081 861589504 34940 4294967295 134512640 134569956 3221224368 3221214600 1131414446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 34940 13086 16 0 210333 0 vsize: 841396 [startup+450.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 42322 53 0 0 25 0 11 0 779731081 861589504 35109 4294967295 134512640 134569956 3221224368 3221213920 1131277058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 35109 13086 16 0 210333 0 vsize: 841396 [startup+460.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 43289 53 0 0 25 0 11 0 779731081 861589504 35283 4294967295 134512640 134569956 3221224368 3221214628 1131208480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 35283 13086 16 0 210333 0 vsize: 841396 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 44245 54 0 0 25 0 11 0 779731081 861589504 35525 4294967295 134512640 134569956 3221224368 3221214632 1131415719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 35525 13086 16 0 210333 0 vsize: 841396 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 45213 54 0 0 25 0 11 0 779731081 861589504 35694 4294967295 134512640 134569956 3221224368 3221213824 1131592490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 35694 13086 16 0 210333 0 vsize: 841396 [startup+490.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 46169 54 0 0 25 0 11 0 779731081 861589504 35944 4294967295 134512640 134569956 3221224368 3221214608 1131208698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 35944 13086 16 0 210333 0 vsize: 841396 [startup+500.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 47125 54 0 0 25 0 11 0 779731081 861589504 36149 4294967295 134512640 134569956 3221224368 3221214536 1131384919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 36149 13086 16 0 210333 0 vsize: 841396 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 48092 55 0 0 25 0 11 0 779731081 861589504 36325 4294967295 134512640 134569956 3221224368 3221213776 1131384458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 36325 13086 16 0 210333 0 vsize: 841396 [startup+520.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 49047 55 0 0 25 0 11 0 779731081 861589504 36565 4294967295 134512640 134569956 3221224368 3221214000 1131384471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 36565 13086 16 0 210333 0 vsize: 841396 [startup+530.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 50013 55 0 0 25 0 11 0 779731081 861589504 36749 4294967295 134512640 134569956 3221224368 3221213936 1131592700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 36749 13086 16 0 210333 0 vsize: 841396 [startup+540.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 50968 55 0 0 25 0 11 0 779731081 861589504 37115 4294967295 134512640 134569956 3221224368 3221214616 1131322349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 37115 13086 16 0 210333 0 vsize: 841396 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 51936 56 0 0 25 0 11 0 779731081 861589504 37288 4294967295 134512640 134569956 3221224368 3221214512 1131347912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 37288 13086 16 0 210333 0 vsize: 841396 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 52903 56 0 0 25 0 11 0 779731081 861589504 37459 4294967295 134512640 134569956 3221224368 3221214528 1131421615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 37459 13086 16 0 210333 0 vsize: 841396 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 53861 56 0 0 25 0 11 0 779731081 861589504 37846 4294967295 134512640 134569956 3221224368 3221213768 1131592648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 37846 13086 16 0 210333 0 vsize: 841396 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 54830 56 0 0 25 0 11 0 779731081 861589504 37849 4294967295 134512640 134569956 3221224368 3221214528 1131347819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 37849 13086 16 0 210333 0 vsize: 841396 [startup+590.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 55786 56 0 0 24 0 11 0 779731081 861589504 38073 4294967295 134512640 134569956 3221224368 3221214528 1131347978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38073 13086 16 0 210333 0 vsize: 841396 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 56753 57 0 0 25 0 11 0 779731081 861589504 38233 4294967295 134512640 134569956 3221224368 3221214368 1076460929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38233 13086 16 0 210333 0 vsize: 841396 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 57720 57 0 0 25 0 11 0 779731081 861589504 38404 4294967295 134512640 134569956 3221224368 3221214512 1131347949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38404 13086 16 0 210333 0 vsize: 841396 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 58687 57 0 0 25 0 11 0 779731081 861589504 38591 4294967295 134512640 134569956 3221224368 3221214616 1131411301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38591 13086 16 0 210333 0 vsize: 841396 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 59651 57 0 0 25 0 11 0 779731081 861589504 38766 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38766 13086 16 0 210333 0 vsize: 841396 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 60611 58 0 0 25 0 11 0 779731081 861589504 38964 4294967295 134512640 134569956 3221224368 3221214416 1131586872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 38964 13086 16 0 210333 0 vsize: 841396 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 61578 58 0 0 25 0 11 0 779731081 861589504 39136 4294967295 134512640 134569956 3221224368 3221214632 1131415680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 39136 13086 16 0 210333 0 vsize: 841396 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 62514 58 0 0 24 0 11 0 779731081 861589504 39376 4294967295 134512640 134569956 3221224368 3221214680 1131388949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 39376 13086 16 0 210333 0 vsize: 841396 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 63452 58 0 0 25 0 11 0 779731081 861589504 39475 4294967295 134512640 134569956 3221224368 3221214704 1131347947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 39475 13086 16 0 210333 0 vsize: 841396 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 64402 59 0 0 25 0 11 0 779731081 861589504 39530 4294967295 134512640 134569956 3221224368 3221214680 1131387893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 39530 13086 16 0 210333 0 vsize: 841396 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 65337 59 0 0 25 0 11 0 779731081 861589504 39702 4294967295 134512640 134569956 3221224368 3221214528 1131348131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 39702 13086 16 0 210333 0 vsize: 841396 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 66297 60 0 0 25 0 11 0 779731081 861589504 39997 4294967295 134512640 134569956 3221224368 3221214524 1131417952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 39997 13086 16 0 210333 0 vsize: 841396 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6327 Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 67266 60 0 0 25 0 11 0 779731081 861589504 40175 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40175 13086 16 0 210333 0 vsize: 841396 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 68231 60 0 0 25 0 11 0 779731081 861589504 40212 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40212 13086 16 0 210333 0 vsize: 841396 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 69190 60 0 0 25 0 11 0 779731081 861589504 40320 4294967295 134512640 134569956 3221224368 3221214896 1131200320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40320 13086 16 0 210333 0 vsize: 841396 [startup+740.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 70143 60 0 0 25 0 11 0 779731081 861589504 40338 4294967295 134512640 134569956 3221224368 3221214528 1131347781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40338 13086 16 0 210333 0 vsize: 841396 [startup+750.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 71101 60 0 0 25 0 11 0 779731081 861589504 40389 4294967295 134512640 134569956 3221224368 3221214648 1131347726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40389 13086 16 0 210333 0 vsize: 841396 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 72057 60 0 0 25 0 11 0 779731081 861589504 40497 4294967295 134512640 134569956 3221224368 3221214600 1131357422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40497 13086 16 0 210333 0 vsize: 841396 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 73004 60 0 0 25 0 11 0 779731081 861589504 40661 4294967295 134512640 134569956 3221224368 3221214580 1130885222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40661 13086 16 0 210333 0 vsize: 841396 [startup+780.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 73950 60 0 0 25 0 11 0 779731081 861589504 40773 4294967295 134512640 134569956 3221224368 3221214600 1131414418 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40773 13086 16 0 210333 0 vsize: 841396 [startup+790.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 74897 60 0 0 25 0 11 0 779731081 861589504 40913 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 40913 13086 16 0 210333 0 vsize: 841396 [startup+800.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 75844 60 0 0 25 0 11 0 779731081 861589504 41052 4294967295 134512640 134569956 3221224368 3221214528 1131355084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41052 13086 16 0 210333 0 vsize: 841396 [startup+810.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 76793 60 0 0 25 0 11 0 779731081 861589504 41198 4294967295 134512640 134569956 3221224368 3221214608 1131208601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41198 13086 16 0 210333 0 vsize: 841396 [startup+820.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 77754 60 0 0 25 0 11 0 779731081 861589504 41364 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41364 13086 16 0 210333 0 vsize: 841396 [startup+830.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 78699 60 0 0 25 0 11 0 779731081 861589504 41523 4294967295 134512640 134569956 3221224368 3221214184 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41523 13086 16 0 210333 0 vsize: 841396 [startup+840.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 79654 60 0 0 25 0 11 0 779731081 861589504 41651 4294967295 134512640 134569956 3221224368 3221214424 1131384917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41651 13086 16 0 210333 0 vsize: 841396 [startup+850.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 80604 60 0 0 25 0 11 0 779731081 861589504 41807 4294967295 134512640 134569956 3221224368 3221214528 1131354216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41807 13086 16 0 210333 0 vsize: 841396 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 81558 60 0 0 25 0 11 0 779731081 861589504 41944 4294967295 134512640 134569956 3221224368 3221214152 1131592490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 41944 13086 16 0 210333 0 vsize: 841396 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 82513 60 0 0 25 0 11 0 779731081 861589504 42085 4294967295 134512640 134569956 3221224368 3221214628 1131208480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42085 13086 16 0 210333 0 vsize: 841396 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 83478 60 0 0 25 0 11 0 779731081 861589504 42197 4294967295 134512640 134569956 3221224368 3221214604 1131127961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42197 13086 16 0 210333 0 vsize: 841396 [startup+890.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 84442 61 0 0 25 0 11 0 779731081 861589504 42288 4294967295 134512640 134569956 3221224368 3221214528 1131348077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42288 13086 16 0 210333 0 vsize: 841396 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 85400 61 0 0 25 0 11 0 779731081 861589504 42400 4294967295 134512640 134569956 3221224368 3221214616 1131411336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42400 13086 16 0 210333 0 vsize: 841396 [startup+910.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 86358 61 0 0 25 0 11 0 779731081 861589504 42488 4294967295 134512640 134569956 3221224368 3221213632 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42488 13086 16 0 210333 0 vsize: 841396 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 87315 61 0 0 24 0 11 0 779731081 861589504 42589 4294967295 134512640 134569956 3221224368 3221214616 1131357232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42589 13086 16 0 210333 0 vsize: 841396 [startup+930.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 88279 61 0 0 25 0 11 0 779731081 861589504 42684 4294967295 134512640 134569956 3221224368 3221214528 1131354260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42684 13086 16 0 210333 0 vsize: 841396 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 89237 61 0 0 25 0 11 0 779731081 861589504 42799 4294967295 134512640 134569956 3221224368 3221214328 1131384465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42799 13086 16 0 210333 0 vsize: 841396 [startup+950.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 90200 61 0 0 25 0 11 0 779731081 861589504 42893 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42893 13086 16 0 210333 0 vsize: 841396 [startup+960.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 91160 61 0 0 25 0 11 0 779731081 861589504 42979 4294967295 134512640 134569956 3221224368 3221214200 1131384914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 42979 13086 16 0 210333 0 vsize: 841396 [startup+970.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 92125 61 0 0 25 0 11 0 779731081 861589504 43087 4294967295 134512640 134569956 3221224368 3221213464 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43087 13086 16 0 210333 0 vsize: 841396 [startup+980.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 93088 61 0 0 25 0 11 0 779731081 861589504 43169 4294967295 134512640 134569956 3221224368 3221214584 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43169 13086 16 0 210333 0 vsize: 841396 [startup+990.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 94051 61 0 0 25 0 11 0 779731081 861589504 43261 4294967295 134512640 134569956 3221224368 3221214680 1131387893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43261 13086 16 0 210333 0 vsize: 841396 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 95006 61 0 0 20 0 11 0 779731081 861589504 43348 4294967295 134512640 134569956 3221224368 3221214616 1131357228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43348 13086 16 0 210333 0 vsize: 841396 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 95960 62 0 0 25 0 11 0 779731081 861589504 43456 4294967295 134512640 134569956 3221224368 3221214528 1131354346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43456 13086 16 0 210333 0 vsize: 841396 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 96922 62 0 0 25 0 11 0 779731081 861589504 43545 4294967295 134512640 134569956 3221224368 3221214616 1131357626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43545 13086 16 0 210333 0 vsize: 841396 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 97877 62 0 0 25 0 11 0 779731081 861589504 43680 4294967295 134512640 134569956 3221224368 3221214528 1131355476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43680 13086 16 0 210333 0 vsize: 841396 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 98847 62 0 0 25 0 11 0 779731081 861589504 43770 4294967295 134512640 134569956 3221224368 3221214680 1131388908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 43770 13086 16 0 210333 0 vsize: 841396 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 99796 62 0 0 25 0 11 0 779731081 861589504 43868 4294967295 134512640 134569956 3221224368 3221213880 1131592490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43868 13086 16 0 210333 0 vsize: 841396 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 100760 62 0 0 25 0 11 0 779731081 861589504 43964 4294967295 134512640 134569956 3221224368 3221214528 1131354153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 43964 13086 16 0 210333 0 vsize: 841396 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 101717 62 0 0 25 0 11 0 779731081 861589504 44091 4294967295 134512640 134569956 3221224368 3221214636 1131201072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44091 13086 16 0 210333 0 vsize: 841396 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 102682 62 0 0 24 0 11 0 779731081 861589504 44157 4294967295 134512640 134569956 3221224368 3221214048 1131384471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44157 13086 16 0 210333 0 vsize: 841396 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 103644 62 0 0 25 0 11 0 779731081 861589504 44277 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44277 13086 16 0 210333 0 vsize: 841396 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 104611 62 0 0 25 0 11 0 779731081 861589504 44386 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44386 13086 16 0 210333 0 vsize: 841396 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 105563 62 0 0 25 0 11 0 779731081 861589504 44484 4294967295 134512640 134569956 3221224368 3221214616 1131357383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44484 13086 16 0 210333 0 vsize: 841396 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 106528 62 0 0 25 0 11 0 779731081 861589504 44564 4294967295 134512640 134569956 3221224368 3221214512 1131348384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 44564 13086 16 0 210333 0 vsize: 841396 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 107492 62 0 0 25 0 11 0 779731081 861589504 44642 4294967295 134512640 134569956 3221224368 3221214512 1131347709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210349 44642 13086 16 0 210333 0 vsize: 841396 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 108449 63 0 0 25 0 11 0 779731081 861589504 44749 4294967295 134512640 134569956 3221224368 3221214664 1131303809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 44749 13086 16 0 210333 0 vsize: 841396 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 109409 63 0 0 25 0 11 0 779731081 861589504 44864 4294967295 134512640 134569956 3221224368 3221213768 1131592679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 44864 13086 16 0 210333 0 vsize: 841396 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 110376 63 0 0 25 0 11 0 779731081 861589504 44936 4294967295 134512640 134569956 3221224368 3221214528 1131420895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 44936 13086 16 0 210333 0 vsize: 841396 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 111342 64 0 0 25 0 11 0 779731081 861589504 45004 4294967295 134512640 134569956 3221224368 3221214432 1131592490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45004 13086 16 0 210333 0 vsize: 841396 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 112303 64 0 0 25 0 11 0 779731081 861589504 45102 4294967295 134512640 134569956 3221224368 3221214048 1131384465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45102 13086 16 0 210333 0 vsize: 841396 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 113264 64 0 0 25 0 11 0 779731081 861589504 45210 4294967295 134512640 134569956 3221224368 3221214352 1085679449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45210 13086 16 0 210333 0 vsize: 841396 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 114227 65 0 0 25 0 11 0 779731081 861589504 45305 4294967295 134512640 134569956 3221224368 3221214632 1131271655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45305 13086 16 0 210333 0 vsize: 841396 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 115190 65 0 0 25 0 11 0 779731081 861589504 45411 4294967295 134512640 134569956 3221224368 3221214536 1131384917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45411 13086 16 0 210333 0 vsize: 841396 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 116160 65 0 0 25 0 11 0 779731081 861589504 45487 4294967295 134512640 134569956 3221224368 3221214512 1131348152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45487 13086 16 0 210333 0 vsize: 841396 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 117129 65 0 0 25 0 11 0 779731081 861589504 45566 4294967295 134512640 134569956 3221224368 3221213864 1131590128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45566 13086 16 0 210333 0 vsize: 841396 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 118097 66 0 0 25 0 11 0 779731081 861589504 45632 4294967295 134512640 134569956 3221224368 3221214628 1131461171 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45632 13086 16 0 210333 0 vsize: 841396 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 119064 66 0 0 25 0 11 0 779731081 861589504 45697 4294967295 134512640 134569956 3221224368 3221214680 1131389791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45697 13086 16 0 210333 0 vsize: 841396 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6329 Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 120025 66 0 0 25 0 11 0 779731081 861589504 45774 4294967295 134512640 134569956 3221224368 3221214616 1131357217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210349 45774 13086 16 0 210333 0 vsize: 841396 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.21 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 6331 Raw data (stat): 6262 (java) Z 6261 25830 25829 0 -1 1036 18071 25428 1 0 120028 66 5648 57 25 0 1 0 779731081 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): 1260.2 CPU time (s): 1258.01 CPU user time (s): 1256.77 CPU system time (s): 1.24481 CPU usage (%): 99.8259 Max. virtual memory (Kb): 842540 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####