Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-egout.opb |
MD5SUM | 99bcb41cf234e24f89287b787fc4273a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 471047168 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 545997717504 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 15186728411329 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 545997717504 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 15186728411329 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1102.24 |
Number of variables | 1705 |
Total number of constraints | 153 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-04-21 07:27:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13308 boxname=wulflinc24 idbench=1024 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 99bcb41cf234e24f89287b787fc4273a /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-egout.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-egout.opb IDLAUNCH: 13308 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 555544 kB Buffers: 16768 kB Cached: 435136 kB SwapCached: 432 kB Active: 50564 kB Inactive: 403440 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 555292 kB SwapTotal: 2097892 kB SwapFree: 2096708 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5932 kB Slab: 19284 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 07:48:15 (client local time) WITH STATUS 143 IN 1247.04 SECONDS stats: 13308 7 1247.04 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-egout.opb c reading problem c [nbvar=1705] c [nbconstr=153] c time 4.098 c #vars 1705 c #clauses 135 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=558138368 c Current CPU time (ms) : 8.238 c starts : 1 c conflicts : 12 c decisions : 241 c propagations : 4406 c inspects : 6351 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 12 c root simplifications : 11 c c CURRENT OPTIMUM=544588800 c Current CPU time (ms) : 26.633 c starts : 2 c conflicts : 36 c decisions : 792 c propagations : 7360 c inspects : 14660 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 36 c root simplifications : 16 #### 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.91 0.95 0.90 2/54 29503 Raw data (stat): 29503 (runsolver) R 29502 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543271128 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 1.16 1.00 0.92 4/64 29514 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18076 3 1 0 673 42 0 0 25 0 11 0 543271128 861794304 21033 4294967295 134512640 134569956 3221224400 3221213752 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210399 21033 13073 16 0 210383 0 vsize: 841596 [startup+20.0012 s] Raw data (loadavg): 1.14 1.00 0.92 2/64 29514 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 1602 43 0 0 25 0 11 0 543271128 861188096 21159 4294967295 134512640 134569956 3221224400 3221214600 1131466143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 21159 13073 16 0 210235 0 vsize: 841004 [startup+30.0014 s] Raw data (loadavg): 1.11 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 2540 43 0 0 25 0 11 0 543271128 861188096 21545 4294967295 134512640 134569956 3221224400 3221214720 1131181824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 21545 13073 16 0 210235 0 vsize: 841004 [startup+40.0071 s] Raw data (loadavg): 1.10 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 3476 43 0 0 25 0 11 0 543271128 861188096 21510 4294967295 134512640 134569956 3221224400 3221214752 1131370442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 21510 13073 16 0 210235 0 vsize: 841004 [startup+50.0093 s] Raw data (loadavg): 1.08 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 4422 43 0 0 25 0 11 0 543271128 861188096 22001 4294967295 134512640 134569956 3221224400 3221214608 1131218723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22001 13073 16 0 210235 0 vsize: 841004 [startup+60.0095 s] Raw data (loadavg): 1.07 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 5390 43 0 0 25 0 11 0 543271128 861188096 22136 4294967295 134512640 134569956 3221224400 3221214704 1131555183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22136 13073 16 0 210235 0 vsize: 841004 [startup+70.0181 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 6368 43 0 0 25 0 11 0 543271128 861188096 22216 4294967295 134512640 134569956 3221224400 3221214608 1131218826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22216 13073 16 0 210235 0 vsize: 841004 [startup+80.0283 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 7346 43 0 0 25 0 11 0 543271128 861188096 22295 4294967295 134512640 134569956 3221224400 3221214688 1131210303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22295 13073 16 0 210235 0 vsize: 841004 [startup+90.0286 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 8320 44 0 0 25 0 11 0 543271128 861188096 22375 4294967295 134512640 134569956 3221224400 3221214776 1131294260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 22375 13073 16 0 210235 0 vsize: 841004 [startup+100.029 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18077 3 1 0 9293 44 0 0 25 0 11 0 543271128 861188096 22412 4294967295 134512640 134569956 3221224400 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 22412 13073 16 0 210235 0 vsize: 841004 [startup+110.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 10259 44 0 0 25 0 11 0 543271128 861188096 22492 4294967295 134512640 134569956 3221224400 3221214696 1131608679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22492 13073 16 0 210235 0 vsize: 841004 [startup+120.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 11224 44 0 0 25 0 11 0 543271128 861188096 22535 4294967295 134512640 134569956 3221224400 3221214688 1131209691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22535 13073 16 0 210235 0 vsize: 841004 [startup+130.031 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 12189 44 0 0 25 0 11 0 543271128 861188096 22640 4294967295 134512640 134569956 3221224400 3221214704 1131555180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22640 13073 16 0 210235 0 vsize: 841004 [startup+140.031 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 13154 44 0 0 25 0 11 0 543271128 861188096 22752 4294967295 134512640 134569956 3221224400 3221214688 1131209648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22752 13073 16 0 210235 0 vsize: 841004 [startup+150.032 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 14115 44 0 0 25 0 11 0 543271128 861188096 22833 4294967295 134512640 134569956 3221224400 3221214608 1131218533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 22833 13073 16 0 210235 0 vsize: 841004 [startup+160.032 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 15088 44 0 0 25 0 11 0 543271128 861188096 23000 4294967295 134512640 134569956 3221224400 3221214688 1131210473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23000 13073 16 0 210235 0 vsize: 841004 [startup+170.032 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 16066 44 0 0 25 0 11 0 543271128 861188096 23062 4294967295 134512640 134569956 3221224400 3221214600 1131486898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23062 13073 16 0 210235 0 vsize: 841004 [startup+180.032 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 17044 44 0 0 25 0 11 0 543271128 861188096 23113 4294967295 134512640 134569956 3221224400 3221214704 1131555288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23113 13073 16 0 210235 0 vsize: 841004 [startup+190.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 18016 44 0 0 25 0 11 0 543271128 861188096 23113 4294967295 134512640 134569956 3221224400 3221214688 1131209637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23113 13073 16 0 210235 0 vsize: 841004 [startup+200.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 18997 44 0 0 25 0 11 0 543271128 861188096 23225 4294967295 134512640 134569956 3221224400 3221214600 1131218904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23225 13073 16 0 210235 0 vsize: 841004 [startup+210.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 19983 44 0 0 25 0 11 0 543271128 861188096 23268 4294967295 134512640 134569956 3221224400 3221214688 1131210138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23268 13073 16 0 210235 0 vsize: 841004 [startup+220.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 20967 44 0 0 25 0 11 0 543271128 861188096 23304 4294967295 134512640 134569956 3221224400 3221214600 1131488301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23304 13073 16 0 210235 0 vsize: 841004 [startup+230.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 21954 44 0 0 25 0 11 0 543271128 861188096 23363 4294967295 134512640 134569956 3221224400 3221214600 1131487259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23363 13073 16 0 210235 0 vsize: 841004 [startup+240.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 22943 44 0 0 25 0 11 0 543271128 861188096 23385 4294967295 134512640 134569956 3221224400 3221214600 1131218502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23385 13073 16 0 210235 0 vsize: 841004 [startup+250.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 23934 44 0 0 25 0 11 0 543271128 861188096 23404 4294967295 134512640 134569956 3221224400 3221214600 1131218671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23404 13073 16 0 210235 0 vsize: 841004 [startup+260.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 24923 45 0 0 25 0 11 0 543271128 861188096 23437 4294967295 134512640 134569956 3221224400 3221214696 1131608519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23437 13073 16 0 210235 0 vsize: 841004 [startup+270.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 25913 45 0 0 25 0 11 0 543271128 861188096 23462 4294967295 134512640 134569956 3221224400 3221214600 1131487320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23462 13073 16 0 210235 0 vsize: 841004 [startup+280.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 26901 45 0 0 24 0 11 0 543271128 861188096 23485 4294967295 134512640 134569956 3221224400 3221214608 1131218552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23485 13073 16 0 210235 0 vsize: 841004 [startup+290.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 27888 45 0 0 25 0 11 0 543271128 861188096 23508 4294967295 134512640 134569956 3221224400 3221214688 1131210111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23508 13073 16 0 210235 0 vsize: 841004 [startup+300.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 28867 45 0 0 25 0 11 0 543271128 861188096 23525 4294967295 134512640 134569956 3221224400 3221214600 1131489192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23525 13073 16 0 210235 0 vsize: 841004 [startup+310.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 29849 45 0 0 25 0 11 0 543271128 861188096 23562 4294967295 134512640 134569956 3221224400 3221214608 1131218916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23562 13073 16 0 210235 0 vsize: 841004 [startup+320.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 30834 45 0 0 25 0 11 0 543271128 861188096 23610 4294967295 134512640 134569956 3221224400 3221214600 1131488411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23610 13073 16 0 210235 0 vsize: 841004 [startup+330.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 31819 45 0 0 25 0 11 0 543271128 861188096 23638 4294967295 134512640 134569956 3221224400 3221214680 1131462257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23638 13073 16 0 210235 0 vsize: 841004 [startup+340.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 32801 45 0 0 25 0 11 0 543271128 861188096 23673 4294967295 134512640 134569956 3221224400 3221214664 1131611074 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23673 13073 16 0 210235 0 vsize: 841004 [startup+350.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18077 3 1 0 33773 45 0 0 25 0 11 0 543271128 861188096 23707 4294967295 134512640 134569956 3221224400 3221214744 1131429408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23707 13073 16 0 210235 0 vsize: 841004 [startup+360.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 34739 45 0 0 25 0 11 0 543271128 861188096 23744 4294967295 134512640 134569956 3221224400 3221214720 1131454070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23744 13073 16 0 210235 0 vsize: 841004 [startup+370.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 35693 45 0 0 25 0 11 0 543271128 861188096 23807 4294967295 134512640 134569956 3221224400 3221214776 1131294260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23807 13073 16 0 210235 0 vsize: 841004 [startup+380.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 36646 46 0 0 25 0 11 0 543271128 861188096 23944 4294967295 134512640 134569956 3221224400 3221214776 1131294188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 23944 13073 16 0 210235 0 vsize: 841004 [startup+390.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 37606 46 0 0 25 0 11 0 543271128 861188096 24065 4294967295 134512640 134569956 3221224400 3221214764 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 24065 13073 16 0 210235 0 vsize: 841004 [startup+400.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 38566 46 0 0 25 0 11 0 543271128 861188096 24199 4294967295 134512640 134569956 3221224400 3221214816 1131396417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24199 13073 16 0 210235 0 vsize: 841004 [startup+410.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 39524 46 0 0 25 0 11 0 543271128 861188096 24301 4294967295 134512640 134569956 3221224400 3221214720 1131181874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24301 13073 16 0 210235 0 vsize: 841004 [startup+420.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 40476 46 0 0 25 0 11 0 543271128 861188096 24453 4294967295 134512640 134569956 3221224400 3221214688 1131209675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24453 13073 16 0 210235 0 vsize: 841004 [startup+430.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 41435 46 0 0 25 0 11 0 543271128 861188096 24564 4294967295 134512640 134569956 3221224400 3221214848 1131654740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24564 13073 16 0 210235 0 vsize: 841004 [startup+440.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 42395 46 0 0 24 0 11 0 543271128 861188096 24708 4294967295 134512640 134569956 3221224400 3221214704 1131555180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24708 13073 16 0 210235 0 vsize: 841004 [startup+450.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 43362 47 0 0 25 0 11 0 543271128 861188096 24825 4294967295 134512640 134569956 3221224400 3221214688 1131210177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24825 13073 16 0 210235 0 vsize: 841004 [startup+460.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18078 3 1 0 44323 47 0 0 25 0 11 0 543271128 861188096 24921 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 24921 13073 16 0 210235 0 vsize: 841004 [startup+470.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 45279 47 0 0 25 0 11 0 543271128 861188096 25016 4294967295 134512640 134569956 3221224400 3221214600 1131605783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25016 13073 16 0 210235 0 vsize: 841004 [startup+480.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 46235 47 0 0 25 0 11 0 543271128 861188096 25152 4294967295 134512640 134569956 3221224400 3221214776 1131294260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25152 13073 16 0 210235 0 vsize: 841004 [startup+490.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 47196 48 0 0 25 0 11 0 543271128 861188096 25280 4294967295 134512640 134569956 3221224400 3221214776 1131296004 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25280 13073 16 0 210235 0 vsize: 841004 [startup+500.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 48152 48 0 0 24 0 11 0 543271128 861188096 25403 4294967295 134512640 134569956 3221224400 3221214688 1131209648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25403 13073 16 0 210235 0 vsize: 841004 [startup+510.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 49112 48 0 0 25 0 11 0 543271128 861188096 25502 4294967295 134512640 134569956 3221224400 3221214544 1131605777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25502 13073 16 0 210235 0 vsize: 841004 [startup+520.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 50076 49 0 0 25 0 11 0 543271128 861188096 25591 4294967295 134512640 134569956 3221224400 3221214704 1131555180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25591 13073 16 0 210235 0 vsize: 841004 [startup+530.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 51039 49 0 0 25 0 11 0 543271128 861188096 25715 4294967295 134512640 134569956 3221224400 3221214680 1131462269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25715 13073 16 0 210235 0 vsize: 841004 [startup+540.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 51997 49 0 0 25 0 11 0 543271128 861188096 25855 4294967295 134512640 134569956 3221224400 3221214608 1131218401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25855 13073 16 0 210235 0 vsize: 841004 [startup+550.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 52963 49 0 0 25 0 11 0 543271128 861188096 25940 4294967295 134512640 134569956 3221224400 3221214688 1131209637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 25940 13073 16 0 210235 0 vsize: 841004 [startup+560.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 53930 50 0 0 25 0 11 0 543271128 861188096 26040 4294967295 134512640 134569956 3221224400 3221214116 1131605600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26040 13073 16 0 210235 0 vsize: 841004 [startup+570.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 54901 50 0 0 25 0 11 0 543271128 861188096 26152 4294967295 134512640 134569956 3221224400 3221214744 1131309580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26152 13073 16 0 210235 0 vsize: 841004 [startup+580.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 55873 50 0 0 25 0 11 0 543271128 861188096 26239 4294967295 134512640 134569956 3221224400 3221214704 1131555185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26239 13073 16 0 210235 0 vsize: 841004 [startup+590.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 56831 50 0 0 25 0 11 0 543271128 861188096 26268 4294967295 134512640 134569956 3221224400 3221214776 1131294188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26268 13073 16 0 210235 0 vsize: 841004 [startup+600.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 57788 51 0 0 25 0 11 0 543271128 861188096 26561 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26561 13073 16 0 210235 0 vsize: 841004 [startup+610.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 58729 51 0 0 25 0 11 0 543271128 861188096 26914 4294967295 134512640 134569956 3221224400 3221214600 1131489192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 26914 13073 16 0 210235 0 vsize: 841004 [startup+620.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 59681 52 0 0 25 0 11 0 543271128 861188096 27104 4294967295 134512640 134569956 3221224400 3221214688 1131210138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27104 13073 16 0 210235 0 vsize: 841004 [startup+630.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 60634 52 0 0 25 0 11 0 543271128 861188096 27279 4294967295 134512640 134569956 3221224400 3221214696 1131608677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27279 13073 16 0 210235 0 vsize: 841004 [startup+640.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 61586 52 0 0 25 0 11 0 543271128 861188096 27471 4294967295 134512640 134569956 3221224400 3221214608 1131218717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27471 13073 16 0 210235 0 vsize: 841004 [startup+650.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 62528 52 0 0 25 0 11 0 543271128 861188096 27640 4294967295 134512640 134569956 3221224400 3221214776 1131294002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27640 13073 16 0 210235 0 vsize: 841004 [startup+660.053 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 63481 53 0 0 25 0 11 0 543271128 861188096 27712 4294967295 134512640 134569956 3221224400 3221214688 1131210186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27712 13073 16 0 210235 0 vsize: 841004 [startup+670.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 64417 53 0 0 25 0 11 0 543271128 861188096 27889 4294967295 134512640 134569956 3221224400 3221214704 1131555299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 27889 13073 16 0 210235 0 vsize: 841004 [startup+680.054 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 65368 53 0 0 25 0 11 0 543271128 861188096 28127 4294967295 134512640 134569956 3221224400 3221214688 1131210117 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28127 13073 16 0 210235 0 vsize: 841004 [startup+690.055 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 66319 53 0 0 25 0 11 0 543271128 861188096 28391 4294967295 134512640 134569956 3221224400 3221214688 1131210005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28391 13073 16 0 210235 0 vsize: 841004 [startup+700.055 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 67280 53 0 0 25 0 11 0 543271128 861188096 28555 4294967295 134512640 134569956 3221224400 3221214776 1131295310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28555 13073 16 0 210235 0 vsize: 841004 [startup+710.055 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 68249 54 0 0 25 0 11 0 543271128 861188096 28653 4294967295 134512640 134569956 3221224400 3221214776 1131293983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28653 13073 16 0 210235 0 vsize: 841004 [startup+720.056 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 69213 54 0 0 25 0 11 0 543271128 861188096 28754 4294967295 134512640 134569956 3221224400 3221214720 1131181821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28754 13073 16 0 210235 0 vsize: 841004 [startup+730.057 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 70181 54 0 0 25 0 11 0 543271128 861188096 28840 4294967295 134512640 134569956 3221224400 3221214688 1131211002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28840 13073 16 0 210235 0 vsize: 841004 [startup+740.058 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 71142 54 0 0 25 0 11 0 543271128 861188096 28941 4294967295 134512640 134569956 3221224400 3221214308 1131605600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 28941 13073 16 0 210235 0 vsize: 841004 [startup+750.058 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 72108 55 0 0 25 0 11 0 543271128 861188096 29031 4294967295 134512640 134569956 3221224400 3221213952 1131642364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29031 13073 16 0 210235 0 vsize: 841004 [startup+760.058 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 73075 55 0 0 25 0 11 0 543271128 861188096 29129 4294967295 134512640 134569956 3221224400 3221214704 1131555180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29129 13073 16 0 210235 0 vsize: 841004 [startup+770.059 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18078 3 1 0 74037 55 0 0 25 0 11 0 543271128 861188096 29246 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29246 13073 16 0 210235 0 vsize: 841004 [startup+780.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 75002 55 0 0 25 0 11 0 543271128 861188096 29361 4294967295 134512640 134569956 3221224400 3221214776 1131295266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29361 13073 16 0 210235 0 vsize: 841004 [startup+790.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 75966 55 0 0 25 0 11 0 543271128 861188096 29470 4294967295 134512640 134569956 3221224400 3221214572 1131606272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29470 13073 16 0 210235 0 vsize: 841004 [startup+800.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 76943 55 0 0 25 0 11 0 543271128 861188096 29533 4294967295 134512640 134569956 3221224400 3221214008 1131642620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29533 13073 16 0 210235 0 vsize: 841004 [startup+810.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 77916 56 0 0 25 0 11 0 543271128 861188096 29604 4294967295 134512640 134569956 3221224400 3221214776 1131293983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29604 13073 16 0 210235 0 vsize: 841004 [startup+820.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 78894 56 0 0 25 0 11 0 543271128 861188096 29661 4294967295 134512640 134569956 3221224400 3221214072 1131605728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29661 13073 16 0 210235 0 vsize: 841004 [startup+830.061 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18078 3 1 0 79860 56 0 0 25 0 11 0 543271128 861188096 29793 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29793 13073 16 0 210235 0 vsize: 841004 [startup+840.062 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 80835 57 0 0 25 0 11 0 543271128 861188096 29882 4294967295 134512640 134569956 3221224400 3221214896 1131648808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29882 13073 16 0 210235 0 vsize: 841004 [startup+850.062 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 81808 57 0 0 25 0 11 0 543271128 861188096 29971 4294967295 134512640 134569956 3221224400 3221214688 1131210901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 29971 13073 16 0 210235 0 vsize: 841004 [startup+860.063 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18078 3 1 0 82779 57 0 0 25 0 11 0 543271128 861188096 30035 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30035 13073 16 0 210235 0 vsize: 841004 [startup+870.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 83756 57 0 0 25 0 11 0 543271128 861188096 30083 4294967295 134512640 134569956 3221224400 3221214368 1131606368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30083 13073 16 0 210235 0 vsize: 841004 [startup+880.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 84731 57 0 0 25 0 11 0 543271128 861188096 30141 4294967295 134512640 134569956 3221224400 3221214688 1131210306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30141 13073 16 0 210235 0 vsize: 841004 [startup+890.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 85705 58 0 0 25 0 11 0 543271128 861188096 30206 4294967295 134512640 134569956 3221224400 3221214696 1131455211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30206 13073 16 0 210235 0 vsize: 841004 [startup+900.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 86683 58 0 0 25 0 11 0 543271128 861188096 30258 4294967295 134512640 134569956 3221224400 3221214688 1131209675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30258 13073 16 0 210235 0 vsize: 841004 [startup+910.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 87656 59 0 0 25 0 11 0 543271128 861188096 30319 4294967295 134512640 134569956 3221224400 3221214592 1131606314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30319 13073 16 0 210235 0 vsize: 841004 [startup+920.064 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 88633 59 0 0 25 0 11 0 543271128 861188096 30384 4294967295 134512640 134569956 3221224400 3221213728 1131642556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30384 13073 16 0 210235 0 vsize: 841004 [startup+930.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 89604 59 0 0 25 0 11 0 543271128 861188096 30454 4294967295 134512640 134569956 3221224400 3221214600 1131218645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30454 13073 16 0 210235 0 vsize: 841004 [startup+940.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 90574 60 0 0 25 0 11 0 543271128 861188096 30527 4294967295 134512640 134569956 3221224400 3221214776 1131296864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30527 13073 16 0 210235 0 vsize: 841004 [startup+950.065 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 91545 60 0 0 24 0 11 0 543271128 861188096 30599 4294967295 134512640 134569956 3221224400 3221214816 1131398689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30599 13073 16 0 210235 0 vsize: 841004 [startup+960.066 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 92521 60 0 0 25 0 11 0 543271128 861188096 30655 4294967295 134512640 134569956 3221224400 3221214236 1085632316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30655 13073 16 0 210235 0 vsize: 841004 [startup+970.067 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 93491 61 0 0 25 0 11 0 543271128 861188096 30727 4294967295 134512640 134569956 3221224400 3221214720 1131181905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30727 13073 16 0 210235 0 vsize: 841004 [startup+980.068 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) S 29502 28546 28545 0 -1 0 18078 3 1 0 94467 61 0 0 25 0 11 0 543271128 861188096 30831 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30831 13073 16 0 210235 0 vsize: 841004 [startup+990.069 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 95447 62 0 0 25 0 11 0 543271128 861188096 30899 4294967295 134512640 134569956 3221224400 3221214544 1131605752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30899 13073 16 0 210235 0 vsize: 841004 [startup+1000.07 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 96422 62 0 0 25 0 11 0 543271128 861188096 30954 4294967295 134512640 134569956 3221224400 3221214816 1131396443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 30954 13073 16 0 210235 0 vsize: 841004 [startup+1010.07 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 97382 62 0 0 25 0 11 0 543271128 861188096 31074 4294967295 134512640 134569956 3221224400 3221214600 1131487288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31074 13073 16 0 210235 0 vsize: 841004 [startup+1020.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 98345 63 0 0 25 0 11 0 543271128 861188096 31190 4294967295 134512640 134569956 3221224400 3221214608 1131219384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31190 13073 16 0 210235 0 vsize: 841004 [startup+1030.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 99305 63 0 0 25 0 11 0 543271128 861188096 31248 4294967295 134512640 134569956 3221224400 3221214608 1131218543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31248 13073 16 0 210235 0 vsize: 841004 [startup+1040.07 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 100263 63 0 0 25 0 11 0 543271128 861188096 31346 4294967295 134512640 134569956 3221224400 3221214688 1131210370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31346 13073 16 0 210235 0 vsize: 841004 [startup+1050.07 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 101218 63 0 0 25 0 11 0 543271128 861188096 31431 4294967295 134512640 134569956 3221224400 3221214608 1131218543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31431 13073 16 0 210235 0 vsize: 841004 [startup+1060.07 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 102192 64 0 0 25 0 11 0 543271128 861188096 31488 4294967295 134512640 134569956 3221224400 3221214120 1131642628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31488 13073 16 0 210235 0 vsize: 841004 [startup+1070.07 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 103176 64 0 0 25 0 11 0 543271128 861188096 31521 4294967295 134512640 134569956 3221224400 3221214720 1131181835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31521 13073 16 0 210235 0 vsize: 841004 [startup+1080.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 104147 64 0 0 25 0 11 0 543271128 861188096 31617 4294967295 134512640 134569956 3221224400 3221213844 1131605776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31617 13073 16 0 210235 0 vsize: 841004 [startup+1090.07 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 105120 64 0 0 25 0 11 0 543271128 861188096 31732 4294967295 134512640 134569956 3221224400 3221214600 1131218561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31732 13073 16 0 210235 0 vsize: 841004 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 106089 65 0 0 25 0 11 0 543271128 861188096 31817 4294967295 134512640 134569956 3221224400 3221214608 1131218543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31817 13073 16 0 210235 0 vsize: 841004 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 107062 65 0 0 25 0 11 0 543271128 861188096 31905 4294967295 134512640 134569956 3221224400 3221214752 1131370209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31905 13073 16 0 210235 0 vsize: 841004 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 108037 65 0 0 24 0 11 0 543271128 861188096 31911 4294967295 134512640 134569956 3221224400 3221214688 1131210058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31911 13073 16 0 210235 0 vsize: 841004 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 109021 66 0 0 25 0 11 0 543271128 861188096 31934 4294967295 134512640 134569956 3221224400 3221214120 1085679366 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31934 13073 16 0 210235 0 vsize: 841004 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 110004 66 0 0 25 0 11 0 543271128 861188096 31965 4294967295 134512640 134569956 3221224400 3221214688 1131210270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 31965 13073 16 0 210235 0 vsize: 841004 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 110977 67 0 0 25 0 11 0 543271128 861188096 32016 4294967295 134512640 134569956 3221224400 3221214688 1131209648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 32016 13073 16 0 210235 0 vsize: 841004 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 111956 67 0 0 25 0 11 0 543271128 861188096 32076 4294967295 134512640 134569956 3221224400 3221214688 1131210058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32076 13073 16 0 210235 0 vsize: 841004 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 112934 67 0 0 25 0 11 0 543271128 861188096 32121 4294967295 134512640 134569956 3221224400 3221213884 1085679264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 32121 13073 16 0 210235 0 vsize: 841004 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 113909 67 0 0 25 0 11 0 543271128 861188096 32168 4294967295 134512640 134569956 3221224400 3221213840 1131642480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210251 32168 13073 16 0 210235 0 vsize: 841004 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 114886 67 0 0 25 0 11 0 543271128 861188096 32199 4294967295 134512640 134569956 3221224400 3221214704 1131555183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32199 13073 16 0 210235 0 vsize: 841004 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 115854 67 0 0 25 0 11 0 543271128 861188096 32243 4294967295 134512640 134569956 3221224400 3221214688 1131210118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32243 13073 16 0 210235 0 vsize: 841004 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 116821 67 0 0 24 0 11 0 543271128 861188096 32326 4294967295 134512640 134569956 3221224400 3221214688 1131210904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32326 13073 16 0 210235 0 vsize: 841004 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 117796 67 0 0 25 0 11 0 543271128 861188096 32383 4294967295 134512640 134569956 3221224400 3221213848 1131605777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32383 13073 16 0 210235 0 vsize: 841004 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 118771 67 0 0 25 0 11 0 543271128 861188096 32462 4294967295 134512640 134569956 3221224400 3221214344 1085679346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32462 13073 16 0 210235 0 vsize: 841004 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 119736 67 0 0 25 0 11 0 543271128 861188096 32554 4294967295 134512640 134569956 3221224400 3221214688 1131210256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32554 13073 16 0 210235 0 vsize: 841004 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 29515 Raw data (stat): 29503 (java) R 29502 28546 28545 0 -1 0 18078 3 1 0 120704 68 0 0 25 0 11 0 543271128 861188096 32651 4294967295 134512640 134569956 3221224400 3221214688 1131210177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210251 32651 13073 16 0 210235 0 vsize: 841004 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.18 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 29517 Raw data (stat): 29503 (java) Z 29502 28546 28545 0 -1 1036 18078 12522 1 0 120706 68 3892 36 25 0 1 0 543271128 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): 1250.18 CPU time (s): 1247.04 CPU user time (s): 1245.99 CPU system time (s): 1.04784 CPU usage (%): 99.7489 Max. virtual memory (Kb): 841596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####