Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb |
MD5SUM | ccbca61851d5d361647c00bb58b30d92 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 77106 |
Total number of constraints | 218779 |
Number of constraints which are clauses | 205559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-25 06:21:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20713 boxname=wulflinc1 idbench=303 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: ccbca61851d5d361647c00bb58b30d92 /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LdValue.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LdValue.ucl.opb IDLAUNCH: 20713 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 727440 kB Buffers: 23132 kB Cached: 253872 kB SwapCached: 3972 kB Active: 59924 kB Inactive: 223956 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 727188 kB SwapTotal: 2097136 kB SwapFree: 2092844 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6960 kB Slab: 17596 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:44:33 (client local time) WITH STATUS 143 IN 1369.46 SECONDS stats: 20713 7 1369.46 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/wulflinc1/normalized-ooo.ex.mem.LdValue.ucl.opb c reading problem ... c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 s UNKNOWN c Total CPU time (ms) : 1369.284 #### 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.94 0.99 0.99 2/55 19116 Raw data (stat): 19116 (runsolver) R 19115 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 721601886 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.95 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 792 35 0 0 25 0 10 0 721601886 854216704 20850 4294967295 134512640 134569956 3221224368 3221214484 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 20850 13086 16 0 208533 0 vsize: 834196 [startup+20.001 s] Raw data (loadavg): 0.95 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 1634 35 0 0 24 0 10 0 721601886 854216704 21836 4294967295 134512640 134569956 3221224368 3221214752 1131271553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 21836 13086 16 0 208533 0 vsize: 834196 [startup+30.0018 s] Raw data (loadavg): 0.96 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 2490 35 0 0 25 0 10 0 721601886 854216704 22474 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 22474 13086 16 0 208533 0 vsize: 834196 [startup+40.0026 s] Raw data (loadavg): 0.97 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 3348 36 0 0 25 0 10 0 721601886 854216704 22963 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 22963 13086 16 0 208533 0 vsize: 834196 [startup+50.0034 s] Raw data (loadavg): 0.97 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 4196 36 0 0 20 0 10 0 721601886 854216704 23478 4294967295 134512640 134569956 3221224368 3221214420 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 23478 13086 16 0 208533 0 vsize: 834196 [startup+60.0032 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 5038 36 0 0 20 0 10 0 721601886 854216704 23973 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 23973 13086 16 0 208533 0 vsize: 834196 [startup+70.003 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 5889 36 0 0 18 0 10 0 721601886 854216704 24456 4294967295 134512640 134569956 3221224368 3221214424 1076461342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 24456 13086 16 0 208533 0 vsize: 834196 [startup+80.0037 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 6739 37 0 0 20 0 10 0 721601886 854216704 24850 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 24850 13086 16 0 208533 0 vsize: 834196 [startup+90.0035 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 7585 37 0 0 17 0 10 0 721601886 854216704 25229 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 25229 13086 16 0 208533 0 vsize: 834196 [startup+100.004 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 8426 37 0 0 17 0 10 0 721601886 854216704 25608 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 25608 13086 16 0 208533 0 vsize: 834196 [startup+110.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 9271 38 0 0 18 0 10 0 721601886 854216704 25910 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 25910 13086 16 0 208533 0 vsize: 834196 [startup+120.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 10104 39 0 0 15 0 10 0 721601886 854216704 26263 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 26263 13086 16 0 208533 0 vsize: 834196 [startup+130.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 10955 39 0 0 16 0 10 0 721601886 854216704 26587 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 26587 13086 16 0 208533 0 vsize: 834196 [startup+140.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 11799 39 0 0 16 0 10 0 721601886 854216704 26936 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 26936 13086 16 0 208533 0 vsize: 834196 [startup+150.019 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 12651 39 0 0 16 0 10 0 721601886 854216704 27245 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 27245 13086 16 0 208533 0 vsize: 834196 [startup+160.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 13500 40 0 0 16 0 10 0 721601886 854216704 27592 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 27592 13086 16 0 208533 0 vsize: 834196 [startup+170.025 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 14359 40 0 0 16 0 10 0 721601886 854216704 27878 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 27878 13086 16 0 208533 0 vsize: 834196 [startup+180.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 15213 41 0 0 16 0 10 0 721601886 854216704 28163 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 28163 13086 16 0 208533 0 vsize: 834196 [startup+190.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 16067 41 0 0 16 0 10 0 721601886 854216704 28446 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 28446 13086 16 0 208533 0 vsize: 834196 [startup+200.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 16929 41 0 0 16 0 10 0 721601886 854216704 28725 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 28725 13086 16 0 208533 0 vsize: 834196 [startup+210.034 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 17785 41 0 0 16 0 10 0 721601886 854216704 29054 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 29054 13086 16 0 208533 0 vsize: 834196 [startup+220.034 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 18649 41 0 0 16 0 10 0 721601886 854216704 29262 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 29262 13086 16 0 208533 0 vsize: 834196 [startup+230.035 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 19516 42 0 0 16 0 10 0 721601886 854216704 29622 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 29622 13086 16 0 208533 0 vsize: 834196 [startup+240.035 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 20381 42 0 0 16 0 10 0 721601886 854216704 29859 4294967295 134512640 134569956 3221224368 3221213708 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 29859 13086 16 0 208533 0 vsize: 834196 [startup+250.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 21247 43 0 0 16 0 10 0 721601886 854216704 30087 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 30087 13086 16 0 208533 0 vsize: 834196 [startup+260.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 22119 43 0 0 15 0 10 0 721601886 854216704 30317 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 30317 13086 16 0 208533 0 vsize: 834196 [startup+270.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 22991 43 0 0 15 0 10 0 721601886 854216704 30542 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 30542 13086 16 0 208533 0 vsize: 834196 [startup+280.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 23863 43 0 0 16 0 10 0 721601886 854216704 30750 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 30750 13086 16 0 208533 0 vsize: 834196 [startup+290.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 24739 43 0 0 16 0 10 0 721601886 854216704 30968 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 30968 13086 16 0 208533 0 vsize: 834196 [startup+300.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 25618 44 0 0 16 0 10 0 721601886 854216704 31170 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 31170 13086 16 0 208533 0 vsize: 834196 [startup+310.04 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 26498 44 0 0 16 0 10 0 721601886 854216704 31367 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 31367 13086 16 0 208533 0 vsize: 834196 [startup+320.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 27379 44 0 0 16 0 10 0 721601886 854216704 31543 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 31543 13086 16 0 208533 0 vsize: 834196 [startup+330.045 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 28255 44 0 0 16 0 10 0 721601886 854216704 31752 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 31752 13086 16 0 208533 0 vsize: 834196 [startup+340.049 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 29140 44 0 0 16 0 10 0 721601886 854216704 31920 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 31920 13086 16 0 208533 0 vsize: 834196 [startup+350.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 30025 45 0 0 16 0 10 0 721601886 854216704 32100 4294967295 134512640 134569956 3221224368 3221214320 1076619328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32100 13086 16 0 208533 0 vsize: 834196 [startup+360.055 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 30903 45 0 0 16 0 10 0 721601886 854216704 32262 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32262 13086 16 0 208533 0 vsize: 834196 [startup+370.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 31784 45 0 0 16 0 10 0 721601886 854216704 32446 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32446 13086 16 0 208533 0 vsize: 834196 [startup+380.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 32666 46 0 0 16 0 10 0 721601886 854216704 32614 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32614 13086 16 0 208533 0 vsize: 834196 [startup+390.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 33544 46 0 0 16 0 10 0 721601886 854216704 32786 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32786 13086 16 0 208533 0 vsize: 834196 [startup+400.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 34422 47 0 0 16 0 10 0 721601886 854216704 32967 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 32967 13086 16 0 208533 0 vsize: 834196 [startup+410.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 35295 47 0 0 16 0 10 0 721601886 854216704 33163 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 33163 13086 16 0 208533 0 vsize: 834196 [startup+420.059 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 36177 47 0 0 16 0 10 0 721601886 854216704 33331 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 33331 13086 16 0 208533 0 vsize: 834196 [startup+430.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 37058 47 0 0 16 0 10 0 721601886 854216704 33502 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 33502 13086 16 0 208533 0 vsize: 834196 [startup+440.061 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 37931 47 0 0 16 0 10 0 721601886 854216704 33750 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 33750 13086 16 0 208533 0 vsize: 834196 [startup+450.062 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 38809 47 0 0 16 0 10 0 721601886 854216704 34110 4294967295 134512640 134569956 3221224368 3221214512 1078025801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 34110 13086 16 0 208533 0 vsize: 834196 [startup+460.065 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 39694 47 0 0 16 0 10 0 721601886 854216704 34197 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 34197 13086 16 0 208533 0 vsize: 834196 [startup+470.068 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 40568 48 0 0 16 0 10 0 721601886 854216704 34372 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 34372 13086 16 0 208533 0 vsize: 834196 [startup+480.069 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 41452 48 0 0 16 0 10 0 721601886 854216704 34534 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 34534 13086 16 0 208533 0 vsize: 834196 [startup+490.069 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 42338 48 0 0 16 0 10 0 721601886 854216704 34681 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 34681 13086 16 0 208533 0 vsize: 834196 [startup+500.069 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 43218 48 0 0 16 0 10 0 721601886 854216704 34832 4294967295 134512640 134569956 3221224368 3221213708 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 34832 13086 16 0 208533 0 vsize: 834196 [startup+510.072 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 44097 49 0 0 16 0 10 0 721601886 854216704 34993 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 34993 13086 16 0 208533 0 vsize: 834196 [startup+520.074 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 44977 49 0 0 16 0 10 0 721601886 854216704 35149 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 35149 13086 16 0 208533 0 vsize: 834196 [startup+530.076 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 45859 49 0 0 16 0 10 0 721601886 854216704 35304 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 35304 13086 16 0 208533 0 vsize: 834196 [startup+540.077 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 46747 49 0 0 16 0 10 0 721601886 854216704 35459 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 35459 13086 16 0 208533 0 vsize: 834196 [startup+550.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 47628 49 0 0 15 0 10 0 721601886 854216704 35602 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 35602 13086 16 0 208533 0 vsize: 834196 [startup+560.081 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 48512 49 0 0 16 0 10 0 721601886 854216704 35736 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 35736 13086 16 0 208533 0 vsize: 834196 [startup+570.081 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 49394 50 0 0 16 0 10 0 721601886 854216704 35884 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 35884 13086 16 0 208533 0 vsize: 834196 [startup+580.086 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 50277 50 0 0 16 0 10 0 721601886 854216704 36038 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36038 13086 16 0 208533 0 vsize: 834196 [startup+590.086 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 51159 50 0 0 16 0 10 0 721601886 854216704 36178 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36178 13086 16 0 208533 0 vsize: 834196 [startup+600.087 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 52040 51 0 0 16 0 10 0 721601886 854216704 36323 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36323 13086 16 0 208533 0 vsize: 834196 [startup+610.091 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 52917 52 0 0 16 0 10 0 721601886 854216704 36468 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36468 13086 16 0 208533 0 vsize: 834196 [startup+620.092 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 53797 53 0 0 16 0 10 0 721601886 854216704 36618 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36618 13086 16 0 208533 0 vsize: 834196 [startup+630.094 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 54680 53 0 0 16 0 10 0 721601886 854216704 36758 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 36758 13086 16 0 208533 0 vsize: 834196 [startup+640.098 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 55564 53 0 0 16 0 10 0 721601886 854216704 36891 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 36891 13086 16 0 208533 0 vsize: 834196 [startup+650.098 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 56445 54 0 0 16 0 10 0 721601886 854216704 37033 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 37033 13086 16 0 208533 0 vsize: 834196 [startup+660.098 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 57326 54 0 0 16 0 10 0 721601886 854216704 37167 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 37167 13086 16 0 208533 0 vsize: 834196 [startup+670.098 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 58212 54 0 0 16 0 10 0 721601886 854216704 37302 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 37302 13086 16 0 208533 0 vsize: 834196 [startup+680.099 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 59098 54 0 0 16 0 10 0 721601886 854216704 37421 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 37421 13086 16 0 208533 0 vsize: 834196 [startup+690.1 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 59981 54 0 0 16 0 10 0 721601886 854216704 37549 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 37549 13086 16 0 208533 0 vsize: 834196 [startup+700.1 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 60856 54 0 0 15 0 10 0 721601886 854216704 37689 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 37689 13086 16 0 208533 0 vsize: 834196 [startup+710.104 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 61740 54 0 0 16 0 10 0 721601886 854216704 37820 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 37820 13086 16 0 208533 0 vsize: 834196 [startup+720.105 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 62623 55 0 0 16 0 10 0 721601886 854216704 37947 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 37947 13086 16 0 208533 0 vsize: 834196 [startup+730.106 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 63505 55 0 0 16 0 10 0 721601886 854216704 38070 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 38070 13086 16 0 208533 0 vsize: 834196 [startup+740.106 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 64389 56 0 0 16 0 10 0 721601886 854216704 38910 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 38910 13086 16 0 208533 0 vsize: 834196 [startup+750.105 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 65296 56 0 0 16 0 10 0 721601886 854216704 38910 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 38910 13086 16 0 208533 0 vsize: 834196 [startup+760.106 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 66176 56 0 0 16 0 10 0 721601886 854216704 38954 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 38954 13086 16 0 208533 0 vsize: 834196 [startup+770.106 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 67053 57 0 0 16 0 10 0 721601886 854216704 39076 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 39076 13086 16 0 208533 0 vsize: 834196 [startup+780.107 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 67925 57 0 0 16 0 10 0 721601886 854216704 39199 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 39199 13086 16 0 208533 0 vsize: 834196 [startup+790.113 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 68802 57 0 0 15 0 10 0 721601886 854216704 39320 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 39320 13086 16 0 208533 0 vsize: 834196 [startup+800.112 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 69680 57 0 0 16 0 10 0 721601886 854216704 39432 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 39432 13086 16 0 208533 0 vsize: 834196 [startup+810.112 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 70554 58 0 0 16 0 10 0 721601886 854216704 39551 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 39551 13086 16 0 208533 0 vsize: 834196 [startup+820.112 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 71429 58 0 0 16 0 10 0 721601886 854216704 39675 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 39675 13086 16 0 208533 0 vsize: 834196 [startup+830.115 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 72305 58 0 0 16 0 10 0 721601886 854216704 39799 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 39799 13086 16 0 208533 0 vsize: 834196 [startup+840.115 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 73180 58 0 0 16 0 10 0 721601886 854216704 39911 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 39911 13086 16 0 208533 0 vsize: 834196 [startup+850.115 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 74055 58 0 0 17 0 10 0 721601886 854216704 40030 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 40030 13086 16 0 208533 0 vsize: 834196 [startup+860.116 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 74929 58 0 0 16 0 10 0 721601886 854216704 40173 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 40173 13086 16 0 208533 0 vsize: 834196 [startup+870.118 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 75805 59 0 0 16 0 10 0 721601886 854216704 40266 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 40266 13086 16 0 208533 0 vsize: 834196 [startup+880.122 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 76683 59 0 0 16 0 10 0 721601886 854216704 40393 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 40393 13086 16 0 208533 0 vsize: 834196 [startup+890.125 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 77562 59 0 0 16 0 10 0 721601886 854216704 40535 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 40535 13086 16 0 208533 0 vsize: 834196 [startup+900.125 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 78441 59 0 0 16 0 10 0 721601886 854216704 40664 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 40664 13086 16 0 208533 0 vsize: 834196 [startup+910.125 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 79318 60 0 0 16 0 10 0 721601886 854216704 40768 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 40768 13086 16 0 208533 0 vsize: 834196 [startup+920.127 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 80195 61 0 0 16 0 10 0 721601886 854216704 40862 4294967295 134512640 134569956 3221224368 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 40862 13086 16 0 208533 0 vsize: 834196 [startup+930.129 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 81071 61 0 0 16 0 10 0 721601886 854216704 40997 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 40997 13086 16 0 208533 0 vsize: 834196 [startup+940.129 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 81943 61 0 0 16 0 10 0 721601886 854216704 41135 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41136 13086 16 0 208533 0 vsize: 834196 [startup+950.13 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 82825 61 0 0 16 0 10 0 721601886 854216704 41263 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 41263 13086 16 0 208533 0 vsize: 834196 [startup+960.135 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 83703 61 0 0 16 0 10 0 721601886 854216704 41347 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41347 13086 16 0 208533 0 vsize: 834196 [startup+970.136 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 84583 61 0 0 16 0 10 0 721601886 854216704 41477 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41477 13086 16 0 208533 0 vsize: 834196 [startup+980.136 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 85465 61 0 0 16 0 10 0 721601886 854216704 41608 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41608 13086 16 0 208533 0 vsize: 834196 [startup+990.136 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 86342 62 0 0 16 0 10 0 721601886 854216704 41676 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41676 13086 16 0 208533 0 vsize: 834196 [startup+1000.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 87218 62 0 0 16 0 10 0 721601886 854216704 41783 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41783 13086 16 0 208533 0 vsize: 834196 [startup+1010.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 88099 62 0 0 16 0 10 0 721601886 854216704 41934 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 41934 13086 16 0 208533 0 vsize: 834196 [startup+1020.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 88980 62 0 0 16 0 10 0 721601886 854216704 42031 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42031 13086 16 0 208533 0 vsize: 834196 [startup+1030.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 89861 62 0 0 16 0 10 0 721601886 854216704 42103 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42103 13086 16 0 208533 0 vsize: 834196 [startup+1040.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 90737 62 0 0 15 0 10 0 721601886 854216704 42283 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42283 13086 16 0 208533 0 vsize: 834196 [startup+1050.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 91624 62 0 0 16 0 10 0 721601886 854216704 42390 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42390 13086 16 0 208533 0 vsize: 834196 [startup+1060.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 92506 62 0 0 16 0 10 0 721601886 854216704 42482 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42482 13086 16 0 208533 0 vsize: 834196 [startup+1070.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 93391 62 0 0 16 0 10 0 721601886 854216704 42605 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42605 13086 16 0 208533 0 vsize: 834196 [startup+1080.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 94277 62 0 0 16 0 10 0 721601886 854216704 42662 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 42662 13086 16 0 208533 0 vsize: 834196 [startup+1090.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 95162 62 0 0 16 0 10 0 721601886 854216704 42817 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 42817 13086 16 0 208533 0 vsize: 834196 [startup+1100.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 96039 63 0 0 16 0 10 0 721601886 854216704 42873 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 42873 13086 16 0 208533 0 vsize: 834196 [startup+1110.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 96917 63 0 0 16 0 10 0 721601886 854216704 43011 4294967295 134512640 134569956 3221224368 3221214184 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 43011 13086 16 0 208533 0 vsize: 834196 [startup+1120.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 97802 63 0 0 16 0 10 0 721601886 854216704 43137 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 43137 13086 16 0 208533 0 vsize: 834196 [startup+1130.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 98690 63 0 0 16 0 10 0 721601886 854216704 43176 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 43176 13086 16 0 208533 0 vsize: 834196 [startup+1140.14 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 99576 64 0 0 16 0 10 0 721601886 854216704 43342 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 43342 13086 16 0 208533 0 vsize: 834196 [startup+1150.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 100458 64 0 0 15 0 10 0 721601886 854216704 43439 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 43439 13086 16 0 208533 0 vsize: 834196 [startup+1160.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 101342 64 0 0 16 0 10 0 721601886 854216704 43505 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 43505 13086 16 0 208533 0 vsize: 834196 [startup+1170.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 102224 64 0 0 16 0 10 0 721601886 854216704 43605 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 43605 13086 16 0 208533 0 vsize: 834196 [startup+1180.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 103113 64 0 0 16 0 10 0 721601886 854216704 43754 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 43754 13086 16 0 208533 0 vsize: 834196 [startup+1190.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 104006 64 0 0 16 0 10 0 721601886 854216704 43871 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 43871 13086 16 0 208533 0 vsize: 834196 [startup+1200.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 104893 65 0 0 16 0 10 0 721601886 854216704 43955 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 43955 13086 16 0 208533 0 vsize: 834196 [startup+1210.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 105783 65 0 0 16 0 10 0 721601886 854216704 44068 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 44068 13086 16 0 208533 0 vsize: 834196 [startup+1220.15 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 106666 66 0 0 16 0 10 0 721601886 854216704 44128 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 44128 13086 16 0 208533 0 vsize: 834196 [startup+1230.16 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 107550 66 0 0 16 0 10 0 721601886 854216704 44235 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44235 13086 16 0 208533 0 vsize: 834196 [startup+1240.16 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 108434 66 0 0 16 0 10 0 721601886 854216704 44345 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44345 13086 16 0 208533 0 vsize: 834196 [startup+1250.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 109328 66 0 0 16 0 10 0 721601886 854216704 44491 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44491 13086 16 0 208533 0 vsize: 834196 [startup+1260.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 110224 66 0 0 16 0 10 0 721601886 854216704 44580 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 44580 13086 16 0 208533 0 vsize: 834196 [startup+1270.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 111110 67 0 0 15 0 10 0 721601886 854216704 44687 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 44687 13086 16 0 208533 0 vsize: 834196 [startup+1280.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 112009 67 0 0 16 0 10 0 721601886 854216704 44761 4294967295 134512640 134569956 3221224368 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44761 13086 16 0 208533 0 vsize: 834196 [startup+1290.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 112903 67 0 0 16 0 10 0 721601886 854216704 44817 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44817 13086 16 0 208533 0 vsize: 834196 [startup+1300.17 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 113789 67 0 0 16 0 10 0 721601886 854216704 44921 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 44921 13086 16 0 208533 0 vsize: 834196 [startup+1310.18 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 114675 67 0 0 16 0 10 0 721601886 854216704 45069 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 45069 13086 16 0 208533 0 vsize: 834196 [startup+1320.18 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 115572 68 0 0 16 0 10 0 721601886 854216704 45127 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 45127 13086 16 0 208533 0 vsize: 834196 [startup+1330.19 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) S 19115 8378 8377 0 -1 0 18037 0 1 0 116468 68 0 0 16 0 10 0 721601886 854216704 45253 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 45253 13086 16 0 208533 0 vsize: 834196 [startup+1340.19 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 117366 68 0 0 16 0 10 0 721601886 854216704 45351 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 45351 13086 16 0 208533 0 vsize: 834196 [startup+1350.19 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 118269 69 0 0 16 0 10 0 721601886 854216704 45431 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208549 45431 13086 16 0 208533 0 vsize: 834196 [startup+1360.19 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 119164 69 0 0 16 0 10 0 721601886 854216704 45466 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 45466 13086 16 0 208533 0 vsize: 834196 [startup+1370.19 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 19125 Raw data (stat): 19116 (java) R 19115 8378 8377 0 -1 0 18037 0 1 0 120056 69 0 0 16 0 10 0 721601886 854216704 45541 4294967295 134512640 134569956 3221224368 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208549 45541 13086 16 0 208533 0 vsize: 834196 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1370.3 s] Raw data (loadavg): 0.99 0.99 0.99 1/55 19127 Raw data (stat): 19116 (java) Z 19115 8378 8377 0 -1 1036 18037 27031 1 0 120058 69 16740 77 16 0 1 0 721601886 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1370.3 CPU time (s): 1369.46 CPU user time (s): 1367.98 CPU system time (s): 1.47678 CPU usage (%): 99.9387 Max. virtual memory (Kb): 834196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####