Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb |
MD5SUM | 38e9597c5e2c643da0b2660ad99fee98 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 984 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2460 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2460 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.05 |
Number of variables | 2460 |
Total number of constraints | 17131 |
Number of constraints which are clauses | 17131 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-13 16:15:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1278 boxname=wulflinc17 idbench=142 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 38e9597c5e2c643da0b2660ad99fee98 /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb IDLAUNCH: 1278 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 864620 kB Buffers: 32648 kB Cached: 102676 kB SwapCached: 2376 kB Active: 43656 kB Inactive: 97012 kB HighTotal: 131008 kB HighFree: 24752 kB LowTotal: 903652 kB LowFree: 839868 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23840 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:36:31 (client local time) WITH STATUS 143 IN SECONDS stats: 1278 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb c reading problem c [nbvar=2460] c [nbconstr=17131] c time 9.804 c #vars 2460 c #clauses 17131 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=1229 c Current CPU time (ms) : 51.744 c starts : 4 c conflicts : 525 c decisions : 2812 c propagations : 93998 c inspects : 358462 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 525 c root simplifications : 4 c c CURRENT OPTIMUM=1224 c Current CPU time (ms) : 72.153 c starts : 6 c conflicts : 676 c decisions : 3498 c propagations : 130664 c inspects : 481622 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 676 c root simplifications : 6 c c CURRENT OPTIMUM=1223 c Current CPU time (ms) : 105.523 c starts : 8 c conflicts : 858 c decisions : 4436 c propagations : 172995 c inspects : 642848 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 858 c root simplifications : 8 c c CURRENT OPTIMUM=1222 c Current CPU time (ms) : 152.404 c starts : 10 c conflicts : 1069 c decisions : 5521 c propagations : 226179 c inspects : 825288 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1069 c root simplifications : 10 c c CURRENT OPTIMUM=1192 c Current CPU time (ms) : 177.247 c starts : 11 c conflicts : 1097 c decisions : 5903 c propagations : 236643 c inspects : 869537 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1097 c root simplifications : 11 c c CURRENT OPTIMUM=1188 c Current CPU time (ms) : 510.457 c starts : 14 c conflicts : 1435 c decisions : 8730 c propagations : 319392 c inspects : 1312214 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1435 c root simplifications : 14 c c CURRENT OPTIMUM=1187 c Current CPU time (ms) : 652.481 c starts : 15 c conflicts : 1493 c decisions : 9338 c propagations : 327727 c inspects : 1425530 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1493 c root simplifications : 15 #### 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): 1.07 0.99 0.76 2/55 21665 Raw data (stat): 21665 (runsolver) R 21664 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477322389 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0007 s] Raw data (loadavg): 1.22 1.02 0.77 3/64 21676 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18056 0 1 0 840 42 0 0 25 0 10 0 477322389 870846464 23487 4294967295 134512640 134569956 3221224416 3221214480 1131199115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212609 23487 13073 16 0 212593 0 vsize: 850436 [startup+20.0016 s] Raw data (loadavg): 1.26 1.04 0.78 2/65 21677 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 1604 43 0 0 25 0 11 0 477322389 871313408 25197 4294967295 134512640 134569956 3221224416 3221214736 1131389833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 25197 13073 16 0 212707 0 vsize: 850892 [startup+30.0031 s] Raw data (loadavg): 1.22 1.04 0.78 2/65 21677 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 2566 43 0 0 25 0 11 0 477322389 871313408 25936 4294967295 134512640 134569956 3221224416 3221214736 1131389839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 25936 13073 16 0 212707 0 vsize: 850892 [startup+40.0037 s] Raw data (loadavg): 1.18 1.03 0.78 2/65 21677 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 3534 44 0 0 25 0 11 0 477322389 871313408 26418 4294967295 134512640 134569956 3221224416 3221214736 1131390717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 26418 13073 16 0 212707 0 vsize: 850892 [startup+50.0044 s] Raw data (loadavg): 1.16 1.03 0.78 2/65 21677 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 4512 44 0 0 25 0 11 0 477322389 871313408 26418 4294967295 134512640 134569956 3221224416 3221214848 1131379556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 26418 13073 16 0 212707 0 vsize: 850892 [startup+60.005 s] Raw data (loadavg): 1.13 1.03 0.79 2/65 21678 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 5441 45 0 0 25 0 11 0 477322389 871313408 26605 4294967295 134512640 134569956 3221224416 3221214848 1131379548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 26605 13073 16 0 212707 0 vsize: 850892 [startup+70.0056 s] Raw data (loadavg): 1.11 1.03 0.79 2/65 21678 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 6383 45 0 0 25 0 11 0 477322389 871313408 26809 4294967295 134512640 134569956 3221224416 3221214808 1131289189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 26809 13073 16 0 212707 0 vsize: 850892 [startup+80.0073 s] Raw data (loadavg): 1.09 1.03 0.79 2/65 21679 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 7303 45 0 0 25 0 11 0 477322389 871313408 26921 4294967295 134512640 134569956 3221224416 3221214864 1131175370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 26921 13073 16 0 212707 0 vsize: 850892 [startup+90.0078 s] Raw data (loadavg): 1.08 1.03 0.79 2/65 21679 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 8246 46 0 0 25 0 11 0 477322389 871313408 27036 4294967295 134512640 134569956 3221224416 3221214848 1131379556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27036 13073 16 0 212707 0 vsize: 850892 [startup+100.007 s] Raw data (loadavg): 1.07 1.03 0.79 2/65 21679 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 9165 46 0 0 25 0 11 0 477322389 871313408 27123 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27123 13073 16 0 212707 0 vsize: 850892 [startup+110.008 s] Raw data (loadavg): 1.06 1.02 0.79 2/65 21680 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 10078 46 0 0 25 0 11 0 477322389 871313408 27288 4294967295 134512640 134569956 3221224416 3221214840 1131175487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27288 13073 16 0 212707 0 vsize: 850892 [startup+120.009 s] Raw data (loadavg): 1.05 1.02 0.80 2/65 21680 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 11000 46 0 0 25 0 11 0 477322389 871313408 27433 4294967295 134512640 134569956 3221224416 3221214888 1131457597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 27433 13073 16 0 212707 0 vsize: 850892 [startup+130.009 s] Raw data (loadavg): 1.04 1.02 0.80 2/65 21680 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 11934 46 0 0 25 0 11 0 477322389 871313408 27525 4294967295 134512640 134569956 3221224416 3221214840 1131379857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27525 13073 16 0 212707 0 vsize: 850892 [startup+140.01 s] Raw data (loadavg): 1.03 1.02 0.80 2/65 21680 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 12860 47 0 0 25 0 11 0 477322389 871313408 27671 4294967295 134512640 134569956 3221224416 3221214840 1131379563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27671 13073 16 0 212707 0 vsize: 850892 [startup+150.01 s] Raw data (loadavg): 1.03 1.02 0.80 2/65 21680 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 13798 47 0 0 25 0 11 0 477322389 871313408 27795 4294967295 134512640 134569956 3221224416 3221214784 1131289230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27795 13073 16 0 212707 0 vsize: 850892 [startup+160.011 s] Raw data (loadavg): 1.02 1.02 0.80 2/65 21681 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 14726 47 0 0 25 0 11 0 477322389 871313408 27964 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 27964 13073 16 0 212707 0 vsize: 850892 [startup+170.012 s] Raw data (loadavg): 1.02 1.02 0.81 2/65 21681 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 15633 48 0 0 25 0 11 0 477322389 871313408 28060 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28060 13073 16 0 212707 0 vsize: 850892 [startup+180.013 s] Raw data (loadavg): 1.02 1.02 0.81 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 16547 48 0 0 25 0 11 0 477322389 871313408 28207 4294967295 134512640 134569956 3221224416 3221214840 1131175366 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28207 13073 16 0 212707 0 vsize: 850892 [startup+190.014 s] Raw data (loadavg): 1.01 1.02 0.81 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 17473 49 0 0 25 0 11 0 477322389 871313408 28342 4294967295 134512640 134569956 3221224416 3221214884 1131175340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28342 13073 16 0 212707 0 vsize: 850892 [startup+200.013 s] Raw data (loadavg): 1.01 1.02 0.81 2/65 21682 Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 18413 49 0 0 25 0 11 0 477322389 871313408 28719 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28719 13073 16 0 212707 0 vsize: 850892 [startup+210.014 s] Raw data (loadavg): 1.01 1.02 0.81 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 19358 49 0 0 24 0 11 0 477322389 871313408 28765 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28765 13073 16 0 212707 0 vsize: 850892 [startup+220.015 s] Raw data (loadavg): 1.01 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 20309 49 0 0 25 0 11 0 477322389 871313408 28896 4294967295 134512640 134569956 3221224416 3221214840 1131379824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28896 13073 16 0 212707 0 vsize: 850892 [startup+230.015 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 21277 50 0 0 25 0 11 0 477322389 871313408 28951 4294967295 134512640 134569956 3221224416 3221214784 1131290397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28951 13073 16 0 212707 0 vsize: 850892 [startup+240.016 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 22246 50 0 0 25 0 11 0 477322389 871313408 28980 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 28980 13073 16 0 212707 0 vsize: 850892 [startup+250.016 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 23213 50 0 0 25 0 11 0 477322389 871313408 29017 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29017 13073 16 0 212707 0 vsize: 850892 [startup+260.017 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 24173 51 0 0 25 0 11 0 477322389 871313408 29037 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29037 13073 16 0 212707 0 vsize: 850892 [startup+270.018 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 25136 51 0 0 25 0 11 0 477322389 871313408 29065 4294967295 134512640 134569956 3221224416 3221214888 1131457432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29065 13073 16 0 212707 0 vsize: 850892 [startup+280.018 s] Raw data (loadavg): 1.00 1.01 0.82 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 26091 51 0 0 25 0 11 0 477322389 871313408 29124 4294967295 134512640 134569956 3221224416 3221214888 1131457398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29124 13073 16 0 212707 0 vsize: 850892 [startup+290.019 s] Raw data (loadavg): 1.07 1.02 0.83 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 27047 51 0 0 24 0 11 0 477322389 871313408 29215 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29215 13073 16 0 212707 0 vsize: 850892 [startup+300.019 s] Raw data (loadavg): 1.06 1.02 0.83 2/65 21682 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 28010 51 0 0 25 0 11 0 477322389 871313408 29227 4294967295 134512640 134569956 3221224416 3221214108 1076877600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29227 13073 16 0 212707 0 vsize: 850892 [startup+310.019 s] Raw data (loadavg): 1.05 1.02 0.83 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 28962 52 0 0 25 0 11 0 477322389 871313408 29262 4294967295 134512640 134569956 3221224416 3221214784 1131289552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29262 13073 16 0 212707 0 vsize: 850892 [startup+320.019 s] Raw data (loadavg): 1.04 1.02 0.83 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 29916 52 0 0 25 0 11 0 477322389 871313408 29304 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29304 13073 16 0 212707 0 vsize: 850892 [startup+330.02 s] Raw data (loadavg): 1.04 1.02 0.83 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 30869 53 0 0 25 0 11 0 477322389 871313408 29367 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29367 13073 16 0 212707 0 vsize: 850892 [startup+340.02 s] Raw data (loadavg): 1.03 1.02 0.83 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 31822 53 0 0 25 0 11 0 477322389 871313408 29438 4294967295 134512640 134569956 3221224416 3221214784 1131289214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29438 13073 16 0 212707 0 vsize: 850892 [startup+350.02 s] Raw data (loadavg): 1.02 1.02 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 32779 53 0 0 25 0 11 0 477322389 871313408 29477 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29477 13073 16 0 212707 0 vsize: 850892 [startup+360.021 s] Raw data (loadavg): 1.02 1.02 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 33723 53 0 0 25 0 11 0 477322389 871313408 29540 4294967295 134512640 134569956 3221224416 3221214760 1131440608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 29540 13073 16 0 212707 0 vsize: 850892 [startup+370.021 s] Raw data (loadavg): 1.02 1.02 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 34653 53 0 0 25 0 11 0 477322389 871313408 29628 4294967295 134512640 134569956 3221224416 3221214696 1131383865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29628 13073 16 0 212707 0 vsize: 850892 [startup+380.022 s] Raw data (loadavg): 1.01 1.02 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 35578 53 0 0 25 0 11 0 477322389 871313408 29708 4294967295 134512640 134569956 3221224416 3221214840 1131175357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29708 13073 16 0 212707 0 vsize: 850892 [startup+390.022 s] Raw data (loadavg): 1.01 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 36511 53 0 0 25 0 11 0 477322389 871313408 29717 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29717 13073 16 0 212707 0 vsize: 850892 [startup+400.022 s] Raw data (loadavg): 1.01 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 37443 53 0 0 25 0 11 0 477322389 871313408 29767 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29767 13073 16 0 212707 0 vsize: 850892 [startup+410.022 s] Raw data (loadavg): 1.01 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 38368 53 0 0 25 0 11 0 477322389 871313408 29936 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 29936 13073 16 0 212707 0 vsize: 850892 [startup+420.023 s] Raw data (loadavg): 1.01 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 39301 54 0 0 25 0 11 0 477322389 871313408 30265 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30265 13073 16 0 212707 0 vsize: 850892 [startup+430.024 s] Raw data (loadavg): 1.00 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 40263 54 0 0 25 0 11 0 477322389 871313408 30491 4294967295 134512640 134569956 3221224416 3221214784 1131290080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30491 13073 16 0 212707 0 vsize: 850892 [startup+440.023 s] Raw data (loadavg): 1.00 1.01 0.84 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 41228 54 0 0 25 0 11 0 477322389 871313408 30543 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30543 13073 16 0 212707 0 vsize: 850892 [startup+450.023 s] Raw data (loadavg): 1.00 1.01 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 42198 54 0 0 25 0 11 0 477322389 871313408 30640 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30640 13073 16 0 212707 0 vsize: 850892 [startup+460.024 s] Raw data (loadavg): 1.00 1.01 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 43167 54 0 0 24 0 11 0 477322389 871313408 30654 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30654 13073 16 0 212707 0 vsize: 850892 [startup+470.023 s] Raw data (loadavg): 1.00 1.01 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 44131 54 0 0 25 0 11 0 477322389 871313408 30679 4294967295 134512640 134569956 3221224416 3221214748 1080204256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30679 13073 16 0 212707 0 vsize: 850892 [startup+480.024 s] Raw data (loadavg): 1.00 1.01 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 45084 54 0 0 25 0 11 0 477322389 871313408 30727 4294967295 134512640 134569956 3221224416 3221214748 1080204267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30727 13073 16 0 212707 0 vsize: 850892 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 46008 54 0 0 25 0 11 0 477322389 871313408 30825 4294967295 134512640 134569956 3221224416 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 30825 13073 16 0 212707 0 vsize: 850892 [startup+500.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 46917 54 0 0 25 0 11 0 477322389 871313408 31091 4294967295 134512640 134569956 3221224416 3221214664 1131482345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 31091 13073 16 0 212707 0 vsize: 850892 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21684 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 47836 54 0 0 25 0 11 0 477322389 871313408 31466 4294967295 134512640 134569956 3221224416 3221214784 1131289264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 31466 13073 16 0 212707 0 vsize: 850892 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 48788 54 0 0 25 0 11 0 477322389 871313408 31690 4294967295 134512640 134569956 3221224416 3221214840 1131175446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 31690 13073 16 0 212707 0 vsize: 850892 [startup+530.026 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 49706 54 0 0 25 0 11 0 477322389 871313408 31690 4294967295 134512640 134569956 3221224416 3221214784 1131289552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 31690 13073 16 0 212707 0 vsize: 850892 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 50625 54 0 0 25 0 11 0 477322389 871313408 31850 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 31850 13073 16 0 212707 0 vsize: 850892 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 0.85 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 51557 54 0 0 25 0 11 0 477322389 871313408 32330 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32330 13073 16 0 212707 0 vsize: 850892 [startup+560.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 52511 54 0 0 25 0 11 0 477322389 871313408 32524 4294967295 134512640 134569956 3221224416 3221214840 1131175535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32524 13073 16 0 212707 0 vsize: 850892 [startup+570.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 53496 55 0 0 25 0 11 0 477322389 871313408 32559 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32559 13073 16 0 212707 0 vsize: 850892 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 54481 55 0 0 25 0 11 0 477322389 871313408 32587 4294967295 134512640 134569956 3221224416 3221214784 1131289828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32587 13073 16 0 212707 0 vsize: 850892 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 55466 55 0 0 25 0 11 0 477322389 871313408 32595 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32595 13073 16 0 212707 0 vsize: 850892 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21685 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 56445 55 0 0 24 0 11 0 477322389 871313408 32603 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32603 13073 16 0 212707 0 vsize: 850892 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21687 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 57423 55 0 0 25 0 11 0 477322389 871313408 32634 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32634 13073 16 0 212707 0 vsize: 850892 [startup+620.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21687 Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 58403 55 0 0 25 0 11 0 477322389 871313408 32666 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 32666 13073 16 0 212707 0 vsize: 850892 [startup+630.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21687 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 59382 55 0 0 25 0 11 0 477322389 871313408 32682 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 32682 13073 16 0 212707 0 vsize: 850892 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21687 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 60335 55 0 0 25 0 11 0 477322389 871313408 32697 4294967295 134512640 134569956 3221224416 3221214744 1131495397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 32697 13073 16 0 212707 0 vsize: 850892 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/65 21687 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 61248 56 0 0 25 0 11 0 477322389 871313408 32878 4294967295 134512640 134569956 3221224416 3221214664 1131482345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 32878 13073 16 0 212707 0 vsize: 850892 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 62185 56 0 0 25 0 11 0 477322389 871313408 33168 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 33168 13073 16 0 212707 0 vsize: 850892 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 63125 56 0 0 25 0 11 0 477322389 871313408 33168 4294967295 134512640 134569956 3221224416 3221214884 1131175340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 33168 13073 16 0 212707 0 vsize: 850892 [startup+680.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 64066 57 0 0 25 0 11 0 477322389 871313408 33252 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 33252 13073 16 0 212707 0 vsize: 850892 [startup+690.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 64976 57 0 0 24 0 11 0 477322389 871313408 33294 4294967295 134512640 134569956 3221224416 3221214784 1131289376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 33294 13073 16 0 212707 0 vsize: 850892 [startup+700.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 65927 57 0 0 25 0 11 0 477322389 871313408 33589 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 33589 13073 16 0 212707 0 vsize: 850892 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 66880 57 0 0 25 0 11 0 477322389 871313408 34021 4294967295 134512640 134569956 3221224416 3221214784 1131289657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34021 13073 16 0 212707 0 vsize: 850892 [startup+720.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 67860 57 0 0 25 0 11 0 477322389 871313408 34046 4294967295 134512640 134569956 3221224416 3221214784 1131290043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34046 13073 16 0 212707 0 vsize: 850892 [startup+730.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 68840 57 0 0 25 0 11 0 477322389 871313408 34067 4294967295 134512640 134569956 3221224416 3221214888 1131457398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34067 13073 16 0 212707 0 vsize: 850892 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 69820 57 0 0 25 0 11 0 477322389 871313408 34109 4294967295 134512640 134569956 3221224416 3221214784 1131289499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34109 13073 16 0 212707 0 vsize: 850892 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 70800 57 0 0 24 0 11 0 477322389 871313408 34127 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34127 13073 16 0 212707 0 vsize: 850892 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 71781 57 0 0 25 0 11 0 477322389 871313408 34141 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34141 13073 16 0 212707 0 vsize: 850892 [startup+770.031 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 72763 57 0 0 25 0 11 0 477322389 871313408 34158 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34158 13073 16 0 212707 0 vsize: 850892 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 73749 58 0 0 25 0 11 0 477322389 871313408 34181 4294967295 134512640 134569956 3221224416 3221214888 1131457432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34181 13073 16 0 212707 0 vsize: 850892 [startup+790.031 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 74736 58 0 0 25 0 11 0 477322389 871313408 34188 4294967295 134512640 134569956 3221224416 3221214832 1131350199 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34188 13073 16 0 212707 0 vsize: 850892 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 75720 58 0 0 25 0 11 0 477322389 871313408 34197 4294967295 134512640 134569956 3221224416 3221214784 1131289257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34197 13073 16 0 212707 0 vsize: 850892 [startup+810.033 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 76707 58 0 0 25 0 11 0 477322389 871313408 34220 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34220 13073 16 0 212707 0 vsize: 850892 [startup+820.033 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 77695 58 0 0 25 0 11 0 477322389 871313408 34220 4294967295 134512640 134569956 3221224416 3221214784 1131289873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34220 13073 16 0 212707 0 vsize: 850892 [startup+830.034 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 78681 58 0 0 25 0 11 0 477322389 871313408 34222 4294967295 134512640 134569956 3221224416 3221214784 1131289366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34222 13073 16 0 212707 0 vsize: 850892 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 79663 58 0 0 25 0 11 0 477322389 871313408 34247 4294967295 134512640 134569956 3221224416 3221214840 1131175357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34247 13073 16 0 212707 0 vsize: 850892 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.88 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 80650 58 0 0 25 0 11 0 477322389 871313408 34260 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34260 13073 16 0 212707 0 vsize: 850892 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 81638 58 0 0 25 0 11 0 477322389 871313408 34270 4294967295 134512640 134569956 3221224416 3221214784 1131289185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34270 13073 16 0 212707 0 vsize: 850892 [startup+870.035 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 82625 58 0 0 25 0 11 0 477322389 871313408 34276 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34276 13073 16 0 212707 0 vsize: 850892 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 83615 58 0 0 25 0 11 0 477322389 871313408 34283 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34283 13073 16 0 212707 0 vsize: 850892 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 84598 59 0 0 25 0 11 0 477322389 871313408 34287 4294967295 134512640 134569956 3221224416 3221214888 1131457225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34287 13073 16 0 212707 0 vsize: 850892 [startup+900.036 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21688 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 85584 59 0 0 25 0 11 0 477322389 871313408 34319 4294967295 134512640 134569956 3221224416 3221214840 1131175391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34319 13073 16 0 212707 0 vsize: 850892 [startup+910.037 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 86573 59 0 0 25 0 11 0 477322389 871313408 34324 4294967295 134512640 134569956 3221224416 3221214784 1131289824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34324 13073 16 0 212707 0 vsize: 850892 [startup+920.037 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 87554 59 0 0 25 0 11 0 477322389 871313408 34349 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34349 13073 16 0 212707 0 vsize: 850892 [startup+930.037 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 88541 59 0 0 25 0 11 0 477322389 871313408 34353 4294967295 134512640 134569956 3221224416 3221214884 1131289164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34353 13073 16 0 212707 0 vsize: 850892 [startup+940.038 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 89527 59 0 0 25 0 11 0 477322389 871313408 34355 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34355 13073 16 0 212707 0 vsize: 850892 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 90516 59 0 0 25 0 11 0 477322389 871313408 34385 4294967295 134512640 134569956 3221224416 3221214888 1131457988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34385 13073 16 0 212707 0 vsize: 850892 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 0.89 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 91503 59 0 0 25 0 11 0 477322389 871313408 34389 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34389 13073 16 0 212707 0 vsize: 850892 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 92486 59 0 0 25 0 11 0 477322389 871313408 34407 4294967295 134512640 134569956 3221224416 3221214856 1131308615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34407 13073 16 0 212707 0 vsize: 850892 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 93472 59 0 0 25 0 11 0 477322389 871313408 34418 4294967295 134512640 134569956 3221224416 3221214784 1131289678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34418 13073 16 0 212707 0 vsize: 850892 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 94457 59 0 0 21 0 11 0 477322389 871313408 34439 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34439 13073 16 0 212707 0 vsize: 850892 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 95444 59 0 0 25 0 11 0 477322389 871313408 34452 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34452 13073 16 0 212707 0 vsize: 850892 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 96432 59 0 0 25 0 11 0 477322389 871313408 34462 4294967295 134512640 134569956 3221224416 3221214888 1131457689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34462 13073 16 0 212707 0 vsize: 850892 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 97420 59 0 0 25 0 11 0 477322389 871313408 34462 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34462 13073 16 0 212707 0 vsize: 850892 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 98403 59 0 0 25 0 11 0 477322389 871313408 34464 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212723 34464 13073 16 0 212707 0 vsize: 850892 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 99376 59 0 0 25 0 11 0 477322389 871313408 34469 4294967295 134512640 134569956 3221224416 3221214784 1131289185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34469 13073 16 0 212707 0 vsize: 850892 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 100347 59 0 0 24 0 11 0 477322389 871313408 34490 4294967295 134512640 134569956 3221224416 3221214784 1131289802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34490 13073 16 0 212707 0 vsize: 850892 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 101330 59 0 0 25 0 11 0 477322389 871313408 34552 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34552 13073 16 0 212707 0 vsize: 850892 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 102315 59 0 0 25 0 11 0 477322389 871313408 34555 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34555 13073 16 0 212707 0 vsize: 850892 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 103293 59 0 0 25 0 11 0 477322389 871313408 34558 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34558 13073 16 0 212707 0 vsize: 850892 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 104267 59 0 0 25 0 11 0 477322389 871313408 34565 4294967295 134512640 134569956 3221224416 3221214840 1131175543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34565 13073 16 0 212707 0 vsize: 850892 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 105241 59 0 0 25 0 11 0 477322389 871313408 34571 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34571 13073 16 0 212707 0 vsize: 850892 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 106226 59 0 0 25 0 11 0 477322389 871313408 34655 4294967295 134512640 134569956 3221224416 3221214440 1131202680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34655 13073 16 0 212707 0 vsize: 850892 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 107212 59 0 0 25 0 11 0 477322389 871313408 34667 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34667 13073 16 0 212707 0 vsize: 850892 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 108200 59 0 0 25 0 11 0 477322389 871313408 34675 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34675 13073 16 0 212707 0 vsize: 850892 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 109187 59 0 0 25 0 11 0 477322389 871313408 34676 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34676 13073 16 0 212707 0 vsize: 850892 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 110173 59 0 0 25 0 11 0 477322389 871313408 34678 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34678 13073 16 0 212707 0 vsize: 850892 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 111158 59 0 0 25 0 11 0 477322389 871313408 34697 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34697 13073 16 0 212707 0 vsize: 850892 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 112144 60 0 0 25 0 11 0 477322389 871313408 34724 4294967295 134512640 134569956 3221224416 3221214784 1131290362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34724 13073 16 0 212707 0 vsize: 850892 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 113131 60 0 0 25 0 11 0 477322389 871313408 34729 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34729 13073 16 0 212707 0 vsize: 850892 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 114117 60 0 0 25 0 11 0 477322389 871313408 34746 4294967295 134512640 134569956 3221224416 3221214840 1131175363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34746 13073 16 0 212707 0 vsize: 850892 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21690 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 115107 60 0 0 25 0 11 0 477322389 871313408 34747 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34747 13073 16 0 212707 0 vsize: 850892 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21692 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 116094 60 0 0 24 0 11 0 477322389 871313408 34767 4294967295 134512640 134569956 3221224416 3221214784 1131289249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34767 13073 16 0 212707 0 vsize: 850892 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21692 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 117083 60 0 0 25 0 11 0 477322389 871313408 34771 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34771 13073 16 0 212707 0 vsize: 850892 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21692 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 118068 60 0 0 24 0 11 0 477322389 871313408 34780 4294967295 134512640 134569956 3221224416 3221214784 1131290033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34780 13073 16 0 212707 0 vsize: 850892 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21692 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 119056 60 0 0 25 0 11 0 477322389 871313408 34796 4294967295 134512640 134569956 3221224416 3221214784 1131289614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34796 13073 16 0 212707 0 vsize: 850892 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/65 21692 Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 120046 60 0 0 25 0 11 0 477322389 871313408 34801 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212723 34801 13073 16 0 212707 0 vsize: 850892 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.17 s] Raw data (loadavg): 1.00 1.00 0.91 1/55 21694 Raw data (stat): 21665 (java) Z 21664 20838 20837 0 -1 1036 18133 12277 1 0 120052 60 4553 34 25 0 1 0 477322389 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.17 CPU time (s): 1247.01 CPU user time (s): 1246.06 CPU system time (s): 0.948855 CPU usage (%): 99.7471 Max. virtual memory (Kb): 850892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####