Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb |
MD5SUM | 34e3d66fc3f726d6e01980ef9f07d518 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1015 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2030 |
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 | 2030 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2030 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 7.43487 |
Number of variables | 2030 |
Total number of constraints | 4325 |
Number of constraints which are clauses | 4325 |
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 | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-04-13 16:50:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1746 boxname=wulflinc24 idbench=194 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 34e3d66fc3f726d6e01980ef9f07d518 /oldhome/oroussel/tmp/wulflinc24/normalized-par16-1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-par16-1.opb IDLAUNCH: 1746 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 877428 kB Buffers: 32292 kB Cached: 82812 kB SwapCached: 3828 kB Active: 41160 kB Inactive: 80608 kB HighTotal: 131008 kB HighFree: 45892 kB LowTotal: 903652 kB LowFree: 831536 kB SwapTotal: 2097892 kB SwapFree: 2094064 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 29960 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:11:00 (client local time) WITH STATUS 143 IN SECONDS stats: 1746 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc24/normalized-par16-1.opb c reading problem c [nbvar=2030] c [nbconstr=4325] c time 5.042 c #vars 2030 c #clauses 4325 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=1015 c Current CPU time (ms) : 431.154 c starts : 6 c conflicts : 1882 c decisions : 1995 c propagations : 872817 c inspects : 2074876 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1882 c root simplifications : 6 #### 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.93 1.07 0.99 2/54 29911 Raw data (stat): 29911 (runsolver) R 29910 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477520432 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99985 s] Raw data (loadavg): 0.94 1.06 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18070 0 1 0 792 46 0 0 25 0 11 0 477520432 858963968 20165 4294967295 134512640 134569956 3221224416 3221214760 1131351704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209708 20165 13073 16 0 209692 0 vsize: 838832 [startup+20.0009 s] Raw data (loadavg): 0.95 1.06 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 1776 46 0 0 25 0 11 0 477520432 858464256 20452 4294967295 134512640 134569956 3221224416 3221214816 1131236768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 20452 13073 16 0 209570 0 vsize: 838344 [startup+30.0012 s] Raw data (loadavg): 0.96 1.06 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 2755 46 0 0 25 0 11 0 477520432 858464256 20658 4294967295 134512640 134569956 3221224416 3221214872 1131324658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 20658 13073 16 0 209570 0 vsize: 838344 [startup+40.001 s] Raw data (loadavg): 0.96 1.06 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 3739 46 0 0 25 0 11 0 477520432 858464256 20856 4294967295 134512640 134569956 3221224416 3221214808 1131259216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 20856 13073 16 0 209570 0 vsize: 838344 [startup+50.0021 s] Raw data (loadavg): 0.97 1.05 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 4731 46 0 0 25 0 11 0 477520432 858464256 20949 4294967295 134512640 134569956 3221224416 3221214872 1131324176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 20949 13073 16 0 209570 0 vsize: 838344 [startup+60.0023 s] Raw data (loadavg): 0.97 1.05 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 5714 46 0 0 25 0 11 0 477520432 858464256 21158 4294967295 134512640 134569956 3221224416 3221214872 1131324210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 21158 13073 16 0 209570 0 vsize: 838344 [startup+70.0031 s] Raw data (loadavg): 0.98 1.05 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 6694 46 0 0 25 0 11 0 477520432 858464256 21371 4294967295 134512640 134569956 3221224416 3221214720 1131473756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21371 13073 16 0 209570 0 vsize: 838344 [startup+80.0039 s] Raw data (loadavg): 0.98 1.05 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 7684 47 0 0 25 0 11 0 477520432 858464256 21371 4294967295 134512640 134569956 3221224416 3221214872 1131324378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 21371 13073 16 0 209570 0 vsize: 838344 [startup+90.0036 s] Raw data (loadavg): 0.98 1.05 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 8669 47 0 0 25 0 11 0 477520432 858464256 21702 4294967295 134512640 134569956 3221224416 3221214872 1131324476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 21702 13073 16 0 209570 0 vsize: 838344 [startup+100.004 s] Raw data (loadavg): 0.98 1.04 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 9657 47 0 0 25 0 11 0 477520432 858464256 21702 4294967295 134512640 134569956 3221224416 3221214872 1131324665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21702 13073 16 0 209570 0 vsize: 838344 [startup+110.005 s] Raw data (loadavg): 0.99 1.04 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 10649 47 0 0 25 0 11 0 477520432 858464256 21702 4294967295 134512640 134569956 3221224416 3221214872 1131324393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21702 13073 16 0 209570 0 vsize: 838344 [startup+120.005 s] Raw data (loadavg): 0.99 1.04 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 11634 48 0 0 25 0 11 0 477520432 858464256 21758 4294967295 134512640 134569956 3221224416 3221214760 1131351720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 21758 13073 16 0 209570 0 vsize: 838344 [startup+130.005 s] Raw data (loadavg): 0.99 1.04 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 12620 48 0 0 25 0 11 0 477520432 858464256 21841 4294967295 134512640 134569956 3221224416 3221214792 1131399910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21841 13073 16 0 209570 0 vsize: 838344 [startup+140.005 s] Raw data (loadavg): 0.99 1.04 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 13605 48 0 0 25 0 11 0 477520432 858464256 21953 4294967295 134512640 134569956 3221224416 3221214760 1131351667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21953 13073 16 0 209570 0 vsize: 838344 [startup+150.006 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 14598 48 0 0 25 0 11 0 477520432 858464256 21991 4294967295 134512640 134569956 3221224416 3221214632 1131396789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 21991 13073 16 0 209570 0 vsize: 838344 [startup+160.006 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 15585 48 0 0 25 0 11 0 477520432 858464256 22106 4294967295 134512640 134569956 3221224416 3221214760 1131351663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22106 13073 16 0 209570 0 vsize: 838344 [startup+170.008 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 16572 48 0 0 25 0 11 0 477520432 858464256 22231 4294967295 134512640 134569956 3221224416 3221214872 1131324403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22231 13073 16 0 209570 0 vsize: 838344 [startup+180.008 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 17559 49 0 0 25 0 11 0 477520432 858464256 22385 4294967295 134512640 134569956 3221224416 3221214872 1131324654 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22385 13073 16 0 209570 0 vsize: 838344 [startup+190.008 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 18552 49 0 0 25 0 11 0 477520432 858464256 22460 4294967295 134512640 134569956 3221224416 3221214760 1131352505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22460 13073 16 0 209570 0 vsize: 838344 [startup+200.009 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 19538 49 0 0 25 0 11 0 477520432 858464256 22652 4294967295 134512640 134569956 3221224416 3221214760 1131351667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22652 13073 16 0 209570 0 vsize: 838344 [startup+210.009 s] Raw data (loadavg): 0.99 1.03 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 20524 50 0 0 25 0 11 0 477520432 858464256 22844 4294967295 134512640 134569956 3221224416 3221214872 1131324484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 22844 13073 16 0 209570 0 vsize: 838344 [startup+220.01 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 21511 50 0 0 25 0 11 0 477520432 858464256 23008 4294967295 134512640 134569956 3221224416 3221214876 1131393095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23008 13073 16 0 209570 0 vsize: 838344 [startup+230.01 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 22504 50 0 0 25 0 11 0 477520432 858464256 23097 4294967295 134512640 134569956 3221224416 3221214736 1131187161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23097 13073 16 0 209570 0 vsize: 838344 [startup+240.01 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 23491 50 0 0 25 0 11 0 477520432 858464256 23272 4294967295 134512640 134569956 3221224416 3221214872 1131324403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 23272 13073 16 0 209570 0 vsize: 838344 [startup+250.011 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 24478 50 0 0 25 0 11 0 477520432 858464256 23440 4294967295 134512640 134569956 3221224416 3221214872 1131324196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23440 13073 16 0 209570 0 vsize: 838344 [startup+260.011 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) S 29910 28546 28545 0 -1 0 18071 0 1 0 25466 50 0 0 25 0 11 0 477520432 858464256 23525 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23525 13073 16 0 209570 0 vsize: 838344 [startup+270.011 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 26458 51 0 0 25 0 11 0 477520432 858464256 23613 4294967295 134512640 134569956 3221224416 3221214872 1131324196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 23613 13073 16 0 209570 0 vsize: 838344 [startup+280.012 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 27446 51 0 0 25 0 11 0 477520432 858464256 23702 4294967295 134512640 134569956 3221224416 3221214760 1131351673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23702 13073 16 0 209570 0 vsize: 838344 [startup+290.012 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 28432 51 0 0 25 0 11 0 477520432 858464256 23796 4294967295 134512640 134569956 3221224416 3221214720 1131473891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23796 13073 16 0 209570 0 vsize: 838344 [startup+300.013 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 29425 51 0 0 25 0 11 0 477520432 858464256 23877 4294967295 134512640 134569956 3221224416 3221214872 1131324203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 23877 13073 16 0 209570 0 vsize: 838344 [startup+310.013 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 30411 51 0 0 25 0 11 0 477520432 858464256 24036 4294967295 134512640 134569956 3221224416 3221214872 1131324196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 24036 13073 16 0 209570 0 vsize: 838344 [startup+320.015 s] Raw data (loadavg): 0.99 1.02 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 31397 52 0 0 25 0 11 0 477520432 858464256 24119 4294967295 134512640 134569956 3221224416 3221214864 1131339189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 24119 13073 16 0 209570 0 vsize: 838344 [startup+330.015 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 32383 52 0 0 25 0 11 0 477520432 858464256 24263 4294967295 134512640 134569956 3221224416 3221214872 1131324495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 24263 13073 16 0 209570 0 vsize: 838344 [startup+340.015 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 33375 52 0 0 25 0 11 0 477520432 858464256 24339 4294967295 134512640 134569956 3221224416 3221214872 1131324658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 24339 13073 16 0 209570 0 vsize: 838344 [startup+350.016 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 34361 53 0 0 25 0 11 0 477520432 858464256 24595 4294967295 134512640 134569956 3221224416 3221214872 1131324647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 24595 13073 16 0 209570 0 vsize: 838344 [startup+360.016 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18071 0 1 0 35346 53 0 0 25 0 11 0 477520432 858464256 24886 4294967295 134512640 134569956 3221224416 3221214872 1131324484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 24886 13073 16 0 209570 0 vsize: 838344 [startup+370.017 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 36333 53 0 0 25 0 11 0 477520432 858464256 25198 4294967295 134512640 134569956 3221224416 3221214872 1131324196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 25198 13073 16 0 209570 0 vsize: 838344 [startup+380.018 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 37321 53 0 0 24 0 11 0 477520432 858464256 25384 4294967295 134512640 134569956 3221224416 3221214872 1131324667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 25384 13073 16 0 209570 0 vsize: 838344 [startup+390.019 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 38314 53 0 0 25 0 11 0 477520432 858464256 25490 4294967295 134512640 134569956 3221224416 3221214760 1131352588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 25490 13073 16 0 209570 0 vsize: 838344 [startup+400.019 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 39302 54 0 0 25 0 11 0 477520432 858464256 25608 4294967295 134512640 134569956 3221224416 3221214844 1080204229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 25608 13073 16 0 209570 0 vsize: 838344 [startup+410.019 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 40290 54 0 0 25 0 11 0 477520432 858464256 25753 4294967295 134512640 134569956 3221224416 3221214720 1131473744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 25753 13073 16 0 209570 0 vsize: 838344 [startup+420.02 s] Raw data (loadavg): 0.99 1.01 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 41277 54 0 0 25 0 11 0 477520432 858464256 25868 4294967295 134512640 134569956 3221224416 3221214872 1131324665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 25868 13073 16 0 209570 0 vsize: 838344 [startup+430.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29921 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 0 1 0 42265 54 0 0 25 0 11 0 477520432 858464256 26008 4294967295 134512640 134569956 3221224416 3221214860 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26008 13073 16 0 209570 0 vsize: 838344 [startup+440.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 43229 54 0 0 25 0 11 0 477520432 858464256 26199 4294967295 134512640 134569956 3221224416 3221214808 1131259380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26199 13073 16 0 209570 0 vsize: 838344 [startup+450.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 44191 55 0 0 25 0 11 0 477520432 858464256 26273 4294967295 134512640 134569956 3221224416 3221214864 1131280362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26273 13073 16 0 209570 0 vsize: 838344 [startup+460.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 45161 55 0 0 25 0 11 0 477520432 858464256 26273 4294967295 134512640 134569956 3221224416 3221214912 1131513452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26273 13073 16 0 209570 0 vsize: 838344 [startup+470.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 46123 55 0 0 25 0 11 0 477520432 858464256 26343 4294967295 134512640 134569956 3221224416 3221214872 1131324403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26343 13073 16 0 209570 0 vsize: 838344 [startup+480.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 47092 56 0 0 25 0 11 0 477520432 858464256 26639 4294967295 134512640 134569956 3221224416 3221214864 1131160014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 26639 13073 16 0 209570 0 vsize: 838344 [startup+490.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 48065 56 0 0 25 0 11 0 477520432 858464256 27001 4294967295 134512640 134569956 3221224416 3221214808 1131259593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27001 13073 16 0 209570 0 vsize: 838344 [startup+500.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 49047 57 0 0 25 0 11 0 477520432 858464256 27060 4294967295 134512640 134569956 3221224416 3221213880 1131499516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27060 13073 16 0 209570 0 vsize: 838344 [startup+510.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 50025 57 0 0 25 0 11 0 477520432 858464256 27110 4294967295 134512640 134569956 3221224416 3221214912 1131309540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27110 13073 16 0 209570 0 vsize: 838344 [startup+520.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 51003 57 0 0 25 0 11 0 477520432 858464256 27185 4294967295 134512640 134569956 3221224416 3221214760 1131351663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27185 13073 16 0 209570 0 vsize: 838344 [startup+530.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 51982 57 0 0 25 0 11 0 477520432 858464256 27271 4294967295 134512640 134569956 3221224416 3221214808 1131260141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27271 13073 16 0 209570 0 vsize: 838344 [startup+540.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 52965 57 0 0 25 0 11 0 477520432 858464256 27332 4294967295 134512640 134569956 3221224416 3221214720 1131473744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27332 13073 16 0 209570 0 vsize: 838344 [startup+550.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 53945 58 0 0 25 0 11 0 477520432 858464256 27392 4294967295 134512640 134569956 3221224416 3221214872 1131324476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27392 13073 16 0 209570 0 vsize: 838344 [startup+560.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 54929 58 0 0 25 0 11 0 477520432 858464256 27458 4294967295 134512640 134569956 3221224416 3221214872 1131324210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27458 13073 16 0 209570 0 vsize: 838344 [startup+570.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/64 29922 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 55908 58 0 0 25 0 11 0 477520432 858464256 27500 4294967295 134512640 134569956 3221224416 3221214760 1131352503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27500 13073 16 0 209570 0 vsize: 838344 [startup+580.03 s] Raw data (loadavg): 1.07 1.02 1.00 2/67 29962 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 56888 61 0 0 25 0 11 0 477520432 858464256 27552 4294967295 134512640 134569956 3221224416 3221214872 1131236851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 27552 13073 16 0 209570 0 vsize: 838344 [startup+590.032 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 57870 61 0 0 25 0 11 0 477520432 858464256 27598 4294967295 134512640 134569956 3221224416 3221214872 1131324385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27598 13073 16 0 209570 0 vsize: 838344 [startup+600.032 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 58848 61 0 0 24 0 11 0 477520432 858464256 27650 4294967295 134512640 134569956 3221224416 3221214752 1131256609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27650 13073 16 0 209570 0 vsize: 838344 [startup+610.032 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 59830 62 0 0 25 0 11 0 477520432 858464256 27699 4294967295 134512640 134569956 3221224416 3221214856 1131298465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27699 13073 16 0 209570 0 vsize: 838344 [startup+620.033 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 60809 62 0 0 25 0 11 0 477520432 858464256 27761 4294967295 134512640 134569956 3221224416 3221214808 1131259353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27761 13073 16 0 209570 0 vsize: 838344 [startup+630.033 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 61792 62 0 0 25 0 11 0 477520432 858464256 27806 4294967295 134512640 134569956 3221224416 3221214864 1131160010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209586 27806 13073 16 0 209570 0 vsize: 838344 [startup+640.033 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 62774 62 0 0 25 0 11 0 477520432 858464256 27855 4294967295 134512640 134569956 3221224416 3221213832 1085679358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27855 13073 16 0 209570 0 vsize: 838344 [startup+650.034 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29975 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 63756 62 0 0 25 0 11 0 477520432 858464256 27916 4294967295 134512640 134569956 3221224416 3221214872 1131324673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27916 13073 16 0 209570 0 vsize: 838344 [startup+660.034 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 64733 63 0 0 25 0 11 0 477520432 858464256 27953 4294967295 134512640 134569956 3221224416 3221214424 1131498138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27953 13073 16 0 209570 0 vsize: 838344 [startup+670.035 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 65716 63 0 0 25 0 11 0 477520432 858464256 27985 4294967295 134512640 134569956 3221224416 3221214720 1131473883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 27985 13073 16 0 209570 0 vsize: 838344 [startup+680.036 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 66692 64 0 0 25 0 11 0 477520432 858464256 28029 4294967295 134512640 134569956 3221224416 3221214864 1131159872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28029 13073 16 0 209570 0 vsize: 838344 [startup+690.036 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 67668 64 0 0 25 0 11 0 477520432 858464256 28104 4294967295 134512640 134569956 3221224416 3221214348 1131498128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28104 13073 16 0 209570 0 vsize: 838344 [startup+700.037 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 68648 65 0 0 25 0 11 0 477520432 858464256 28137 4294967295 134512640 134569956 3221224416 3221214808 1131260139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28137 13073 16 0 209570 0 vsize: 838344 [startup+710.037 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 69630 65 0 0 25 0 11 0 477520432 858464256 28189 4294967295 134512640 134569956 3221224416 3221214864 1131159872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28189 13073 16 0 209570 0 vsize: 838344 [startup+720.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 70608 65 0 0 25 0 11 0 477520432 858464256 28251 4294967295 134512640 134569956 3221224416 3221214872 1131324476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28251 13073 16 0 209570 0 vsize: 838344 [startup+730.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 71587 66 0 0 25 0 11 0 477520432 858464256 28329 4294967295 134512640 134569956 3221224416 3221214808 1131259541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28329 13073 16 0 209570 0 vsize: 838344 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 72566 66 0 0 25 0 11 0 477520432 858464256 28400 4294967295 134512640 134569956 3221224416 3221214872 1131324495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28400 13073 16 0 209570 0 vsize: 838344 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 73549 67 0 0 25 0 11 0 477520432 858464256 28460 4294967295 134512640 134569956 3221224416 3221213760 1085679735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28460 13073 16 0 209570 0 vsize: 838344 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 74532 67 0 0 25 0 11 0 477520432 858464256 28515 4294967295 134512640 134569956 3221224416 3221214720 1131473740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28515 13073 16 0 209570 0 vsize: 838344 [startup+770.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 75514 67 0 0 25 0 11 0 477520432 858464256 28551 4294967295 134512640 134569956 3221224416 3221214808 1131259732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28551 13073 16 0 209570 0 vsize: 838344 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 76499 67 0 0 25 0 11 0 477520432 858464256 28597 4294967295 134512640 134569956 3221224416 3221214808 1131259186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28597 13073 16 0 209570 0 vsize: 838344 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 77475 67 0 0 25 0 11 0 477520432 858464256 28657 4294967295 134512640 134569956 3221224416 3221214760 1131351663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28657 13073 16 0 209570 0 vsize: 838344 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 78455 68 0 0 25 0 11 0 477520432 858464256 28702 4294967295 134512640 134569956 3221224416 3221214808 1131259541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28702 13073 16 0 209570 0 vsize: 838344 [startup+810.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 79432 68 0 0 25 0 11 0 477520432 858464256 28758 4294967295 134512640 134569956 3221224416 3221214872 1131324480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28758 13073 16 0 209570 0 vsize: 838344 [startup+820.044 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 80404 68 0 0 25 0 11 0 477520432 858464256 28853 4294967295 134512640 134569956 3221224416 3221214808 1131259502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28853 13073 16 0 209570 0 vsize: 838344 [startup+830.045 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 81375 69 0 0 25 0 11 0 477520432 858464256 28977 4294967295 134512640 134569956 3221224416 3221214808 1131259137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 28977 13073 16 0 209570 0 vsize: 838344 [startup+840.045 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 82347 69 0 0 25 0 11 0 477520432 858464256 29098 4294967295 134512640 134569956 3221224416 3221214760 1131352489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29098 13073 16 0 209570 0 vsize: 838344 [startup+850.047 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 83324 69 0 0 25 0 11 0 477520432 858464256 29183 4294967295 134512640 134569956 3221224416 3221214760 1131351731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29183 13073 16 0 209570 0 vsize: 838344 [startup+860.047 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 84296 69 0 0 25 0 11 0 477520432 858464256 29324 4294967295 134512640 134569956 3221224416 3221213560 1131496549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29324 13073 16 0 209570 0 vsize: 838344 [startup+870.048 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 85270 70 0 0 25 0 11 0 477520432 858464256 29436 4294967295 134512640 134569956 3221224416 3221214808 1131260012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29436 13073 16 0 209570 0 vsize: 838344 [startup+880.049 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 86250 70 0 0 25 0 11 0 477520432 858464256 29530 4294967295 134512640 134569956 3221224416 3221214376 1078829665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29530 13073 16 0 209570 0 vsize: 838344 [startup+890.049 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 87229 70 0 0 25 0 11 0 477520432 858464256 29640 4294967295 134512640 134569956 3221224416 3221214808 1131259141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29640 13073 16 0 209570 0 vsize: 838344 [startup+900.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 88208 71 0 0 25 0 11 0 477520432 858464256 29731 4294967295 134512640 134569956 3221224416 3221214864 1131338903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29731 13073 16 0 209570 0 vsize: 838344 [startup+910.051 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 89182 72 0 0 25 0 11 0 477520432 858464256 29855 4294967295 134512640 134569956 3221224416 3221214864 1131160041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29855 13073 16 0 209570 0 vsize: 838344 [startup+920.051 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 90165 72 0 0 25 0 11 0 477520432 858464256 29891 4294967295 134512640 134569956 3221224416 3221214908 1131307616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29891 13073 16 0 209570 0 vsize: 838344 [startup+930.051 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 91139 73 0 0 25 0 11 0 477520432 858464256 29972 4294967295 134512640 134569956 3221224416 3221214760 1131351667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 29972 13073 16 0 209570 0 vsize: 838344 [startup+940.052 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 92117 73 0 0 25 0 11 0 477520432 858464256 30058 4294967295 134512640 134569956 3221224416 3221214800 1131367680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30058 13073 16 0 209570 0 vsize: 838344 [startup+950.052 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29977 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 93096 73 0 0 25 0 11 0 477520432 858464256 30137 4294967295 134512640 134569956 3221224416 3221214888 1131307697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30137 13073 16 0 209570 0 vsize: 838344 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 94074 74 0 0 25 0 11 0 477520432 858464256 30254 4294967295 134512640 134569956 3221224416 3221214808 1131259502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30254 13073 16 0 209570 0 vsize: 838344 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 95054 74 0 0 25 0 11 0 477520432 858464256 30335 4294967295 134512640 134569956 3221224416 3221214708 1131396716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30335 13073 16 0 209570 0 vsize: 838344 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 96034 75 0 0 25 0 11 0 477520432 858464256 30413 4294967295 134512640 134569956 3221224416 3221214276 1131498128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30413 13073 16 0 209570 0 vsize: 838344 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 97010 75 0 0 25 0 11 0 477520432 858464256 30480 4294967295 134512640 134569956 3221224416 3221214872 1131324378 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30480 13073 16 0 209570 0 vsize: 838344 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 97989 75 0 0 25 0 11 0 477520432 858464256 30555 4294967295 134512640 134569956 3221224416 3221214808 1131259669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30555 13073 16 0 209570 0 vsize: 838344 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 98969 75 0 0 25 0 11 0 477520432 858464256 30637 4294967295 134512640 134569956 3221224416 3221214912 1131309529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30637 13073 16 0 209570 0 vsize: 838344 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 99944 76 0 0 25 0 11 0 477520432 858464256 30729 4294967295 134512640 134569956 3221224416 3221214808 1131259538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30729 13073 16 0 209570 0 vsize: 838344 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 100923 76 0 0 25 0 11 0 477520432 858464256 30816 4294967295 134512640 134569956 3221224416 3221214808 1131259170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30816 13073 16 0 209570 0 vsize: 838344 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 101906 77 0 0 25 0 11 0 477520432 858464256 30846 4294967295 134512640 134569956 3221224416 3221214808 1131260139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30846 13073 16 0 209570 0 vsize: 838344 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 102878 77 0 0 25 0 11 0 477520432 858464256 30918 4294967295 134512640 134569956 3221224416 3221214872 1131324484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30918 13073 16 0 209570 0 vsize: 838344 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 103851 77 0 0 25 0 11 0 477520432 858464256 30997 4294967295 134512640 134569956 3221224416 3221214872 1131324385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 30997 13073 16 0 209570 0 vsize: 838344 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 104828 77 0 0 24 0 11 0 477520432 858464256 31076 4294967295 134512640 134569956 3221224416 3221214864 1131159896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31076 13073 16 0 209570 0 vsize: 838344 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 105804 77 0 0 25 0 11 0 477520432 858464256 31131 4294967295 134512640 134569956 3221224416 3221214912 1131309540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31131 13073 16 0 209570 0 vsize: 838344 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 106781 78 0 0 25 0 11 0 477520432 858464256 31211 4294967295 134512640 134569956 3221224416 3221214192 1085679302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31211 13073 16 0 209570 0 vsize: 838344 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 107755 78 0 0 25 0 11 0 477520432 858464256 31335 4294967295 134512640 134569956 3221224416 3221214872 1131324210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31335 13073 16 0 209570 0 vsize: 838344 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 108733 79 0 0 25 0 11 0 477520432 858464256 31422 4294967295 134512640 134569956 3221224416 3221214908 1131307616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31422 13073 16 0 209570 0 vsize: 838344 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 109708 79 0 0 25 0 11 0 477520432 858464256 31502 4294967295 134512640 134569956 3221224416 3221214912 1131309468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31502 13073 16 0 209570 0 vsize: 838344 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 110688 80 0 0 25 0 11 0 477520432 858464256 31604 4294967295 134512640 134569956 3221224416 3221214720 1131473748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31604 13073 16 0 209570 0 vsize: 838344 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 111667 80 0 0 25 0 11 0 477520432 858464256 31672 4294967295 134512640 134569956 3221224416 3221214864 1131159896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31672 13073 16 0 209570 0 vsize: 838344 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 112645 80 0 0 25 0 11 0 477520432 858464256 31716 4294967295 134512640 134569956 3221224416 3221214808 1131259239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31716 13073 16 0 209570 0 vsize: 838344 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 113619 81 0 0 25 0 11 0 477520432 858464256 31787 4294967295 134512640 134569956 3221224416 3221214808 1131259964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31787 13073 16 0 209570 0 vsize: 838344 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 114597 81 0 0 25 0 11 0 477520432 858464256 31895 4294967295 134512640 134569956 3221224416 3221214872 1131324476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31895 13073 16 0 209570 0 vsize: 838344 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 115571 81 0 0 25 0 11 0 477520432 858464256 31949 4294967295 134512640 134569956 3221224416 3221214808 1131260174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 31949 13073 16 0 209570 0 vsize: 838344 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 116548 82 0 0 25 0 11 0 477520432 858464256 32043 4294967295 134512640 134569956 3221224416 3221214712 1131436932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 32043 13073 16 0 209570 0 vsize: 838344 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 117526 82 0 0 25 0 11 0 477520432 858464256 32157 4294967295 134512640 134569956 3221224416 3221214808 1131259133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 32157 13073 16 0 209570 0 vsize: 838344 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 118505 82 0 0 25 0 11 0 477520432 858464256 32245 4294967295 134512640 134569956 3221224416 3221214872 1131324484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 32245 13073 16 0 209570 0 vsize: 838344 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 119484 83 0 0 25 0 11 0 477520432 858464256 32307 4294967295 134512640 134569956 3221224416 3221214864 1131159896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 32307 13073 16 0 209570 0 vsize: 838344 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29979 Raw data (stat): 29911 (java) R 29910 28546 28545 0 -1 0 18072 3 1 0 120458 83 0 0 25 0 11 0 477520432 858464256 32423 4294967295 134512640 134569956 3221224416 3221214864 1131159896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209586 32423 13073 16 0 209570 0 vsize: 838344 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.14 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 29981 Raw data (stat): 29911 (java) Z 29910 28546 28545 0 -1 1036 18072 16069 1 0 120459 89 3008 43 25 0 1 0 477520432 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): 1230.14 CPU time (s): 1236 CPU user time (s): 1234.67 CPU system time (s): 1.3278 CPU usage (%): 100.477 Max. virtual memory (Kb): 838832 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####