Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb |
MD5SUM | b9f2d6d55f20df770e36766d58f8055f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7040 |
Biggest coefficient in the objective function | 524288000000000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 75579061049066668032 |
Number of bits of the sum of numbers in the objective function | 67 |
Biggest number in a constraint | 524288000000000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 75579061049066668032 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1244.65 |
Number of variables | 11840 |
Total number of constraints | 792 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 160 |
Number of constraints which are nor clauses,nor cardinality constraints | 632 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 100 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-20 22:57:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19587 boxname=wulflinc6 idbench=1507 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b9f2d6d55f20df770e36766d58f8055f /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos15.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos15.opb IDLAUNCH: 19587 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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: 870148 kB Buffers: 29236 kB Cached: 112880 kB SwapCached: 4 kB Active: 17032 kB Inactive: 127568 kB HighTotal: 131008 kB HighFree: 39508 kB LowTotal: 903652 kB LowFree: 830640 kB SwapTotal: 2097136 kB SwapFree: 2096768 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5920 kB Slab: 14040 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 23:17:59 (client local time) WITH STATUS 143 IN 1241.94 SECONDS stats: 19587 7 1241.94 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos15.opb c reading problem c [nbvar=11840] c [nbconstr=792] c time 46.757 c #vars 11840 c #clauses 873 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.73 0.89 0.89 2/54 24876 Raw data (stat): 24876 (runsolver) R 24875 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481992403 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.77 0.90 0.89 2/63 24885 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 17984 0 1 0 886 43 0 0 19 0 10 0 481992403 853880832 19211 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208467 19211 13073 16 0 208451 0 vsize: 833868 [startup+20.0003 s] Raw data (loadavg): 0.96 0.93 0.90 2/63 24885 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18027 0 1 0 1734 43 0 0 18 0 10 0 481992403 859983872 21238 4294967295 134512640 134569956 3221224400 3221214472 1131177372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209957 21238 13073 16 0 209941 0 vsize: 839828 [startup+30.0013 s] Raw data (loadavg): 0.97 0.94 0.90 2/63 24885 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18027 0 1 0 2586 44 0 0 18 0 10 0 481992403 858669056 21654 4294967295 134512640 134569956 3221224400 3221214256 1131252131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 21654 13073 16 0 209620 0 vsize: 838544 [startup+40.0011 s] Raw data (loadavg): 0.97 0.94 0.90 2/63 24885 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18027 0 1 0 3440 44 0 0 17 0 10 0 481992403 858669056 22128 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 22128 13073 16 0 209620 0 vsize: 838544 [startup+50.0018 s] Raw data (loadavg): 1.06 0.96 0.91 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18061 0 1 0 4298 45 0 0 19 0 11 0 481992403 859197440 22768 4294967295 134512640 134569956 3221224400 3221214768 1131376940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 22768 13073 16 0 209749 0 vsize: 839060 [startup+60.0137 s] Raw data (loadavg): 1.05 0.96 0.91 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18062 0 1 0 5197 45 0 0 21 0 11 0 481992403 859197440 22838 4294967295 134512640 134569956 3221224400 3221214672 1131325655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 22838 13073 16 0 209749 0 vsize: 839060 [startup+70.082 s] Raw data (loadavg): 1.04 0.96 0.91 3/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18101 0 1 0 6030 46 0 0 21 0 11 0 481992403 859197440 23177 4294967295 134512640 134569956 3221224400 3221214744 1131454319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23177 13073 16 0 209749 0 vsize: 839060 [startup+80.1521 s] Raw data (loadavg): 1.11 0.98 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18102 0 1 0 6962 46 0 0 25 0 11 0 481992403 859197440 23273 4294967295 134512640 134569956 3221224400 3221214712 1131368164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23273 13073 16 0 209749 0 vsize: 839060 [startup+90.1573 s] Raw data (loadavg): 1.16 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18102 0 1 0 7914 46 0 0 25 0 11 0 481992403 859197440 23380 4294967295 134512640 134569956 3221224400 3221214672 1131536371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23380 13073 16 0 209749 0 vsize: 839060 [startup+100.166 s] Raw data (loadavg): 1.14 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18102 0 1 0 8889 47 0 0 25 0 11 0 481992403 859197440 23794 4294967295 134512640 134569956 3221224400 3221214568 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23794 13073 16 0 209749 0 vsize: 839060 [startup+110.165 s] Raw data (loadavg): 1.12 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18102 0 1 0 9870 47 0 0 25 0 11 0 481992403 859197440 23808 4294967295 134512640 134569956 3221224400 3221214712 1131368022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23808 13073 16 0 209749 0 vsize: 839060 [startup+120.166 s] Raw data (loadavg): 1.10 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 10836 47 0 0 24 0 11 0 481992403 859197440 23819 4294967295 134512640 134569956 3221224400 3221214568 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23819 13073 16 0 209749 0 vsize: 839060 [startup+130.166 s] Raw data (loadavg): 1.08 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 11815 47 0 0 25 0 11 0 481992403 859197440 23963 4294967295 134512640 134569956 3221224400 3221214712 1131368036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 23963 13073 16 0 209749 0 vsize: 839060 [startup+140.166 s] Raw data (loadavg): 1.07 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 12794 47 0 0 25 0 11 0 481992403 859197440 23963 4294967295 134512640 134569956 3221224400 3221214768 1131555704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23963 13073 16 0 209749 0 vsize: 839060 [startup+150.166 s] Raw data (loadavg): 1.06 0.99 0.92 2/64 24886 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 13777 47 0 0 25 0 11 0 481992403 859197440 23963 4294967295 134512640 134569956 3221224400 3221214744 1131538093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23963 13073 16 0 209749 0 vsize: 839060 [startup+160.167 s] Raw data (loadavg): 1.05 0.99 0.92 3/67 24924 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 14757 47 0 0 25 0 11 0 481992403 859197440 23965 4294967295 134512640 134569956 3221224400 3221214712 1131368000 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23965 13073 16 0 209749 0 vsize: 839060 [startup+170.166 s] Raw data (loadavg): 1.04 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 15723 55 0 0 25 0 11 0 481992403 859197440 23965 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 23965 13073 16 0 209749 0 vsize: 839060 [startup+180.166 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 16707 55 0 0 25 0 11 0 481992403 859197440 24243 4294967295 134512640 134569956 3221224400 3221214672 1131536364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24243 13073 16 0 209749 0 vsize: 839060 [startup+190.167 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 17702 55 0 0 25 0 11 0 481992403 859197440 24243 4294967295 134512640 134569956 3221224400 3221214672 1131536371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24243 13073 16 0 209749 0 vsize: 839060 [startup+200.167 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 18698 55 0 0 25 0 11 0 481992403 859197440 24243 4294967295 134512640 134569956 3221224400 3221214568 1131268927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24243 13073 16 0 209749 0 vsize: 839060 [startup+210.167 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 19686 55 0 0 25 0 11 0 481992403 859197440 24244 4294967295 134512640 134569956 3221224400 3221214744 1131455138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24244 13073 16 0 209749 0 vsize: 839060 [startup+220.168 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 24939 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 20650 55 0 0 24 0 11 0 481992403 859197440 24244 4294967295 134512640 134569956 3221224400 3221214768 1131555673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24244 13073 16 0 209749 0 vsize: 839060 [startup+230.167 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 21625 55 0 0 25 0 11 0 481992403 859197440 24244 4294967295 134512640 134569956 3221224400 3221214664 1131526766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24244 13073 16 0 209749 0 vsize: 839060 [startup+240.167 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 22596 55 0 0 25 0 11 0 481992403 859197440 24244 4294967295 134512640 134569956 3221224400 3221214768 1131555315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24244 13073 16 0 209749 0 vsize: 839060 [startup+250.167 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 23570 56 0 0 25 0 11 0 481992403 859197440 24244 4294967295 134512640 134569956 3221224400 3221214736 1131617217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24244 13073 16 0 209749 0 vsize: 839060 [startup+260.167 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 24545 56 0 0 25 0 11 0 481992403 859197440 24419 4294967295 134512640 134569956 3221224400 3221214568 1131269374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24419 13073 16 0 209749 0 vsize: 839060 [startup+270.168 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 25532 56 0 0 25 0 11 0 481992403 859197440 24561 4294967295 134512640 134569956 3221224400 3221214664 1131526759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24561 13073 16 0 209749 0 vsize: 839060 [startup+280.167 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 26524 56 0 0 25 0 11 0 481992403 859197440 24561 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24561 13073 16 0 209749 0 vsize: 839060 [startup+290.167 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 27515 56 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+300.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 28508 56 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+310.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 29497 56 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214336 1080217367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+320.167 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 30472 56 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214712 1131368046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+330.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 31444 56 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+340.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 32419 57 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+350.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 33396 57 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+360.169 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 34377 57 0 0 25 0 11 0 481992403 859197440 24562 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24562 13073 16 0 209749 0 vsize: 839060 [startup+370.169 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 35354 57 0 0 25 0 11 0 481992403 859197440 24733 4294967295 134512640 134569956 3221224400 3221214664 1131268834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24733 13073 16 0 209749 0 vsize: 839060 [startup+380.168 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 36344 57 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214712 1131368029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+390.169 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 37337 57 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214760 1131628548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+400.17 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 38330 57 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+410.17 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 39323 57 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+420.171 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 40314 57 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214664 1131268300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+430.172 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 41306 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+440.171 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 42297 58 0 0 24 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+450.172 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 43290 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214712 1131368046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+460.172 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 44282 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214544 1131490363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+470.172 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24941 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 45270 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+480.172 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 46260 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214760 1131628551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+490.173 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 47251 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214664 1131268566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+500.173 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 48241 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214664 1131268477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+510.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 49225 58 0 0 25 0 11 0 481992403 859197440 24891 4294967295 134512640 134569956 3221224400 3221214760 1131628551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 24891 13073 16 0 209749 0 vsize: 839060 [startup+520.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 50209 58 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214768 1131555673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+530.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 51201 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214760 1131628551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+540.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 52194 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+550.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 53187 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+560.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 54178 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+570.175 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 55171 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214656 1131268871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+580.175 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 56163 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+590.174 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 57156 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214768 1131625808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+600.175 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 58149 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214768 1131625808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+610.176 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 59136 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214848 1131403948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+620.176 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 60116 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214656 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+630.177 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 61101 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214760 1131628590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+640.178 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 62082 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+650.178 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 63067 59 0 0 25 0 11 0 481992403 859197440 25079 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25079 13073 16 0 209749 0 vsize: 839060 [startup+660.178 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 64050 59 0 0 25 0 11 0 481992403 859197440 25256 4294967295 134512640 134569956 3221224400 3221214488 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25256 13073 16 0 209749 0 vsize: 839060 [startup+670.179 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 65041 59 0 0 25 0 11 0 481992403 859197440 25257 4294967295 134512640 134569956 3221224400 3221214656 1131268845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25257 13073 16 0 209749 0 vsize: 839060 [startup+680.18 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 66034 59 0 0 25 0 11 0 481992403 859197440 25257 4294967295 134512640 134569956 3221224400 3221214764 1131484073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25257 13073 16 0 209749 0 vsize: 839060 [startup+690.181 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 67025 59 0 0 25 0 11 0 481992403 859197440 25257 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25257 13073 16 0 209749 0 vsize: 839060 [startup+700.181 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 68017 60 0 0 25 0 11 0 481992403 859197440 25257 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25257 13073 16 0 209749 0 vsize: 839060 [startup+710.181 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 69010 60 0 0 25 0 11 0 481992403 859197440 25257 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25257 13073 16 0 209749 0 vsize: 839060 [startup+720.182 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 69994 60 0 0 25 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+730.182 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 70985 60 0 0 25 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214768 1131625808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+740.182 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 71976 60 0 0 25 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+750.183 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 72966 60 0 0 25 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+760.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 73957 60 0 0 24 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+770.183 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 74940 60 0 0 25 0 11 0 481992403 859197440 25329 4294967295 134512640 134569956 3221224400 3221214712 1131368046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25329 13073 16 0 209749 0 vsize: 839060 [startup+780.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 75929 60 0 0 24 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214768 1131555673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+790.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 76921 60 0 0 22 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214656 1131268652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+800.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 77913 60 0 0 23 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214760 1131628528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+810.185 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 78906 60 0 0 20 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214712 1131368139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+820.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 79887 61 0 0 23 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214656 1131268706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+830.184 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 80865 61 0 0 17 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214764 1131367980 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+840.22 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 81851 61 0 0 23 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214664 1131268414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+850.22 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 82833 62 0 0 25 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214768 1131625825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+860.22 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 83814 62 0 0 25 0 11 0 481992403 859197440 25475 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25475 13073 16 0 209749 0 vsize: 839060 [startup+870.229 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 84796 62 0 0 25 0 11 0 481992403 859197440 25649 4294967295 134512640 134569956 3221224400 3221214664 1131268855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25649 13073 16 0 209749 0 vsize: 839060 [startup+880.229 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 85788 62 0 0 25 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214664 1131268834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+890.229 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 86780 63 0 0 25 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214712 1131368103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+900.246 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 87773 63 0 0 22 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214664 1131268841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+910.259 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 88766 64 0 0 17 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214664 1131268890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+920.26 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 89759 64 0 0 25 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214712 1131368139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+930.267 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 90752 64 0 0 20 0 11 0 481992403 859197440 25664 4294967295 134512640 134569956 3221224400 3221214664 1131268834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25664 13073 16 0 209749 0 vsize: 839060 [startup+940.278 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 91745 65 0 0 19 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+950.279 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 92741 65 0 0 16 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+960.279 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 93737 65 0 0 25 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+970.279 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 94733 66 0 0 25 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214768 1131555673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+980.287 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 95730 66 0 0 22 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214664 1131268826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+990.319 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 96730 66 0 0 25 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214664 1131268497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+1000.32 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 97725 67 0 0 20 0 11 0 481992403 859197440 25744 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25744 13073 16 0 209749 0 vsize: 839060 [startup+1010.32 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 98718 67 0 0 25 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214760 1131628551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1020.32 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 99709 67 0 0 16 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214656 1131268497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1030.32 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 100701 67 0 0 19 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214664 1131268694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1040.32 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 101694 68 0 0 17 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214768 1131555313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1050.43 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 102693 68 0 0 22 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214656 1131268497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1060.43 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 103679 68 0 0 25 0 11 0 481992403 859197440 25816 4294967295 134512640 134569956 3221224400 3221214656 1131268497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25816 13073 16 0 209749 0 vsize: 839060 [startup+1070.43 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 104668 69 0 0 22 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214656 1131269057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1080.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 105661 69 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214712 1131368054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1090.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 106654 69 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214664 1131268826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1100.44 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 107646 70 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214712 1131368092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1110.44 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 108639 70 0 0 24 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214760 1131628551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1120.45 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 109633 70 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214712 1131368046 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1130.45 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 110624 70 0 0 19 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214632 1131491126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1140.45 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 111616 71 0 0 20 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214536 1131487521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1150.45 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 112604 71 0 0 19 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214496 1131486527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1160.45 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 113586 71 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214768 1131625929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1170.45 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 114564 72 0 0 18 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214664 1131268782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1180.45 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 115546 72 0 0 20 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214768 1131555670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1190.45 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 116529 73 0 0 18 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214768 1131625811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1200.45 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 117515 73 0 0 25 0 11 0 481992403 859197440 25929 4294967295 134512640 134569956 3221224400 3221214664 1131268836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 25929 13073 16 0 209749 0 vsize: 839060 [startup+1210.46 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 118500 73 0 0 25 0 11 0 481992403 859197440 26120 4294967295 134512640 134569956 3221224400 3221214656 1131268771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 26120 13073 16 0 209749 0 vsize: 839060 [startup+1220.46 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 119492 73 0 0 25 0 11 0 481992403 859197440 26120 4294967295 134512640 134569956 3221224400 3221214664 1131268625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 26120 13073 16 0 209749 0 vsize: 839060 [startup+1230.46 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 24943 Raw data (stat): 24876 (java) R 24875 29653 29652 0 -1 0 18103 0 1 0 120484 74 0 0 25 0 11 0 481992403 859197440 26120 4294967295 134512640 134569956 3221224400 3221214712 1131368139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 26120 13073 16 0 209749 0 vsize: 839060 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.55 s] Raw data (loadavg): 1.01 1.00 0.93 1/54 24945 Raw data (stat): 24876 (java) Z 24875 29653 29652 0 -1 1036 18103 11054 1 0 120489 78 3588 36 25 0 1 0 481992403 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): 1230.55 CPU time (s): 1241.94 CPU user time (s): 1240.78 CPU system time (s): 1.15482 CPU usage (%): 100.925 Max. virtual memory (Kb): 839828 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####