Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb |
MD5SUM | 8f93517b37e3e8e201991f7d854ddab3 |
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 | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 42171551460515200 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 130719213204604475 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.79057 |
Number of variables | 97606 |
Total number of constraints | 1755 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 1710 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3381 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-04-21 18:05:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16974 boxname=wulflinc15 idbench=1306 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 8f93517b37e3e8e201991f7d854ddab3 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-misc04.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-misc04.opb IDLAUNCH: 16974 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 570012 kB Buffers: 32772 kB Cached: 409536 kB SwapCached: 440 kB Active: 79012 kB Inactive: 365476 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 569732 kB SwapTotal: 2097136 kB SwapFree: 2095984 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 14332 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:27:43 (client local time) WITH STATUS 143 IN 1329.57 SECONDS stats: 16974 7 1329.57 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-misc04.opb c reading problem c [nbvar=97606] c [nbconstr=1755] #### 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.80 0.92 0.89 2/54 11808 Raw data (stat): 11808 (runsolver) R 11807 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488878854 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.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/63 11817 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 867 38 0 0 25 0 10 0 488878854 854417408 19403 4294967295 134512640 134569956 3221224400 3221214512 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208598 19403 13073 16 0 208582 0 vsize: 834392 [startup+20.0024 s] Raw data (loadavg): 1.06 0.98 0.91 2/63 11817 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 1768 38 0 0 21 0 10 0 488878854 854417408 19889 4294967295 134512640 134569956 3221224400 3221214684 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208598 19889 13073 16 0 208582 0 vsize: 834392 [startup+30.0032 s] Raw data (loadavg): 1.05 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 2659 39 0 0 25 0 10 0 488878854 854417408 20385 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208598 20385 13073 16 0 208582 0 vsize: 834392 [startup+40.0034 s] Raw data (loadavg): 1.04 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 3574 39 0 0 25 0 10 0 488878854 854417408 20634 4294967295 134512640 134569956 3221224400 3221214512 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208598 20634 13073 16 0 208582 0 vsize: 834392 [startup+50.0038 s] Raw data (loadavg): 1.04 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 4498 40 0 0 25 0 10 0 488878854 854880256 20911 4294967295 134512640 134569956 3221224400 3221214816 1131271408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 20911 13073 16 0 208695 0 vsize: 834844 [startup+60.005 s] Raw data (loadavg): 1.03 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 5418 40 0 0 25 0 10 0 488878854 854609920 20983 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20983 13073 16 0 208629 0 vsize: 834580 [startup+70.005 s] Raw data (loadavg): 1.03 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 6341 40 0 0 25 0 10 0 488878854 854609920 21183 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21183 13073 16 0 208629 0 vsize: 834580 [startup+80.0074 s] Raw data (loadavg): 1.02 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 7277 41 0 0 25 0 10 0 488878854 854609920 21279 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21279 13073 16 0 208629 0 vsize: 834580 [startup+90.0081 s] Raw data (loadavg): 1.02 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 8210 41 0 0 24 0 10 0 488878854 854609920 21376 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21376 13073 16 0 208629 0 vsize: 834580 [startup+100.008 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 9148 42 0 0 25 0 10 0 488878854 854609920 21456 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21456 13073 16 0 208629 0 vsize: 834580 [startup+110.01 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 10082 42 0 0 24 0 10 0 488878854 854609920 21542 4294967295 134512640 134569956 3221224400 3221214816 1131273114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21542 13073 16 0 208629 0 vsize: 834580 [startup+120.011 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 11020 43 0 0 25 0 10 0 488878854 854609920 21613 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21613 13073 16 0 208629 0 vsize: 834580 [startup+130.012 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 11953 43 0 0 24 0 10 0 488878854 854609920 21686 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21686 13073 16 0 208629 0 vsize: 834580 [startup+140.013 s] Raw data (loadavg): 1.01 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 12891 43 0 0 25 0 10 0 488878854 854609920 21753 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21753 13073 16 0 208629 0 vsize: 834580 [startup+150.014 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 13824 44 0 0 24 0 10 0 488878854 854609920 21821 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21821 13073 16 0 208629 0 vsize: 834580 [startup+160.014 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 14760 44 0 0 25 0 10 0 488878854 854609920 21884 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21884 13073 16 0 208629 0 vsize: 834580 [startup+170.017 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 15693 45 0 0 24 0 10 0 488878854 854609920 21942 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 21942 13073 16 0 208629 0 vsize: 834580 [startup+180.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 16611 45 0 0 25 0 10 0 488878854 854609920 22001 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22001 13073 16 0 208629 0 vsize: 834580 [startup+190.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 17529 45 0 0 25 0 10 0 488878854 854609920 22052 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22052 13073 16 0 208629 0 vsize: 834580 [startup+200.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 18460 45 0 0 25 0 10 0 488878854 854609920 22269 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22269 13073 16 0 208629 0 vsize: 834580 [startup+210.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 19388 46 0 0 25 0 10 0 488878854 854609920 22326 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22326 13073 16 0 208629 0 vsize: 834580 [startup+220.02 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 20321 46 0 0 25 0 10 0 488878854 854609920 22372 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22372 13073 16 0 208629 0 vsize: 834580 [startup+230.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 21250 46 0 0 25 0 10 0 488878854 854609920 22419 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22419 13073 16 0 208629 0 vsize: 834580 [startup+240.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 22178 46 0 0 25 0 10 0 488878854 854609920 22473 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22473 13073 16 0 208629 0 vsize: 834580 [startup+250.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 23107 47 0 0 25 0 10 0 488878854 854609920 22518 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22518 13073 16 0 208629 0 vsize: 834580 [startup+260.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 24032 47 0 0 24 0 10 0 488878854 854609920 22565 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22565 13073 16 0 208629 0 vsize: 834580 [startup+270.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 24960 47 0 0 25 0 10 0 488878854 854609920 22609 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22609 13073 16 0 208629 0 vsize: 834580 [startup+280.028 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 25887 48 0 0 25 0 10 0 488878854 854609920 22652 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22652 13073 16 0 208629 0 vsize: 834580 [startup+290.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 26809 49 0 0 24 0 10 0 488878854 854609920 22697 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22697 13073 16 0 208629 0 vsize: 834580 [startup+300.029 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 27736 49 0 0 25 0 10 0 488878854 854609920 22738 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22738 13073 16 0 208629 0 vsize: 834580 [startup+310.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 28661 50 0 0 25 0 10 0 488878854 854609920 22779 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22779 13073 16 0 208629 0 vsize: 834580 [startup+320.031 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 29586 50 0 0 25 0 10 0 488878854 854609920 22820 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22820 13073 16 0 208629 0 vsize: 834580 [startup+330.031 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 30505 51 0 0 24 0 10 0 488878854 854609920 22869 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22869 13073 16 0 208629 0 vsize: 834580 [startup+340.031 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 31429 51 0 0 25 0 10 0 488878854 854609920 22909 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22909 13073 16 0 208629 0 vsize: 834580 [startup+350.032 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 32352 52 0 0 25 0 10 0 488878854 854609920 22948 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22948 13073 16 0 208629 0 vsize: 834580 [startup+360.034 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 33274 52 0 0 25 0 10 0 488878854 854609920 22980 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 22980 13073 16 0 208629 0 vsize: 834580 [startup+370.034 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 34191 52 0 0 25 0 10 0 488878854 854609920 23019 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23019 13073 16 0 208629 0 vsize: 834580 [startup+380.035 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 35112 53 0 0 25 0 10 0 488878854 854609920 23058 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23058 13073 16 0 208629 0 vsize: 834580 [startup+390.036 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 36032 53 0 0 25 0 10 0 488878854 854609920 23101 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23101 13073 16 0 208629 0 vsize: 834580 [startup+400.035 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 36952 53 0 0 25 0 10 0 488878854 854609920 23139 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23139 13073 16 0 208629 0 vsize: 834580 [startup+410.035 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 37871 54 0 0 25 0 10 0 488878854 854609920 23174 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23174 13073 16 0 208629 0 vsize: 834580 [startup+420.036 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 38789 54 0 0 25 0 10 0 488878854 854609920 23211 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23211 13073 16 0 208629 0 vsize: 834580 [startup+430.036 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 39705 54 0 0 25 0 10 0 488878854 854609920 23250 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23250 13073 16 0 208629 0 vsize: 834580 [startup+440.037 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 40621 55 0 0 25 0 10 0 488878854 854609920 23287 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23287 13073 16 0 208629 0 vsize: 834580 [startup+450.037 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 41536 55 0 0 25 0 10 0 488878854 854609920 23327 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23327 13073 16 0 208629 0 vsize: 834580 [startup+460.037 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 42451 56 0 0 25 0 10 0 488878854 854609920 23363 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23363 13073 16 0 208629 0 vsize: 834580 [startup+470.037 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 43366 56 0 0 25 0 10 0 488878854 854609920 23404 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23404 13073 16 0 208629 0 vsize: 834580 [startup+480.038 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 44279 57 0 0 25 0 10 0 488878854 854609920 23440 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23440 13073 16 0 208629 0 vsize: 834580 [startup+490.039 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 45194 58 0 0 25 0 10 0 488878854 854609920 23480 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23480 13073 16 0 208629 0 vsize: 834580 [startup+500.04 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 46107 58 0 0 25 0 10 0 488878854 854609920 23513 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23513 13073 16 0 208629 0 vsize: 834580 [startup+510.041 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 47021 58 0 0 25 0 10 0 488878854 854609920 23545 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23545 13073 16 0 208629 0 vsize: 834580 [startup+520.041 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 47934 59 0 0 25 0 10 0 488878854 854609920 23578 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23578 13073 16 0 208629 0 vsize: 834580 [startup+530.042 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 48846 59 0 0 25 0 10 0 488878854 854609920 23610 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23610 13073 16 0 208629 0 vsize: 834580 [startup+540.043 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 49758 59 0 0 25 0 10 0 488878854 854609920 23642 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23642 13073 16 0 208629 0 vsize: 834580 [startup+550.043 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 50668 60 0 0 25 0 10 0 488878854 854609920 23674 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23674 13073 16 0 208629 0 vsize: 834580 [startup+560.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 51579 60 0 0 25 0 10 0 488878854 854609920 23710 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23710 13073 16 0 208629 0 vsize: 834580 [startup+570.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 52489 61 0 0 25 0 10 0 488878854 854609920 23741 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23741 13073 16 0 208629 0 vsize: 834580 [startup+580.046 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 53398 61 0 0 21 0 10 0 488878854 854609920 23772 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23772 13073 16 0 208629 0 vsize: 834580 [startup+590.046 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 54307 62 0 0 21 0 10 0 488878854 854609920 23803 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23803 13073 16 0 208629 0 vsize: 834580 [startup+600.047 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 55216 62 0 0 25 0 10 0 488878854 854609920 23833 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23833 13073 16 0 208629 0 vsize: 834580 [startup+610.047 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 56123 62 0 0 24 0 10 0 488878854 854609920 23865 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23865 13073 16 0 208629 0 vsize: 834580 [startup+620.048 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 57036 62 0 0 24 0 10 0 488878854 854609920 23894 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23894 13073 16 0 208629 0 vsize: 834580 [startup+630.049 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 57942 63 0 0 23 0 10 0 488878854 854609920 23925 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23925 13073 16 0 208629 0 vsize: 834580 [startup+640.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 58847 63 0 0 21 0 10 0 488878854 854609920 23959 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23959 13073 16 0 208629 0 vsize: 834580 [startup+650.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 59753 63 0 0 20 0 10 0 488878854 854609920 23993 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 23993 13073 16 0 208629 0 vsize: 834580 [startup+660.051 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 60656 64 0 0 19 0 10 0 488878854 854609920 24036 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24036 13073 16 0 208629 0 vsize: 834580 [startup+670.052 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 61564 65 0 0 24 0 10 0 488878854 854609920 24071 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24071 13073 16 0 208629 0 vsize: 834580 [startup+680.053 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 62468 65 0 0 25 0 10 0 488878854 854609920 24888 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24888 13073 16 0 208629 0 vsize: 834580 [startup+690.053 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 63372 65 0 0 25 0 10 0 488878854 854609920 24888 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24888 13073 16 0 208629 0 vsize: 834580 [startup+700.054 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 64271 66 0 0 25 0 10 0 488878854 854609920 24905 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24905 13073 16 0 208629 0 vsize: 834580 [startup+710.055 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 65166 67 0 0 20 0 10 0 488878854 854609920 24947 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24947 13073 16 0 208629 0 vsize: 834580 [startup+720.056 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 66057 67 0 0 18 0 10 0 488878854 854609920 24980 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 24980 13073 16 0 208629 0 vsize: 834580 [startup+730.057 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 66957 67 0 0 21 0 10 0 488878854 854609920 25013 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25013 13073 16 0 208629 0 vsize: 834580 [startup+740.058 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 67850 68 0 0 18 0 10 0 488878854 854609920 25040 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25040 13073 16 0 208629 0 vsize: 834580 [startup+750.058 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 68748 68 0 0 22 0 10 0 488878854 854609920 25069 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25069 13073 16 0 208629 0 vsize: 834580 [startup+760.059 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 69638 69 0 0 18 0 10 0 488878854 854609920 25097 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25097 13073 16 0 208629 0 vsize: 834580 [startup+770.064 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 70532 69 0 0 25 0 10 0 488878854 855027712 25303 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208747 25303 13073 16 0 208731 0 vsize: 834988 [startup+780.066 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 17999 0 1 0 71419 70 0 0 25 0 10 0 488878854 855027712 25335 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208747 25335 13073 16 0 208731 0 vsize: 834988 [startup+790.068 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 17999 0 1 0 72315 70 0 0 25 0 10 0 488878854 855027712 25411 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208747 25411 13073 16 0 208731 0 vsize: 834988 [startup+800.071 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 73201 70 0 0 24 0 10 0 488878854 855027712 25443 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208747 25443 13073 16 0 208731 0 vsize: 834988 [startup+810.072 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 74084 70 0 0 25 0 10 0 488878854 854994944 25516 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208739 25516 13073 16 0 208723 0 vsize: 834956 [startup+820.072 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 74968 71 0 0 25 0 10 0 488878854 854994944 25577 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208739 25577 13073 16 0 208723 0 vsize: 834956 [startup+830.073 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 75852 71 0 0 18 0 10 0 488878854 854994944 25625 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208739 25625 13073 16 0 208723 0 vsize: 834956 [startup+840.074 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 76744 72 0 0 20 0 10 0 488878854 854994944 25662 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208739 25662 13073 16 0 208723 0 vsize: 834956 [startup+850.074 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 77634 72 0 0 22 0 10 0 488878854 854994944 25697 4294967295 134512640 134569956 3221224400 3221213968 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208739 25697 13073 16 0 208723 0 vsize: 834956 [startup+860.076 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 78514 73 0 0 17 0 10 0 488878854 854609920 25635 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 25635 13073 16 0 208629 0 vsize: 834580 [startup+870.076 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 79403 73 0 0 20 0 10 0 488878854 854609920 25690 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 25690 13073 16 0 208629 0 vsize: 834580 [startup+880.08 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 80290 73 0 0 22 0 10 0 488878854 854609920 25741 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 25741 13073 16 0 208629 0 vsize: 834580 [startup+890.083 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 81176 73 0 0 19 0 10 0 488878854 854609920 25776 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 25776 13073 16 0 208629 0 vsize: 834580 [startup+900.096 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 82068 74 0 0 23 0 10 0 488878854 854609920 25810 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208645 25810 13073 16 0 208629 0 vsize: 834580 [startup+910.096 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 82957 74 0 0 18 0 10 0 488878854 854609920 25837 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25837 13073 16 0 208629 0 vsize: 834580 [startup+920.097 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 83847 74 0 0 22 0 10 0 488878854 854609920 25865 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25865 13073 16 0 208629 0 vsize: 834580 [startup+930.098 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 84729 74 0 0 18 0 10 0 488878854 854609920 25893 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25893 13073 16 0 208629 0 vsize: 834580 [startup+940.099 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 85617 75 0 0 19 0 10 0 488878854 854609920 25925 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25925 13073 16 0 208629 0 vsize: 834580 [startup+950.102 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 86506 75 0 0 23 0 10 0 488878854 854609920 25989 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 25989 13073 16 0 208629 0 vsize: 834580 [startup+960.103 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 87392 75 0 0 19 0 10 0 488878854 854609920 26039 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26039 13073 16 0 208629 0 vsize: 834580 [startup+970.103 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 88284 75 0 0 21 0 10 0 488878854 854609920 26109 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26109 13073 16 0 208629 0 vsize: 834580 [startup+980.104 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 89170 76 0 0 22 0 10 0 488878854 854609920 26109 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26109 13073 16 0 208629 0 vsize: 834580 [startup+990.105 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 90060 76 0 0 19 0 10 0 488878854 854609920 26205 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26205 13073 16 0 208629 0 vsize: 834580 [startup+1000.1 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 90949 76 0 0 21 0 10 0 488878854 854609920 26274 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26274 13073 16 0 208629 0 vsize: 834580 [startup+1010.1 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 91847 77 0 0 25 0 10 0 488878854 854609920 26439 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26439 13073 16 0 208629 0 vsize: 834580 [startup+1020.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 92749 77 0 0 25 0 10 0 488878854 854609920 26593 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26593 13073 16 0 208629 0 vsize: 834580 [startup+1030.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 93638 77 0 0 25 0 10 0 488878854 854609920 26746 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26746 13073 16 0 208629 0 vsize: 834580 [startup+1040.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 94535 77 0 0 25 0 10 0 488878854 854609920 26942 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 26942 13073 16 0 208629 0 vsize: 834580 [startup+1050.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 95425 77 0 0 24 0 10 0 488878854 854609920 27099 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 27099 13073 16 0 208629 0 vsize: 834580 [startup+1060.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 96321 78 0 0 25 0 10 0 488878854 854609920 27232 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 27232 13073 16 0 208629 0 vsize: 834580 [startup+1070.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 97219 78 0 0 25 0 10 0 488878854 854609920 27573 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 27573 13073 16 0 208629 0 vsize: 834580 [startup+1080.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 98118 79 0 0 25 0 10 0 488878854 854609920 27838 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 27838 13073 16 0 208629 0 vsize: 834580 [startup+1090.11 s] Raw data (loadavg): 1.08 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 99016 79 0 0 24 0 10 0 488878854 854609920 28385 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 28385 13073 16 0 208629 0 vsize: 834580 [startup+1100.11 s] Raw data (loadavg): 1.07 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 99910 79 0 0 25 0 10 0 488878854 854609920 28387 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 28387 13073 16 0 208629 0 vsize: 834580 [startup+1110.11 s] Raw data (loadavg): 1.06 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 100811 80 0 0 25 0 10 0 488878854 854609920 28704 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 28704 13073 16 0 208629 0 vsize: 834580 [startup+1120.11 s] Raw data (loadavg): 1.05 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 101701 80 0 0 25 0 10 0 488878854 854609920 28998 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 28998 13073 16 0 208629 0 vsize: 834580 [startup+1130.11 s] Raw data (loadavg): 1.04 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 102602 80 0 0 25 0 10 0 488878854 854609920 29173 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 29173 13073 16 0 208629 0 vsize: 834580 [startup+1140.11 s] Raw data (loadavg): 1.03 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 103503 80 0 0 25 0 10 0 488878854 854609920 29179 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 29179 13073 16 0 208629 0 vsize: 834580 [startup+1150.11 s] Raw data (loadavg): 1.03 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 104405 81 0 0 24 0 10 0 488878854 854609920 29329 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 29329 13073 16 0 208629 0 vsize: 834580 [startup+1160.12 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 105307 81 0 0 25 0 10 0 488878854 854609920 29480 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 29480 13073 16 0 208629 0 vsize: 834580 [startup+1170.12 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 106204 81 0 0 25 0 10 0 488878854 854609920 29766 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 29766 13073 16 0 208629 0 vsize: 834580 [startup+1180.12 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 107106 82 0 0 25 0 10 0 488878854 854609920 30035 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 30035 13073 16 0 208629 0 vsize: 834580 [startup+1190.12 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 108013 82 0 0 25 0 10 0 488878854 854609920 30312 4294967295 134512640 134569956 3221224400 3221214776 1130899330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 30312 13073 16 0 208629 0 vsize: 834580 [startup+1200.12 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 108922 82 0 0 25 0 10 0 488878854 854609920 30587 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 30587 13073 16 0 208629 0 vsize: 834580 [startup+1210.12 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 109829 83 0 0 24 0 10 0 488878854 854609920 30862 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 30862 13073 16 0 208629 0 vsize: 834580 [startup+1220.12 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 110742 83 0 0 25 0 10 0 488878854 854609920 31010 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 31010 13073 16 0 208629 0 vsize: 834580 [startup+1230.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 111647 83 0 0 25 0 10 0 488878854 854609920 31157 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 31157 13073 16 0 208629 0 vsize: 834580 [startup+1240.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 112553 84 0 0 25 0 10 0 488878854 854609920 31453 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 31453 13073 16 0 208629 0 vsize: 834580 [startup+1250.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 113461 84 0 0 25 0 10 0 488878854 854609920 31598 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 31598 13073 16 0 208629 0 vsize: 834580 [startup+1260.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 114371 85 0 0 23 0 10 0 488878854 854609920 31891 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 31891 13073 16 0 208629 0 vsize: 834580 [startup+1270.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 115279 85 0 0 25 0 10 0 488878854 854609920 32038 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 32038 13073 16 0 208629 0 vsize: 834580 [startup+1280.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 116184 85 0 0 25 0 10 0 488878854 854609920 32331 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 32331 13073 16 0 208629 0 vsize: 834580 [startup+1290.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 117094 85 0 0 25 0 10 0 488878854 854609920 32536 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 32536 13073 16 0 208629 0 vsize: 834580 [startup+1300.12 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 117997 86 0 0 19 0 10 0 488878854 854609920 32974 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 32974 13073 16 0 208629 0 vsize: 834580 [startup+1310.13 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 118901 86 0 0 24 0 10 0 488878854 854609920 33266 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 33266 13073 16 0 208629 0 vsize: 834580 [startup+1320.13 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) R 11807 29151 29150 0 -1 0 18000 0 1 0 119806 87 0 0 25 0 10 0 488878854 854609920 33698 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 33698 13073 16 0 208629 0 vsize: 834580 [startup+1330.13 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 11819 Raw data (stat): 11808 (java) S 11807 29151 29150 0 -1 0 18000 0 1 0 120697 87 0 0 23 0 10 0 488878854 854609920 34131 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 34131 13073 16 0 208629 0 vsize: 834580 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.28 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 11820 Raw data (stat): 11808 (java) Z 11807 29151 29150 0 -1 1036 18000 15629 1 0 120701 87 12110 58 19 0 1 0 488878854 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): 1330.28 CPU time (s): 1329.57 CPU user time (s): 1328.12 CPU system time (s): 1.45978 CPU usage (%): 99.9467 Max. virtual memory (Kb): 834988 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####