Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb |
MD5SUM | 8c1b8634a2f99e9f8e579ef031d10353 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 2630 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2630 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2630 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2630 |
Total number of constraints | 6569 |
Number of constraints which are clauses | 6569 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-25 05:46:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20613 boxname=wulflinc20 idbench=203 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 8c1b8634a2f99e9f8e579ef031d10353 /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1-c.opb IDLAUNCH: 20613 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 356216 kB Buffers: 34356 kB Cached: 614532 kB SwapCached: 716 kB Active: 60852 kB Inactive: 594788 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 355964 kB SwapTotal: 2097892 kB SwapFree: 2096336 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5068 kB Slab: 17216 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 06:07:09 (client local time) WITH STATUS 143 IN 1247.76 SECONDS stats: 20613 7 1247.76 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/wulflinc20/normalized-par32-1-c.opb c reading problem ... done. Time 6.162 ms. c #vars 2630 c #constraints 6569 c starts : 10 c conflicts : 10414 c decisions : 11448 c propagations : 7169620 c inspects : 25707437 c learned literals : 1 c learned binary clauses : 27 c learned ternary clauses : 50 c learned clauses : 10413 c root simplifications : 11 s UNKNOWN c Total CPU time (ms) : 1249.134 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.99 2/54 1388 Raw data (stat): 1388 (runsolver) R 1387 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836466887 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0017 s] Raw data (loadavg): 1.24 1.05 1.02 3/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18080 0 1 0 761 39 0 0 25 0 11 0 836466887 859066368 20193 4294967295 134512640 134569956 3221224384 3221214432 1130915985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209733 20193 13086 16 0 209717 0 vsize: 838932 [startup+20.0022 s] Raw data (loadavg): 1.21 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18081 0 1 0 1660 39 0 0 25 0 11 0 836466887 858275840 21767 4294967295 134512640 134569956 3221224384 3221214760 1131426161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 21767 13086 16 0 209524 0 vsize: 838160 [startup+30.0027 s] Raw data (loadavg): 1.17 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 2616 39 0 0 25 0 11 0 836466887 858275840 22561 4294967295 134512640 134569956 3221224384 3221214672 1131563657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 22561 13086 16 0 209524 0 vsize: 838160 [startup+40.0037 s] Raw data (loadavg): 1.15 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 3588 39 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214764 1131399475 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 22567 13086 16 0 209524 0 vsize: 838160 [startup+50.0045 s] Raw data (loadavg): 1.12 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 4550 40 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214648 1131568818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 22567 13086 16 0 209524 0 vsize: 838160 [startup+60.0048 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 5510 40 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214648 1131563945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 22567 13086 16 0 209524 0 vsize: 838160 [startup+70.0059 s] Raw data (loadavg): 1.16 1.05 1.02 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 6474 40 0 0 25 0 11 0 836466887 862420992 23594 4294967295 134512640 134569956 3221224384 3221214784 1131402740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210552 23594 13086 16 0 210536 0 vsize: 842208 [startup+80.0066 s] Raw data (loadavg): 1.14 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 7424 40 0 0 25 0 11 0 836466887 862420992 23656 4294967295 134512640 134569956 3221224384 3221214680 1131376239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210552 23656 13086 16 0 210536 0 vsize: 842208 [startup+90.0069 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 8373 41 0 0 25 0 11 0 836466887 862420992 23754 4294967295 134512640 134569956 3221224384 3221214776 1131395287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210552 23754 13086 16 0 210536 0 vsize: 842208 [startup+100.007 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 9331 41 0 0 25 0 11 0 836466887 862420992 23839 4294967295 134512640 134569956 3221224384 3221214752 1131425740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210552 23839 13086 16 0 210536 0 vsize: 842208 [startup+110.009 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 10279 41 0 0 25 0 11 0 836466887 858275840 22935 4294967295 134512640 134569956 3221224384 3221214728 1131399535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 22935 13086 16 0 209524 0 vsize: 838160 [startup+120.01 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 11237 41 0 0 25 0 11 0 836466887 858275840 23046 4294967295 134512640 134569956 3221224384 3221214780 1131401065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23046 13086 16 0 209524 0 vsize: 838160 [startup+130.009 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 12186 42 0 0 25 0 11 0 836466887 858275840 23177 4294967295 134512640 134569956 3221224384 3221214752 1131426339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23177 13086 16 0 209524 0 vsize: 838160 [startup+140.01 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 13147 42 0 0 25 0 11 0 836466887 858275840 23268 4294967295 134512640 134569956 3221224384 3221214528 1131399568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23268 13086 16 0 209524 0 vsize: 838160 [startup+150.011 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 14100 42 0 0 25 0 11 0 836466887 858275840 23385 4294967295 134512640 134569956 3221224384 3221214560 1131401146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23385 13086 16 0 209524 0 vsize: 838160 [startup+160.011 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 15063 43 0 0 25 0 11 0 836466887 858275840 23471 4294967295 134512640 134569956 3221224384 3221214688 1131333413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23471 13086 16 0 209524 0 vsize: 838160 [startup+170.012 s] Raw data (loadavg): 1.03 1.03 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 16016 43 0 0 25 0 11 0 836466887 858275840 23581 4294967295 134512640 134569956 3221224384 3221214472 1131234990 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23581 13086 16 0 209524 0 vsize: 838160 [startup+180.012 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 16973 44 0 0 25 0 11 0 836466887 858275840 23667 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23667 13086 16 0 209524 0 vsize: 838160 [startup+190.013 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 17932 45 0 0 25 0 11 0 836466887 858275840 23771 4294967295 134512640 134569956 3221224384 3221214544 1131376239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23771 13086 16 0 209524 0 vsize: 838160 [startup+200.013 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 18887 45 0 0 25 0 11 0 836466887 858275840 23866 4294967295 134512640 134569956 3221224384 3221214656 1131333566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23866 13086 16 0 209524 0 vsize: 838160 [startup+210.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 19851 45 0 0 25 0 11 0 836466887 858275840 23930 4294967295 134512640 134569956 3221224384 3221214728 1131399599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 23930 13086 16 0 209524 0 vsize: 838160 [startup+220.015 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 20804 46 0 0 25 0 11 0 836466887 858275840 24003 4294967295 134512640 134569956 3221224384 3221214656 1131333287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24003 13086 16 0 209524 0 vsize: 838160 [startup+230.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1398 Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 21755 46 0 0 25 0 11 0 836466887 858275840 24075 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24075 13086 16 0 209524 0 vsize: 838160 [startup+240.015 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 22717 46 0 0 25 0 11 0 836466887 858275840 24193 4294967295 134512640 134569956 3221224384 3221214728 1131399524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24193 13086 16 0 209524 0 vsize: 838160 [startup+250.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 23669 47 0 0 25 0 11 0 836466887 858275840 24283 4294967295 134512640 134569956 3221224384 3221214792 1131426161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24283 13086 16 0 209524 0 vsize: 838160 [startup+260.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 24630 47 0 0 25 0 11 0 836466887 858275840 24359 4294967295 134512640 134569956 3221224384 3221214544 1131376458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24359 13086 16 0 209524 0 vsize: 838160 [startup+270.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 25580 47 0 0 25 0 11 0 836466887 858275840 24465 4294967295 134512640 134569956 3221224384 3221214808 1131453381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24465 13086 16 0 209524 0 vsize: 838160 [startup+280.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 26534 47 0 0 25 0 11 0 836466887 858275840 24547 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24547 13086 16 0 209524 0 vsize: 838160 [startup+290.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 27489 48 0 0 25 0 11 0 836466887 858275840 24651 4294967295 134512640 134569956 3221224384 3221214556 1131234336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24651 13086 16 0 209524 0 vsize: 838160 [startup+300.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 28437 48 0 0 25 0 11 0 836466887 858275840 24729 4294967295 134512640 134569956 3221224384 3221214648 1131563977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24729 13086 16 0 209524 0 vsize: 838160 [startup+310.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 29394 48 0 0 25 0 11 0 836466887 858275840 24822 4294967295 134512640 134569956 3221224384 3221214472 1131519842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24822 13086 16 0 209524 0 vsize: 838160 [startup+320.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 30352 49 0 0 25 0 11 0 836466887 858275840 24902 4294967295 134512640 134569956 3221224384 3221214780 1131375756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 24902 13086 16 0 209524 0 vsize: 838160 [startup+330.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 31299 49 0 0 25 0 11 0 836466887 858275840 25015 4294967295 134512640 134569956 3221224384 3221214544 1131376776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25015 13086 16 0 209524 0 vsize: 838160 [startup+340.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 32255 49 0 0 25 0 11 0 836466887 858275840 25097 4294967295 134512640 134569956 3221224384 3221214504 1131412828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25097 13086 16 0 209524 0 vsize: 838160 [startup+350.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 33200 49 0 0 25 0 11 0 836466887 858275840 25206 4294967295 134512640 134569956 3221224384 3221214544 1131375810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25206 13086 16 0 209524 0 vsize: 838160 [startup+360.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 34156 50 0 0 25 0 11 0 836466887 858275840 25299 4294967295 134512640 134569956 3221224384 3221214472 1131234990 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25299 13086 16 0 209524 0 vsize: 838160 [startup+370.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 35112 50 0 0 25 0 11 0 836466887 858275840 25384 4294967295 134512640 134569956 3221224384 3221214688 1131333636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25384 13086 16 0 209524 0 vsize: 838160 [startup+380.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 36056 50 0 0 24 0 11 0 836466887 858275840 25492 4294967295 134512640 134569956 3221224384 3221214536 1131418248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25492 13086 16 0 209524 0 vsize: 838160 [startup+390.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 37011 51 0 0 25 0 11 0 836466887 858275840 25573 4294967295 134512640 134569956 3221224384 3221214544 1131375979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25573 13086 16 0 209524 0 vsize: 838160 [startup+400.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 37967 51 0 0 25 0 11 0 836466887 858275840 25656 4294967295 134512640 134569956 3221224384 3221214496 1131187036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 25656 13086 16 0 209524 0 vsize: 838160 [startup+410.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 38911 51 0 0 25 0 11 0 836466887 858275840 25810 4294967295 134512640 134569956 3221224384 3221214760 1131230856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 25810 13086 16 0 209524 0 vsize: 838160 [startup+420.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 39867 51 0 0 25 0 11 0 836466887 858275840 25912 4294967295 134512640 134569956 3221224384 3221214616 1131553759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 25912 13086 16 0 209524 0 vsize: 838160 [startup+430.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 40823 52 0 0 25 0 11 0 836466887 858275840 26006 4294967295 134512640 134569956 3221224384 3221214688 1131333081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26006 13086 16 0 209524 0 vsize: 838160 [startup+440.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 41769 52 0 0 25 0 11 0 836466887 858275840 26114 4294967295 134512640 134569956 3221224384 3221214544 1131376400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26114 13086 16 0 209524 0 vsize: 838160 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 42724 53 0 0 25 0 11 0 836466887 858275840 26206 4294967295 134512640 134569956 3221224384 3221214344 1078032473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26206 13086 16 0 209524 0 vsize: 838160 [startup+460.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 43679 53 0 0 25 0 11 0 836466887 858275840 26288 4294967295 134512640 134569956 3221224384 3221214784 1131402841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26288 13086 16 0 209524 0 vsize: 838160 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 44621 53 0 0 25 0 11 0 836466887 858275840 26385 4294967295 134512640 134569956 3221224384 3221214544 1131376236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26385 13086 16 0 209524 0 vsize: 838160 [startup+480.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 45576 54 0 0 25 0 11 0 836466887 858275840 26482 4294967295 134512640 134569956 3221224384 3221214544 1131376400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26482 13086 16 0 209524 0 vsize: 838160 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 46521 54 0 0 25 0 11 0 836466887 858275840 26610 4294967295 134512640 134569956 3221224384 3221214680 1131375788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26610 13086 16 0 209524 0 vsize: 838160 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 47478 55 0 0 25 0 11 0 836466887 858275840 26722 4294967295 134512640 134569956 3221224384 3221214784 1131402339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26722 13086 16 0 209524 0 vsize: 838160 [startup+510.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 48435 55 0 0 25 0 11 0 836466887 858275840 26800 4294967295 134512640 134569956 3221224384 3221214760 1131395648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26800 13086 16 0 209524 0 vsize: 838160 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 49382 55 0 0 25 0 11 0 836466887 858275840 26932 4294967295 134512640 134569956 3221224384 3221214784 1131402752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 26932 13086 16 0 209524 0 vsize: 838160 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 50341 56 0 0 25 0 11 0 836466887 858275840 27022 4294967295 134512640 134569956 3221224384 3221214776 1131395291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27022 13086 16 0 209524 0 vsize: 838160 [startup+540.03 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 51298 56 0 0 25 0 11 0 836466887 858275840 27106 4294967295 134512640 134569956 3221224384 3221214200 1131372354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 27106 13086 16 0 209524 0 vsize: 838160 [startup+550.03 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 52267 56 0 0 25 0 11 0 836466887 858275840 27158 4294967295 134512640 134569956 3221224384 3221214328 1131384657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27158 13086 16 0 209524 0 vsize: 838160 [startup+560.03 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 53256 57 0 0 25 0 11 0 836466887 858275840 27180 4294967295 134512640 134569956 3221224384 3221214528 1131399530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27180 13086 16 0 209524 0 vsize: 838160 [startup+570.03 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 54235 57 0 0 25 0 11 0 836466887 858275840 27213 4294967295 134512640 134569956 3221224384 3221214328 1131384657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27213 13086 16 0 209524 0 vsize: 838160 [startup+580.031 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 55213 58 0 0 25 0 11 0 836466887 858275840 27261 4294967295 134512640 134569956 3221224384 3221214536 1131485300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27261 13086 16 0 209524 0 vsize: 838160 [startup+590.031 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 56181 58 0 0 25 0 11 0 836466887 858275840 27327 4294967295 134512640 134569956 3221224384 3221213352 1131384657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27327 13086 16 0 209524 0 vsize: 838160 [startup+600.032 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 57160 59 0 0 25 0 11 0 836466887 858275840 27364 4294967295 134512640 134569956 3221224384 3221214268 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27364 13086 16 0 209524 0 vsize: 838160 [startup+610.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 58139 59 0 0 25 0 11 0 836466887 858275840 27403 4294967295 134512640 134569956 3221224384 3221214672 1131466291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27403 13086 16 0 209524 0 vsize: 838160 [startup+620.032 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 59108 59 0 0 25 0 11 0 836466887 858275840 27458 4294967295 134512640 134569956 3221224384 3221214360 1131620762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27458 13086 16 0 209524 0 vsize: 838160 [startup+630.032 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 60076 60 0 0 25 0 11 0 836466887 858275840 27515 4294967295 134512640 134569956 3221224384 3221214440 1131508213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27515 13086 16 0 209524 0 vsize: 838160 [startup+640.033 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 61032 60 0 0 25 0 11 0 836466887 858275840 27582 4294967295 134512640 134569956 3221224384 3221214648 1131564000 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27582 13086 16 0 209524 0 vsize: 838160 [startup+650.034 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 61987 60 0 0 25 0 11 0 836466887 858275840 27665 4294967295 134512640 134569956 3221224384 3221214784 1131402241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27665 13086 16 0 209524 0 vsize: 838160 [startup+660.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 62954 61 0 0 25 0 11 0 836466887 858275840 27723 4294967295 134512640 134569956 3221224384 3221214728 1131399543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27723 13086 16 0 209524 0 vsize: 838160 [startup+670.034 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 63931 62 0 0 25 0 11 0 836466887 858275840 27752 4294967295 134512640 134569956 3221224384 3221213992 1131384714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27752 13086 16 0 209524 0 vsize: 838160 [startup+680.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 64898 62 0 0 24 0 11 0 836466887 858275840 27826 4294967295 134512640 134569956 3221224384 3221214784 1131402520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27826 13086 16 0 209524 0 vsize: 838160 [startup+690.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 65887 62 0 0 25 0 11 0 836466887 858275840 27852 4294967295 134512640 134569956 3221224384 3221213740 1131384651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27852 13086 16 0 209524 0 vsize: 838160 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 66855 63 0 0 25 0 11 0 836466887 858275840 27918 4294967295 134512640 134569956 3221224384 3221213564 1131371721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27918 13086 16 0 209524 0 vsize: 838160 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 67833 63 0 0 25 0 11 0 836466887 858275840 27954 4294967295 134512640 134569956 3221224384 3221213736 1131617384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27954 13086 16 0 209524 0 vsize: 838160 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 68811 63 0 0 25 0 11 0 836466887 858275840 27989 4294967295 134512640 134569956 3221224384 3221214328 1131384663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 27989 13086 16 0 209524 0 vsize: 838160 [startup+730.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 69789 63 0 0 25 0 11 0 836466887 858275840 28030 4294967295 134512640 134569956 3221224384 3221213824 1131384505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28030 13086 16 0 209524 0 vsize: 838160 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 70767 64 0 0 25 0 11 0 836466887 858275840 28056 4294967295 134512640 134569956 3221224384 3221214352 1085679321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28056 13086 16 0 209524 0 vsize: 838160 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 71744 64 0 0 25 0 11 0 836466887 858275840 28147 4294967295 134512640 134569956 3221224384 3221214296 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28147 13086 16 0 209524 0 vsize: 838160 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 72722 65 0 0 25 0 11 0 836466887 858275840 28202 4294967295 134512640 134569956 3221224384 3221214736 1131293200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28202 13086 16 0 209524 0 vsize: 838160 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 73700 65 0 0 25 0 11 0 836466887 858275840 28249 4294967295 134512640 134569956 3221224384 3221214656 1131333256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28249 13086 16 0 209524 0 vsize: 838160 [startup+780.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 74680 66 0 0 25 0 11 0 836466887 858275840 28288 4294967295 134512640 134569956 3221224384 3221214784 1131402440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28288 13086 16 0 209524 0 vsize: 838160 [startup+790.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 75659 66 0 0 25 0 11 0 836466887 858275840 28324 4294967295 134512640 134569956 3221224384 3221214844 1131414057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28324 13086 16 0 209524 0 vsize: 838160 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 76638 66 0 0 25 0 11 0 836466887 858275840 28364 4294967295 134512640 134569956 3221224384 3221214728 1131399613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28364 13086 16 0 209524 0 vsize: 838160 [startup+810.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 77616 66 0 0 25 0 11 0 836466887 858275840 28406 4294967295 134512640 134569956 3221224384 3221214184 1085679753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28406 13086 16 0 209524 0 vsize: 838160 [startup+820.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1398 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 78595 67 0 0 25 0 11 0 836466887 858275840 28441 4294967295 134512640 134569956 3221224384 3221214752 1131425616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28441 13086 16 0 209524 0 vsize: 838160 [startup+830.097 s] Raw data (loadavg): 1.08 1.02 1.01 3/67 1436 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 79578 68 0 0 25 0 11 0 836466887 858275840 28480 4294967295 134512640 134569956 3221224384 3221214360 1131620764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28480 13086 16 0 209524 0 vsize: 838160 [startup+840.097 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 80556 68 0 0 25 0 11 0 836466887 858275840 28518 4294967295 134512640 134569956 3221224384 3221213544 1085679454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28518 13086 16 0 209524 0 vsize: 838160 [startup+850.097 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 81535 68 0 0 25 0 11 0 836466887 858275840 28554 4294967295 134512640 134569956 3221224384 3221214584 1131485010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28554 13086 16 0 209524 0 vsize: 838160 [startup+860.098 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 82513 69 0 0 25 0 11 0 836466887 858275840 28599 4294967295 134512640 134569956 3221224384 3221213764 1131384600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28599 13086 16 0 209524 0 vsize: 838160 [startup+870.098 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 83490 69 0 0 25 0 11 0 836466887 858275840 28639 4294967295 134512640 134569956 3221224384 3221213928 1131372335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28639 13086 16 0 209524 0 vsize: 838160 [startup+880.098 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 84468 69 0 0 25 0 11 0 836466887 858275840 28677 4294967295 134512640 134569956 3221224384 3221214096 1131372348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28677 13086 16 0 209524 0 vsize: 838160 [startup+890.099 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 85457 70 0 0 25 0 11 0 836466887 858275840 28704 4294967295 134512640 134569956 3221224384 3221213736 1131617432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28704 13086 16 0 209524 0 vsize: 838160 [startup+900.099 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1451 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 86434 70 0 0 25 0 11 0 836466887 858275840 28746 4294967295 134512640 134569956 3221224384 3221214680 1131375788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28746 13086 16 0 209524 0 vsize: 838160 [startup+910.1 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 87413 71 0 0 25 0 11 0 836466887 858275840 28790 4294967295 134512640 134569956 3221224384 3221214784 1131402675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28790 13086 16 0 209524 0 vsize: 838160 [startup+920.1 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 88401 71 0 0 25 0 11 0 836466887 858275840 28819 4294967295 134512640 134569956 3221224384 3221214728 1131399549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28819 13086 16 0 209524 0 vsize: 838160 [startup+930.101 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 89379 71 0 0 25 0 11 0 836466887 858275840 28855 4294967295 134512640 134569956 3221224384 3221214560 1131401137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28855 13086 16 0 209524 0 vsize: 838160 [startup+940.102 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 90358 71 0 0 25 0 11 0 836466887 858275840 28889 4294967295 134512640 134569956 3221224384 3221213904 1131617388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28889 13086 16 0 209524 0 vsize: 838160 [startup+950.102 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 91346 72 0 0 25 0 11 0 836466887 858275840 28906 4294967295 134512640 134569956 3221224384 3221214264 1131372327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28906 13086 16 0 209524 0 vsize: 838160 [startup+960.101 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 92325 72 0 0 25 0 11 0 836466887 858275840 28947 4294967295 134512640 134569956 3221224384 3221214096 1131372393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 28947 13086 16 0 209524 0 vsize: 838160 [startup+970.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 93304 72 0 0 25 0 11 0 836466887 858275840 28997 4294967295 134512640 134569956 3221224384 3221214484 1131372331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 28997 13086 16 0 209524 0 vsize: 838160 [startup+980.102 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 94293 73 0 0 25 0 11 0 836466887 858275840 29024 4294967295 134512640 134569956 3221224384 3221213812 1131384742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29024 13086 16 0 209524 0 vsize: 838160 [startup+990.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 95282 73 0 0 25 0 11 0 836466887 858275840 29042 4294967295 134512640 134569956 3221224384 3221214784 1131402398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29042 13086 16 0 209524 0 vsize: 838160 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 96259 73 0 0 25 0 11 0 836466887 858275840 29081 4294967295 134512640 134569956 3221224384 3221214648 1131567806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29081 13086 16 0 209524 0 vsize: 838160 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 97237 74 0 0 25 0 11 0 836466887 858275840 29121 4294967295 134512640 134569956 3221224384 3221213848 1131617445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29121 13086 16 0 209524 0 vsize: 838160 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 98225 74 0 0 25 0 11 0 836466887 858275840 29137 4294967295 134512640 134569956 3221224384 3221214068 1131371712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29137 13086 16 0 209524 0 vsize: 838160 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 99203 74 0 0 25 0 11 0 836466887 858275840 29173 4294967295 134512640 134569956 3221224384 3221214648 1131563637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29173 13086 16 0 209524 0 vsize: 838160 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 100183 75 0 0 25 0 11 0 836466887 858275840 29198 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29198 13086 16 0 209524 0 vsize: 838160 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 101168 75 0 0 25 0 11 0 836466887 858275840 29242 4294967295 134512640 134569956 3221224384 3221214544 1131376239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29242 13086 16 0 209524 0 vsize: 838160 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 102145 75 0 0 25 0 11 0 836466887 858275840 29277 4294967295 134512640 134569956 3221224384 3221214648 1131566343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29277 13086 16 0 209524 0 vsize: 838160 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 103134 76 0 0 25 0 11 0 836466887 858275840 29294 4294967295 134512640 134569956 3221224384 3221213880 1131384514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29294 13086 16 0 209524 0 vsize: 838160 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 104110 76 0 0 25 0 11 0 836466887 858275840 29343 4294967295 134512640 134569956 3221224384 3221213680 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29343 13086 16 0 209524 0 vsize: 838160 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 105099 76 0 0 25 0 11 0 836466887 858275840 29366 4294967295 134512640 134569956 3221224384 3221214728 1131399517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29366 13086 16 0 209524 0 vsize: 838160 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 106076 76 0 0 25 0 11 0 836466887 858275840 29404 4294967295 134512640 134569956 3221224384 3221213992 1131384604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29404 13086 16 0 209524 0 vsize: 838160 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 107064 77 0 0 25 0 11 0 836466887 858275840 29421 4294967295 134512640 134569956 3221224384 3221214648 1131569898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29421 13086 16 0 209524 0 vsize: 838160 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 108040 77 0 0 25 0 11 0 836466887 858275840 29461 4294967295 134512640 134569956 3221224384 3221214552 1131333256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 29461 13086 16 0 209524 0 vsize: 838160 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 109017 77 0 0 25 0 11 0 836466887 858275840 29499 4294967295 134512640 134569956 3221224384 3221214264 1131372147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29499 13086 16 0 209524 0 vsize: 838160 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1453 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 110005 78 0 0 25 0 11 0 836466887 858275840 29520 4294967295 134512640 134569956 3221224384 3221213904 1085679318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29520 13086 16 0 209524 0 vsize: 838160 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 110982 78 0 0 25 0 11 0 836466887 858275840 29566 4294967295 134512640 134569956 3221224384 3221214820 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29566 13086 16 0 209524 0 vsize: 838160 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 111970 78 0 0 25 0 11 0 836466887 858275840 29585 4294967295 134512640 134569956 3221224384 3221214768 1131401609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29585 13086 16 0 209524 0 vsize: 838160 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 112947 78 0 0 25 0 11 0 836466887 858275840 29629 4294967295 134512640 134569956 3221224384 3221214780 1131230764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29629 13086 16 0 209524 0 vsize: 838160 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 113935 79 0 0 25 0 11 0 836466887 858275840 29662 4294967295 134512640 134569956 3221224384 3221213736 1131617426 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29662 13086 16 0 209524 0 vsize: 838160 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 114912 79 0 0 25 0 11 0 836466887 858275840 29711 4294967295 134512640 134569956 3221224384 3221214780 1131395625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29711 13086 16 0 209524 0 vsize: 838160 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 115901 79 0 0 25 0 11 0 836466887 858275840 29733 4294967295 134512640 134569956 3221224384 3221214648 1131569050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29733 13086 16 0 209524 0 vsize: 838160 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 116878 80 0 0 25 0 11 0 836466887 858275840 29784 4294967295 134512640 134569956 3221224384 3221214648 1131565179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29784 13086 16 0 209524 0 vsize: 838160 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 117856 80 0 0 25 0 11 0 836466887 858275840 29830 4294967295 134512640 134569956 3221224384 3221214160 1131384505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29830 13086 16 0 209524 0 vsize: 838160 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 118845 80 0 0 25 0 11 0 836466887 858275840 29852 4294967295 134512640 134569956 3221224384 3221213820 1131384656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29852 13086 16 0 209524 0 vsize: 838160 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 119823 80 0 0 25 0 11 0 836466887 858275840 29892 4294967295 134512640 134569956 3221224384 3221213792 1131617140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209540 29892 13086 16 0 209524 0 vsize: 838160 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1455 Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 120811 81 0 0 25 0 11 0 836466887 858275840 29914 4294967295 134512640 134569956 3221224384 3221213932 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209540 29914 13086 16 0 209524 0 vsize: 838160 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.23 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 1457 Raw data (stat): 1388 (java) Z 1387 25399 25398 0 -1 1036 18082 10365 1 0 120816 81 3854 23 25 0 1 0 836466887 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): 1250.23 CPU time (s): 1247.76 CPU user time (s): 1246.71 CPU system time (s): 1.04884 CPU usage (%): 99.8025 Max. virtual memory (Kb): 842208 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####