Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb |
MD5SUM | 2e72d5e95ef7d95d0e7b98fd7ceb407d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1774 |
Biggest coefficient in the objective function | 17582255505408 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 115871619043950 |
Number of bits of the sum of numbers in the objective function | 47 |
Biggest number in a constraint | 17582255505408 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 115871619043950 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.31995 |
Number of variables | 6214 |
Total number of constraints | 244 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 1460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-21 20:19:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15596 boxname=wulflinc17 idbench=1200 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 2e72d5e95ef7d95d0e7b98fd7ceb407d /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb IDLAUNCH: 15596 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 562264 kB Buffers: 23220 kB Cached: 423268 kB SwapCached: 408 kB Active: 110576 kB Inactive: 338488 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 562012 kB SwapTotal: 2097892 kB SwapFree: 2097056 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5856 kB Slab: 17712 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 20:40:42 (client local time) WITH STATUS 143 IN 1254.55 SECONDS stats: 15596 7 1254.55 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb c reading problem c [nbvar=6214] c [nbconstr=244] c time 15.678 c #vars 6214 c #clauses 415 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 #### 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.85 0.94 0.90 2/55 4674 Raw data (stat): 4674 (runsolver) R 4673 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547917977 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0027 s] Raw data (loadavg): 0.87 0.94 0.90 2/64 4683 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18006 0 1 0 817 38 0 0 25 0 10 0 547917977 858144768 20866 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209508 20867 13073 16 0 209492 0 vsize: 838032 [startup+20.0032 s] Raw data (loadavg): 0.97 0.96 0.91 4/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18090 0 1 0 1673 39 0 0 25 0 11 0 547917977 862113792 23057 4294967295 134512640 134569956 3221224400 3221214704 1130904140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210477 23057 13073 16 0 210461 0 vsize: 841908 [startup+30.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18143 0 1 0 2613 40 0 0 25 0 11 0 547917977 864247808 23868 4294967295 134512640 134569956 3221224400 3221214544 1131552727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210998 23868 13073 16 0 210982 0 vsize: 843992 [startup+40.0035 s] Raw data (loadavg): 0.98 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 3568 40 0 0 25 0 11 0 547917977 863166464 23651 4294967295 134512640 134569956 3221224400 3221214648 1131615956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 23651 13073 16 0 210718 0 vsize: 842936 [startup+50.0044 s] Raw data (loadavg): 0.98 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 4516 40 0 0 25 0 11 0 547917977 863166464 23826 4294967295 134512640 134569956 3221224400 3221214688 1131305808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 23826 13073 16 0 210718 0 vsize: 842936 [startup+60.0045 s] Raw data (loadavg): 0.98 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 5461 40 0 0 25 0 11 0 547917977 863166464 23888 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 23888 13073 16 0 210718 0 vsize: 842936 [startup+70.0055 s] Raw data (loadavg): 0.98 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 6420 40 0 0 25 0 11 0 547917977 863166464 24059 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 24059 13073 16 0 210718 0 vsize: 842936 [startup+80.0047 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 7367 40 0 0 25 0 11 0 547917977 863166464 24336 4294967295 134512640 134569956 3221224400 3221214648 1131616097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 24336 13073 16 0 210718 0 vsize: 842936 [startup+90.0049 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 8317 40 0 0 24 0 11 0 547917977 863166464 24539 4294967295 134512640 134569956 3221224400 3221214688 1131305863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 24539 13073 16 0 210718 0 vsize: 842936 [startup+100.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 9280 40 0 0 25 0 11 0 547917977 863166464 24667 4294967295 134512640 134569956 3221224400 3221214688 1131306402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 24667 13073 16 0 210718 0 vsize: 842936 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 10247 41 0 0 25 0 11 0 547917977 863166464 24796 4294967295 134512640 134569956 3221224400 3221214688 1131306742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 24796 13073 16 0 210718 0 vsize: 842936 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 11217 41 0 0 25 0 11 0 547917977 863166464 24914 4294967295 134512640 134569956 3221224400 3221214784 1131344306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 24914 13073 16 0 210718 0 vsize: 842936 [startup+130.005 s] Raw data (loadavg): 1.07 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 12184 41 0 0 25 0 11 0 547917977 863166464 24975 4294967295 134512640 134569956 3221224400 3221214688 1131306173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 24975 13073 16 0 210718 0 vsize: 842936 [startup+140.004 s] Raw data (loadavg): 1.06 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 13154 42 0 0 25 0 11 0 547917977 863166464 25069 4294967295 134512640 134569956 3221224400 3221214552 1131664298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25069 13073 16 0 210718 0 vsize: 842936 [startup+150.006 s] Raw data (loadavg): 1.05 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 14130 42 0 0 25 0 11 0 547917977 863166464 25154 4294967295 134512640 134569956 3221224400 3221214648 1131617799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25154 13073 16 0 210718 0 vsize: 842936 [startup+160.006 s] Raw data (loadavg): 1.04 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 15103 42 0 0 25 0 11 0 547917977 863166464 25207 4294967295 134512640 134569956 3221224400 3221214688 1131530596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25207 13073 16 0 210718 0 vsize: 842936 [startup+170.005 s] Raw data (loadavg): 1.03 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 16074 42 0 0 25 0 11 0 547917977 863166464 25329 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 25329 13073 16 0 210718 0 vsize: 842936 [startup+180.005 s] Raw data (loadavg): 1.03 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 17043 42 0 0 25 0 11 0 547917977 863166464 25457 4294967295 134512640 134569956 3221224400 3221214648 1131617784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25457 13073 16 0 210718 0 vsize: 842936 [startup+190.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 18010 43 0 0 25 0 11 0 547917977 863166464 25576 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25576 13073 16 0 210718 0 vsize: 842936 [startup+200.005 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 18965 43 0 0 25 0 11 0 547917977 863166464 25643 4294967295 134512640 134569956 3221224400 3221214648 1131617847 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25643 13073 16 0 210718 0 vsize: 842936 [startup+210.008 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 19926 43 0 0 25 0 11 0 547917977 863166464 25764 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25764 13073 16 0 210718 0 vsize: 842936 [startup+220.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 20888 43 0 0 25 0 11 0 547917977 863166464 25875 4294967295 134512640 134569956 3221224400 3221214648 1131663884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 25875 13073 16 0 210718 0 vsize: 842936 [startup+230.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 21850 43 0 0 25 0 11 0 547917977 863166464 26016 4294967295 134512640 134569956 3221224400 3221214544 1131551590 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 26016 13073 16 0 210718 0 vsize: 842936 [startup+240.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 22812 43 0 0 25 0 11 0 547917977 863166464 26132 4294967295 134512640 134569956 3221224400 3221214648 1131615961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26132 13073 16 0 210718 0 vsize: 842936 [startup+250.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 4684 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 23763 44 0 0 25 0 11 0 547917977 863166464 26275 4294967295 134512640 134569956 3221224400 3221214620 1080203717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26275 13073 16 0 210718 0 vsize: 842936 [startup+260.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 24725 45 0 0 25 0 11 0 547917977 863166464 26418 4294967295 134512640 134569956 3221224400 3221214544 1131553592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26418 13073 16 0 210718 0 vsize: 842936 [startup+270.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 25686 45 0 0 25 0 11 0 547917977 863166464 26555 4294967295 134512640 134569956 3221224400 3221214648 1131615959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26555 13073 16 0 210718 0 vsize: 842936 [startup+280.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 26648 45 0 0 25 0 11 0 547917977 863166464 26667 4294967295 134512640 134569956 3221224400 3221214552 1131242781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26667 13073 16 0 210718 0 vsize: 842936 [startup+290.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 27600 45 0 0 24 0 11 0 547917977 863166464 26895 4294967295 134512640 134569956 3221224400 3221214676 1131371891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26895 13073 16 0 210718 0 vsize: 842936 [startup+300.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 28561 46 0 0 25 0 11 0 547917977 863166464 26991 4294967295 134512640 134569956 3221224400 3221214648 1131615961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 26991 13073 16 0 210718 0 vsize: 842936 [startup+310.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 29488 46 0 0 25 0 11 0 547917977 863166464 27130 4294967295 134512640 134569956 3221224400 3221214688 1131306402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 27130 13073 16 0 210718 0 vsize: 842936 [startup+320.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 30410 47 0 0 25 0 11 0 547917977 863166464 27489 4294967295 134512640 134569956 3221224400 3221214688 1131305769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 27489 13073 16 0 210718 0 vsize: 842936 [startup+330.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 31361 47 0 0 25 0 11 0 547917977 863166464 27849 4294967295 134512640 134569956 3221224400 3221214688 1131306812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 27849 13073 16 0 210718 0 vsize: 842936 [startup+340.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 32340 47 0 0 25 0 11 0 547917977 863166464 27988 4294967295 134512640 134569956 3221224400 3221214784 1131344352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 27988 13073 16 0 210718 0 vsize: 842936 [startup+350.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 33321 48 0 0 25 0 11 0 547917977 863166464 28032 4294967295 134512640 134569956 3221224400 3221214688 1131306398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28032 13073 16 0 210718 0 vsize: 842936 [startup+360.075 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 34301 48 0 0 25 0 11 0 547917977 863166464 28044 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28044 13073 16 0 210718 0 vsize: 842936 [startup+370.082 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 35283 49 0 0 25 0 11 0 547917977 863166464 28093 4294967295 134512640 134569956 3221224400 3221214784 1131344345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28093 13073 16 0 210718 0 vsize: 842936 [startup+380.087 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 36266 49 0 0 25 0 11 0 547917977 863166464 28150 4294967295 134512640 134569956 3221224400 3221214688 1131306809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28150 13073 16 0 210718 0 vsize: 842936 [startup+390.093 s] Raw data (loadavg): 1.07 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 37250 50 0 0 25 0 11 0 547917977 863166464 28207 4294967295 134512640 134569956 3221224400 3221214552 1131242781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28207 13073 16 0 210718 0 vsize: 842936 [startup+400.105 s] Raw data (loadavg): 1.06 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 38236 50 0 0 24 0 11 0 547917977 863166464 28304 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28304 13073 16 0 210718 0 vsize: 842936 [startup+410.106 s] Raw data (loadavg): 1.05 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 39220 50 0 0 25 0 11 0 547917977 863166464 28355 4294967295 134512640 134569956 3221224400 3221214688 1131306281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28355 13073 16 0 210718 0 vsize: 842936 [startup+420.116 s] Raw data (loadavg): 1.04 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 40203 51 0 0 25 0 11 0 547917977 863166464 28358 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28358 13073 16 0 210718 0 vsize: 842936 [startup+430.126 s] Raw data (loadavg): 1.04 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 41187 51 0 0 25 0 11 0 547917977 863166464 28415 4294967295 134512640 134569956 3221224400 3221214688 1131306274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28415 13073 16 0 210718 0 vsize: 842936 [startup+440.127 s] Raw data (loadavg): 1.03 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 42170 51 0 0 25 0 11 0 547917977 863166464 28500 4294967295 134512640 134569956 3221224400 3221214784 1131344329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28500 13073 16 0 210718 0 vsize: 842936 [startup+450.126 s] Raw data (loadavg): 1.02 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 43152 52 0 0 25 0 11 0 547917977 863166464 28562 4294967295 134512640 134569956 3221224400 3221214688 1131307033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28562 13073 16 0 210718 0 vsize: 842936 [startup+460.134 s] Raw data (loadavg): 1.02 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 44136 52 0 0 25 0 11 0 547917977 863166464 28564 4294967295 134512640 134569956 3221224400 3221214684 1131300103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28564 13073 16 0 210718 0 vsize: 842936 [startup+470.134 s] Raw data (loadavg): 1.02 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 45119 53 0 0 25 0 11 0 547917977 863166464 28729 4294967295 134512640 134569956 3221224400 3221214784 1131345278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28729 13073 16 0 210718 0 vsize: 842936 [startup+480.133 s] Raw data (loadavg): 1.01 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 46108 53 0 0 25 0 11 0 547917977 863166464 28747 4294967295 134512640 134569956 3221224400 3221214688 1131306343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28747 13073 16 0 210718 0 vsize: 842936 [startup+490.134 s] Raw data (loadavg): 1.01 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 47090 53 0 0 25 0 11 0 547917977 863166464 28809 4294967295 134512640 134569956 3221224400 3221214544 1131551943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28809 13073 16 0 210718 0 vsize: 842936 [startup+500.135 s] Raw data (loadavg): 1.01 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 48070 54 0 0 25 0 11 0 547917977 863166464 28816 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28816 13073 16 0 210718 0 vsize: 842936 [startup+510.135 s] Raw data (loadavg): 1.01 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 49041 54 0 0 24 0 11 0 547917977 863166464 28850 4294967295 134512640 134569956 3221224400 3221214784 1131349132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28850 13073 16 0 210718 0 vsize: 842936 [startup+520.135 s] Raw data (loadavg): 1.01 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 50016 54 0 0 25 0 11 0 547917977 863166464 28963 4294967295 134512640 134569956 3221224400 3221214784 1131346253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 28963 13073 16 0 210718 0 vsize: 842936 [startup+530.136 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 50993 55 0 0 25 0 11 0 547917977 863166464 29066 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29066 13073 16 0 210718 0 vsize: 842936 [startup+540.136 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 51970 55 0 0 25 0 11 0 547917977 863166464 29141 4294967295 134512640 134569956 3221224400 3221214648 1131616097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29141 13073 16 0 210718 0 vsize: 842936 [startup+550.136 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4686 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 52945 55 0 0 24 0 11 0 547917977 863166464 29222 4294967295 134512640 134569956 3221224400 3221214688 1131306688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29222 13073 16 0 210718 0 vsize: 842936 [startup+560.136 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 53922 56 0 0 25 0 11 0 547917977 863166464 29282 4294967295 134512640 134569956 3221224400 3221214784 1131345300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29282 13073 16 0 210718 0 vsize: 842936 [startup+570.137 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 54900 56 0 0 25 0 11 0 547917977 863166464 29352 4294967295 134512640 134569956 3221224400 3221214688 1131305765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29352 13073 16 0 210718 0 vsize: 842936 [startup+580.137 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 55877 57 0 0 25 0 11 0 547917977 863166464 29408 4294967295 134512640 134569956 3221224400 3221214688 1131305902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29408 13073 16 0 210718 0 vsize: 842936 [startup+590.137 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 56855 57 0 0 25 0 11 0 547917977 863166464 29466 4294967295 134512640 134569956 3221224400 3221214648 1131617799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29466 13073 16 0 210718 0 vsize: 842936 [startup+600.137 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 57826 57 0 0 25 0 11 0 547917977 863166464 29533 4294967295 134512640 134569956 3221224400 3221214544 1131551576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29533 13073 16 0 210718 0 vsize: 842936 [startup+610.138 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 58804 57 0 0 25 0 11 0 547917977 863166464 29601 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29601 13073 16 0 210718 0 vsize: 842936 [startup+620.139 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 59773 58 0 0 25 0 11 0 547917977 863166464 29654 4294967295 134512640 134569956 3221224400 3221214552 1131242939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29654 13073 16 0 210718 0 vsize: 842936 [startup+630.139 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 60742 58 0 0 25 0 11 0 547917977 863166464 29798 4294967295 134512640 134569956 3221224400 3221214780 1131307054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29798 13073 16 0 210718 0 vsize: 842936 [startup+640.14 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 61713 58 0 0 25 0 11 0 547917977 863166464 29902 4294967295 134512640 134569956 3221224400 3221214688 1131305761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29902 13073 16 0 210718 0 vsize: 842936 [startup+650.141 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 62683 59 0 0 25 0 11 0 547917977 863166464 29993 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 29993 13073 16 0 210718 0 vsize: 842936 [startup+660.141 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 63658 59 0 0 25 0 11 0 547917977 863166464 30152 4294967295 134512640 134569956 3221224400 3221214552 1131242743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30152 13073 16 0 210718 0 vsize: 842936 [startup+670.142 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 64633 59 0 0 25 0 11 0 547917977 863166464 30200 4294967295 134512640 134569956 3221224400 3221213176 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30200 13073 16 0 210718 0 vsize: 842936 [startup+680.142 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 65602 60 0 0 25 0 11 0 547917977 863166464 30255 4294967295 134512640 134569956 3221224400 3221214496 1131575620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30255 13073 16 0 210718 0 vsize: 842936 [startup+690.143 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 66561 60 0 0 25 0 11 0 547917977 863166464 30311 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30311 13073 16 0 210718 0 vsize: 842936 [startup+700.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 67516 60 0 0 25 0 11 0 547917977 863166464 30534 4294967295 134512640 134569956 3221224400 3221214544 1131552882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30534 13073 16 0 210718 0 vsize: 842936 [startup+710.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 68463 61 0 0 25 0 11 0 547917977 863166464 30684 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30684 13073 16 0 210718 0 vsize: 842936 [startup+720.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 69414 61 0 0 25 0 11 0 547917977 863166464 30845 4294967295 134512640 134569956 3221224400 3221214552 1131243401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30845 13073 16 0 210718 0 vsize: 842936 [startup+730.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 70368 61 0 0 25 0 11 0 547917977 863166464 30982 4294967295 134512640 134569956 3221224400 3221214544 1131552859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 30982 13073 16 0 210718 0 vsize: 842936 [startup+740.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 71313 62 0 0 25 0 11 0 547917977 863166464 31160 4294967295 134512640 134569956 3221224400 3221214688 1131306123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 31160 13073 16 0 210718 0 vsize: 842936 [startup+750.144 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 72261 62 0 0 25 0 11 0 547917977 863166464 31313 4294967295 134512640 134569956 3221224400 3221214552 1131242706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 31313 13073 16 0 210718 0 vsize: 842936 [startup+760.145 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 73216 62 0 0 25 0 11 0 547917977 863166464 31525 4294967295 134512640 134569956 3221224400 3221214552 1131242972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 31525 13073 16 0 210718 0 vsize: 842936 [startup+770.145 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 74176 62 0 0 25 0 11 0 547917977 863166464 31720 4294967295 134512640 134569956 3221224400 3221214744 1131388224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 31720 13073 16 0 210718 0 vsize: 842936 [startup+780.145 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 75135 63 0 0 25 0 11 0 547917977 863166464 31876 4294967295 134512640 134569956 3221224400 3221214392 1131622047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 31876 13073 16 0 210718 0 vsize: 842936 [startup+790.145 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 76091 63 0 0 25 0 11 0 547917977 863166464 32041 4294967295 134512640 134569956 3221224400 3221214680 1131409115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32041 13073 16 0 210718 0 vsize: 842936 [startup+800.145 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 77045 63 0 0 25 0 11 0 547917977 863166464 32113 4294967295 134512640 134569956 3221224400 3221214544 1131551779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32113 13073 16 0 210718 0 vsize: 842936 [startup+810.154 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 78002 63 0 0 25 0 11 0 547917977 863166464 32215 4294967295 134512640 134569956 3221224400 3221214688 1131306781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32215 13073 16 0 210718 0 vsize: 842936 [startup+820.154 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 78941 64 0 0 25 0 11 0 547917977 863166464 32406 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32406 13073 16 0 210718 0 vsize: 842936 [startup+830.154 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 79889 64 0 0 24 0 11 0 547917977 863166464 32609 4294967295 134512640 134569956 3221224400 3221214688 1131306314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32609 13073 16 0 210718 0 vsize: 842936 [startup+840.155 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 80838 64 0 0 25 0 11 0 547917977 863166464 32773 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32773 13073 16 0 210718 0 vsize: 842936 [startup+850.156 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4688 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 81790 64 0 0 25 0 11 0 547917977 863166464 32955 4294967295 134512640 134569956 3221224400 3221214784 1131344352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 32955 13073 16 0 210718 0 vsize: 842936 [startup+860.156 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 82727 65 0 0 25 0 11 0 547917977 863166464 33224 4294967295 134512640 134569956 3221224400 3221214688 1131305863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 33224 13073 16 0 210718 0 vsize: 842936 [startup+870.157 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 83669 65 0 0 25 0 11 0 547917977 863166464 33438 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 33438 13073 16 0 210718 0 vsize: 842936 [startup+880.157 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 84627 66 0 0 25 0 11 0 547917977 863166464 33665 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 33665 13073 16 0 210718 0 vsize: 842936 [startup+890.157 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 85596 66 0 0 25 0 11 0 547917977 863166464 33826 4294967295 134512640 134569956 3221224400 3221214688 1131306308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 33826 13073 16 0 210718 0 vsize: 842936 [startup+900.156 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 86572 66 0 0 25 0 11 0 547917977 863166464 34024 4294967295 134512640 134569956 3221224400 3221214688 1131306730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34024 13073 16 0 210718 0 vsize: 842936 [startup+910.158 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 87545 67 0 0 25 0 11 0 547917977 863166464 34089 4294967295 134512640 134569956 3221224400 3221214688 1131306703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34089 13073 16 0 210718 0 vsize: 842936 [startup+920.158 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 88518 67 0 0 25 0 11 0 547917977 863166464 34202 4294967295 134512640 134569956 3221224400 3221214784 1131348284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34202 13073 16 0 210718 0 vsize: 842936 [startup+930.157 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 89487 67 0 0 25 0 11 0 547917977 863166464 34447 4294967295 134512640 134569956 3221224400 3221214552 1131242743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34447 13073 16 0 210718 0 vsize: 842936 [startup+940.159 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 90462 68 0 0 25 0 11 0 547917977 863166464 34706 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34706 13073 16 0 210718 0 vsize: 842936 [startup+950.159 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 91437 68 0 0 25 0 11 0 547917977 863166464 34762 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34762 13073 16 0 210718 0 vsize: 842936 [startup+960.159 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 92413 68 0 0 25 0 11 0 547917977 863166464 34925 4294967295 134512640 134569956 3221224400 3221214688 1131306688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34925 13073 16 0 210718 0 vsize: 842936 [startup+970.162 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 93381 69 0 0 25 0 11 0 547917977 863166464 34974 4294967295 134512640 134569956 3221224400 3221214600 1131298989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 34974 13073 16 0 210718 0 vsize: 842936 [startup+980.161 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 94345 69 0 0 25 0 11 0 547917977 863166464 35150 4294967295 134512640 134569956 3221224400 3221214544 1131663806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 35150 13073 16 0 210718 0 vsize: 842936 [startup+990.161 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 95315 69 0 0 25 0 11 0 547917977 863166464 35225 4294967295 134512640 134569956 3221224400 3221214688 1131306714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 35225 13073 16 0 210718 0 vsize: 842936 [startup+1000.16 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 96281 70 0 0 25 0 11 0 547917977 863166464 35655 4294967295 134512640 134569956 3221224400 3221214956 1131198819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 35655 13073 16 0 210718 0 vsize: 842936 [startup+1010.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 97253 70 0 0 25 0 11 0 547917977 863166464 35723 4294967295 134512640 134569956 3221224400 3221214960 1131605268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 35723 13073 16 0 210718 0 vsize: 842936 [startup+1020.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 98222 70 0 0 25 0 11 0 547917977 863166464 35942 4294967295 134512640 134569956 3221224400 3221214688 1131305765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 35942 13073 16 0 210718 0 vsize: 842936 [startup+1030.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 99193 71 0 0 25 0 11 0 547917977 863166464 36196 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36196 13073 16 0 210718 0 vsize: 842936 [startup+1040.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 100168 71 0 0 25 0 11 0 547917977 863166464 36264 4294967295 134512640 134569956 3221224400 3221214688 1131306697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36264 13073 16 0 210718 0 vsize: 842936 [startup+1050.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 101139 72 0 0 25 0 11 0 547917977 863166464 36489 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36489 13073 16 0 210718 0 vsize: 842936 [startup+1060.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 102114 72 0 0 25 0 11 0 547917977 863166464 36538 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36538 13073 16 0 210718 0 vsize: 842936 [startup+1070.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 103084 72 0 0 25 0 11 0 547917977 863166464 36608 4294967295 134512640 134569956 3221224400 3221214688 1131306830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36608 13073 16 0 210718 0 vsize: 842936 [startup+1080.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 104060 72 0 0 25 0 11 0 547917977 863166464 36927 4294967295 134512640 134569956 3221224400 3221214784 1131344329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36927 13073 16 0 210718 0 vsize: 842936 [startup+1090.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 105035 73 0 0 25 0 11 0 547917977 863166464 36997 4294967295 134512640 134569956 3221224400 3221214784 1131345389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 36997 13073 16 0 210718 0 vsize: 842936 [startup+1100.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 106005 73 0 0 25 0 11 0 547917977 863166464 37089 4294967295 134512640 134569956 3221224400 3221214784 1131345444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 37089 13073 16 0 210718 0 vsize: 842936 [startup+1110.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 106970 73 0 0 25 0 11 0 547917977 863166464 37258 4294967295 134512640 134569956 3221224400 3221214784 1131346457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 37258 13073 16 0 210718 0 vsize: 842936 [startup+1120.17 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 107936 73 0 0 25 0 11 0 547917977 863166464 37521 4294967295 134512640 134569956 3221224400 3221214688 1131305855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 37521 13073 16 0 210718 0 vsize: 842936 [startup+1130.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 108900 74 0 0 25 0 11 0 547917977 863166464 37558 4294967295 134512640 134569956 3221224400 3221214688 1131305821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 37558 13073 16 0 210718 0 vsize: 842936 [startup+1140.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 109869 74 0 0 25 0 11 0 547917977 863166464 37927 4294967295 134512640 134569956 3221224400 3221214688 1131305855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210734 37927 13073 16 0 210718 0 vsize: 842936 [startup+1150.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4690 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 110843 74 0 0 25 0 11 0 547917977 863166464 38336 4294967295 134512640 134569956 3221224400 3221214756 1131197155 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38336 13073 16 0 210718 0 vsize: 842936 [startup+1160.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 111823 75 0 0 25 0 11 0 547917977 863166464 38391 4294967295 134512640 134569956 3221224400 3221214688 1131306314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38391 13073 16 0 210718 0 vsize: 842936 [startup+1170.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 112799 75 0 0 25 0 11 0 547917977 863166464 38428 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38428 13073 16 0 210718 0 vsize: 842936 [startup+1180.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 113772 75 0 0 25 0 11 0 547917977 863166464 38568 4294967295 134512640 134569956 3221224400 3221214688 1131306173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38568 13073 16 0 210718 0 vsize: 842936 [startup+1190.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 114748 75 0 0 25 0 11 0 547917977 863166464 38673 4294967295 134512640 134569956 3221224400 3221214688 1131306299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38673 13073 16 0 210718 0 vsize: 842936 [startup+1200.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 115721 76 0 0 25 0 11 0 547917977 863166464 38720 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38720 13073 16 0 210718 0 vsize: 842936 [startup+1210.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 116693 76 0 0 25 0 11 0 547917977 863166464 38910 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38910 13073 16 0 210718 0 vsize: 842936 [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 117662 76 0 0 25 0 11 0 547917977 863166464 38990 4294967295 134512640 134569956 3221224400 3221214784 1131345389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 38990 13073 16 0 210718 0 vsize: 842936 [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 118632 77 0 0 25 0 11 0 547917977 863166464 39254 4294967295 134512640 134569956 3221224400 3221214688 1131305847 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 39254 13073 16 0 210718 0 vsize: 842936 [startup+1240.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 119605 77 0 0 25 0 11 0 547917977 863166464 39321 4294967295 134512640 134569956 3221224400 3221214688 1131306262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 39321 13073 16 0 210718 0 vsize: 842936 [startup+1250.18 s] Raw data (loadavg): 1.00 1.00 0.92 2/65 4692 Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 120577 78 0 0 25 0 11 0 547917977 863166464 39530 4294967295 134512640 134569956 3221224400 3221214784 1131349538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210734 39530 13073 16 0 210718 0 vsize: 842936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.31 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 4694 Raw data (stat): 4674 (java) Z 4673 20838 20837 0 -1 1036 18145 20620 1 0 120583 78 4742 51 25 0 1 0 547917977 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.31 CPU time (s): 1254.55 CPU user time (s): 1253.25 CPU system time (s): 1.2978 CPU usage (%): 100.339 Max. virtual memory (Kb): 843992 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####