Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb |
MD5SUM | 4969ff20db6e3c380ff3de77937a8672 |
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 | 221520 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 34400198927214220148736 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 34400301327214220148736 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.17367 |
Number of variables | 221520 |
Total number of constraints | 38324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32041 |
Number of constraints which are nor clauses,nor cardinality constraints | 6283 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 221520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-21 20:41:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15154 boxname=wulflinc26 idbench=1166 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4969ff20db6e3c380ff3de77937a8672 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-NSR8K.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-NSR8K.opb IDLAUNCH: 15154 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 383648 kB Buffers: 34044 kB Cached: 588632 kB SwapCached: 68 kB Active: 183420 kB Inactive: 442128 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 383396 kB SwapTotal: 2097892 kB SwapFree: 2097800 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6880 kB Slab: 19748 kB Committed_AS: 63728 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 21:03:33 (client local time) WITH STATUS 143 IN 1310.52 SECONDS stats: 15154 7 1310.52 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-NSR8K.opb c reading problem c [nbvar=221520] c [nbconstr=38324] #### 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.77 0.89 0.89 1/54 9573 Raw data (stat): 9573 (runsolver) D 9572 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 548045863 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 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.80 0.89 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 821 42 0 0 25 0 10 0 548045863 854396928 19364 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208593 19364 13073 16 0 208577 0 vsize: 834372 [startup+20.0016 s] Raw data (loadavg): 0.83 0.90 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 1717 43 0 0 25 0 10 0 548045863 854962176 19963 4294967295 134512640 134569956 3221224400 3221214824 1131226399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208731 19963 13073 16 0 208715 0 vsize: 834924 [startup+30.0018 s] Raw data (loadavg): 0.86 0.90 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 2613 43 0 0 25 0 10 0 548045863 854962176 20408 4294967295 134512640 134569956 3221224400 3221214288 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208731 20408 13073 16 0 208715 0 vsize: 834924 [startup+40.0022 s] Raw data (loadavg): 0.88 0.90 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 3542 43 0 0 25 0 10 0 548045863 854962176 20642 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208731 20642 13073 16 0 208715 0 vsize: 834924 [startup+50.0038 s] Raw data (loadavg): 0.90 0.91 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 4471 43 0 0 25 0 10 0 548045863 854962176 20767 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208731 20767 13073 16 0 208715 0 vsize: 834924 [startup+60.004 s] Raw data (loadavg): 0.91 0.91 0.89 3/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 5400 44 0 0 25 0 10 0 548045863 854962176 20948 4294967295 134512640 134569956 3221224400 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208731 20948 13073 16 0 208715 0 vsize: 834924 [startup+70.0042 s] Raw data (loadavg): 0.93 0.91 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 6340 44 0 0 25 0 10 0 548045863 854704128 21057 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21057 13073 16 0 208652 0 vsize: 834672 [startup+80.0059 s] Raw data (loadavg): 0.94 0.91 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 7285 44 0 0 25 0 10 0 548045863 854704128 21139 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21139 13073 16 0 208652 0 vsize: 834672 [startup+90.0061 s] Raw data (loadavg): 0.95 0.92 0.89 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 8234 44 0 0 25 0 10 0 548045863 854704128 21209 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21209 13073 16 0 208652 0 vsize: 834672 [startup+100.007 s] Raw data (loadavg): 0.95 0.92 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 9181 44 0 0 25 0 10 0 548045863 854704128 21279 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21279 13073 16 0 208652 0 vsize: 834672 [startup+110.008 s] Raw data (loadavg): 0.96 0.92 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 10128 44 0 0 25 0 10 0 548045863 854704128 21345 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21345 13073 16 0 208652 0 vsize: 834672 [startup+120.007 s] Raw data (loadavg): 0.97 0.92 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 11074 44 0 0 25 0 10 0 548045863 854704128 21407 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21407 13073 16 0 208652 0 vsize: 834672 [startup+130.022 s] Raw data (loadavg): 0.97 0.92 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 12023 44 0 0 24 0 10 0 548045863 854704128 21465 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21465 13073 16 0 208652 0 vsize: 834672 [startup+140.029 s] Raw data (loadavg): 0.97 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 12973 44 0 0 25 0 10 0 548045863 854704128 21518 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21518 13073 16 0 208652 0 vsize: 834672 [startup+150.033 s] Raw data (loadavg): 0.98 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 13920 45 0 0 25 0 10 0 548045863 854704128 21573 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21573 13073 16 0 208652 0 vsize: 834672 [startup+160.033 s] Raw data (loadavg): 0.98 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 14865 45 0 0 25 0 10 0 548045863 854704128 21624 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21624 13073 16 0 208652 0 vsize: 834672 [startup+170.033 s] Raw data (loadavg): 0.98 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 15795 45 0 0 24 0 10 0 548045863 854704128 21674 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 21674 13073 16 0 208652 0 vsize: 834672 [startup+180.034 s] Raw data (loadavg): 0.99 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 16722 45 0 0 25 0 10 0 548045863 854704128 21719 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 21719 13073 16 0 208652 0 vsize: 834672 [startup+190.034 s] Raw data (loadavg): 0.99 0.93 0.90 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 17658 45 0 0 25 0 10 0 548045863 854704128 22022 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22022 13073 16 0 208652 0 vsize: 834672 [startup+200.035 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 18604 45 0 0 25 0 10 0 548045863 854704128 22066 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22066 13073 16 0 208652 0 vsize: 834672 [startup+210.035 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 19545 46 0 0 25 0 10 0 548045863 854704128 22110 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22110 13073 16 0 208652 0 vsize: 834672 [startup+220.036 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 20487 46 0 0 25 0 10 0 548045863 854704128 22153 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22153 13073 16 0 208652 0 vsize: 834672 [startup+230.036 s] Raw data (loadavg): 1.07 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 21427 46 0 0 24 0 10 0 548045863 854704128 22194 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22194 13073 16 0 208652 0 vsize: 834672 [startup+240.036 s] Raw data (loadavg): 1.06 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 22370 47 0 0 25 0 10 0 548045863 854704128 22233 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22233 13073 16 0 208652 0 vsize: 834672 [startup+250.039 s] Raw data (loadavg): 1.05 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 23310 47 0 0 25 0 10 0 548045863 854704128 22273 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22273 13073 16 0 208652 0 vsize: 834672 [startup+260.04 s] Raw data (loadavg): 1.04 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 24249 48 0 0 25 0 10 0 548045863 854704128 22312 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22312 13073 16 0 208652 0 vsize: 834672 [startup+270.039 s] Raw data (loadavg): 1.03 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 25188 48 0 0 24 0 10 0 548045863 854704128 22350 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22350 13073 16 0 208652 0 vsize: 834672 [startup+280.04 s] Raw data (loadavg): 1.03 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 26130 48 0 0 25 0 10 0 548045863 854704128 22385 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22385 13073 16 0 208652 0 vsize: 834672 [startup+290.04 s] Raw data (loadavg): 1.02 0.96 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 27067 49 0 0 25 0 10 0 548045863 854704128 22422 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22422 13073 16 0 208652 0 vsize: 834672 [startup+300.04 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 28004 49 0 0 25 0 10 0 548045863 854704128 22458 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22458 13073 16 0 208652 0 vsize: 834672 [startup+310.04 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 28945 50 0 0 25 0 10 0 548045863 854704128 22490 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22490 13073 16 0 208652 0 vsize: 834672 [startup+320.047 s] Raw data (loadavg): 1.09 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 29881 50 0 0 25 0 10 0 548045863 854704128 22524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22524 13073 16 0 208652 0 vsize: 834672 [startup+330.046 s] Raw data (loadavg): 1.07 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 30818 50 0 0 25 0 10 0 548045863 854704128 22557 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22557 13073 16 0 208652 0 vsize: 834672 [startup+340.048 s] Raw data (loadavg): 1.06 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 31757 50 0 0 25 0 10 0 548045863 854704128 22588 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22588 13073 16 0 208652 0 vsize: 834672 [startup+350.049 s] Raw data (loadavg): 1.05 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 32692 51 0 0 25 0 10 0 548045863 854704128 22620 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22620 13073 16 0 208652 0 vsize: 834672 [startup+360.049 s] Raw data (loadavg): 1.04 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 33626 51 0 0 25 0 10 0 548045863 854704128 22652 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22652 13073 16 0 208652 0 vsize: 834672 [startup+370.056 s] Raw data (loadavg): 1.04 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 34565 51 0 0 25 0 10 0 548045863 854704128 22681 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22681 13073 16 0 208652 0 vsize: 834672 [startup+380.056 s] Raw data (loadavg): 1.03 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 35498 52 0 0 25 0 10 0 548045863 854704128 22712 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22712 13073 16 0 208652 0 vsize: 834672 [startup+390.056 s] Raw data (loadavg): 1.02 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 36431 52 0 0 25 0 10 0 548045863 854704128 22742 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22742 13073 16 0 208652 0 vsize: 834672 [startup+400.07 s] Raw data (loadavg): 1.02 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 37369 52 0 0 25 0 10 0 548045863 854704128 22771 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22771 13073 16 0 208652 0 vsize: 834672 [startup+410.07 s] Raw data (loadavg): 1.02 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 38300 53 0 0 25 0 10 0 548045863 854704128 22800 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22800 13073 16 0 208652 0 vsize: 834672 [startup+420.071 s] Raw data (loadavg): 1.01 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 39236 53 0 0 25 0 10 0 548045863 854704128 22828 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22828 13073 16 0 208652 0 vsize: 834672 [startup+430.07 s] Raw data (loadavg): 1.01 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 40168 54 0 0 25 0 10 0 548045863 854704128 22856 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22856 13073 16 0 208652 0 vsize: 834672 [startup+440.071 s] Raw data (loadavg): 1.01 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 41099 54 0 0 24 0 10 0 548045863 854704128 22885 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22885 13073 16 0 208652 0 vsize: 834672 [startup+450.071 s] Raw data (loadavg): 1.01 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 42034 54 0 0 25 0 10 0 548045863 854704128 22911 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22911 13073 16 0 208652 0 vsize: 834672 [startup+460.08 s] Raw data (loadavg): 1.01 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 42966 55 0 0 25 0 10 0 548045863 854704128 22938 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22938 13073 16 0 208652 0 vsize: 834672 [startup+470.081 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 43899 55 0 0 25 0 10 0 548045863 854704128 22965 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 22965 13073 16 0 208652 0 vsize: 834672 [startup+480.081 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 44828 55 0 0 24 0 10 0 548045863 854704128 22992 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 22992 13073 16 0 208652 0 vsize: 834672 [startup+490.082 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 45761 55 0 0 25 0 10 0 548045863 854704128 23017 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23017 13073 16 0 208652 0 vsize: 834672 [startup+500.083 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 46688 55 0 0 24 0 10 0 548045863 854704128 23044 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23044 13073 16 0 208652 0 vsize: 834672 [startup+510.091 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 47621 55 0 0 25 0 10 0 548045863 854704128 23068 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23068 13073 16 0 208652 0 vsize: 834672 [startup+520.091 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 48548 56 0 0 24 0 10 0 548045863 854704128 23095 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23095 13073 16 0 208652 0 vsize: 834672 [startup+530.093 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 49479 56 0 0 25 0 10 0 548045863 854704128 23120 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23120 13073 16 0 208652 0 vsize: 834672 [startup+540.093 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 50405 56 0 0 24 0 10 0 548045863 854704128 23145 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23145 13073 16 0 208652 0 vsize: 834672 [startup+550.094 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 51334 56 0 0 25 0 10 0 548045863 854704128 23169 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23169 13073 16 0 208652 0 vsize: 834672 [startup+560.094 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 52264 56 0 0 25 0 10 0 548045863 854704128 23193 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23193 13073 16 0 208652 0 vsize: 834672 [startup+570.094 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 53189 56 0 0 25 0 10 0 548045863 854704128 23217 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23217 13073 16 0 208652 0 vsize: 834672 [startup+580.095 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 54118 57 0 0 25 0 10 0 548045863 854704128 23241 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23241 13073 16 0 208652 0 vsize: 834672 [startup+590.096 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 55042 57 0 0 25 0 10 0 548045863 854704128 23265 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23265 13073 16 0 208652 0 vsize: 834672 [startup+600.096 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 55971 57 0 0 25 0 10 0 548045863 854704128 23288 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23288 13073 16 0 208652 0 vsize: 834672 [startup+610.098 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 56895 58 0 0 25 0 10 0 548045863 854704128 23312 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23312 13073 16 0 208652 0 vsize: 834672 [startup+620.104 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 57823 58 0 0 25 0 10 0 548045863 854704128 23334 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208668 23334 13073 16 0 208652 0 vsize: 834672 [startup+630.104 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 58746 58 0 0 24 0 10 0 548045863 854704128 23358 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23358 13073 16 0 208652 0 vsize: 834672 [startup+640.105 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 59673 58 0 0 25 0 10 0 548045863 854704128 23380 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23380 13073 16 0 208652 0 vsize: 834672 [startup+650.106 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 60598 59 0 0 25 0 10 0 548045863 854704128 23402 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 23402 13073 16 0 208652 0 vsize: 834672 [startup+660.107 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 61514 60 0 0 25 0 10 0 548045863 854704128 24658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24658 13073 16 0 208652 0 vsize: 834672 [startup+670.114 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 62437 60 0 0 25 0 10 0 548045863 854704128 24658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24658 13073 16 0 208652 0 vsize: 834672 [startup+680.115 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 63354 60 0 0 25 0 10 0 548045863 854704128 24675 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24675 13073 16 0 208652 0 vsize: 834672 [startup+690.116 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 64270 61 0 0 25 0 10 0 548045863 854704128 24697 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24697 13073 16 0 208652 0 vsize: 834672 [startup+700.117 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 65181 61 0 0 24 0 10 0 548045863 854704128 24719 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24719 13073 16 0 208652 0 vsize: 834672 [startup+710.117 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 66095 61 0 0 25 0 10 0 548045863 854704128 24739 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24739 13073 16 0 208652 0 vsize: 834672 [startup+720.118 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 67011 62 0 0 25 0 10 0 548045863 854704128 24760 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24760 13073 16 0 208652 0 vsize: 834672 [startup+730.119 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 67926 62 0 0 25 0 10 0 548045863 854704128 24781 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24781 13073 16 0 208652 0 vsize: 834672 [startup+740.119 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 68840 63 0 0 25 0 10 0 548045863 854704128 24801 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24801 13073 16 0 208652 0 vsize: 834672 [startup+750.122 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 69749 63 0 0 24 0 10 0 548045863 854704128 24824 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24824 13073 16 0 208652 0 vsize: 834672 [startup+760.227 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 70673 64 0 0 25 0 10 0 548045863 854704128 24844 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24844 13073 16 0 208652 0 vsize: 834672 [startup+770.227 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 71586 64 0 0 25 0 10 0 548045863 854704128 24864 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24864 13073 16 0 208652 0 vsize: 834672 [startup+780.228 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 72500 64 0 0 25 0 10 0 548045863 854704128 24884 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24884 13073 16 0 208652 0 vsize: 834672 [startup+790.231 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 73412 65 0 0 25 0 10 0 548045863 854704128 24904 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24904 13073 16 0 208652 0 vsize: 834672 [startup+800.232 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 74324 66 0 0 25 0 10 0 548045863 854704128 24923 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24923 13073 16 0 208652 0 vsize: 834672 [startup+810.233 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 75235 66 0 0 25 0 10 0 548045863 854704128 24943 4294967295 134512640 134569956 3221224400 3221213968 1077100753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24943 13073 16 0 208652 0 vsize: 834672 [startup+820.234 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 76148 66 0 0 25 0 10 0 548045863 854704128 24962 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24962 13073 16 0 208652 0 vsize: 834672 [startup+830.234 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 77059 67 0 0 25 0 10 0 548045863 854704128 24982 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 24982 13073 16 0 208652 0 vsize: 834672 [startup+840.234 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 77970 67 0 0 23 0 10 0 548045863 854704128 25001 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25001 13073 16 0 208652 0 vsize: 834672 [startup+850.236 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 78880 67 0 0 25 0 10 0 548045863 854704128 25021 4294967295 134512640 134569956 3221224400 3221214768 1131155962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25021 13073 16 0 208652 0 vsize: 834672 [startup+860.236 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 79789 68 0 0 25 0 10 0 548045863 854704128 25040 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25040 13073 16 0 208652 0 vsize: 834672 [startup+870.235 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 80699 68 0 0 25 0 10 0 548045863 854704128 25059 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25059 13073 16 0 208652 0 vsize: 834672 [startup+880.237 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 81608 69 0 0 25 0 10 0 548045863 854704128 25079 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25079 13073 16 0 208652 0 vsize: 834672 [startup+890.237 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 82519 69 0 0 25 0 10 0 548045863 854704128 25097 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25097 13073 16 0 208652 0 vsize: 834672 [startup+900.238 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 83428 69 0 0 25 0 10 0 548045863 854704128 25116 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25116 13073 16 0 208652 0 vsize: 834672 [startup+910.239 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 84337 69 0 0 25 0 10 0 548045863 854704128 25135 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25135 13073 16 0 208652 0 vsize: 834672 [startup+920.238 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 85245 70 0 0 25 0 10 0 548045863 854704128 25154 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25154 13073 16 0 208652 0 vsize: 834672 [startup+930.239 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 86154 70 0 0 25 0 10 0 548045863 854704128 25172 4294967295 134512640 134569956 3221224400 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25172 13073 16 0 208652 0 vsize: 834672 [startup+940.24 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 87061 70 0 0 25 0 10 0 548045863 854704128 25191 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25191 13073 16 0 208652 0 vsize: 834672 [startup+950.24 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 87967 71 0 0 25 0 10 0 548045863 854704128 25209 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25209 13073 16 0 208652 0 vsize: 834672 [startup+960.241 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 88874 71 0 0 25 0 10 0 548045863 854704128 25227 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25227 13073 16 0 208652 0 vsize: 834672 [startup+970.242 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 89782 71 0 0 25 0 10 0 548045863 854704128 25246 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25246 13073 16 0 208652 0 vsize: 834672 [startup+980.242 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 90688 71 0 0 25 0 10 0 548045863 854704128 25264 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25264 13073 16 0 208652 0 vsize: 834672 [startup+990.243 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 91594 72 0 0 25 0 10 0 548045863 854704128 25282 4294967295 134512640 134569956 3221224400 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25282 13073 16 0 208652 0 vsize: 834672 [startup+1000.24 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 92501 72 0 0 25 0 10 0 548045863 854704128 25300 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25300 13073 16 0 208652 0 vsize: 834672 [startup+1010.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 93407 73 0 0 25 0 10 0 548045863 854704128 25318 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25318 13073 16 0 208652 0 vsize: 834672 [startup+1020.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 94312 73 0 0 25 0 10 0 548045863 854704128 25336 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25336 13073 16 0 208652 0 vsize: 834672 [startup+1030.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 95218 73 0 0 25 0 10 0 548045863 854704128 25354 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25354 13073 16 0 208652 0 vsize: 834672 [startup+1040.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 96122 73 0 0 25 0 10 0 548045863 854704128 25372 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25372 13073 16 0 208652 0 vsize: 834672 [startup+1050.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 97026 74 0 0 25 0 10 0 548045863 854704128 25389 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25389 13073 16 0 208652 0 vsize: 834672 [startup+1060.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 97930 74 0 0 25 0 10 0 548045863 854704128 25406 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25406 13073 16 0 208652 0 vsize: 834672 [startup+1070.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 98834 74 0 0 25 0 10 0 548045863 854704128 25424 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25424 13073 16 0 208652 0 vsize: 834672 [startup+1080.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 99737 75 0 0 25 0 10 0 548045863 854704128 25441 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25441 13073 16 0 208652 0 vsize: 834672 [startup+1090.25 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 100641 75 0 0 25 0 10 0 548045863 854704128 25458 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25458 13073 16 0 208652 0 vsize: 834672 [startup+1100.26 s] Raw data (loadavg): 1.00 0.98 0.92 2/63 9582 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 101544 75 0 0 25 0 10 0 548045863 854704128 25475 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25475 13073 16 0 208652 0 vsize: 834672 [startup+1110.26 s] Raw data (loadavg): 1.08 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 102439 78 0 0 25 0 10 0 548045863 854704128 25492 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25492 13073 16 0 208652 0 vsize: 834672 [startup+1120.3 s] Raw data (loadavg): 1.07 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 103346 78 0 0 25 0 10 0 548045863 854704128 25509 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25509 13073 16 0 208652 0 vsize: 834672 [startup+1130.31 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 104249 78 0 0 25 0 10 0 548045863 854704128 25526 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25526 13073 16 0 208652 0 vsize: 834672 [startup+1140.31 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 105152 79 0 0 19 0 10 0 548045863 854704128 25543 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25543 13073 16 0 208652 0 vsize: 834672 [startup+1150.31 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 106054 79 0 0 19 0 10 0 548045863 854704128 25560 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25560 13073 16 0 208652 0 vsize: 834672 [startup+1160.31 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 106962 79 0 0 23 0 10 0 548045863 854704128 25575 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25575 13073 16 0 208652 0 vsize: 834672 [startup+1170.31 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 9635 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 107864 79 0 0 22 0 10 0 548045863 854704128 25592 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25592 13073 16 0 208652 0 vsize: 834672 [startup+1180.31 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 108764 79 0 0 21 0 10 0 548045863 854704128 25608 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25608 13073 16 0 208652 0 vsize: 834672 [startup+1190.31 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 109662 79 0 0 21 0 10 0 548045863 854704128 25625 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25625 13073 16 0 208652 0 vsize: 834672 [startup+1200.31 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 110563 79 0 0 20 0 10 0 548045863 854704128 25641 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25641 13073 16 0 208652 0 vsize: 834672 [startup+1210.31 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 111464 79 0 0 19 0 10 0 548045863 854704128 25657 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25657 13073 16 0 208652 0 vsize: 834672 [startup+1220.31 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 112365 80 0 0 18 0 10 0 548045863 854704128 25673 4294967295 134512640 134569956 3221224400 3221214748 1080204144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25673 13073 16 0 208652 0 vsize: 834672 [startup+1230.31 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 113271 80 0 0 23 0 10 0 548045863 854704128 25689 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25689 13073 16 0 208652 0 vsize: 834672 [startup+1240.31 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 114171 80 0 0 22 0 10 0 548045863 854704128 25705 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25705 13073 16 0 208652 0 vsize: 834672 [startup+1250.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 115071 80 0 0 20 0 10 0 548045863 854704128 25721 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25721 13073 16 0 208652 0 vsize: 834672 [startup+1260.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 115970 80 0 0 19 0 10 0 548045863 854704128 25739 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25739 13073 16 0 208652 0 vsize: 834672 [startup+1270.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 116870 80 0 0 18 0 10 0 548045863 854704128 25760 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25760 13073 16 0 208652 0 vsize: 834672 [startup+1280.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 117770 80 0 0 19 0 10 0 548045863 854704128 25771 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25771 13073 16 0 208652 0 vsize: 834672 [startup+1290.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 118673 80 0 0 19 0 10 0 548045863 854704128 25798 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25798 13073 16 0 208652 0 vsize: 834672 [startup+1300.31 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) R 9572 22612 22611 0 -1 0 17972 0 1 0 119576 81 0 0 19 0 10 0 548045863 854704128 25810 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25810 13073 16 0 208652 0 vsize: 834672 [startup+1310.32 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9637 Raw data (stat): 9573 (java) S 9572 22612 22611 0 -1 0 17972 0 1 0 120484 81 0 0 24 0 10 0 548045863 854704128 25833 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208668 25833 13073 16 0 208652 0 vsize: 834672 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.43 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 9638 Raw data (stat): 9573 (java) Z 9572 22612 22611 0 -1 1036 17972 8049 1 0 120487 81 10442 40 20 0 1 0 548045863 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): 1310.43 CPU time (s): 1310.52 CPU user time (s): 1309.3 CPU system time (s): 1.22281 CPU usage (%): 100.007 Max. virtual memory (Kb): 834924 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####