Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb |
MD5SUM | bc671f4c524beaee23c3249abe841ea7 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1048576000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 197065212145430 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.11168 |
Number of variables | 36471 |
Total number of constraints | 7608 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2915 |
Number of constraints which are nor clauses,nor cardinality constraints | 4693 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34870 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-20 22:34:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19860 boxname=wulflinc23 idbench=1528 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bc671f4c524beaee23c3249abe841ea7 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-swath3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-swath3.opb IDLAUNCH: 19860 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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.037 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: 645732 kB Buffers: 32644 kB Cached: 319308 kB SwapCached: 628 kB Active: 63992 kB Inactive: 290132 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 645480 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5220 kB Slab: 29024 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:55:31 (client local time) WITH STATUS 143 IN 1272.14 SECONDS stats: 19860 7 1272.14 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-swath3.opb c reading problem c [nbvar=36471] c [nbconstr=7608] c time 418.348 c #vars 36471 c #clauses 5005 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.93 0.90 2/54 23569 Raw data (stat): 23569 (runsolver) R 23568 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540077059 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.87 0.93 0.90 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 861 39 0 0 25 0 10 0 540077059 857292800 20140 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209300 20140 13073 16 0 209284 0 vsize: 837200 [startup+20.0016 s] Raw data (loadavg): 0.89 0.94 0.90 2/63 23578 Raw data (stat): 23569 (java) S 23568 3260 3259 0 -1 0 18004 0 1 0 1740 39 0 0 25 0 10 0 540077059 856801280 20549 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 20549 13073 16 0 209164 0 vsize: 836720 [startup+30.0028 s] Raw data (loadavg): 0.90 0.94 0.90 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 2616 40 0 0 25 0 10 0 540077059 856801280 21210 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 21210 13073 16 0 209164 0 vsize: 836720 [startup+40.0029 s] Raw data (loadavg): 0.92 0.94 0.90 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 3533 40 0 0 25 0 10 0 540077059 856801280 21485 4294967295 134512640 134569956 3221224400 3221214760 1131210881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 21485 13073 16 0 209164 0 vsize: 836720 [startup+50.0035 s] Raw data (loadavg): 0.93 0.94 0.90 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 4454 40 0 0 25 0 10 0 540077059 856801280 21606 4294967295 134512640 134569956 3221224400 3221214840 1131300892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 21606 13073 16 0 209164 0 vsize: 836720 [startup+60.0037 s] Raw data (loadavg): 0.94 0.94 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 5368 40 0 0 25 0 10 0 540077059 856801280 21718 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 21718 13073 16 0 209164 0 vsize: 836720 [startup+70.0124 s] Raw data (loadavg): 0.95 0.94 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 6291 41 0 0 25 0 10 0 540077059 856801280 21839 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 21839 13073 16 0 209164 0 vsize: 836720 [startup+80.0241 s] Raw data (loadavg): 0.96 0.94 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 7219 41 0 0 25 0 10 0 540077059 856801280 22037 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22037 13073 16 0 209164 0 vsize: 836720 [startup+90.0247 s] Raw data (loadavg): 0.96 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 8149 42 0 0 24 0 10 0 540077059 856801280 22140 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22140 13073 16 0 209164 0 vsize: 836720 [startup+100.027 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 9086 43 0 0 25 0 10 0 540077059 856801280 22230 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22230 13073 16 0 209164 0 vsize: 836720 [startup+110.031 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 10019 43 0 0 25 0 10 0 540077059 856801280 22321 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22321 13073 16 0 209164 0 vsize: 836720 [startup+120.032 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 10952 44 0 0 25 0 10 0 540077059 856801280 22405 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22405 13073 16 0 209164 0 vsize: 836720 [startup+130.032 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 11889 44 0 0 25 0 10 0 540077059 856801280 22479 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22479 13073 16 0 209164 0 vsize: 836720 [startup+140.032 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 12823 44 0 0 25 0 10 0 540077059 856801280 22555 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22555 13073 16 0 209164 0 vsize: 836720 [startup+150.031 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 13755 45 0 0 25 0 10 0 540077059 856801280 22627 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22627 13073 16 0 209164 0 vsize: 836720 [startup+160.033 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 14693 45 0 0 25 0 10 0 540077059 856801280 22692 4294967295 134512640 134569956 3221224400 3221214112 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22692 13073 16 0 209164 0 vsize: 836720 [startup+170.033 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 15626 46 0 0 25 0 10 0 540077059 856801280 22759 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22759 13073 16 0 209164 0 vsize: 836720 [startup+180.033 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 16558 46 0 0 25 0 10 0 540077059 856801280 22824 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22824 13073 16 0 209164 0 vsize: 836720 [startup+190.033 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 17481 46 0 0 25 0 10 0 540077059 856801280 22883 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22883 13073 16 0 209164 0 vsize: 836720 [startup+200.034 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) S 23568 3260 3259 0 -1 0 18004 0 1 0 18394 47 0 0 25 0 10 0 540077059 856801280 22941 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 22941 13073 16 0 209164 0 vsize: 836720 [startup+210.034 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 19321 47 0 0 25 0 10 0 540077059 856801280 23165 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23165 13073 16 0 209164 0 vsize: 836720 [startup+220.034 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 20250 47 0 0 25 0 10 0 540077059 856801280 23222 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23222 13073 16 0 209164 0 vsize: 836720 [startup+230.035 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 21182 48 0 0 25 0 10 0 540077059 856801280 23274 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23274 13073 16 0 209164 0 vsize: 836720 [startup+240.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 22110 48 0 0 25 0 10 0 540077059 856801280 23329 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23329 13073 16 0 209164 0 vsize: 836720 [startup+250.035 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 23042 48 0 0 25 0 10 0 540077059 856801280 23379 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23379 13073 16 0 209164 0 vsize: 836720 [startup+260.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 23969 48 0 0 25 0 10 0 540077059 856801280 23431 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23431 13073 16 0 209164 0 vsize: 836720 [startup+270.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 24895 49 0 0 24 0 10 0 540077059 856801280 23482 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23482 13073 16 0 209164 0 vsize: 836720 [startup+280.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 25825 49 0 0 25 0 10 0 540077059 856801280 23529 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23529 13073 16 0 209164 0 vsize: 836720 [startup+290.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 26750 49 0 0 25 0 10 0 540077059 856801280 23578 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23578 13073 16 0 209164 0 vsize: 836720 [startup+300.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 27679 49 0 0 25 0 10 0 540077059 856801280 23623 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23623 13073 16 0 209164 0 vsize: 836720 [startup+310.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 28602 50 0 0 24 0 10 0 540077059 856801280 23670 4294967295 134512640 134569956 3221224400 3221214280 1131178506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23670 13073 16 0 209164 0 vsize: 836720 [startup+320.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 29537 50 0 0 25 0 10 0 540077059 856801280 23710 4294967295 134512640 134569956 3221224400 3221214280 1131178443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23710 13073 16 0 209164 0 vsize: 836720 [startup+330.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 30472 50 0 0 25 0 10 0 540077059 856801280 23750 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23750 13073 16 0 209164 0 vsize: 836720 [startup+340.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 31405 51 0 0 24 0 10 0 540077059 856801280 23780 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23780 13073 16 0 209164 0 vsize: 836720 [startup+350.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 32340 51 0 0 25 0 10 0 540077059 856801280 23806 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23806 13073 16 0 209164 0 vsize: 836720 [startup+360.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 33276 51 0 0 25 0 10 0 540077059 856801280 23830 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23830 13073 16 0 209164 0 vsize: 836720 [startup+370.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18004 0 1 0 34207 52 0 0 24 0 10 0 540077059 856801280 23858 4294967295 134512640 134569956 3221224400 3221214112 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209180 23858 13073 16 0 209164 0 vsize: 836720 [startup+380.039 s] Raw data (loadavg): 1.07 0.99 0.91 3/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18104 0 1 0 35121 54 0 0 25 0 10 0 540077059 867893248 28322 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211888 28322 13073 16 0 211872 0 vsize: 847552 [startup+390.04 s] Raw data (loadavg): 1.14 1.00 0.92 3/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18104 0 1 0 36041 54 0 0 25 0 10 0 540077059 873279488 30803 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213203 30803 13073 16 0 213187 0 vsize: 852812 [startup+400.04 s] Raw data (loadavg): 1.19 1.02 0.93 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18104 0 1 0 36963 54 0 0 25 0 10 0 540077059 873578496 31133 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213276 31133 13073 16 0 213260 0 vsize: 853104 [startup+410.04 s] Raw data (loadavg): 1.16 1.02 0.93 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18104 0 1 0 37883 54 0 0 25 0 10 0 540077059 873578496 31178 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213276 31178 13073 16 0 213260 0 vsize: 853104 [startup+420.046 s] Raw data (loadavg): 1.14 1.02 0.93 2/63 23578 Raw data (stat): 23569 (java) S 23568 3260 3259 0 -1 0 18125 0 1 0 38788 58 0 0 25 0 10 0 540077059 873578496 33763 4294967295 134512640 134569956 3221224400 3221213464 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213276 33764 13073 16 0 213260 0 vsize: 853104 [startup+430.045 s] Raw data (loadavg): 1.12 1.02 0.93 2/63 23578 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18125 0 1 0 39759 58 0 0 25 0 10 0 540077059 872529920 35575 4294967295 134512640 134569956 3221224400 3221214744 1131265398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213020 35575 13073 16 0 213004 0 vsize: 852080 [startup+440.045 s] Raw data (loadavg): 1.10 1.02 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18132 0 1 0 40746 58 0 0 25 0 11 0 540077059 860475392 32525 4294967295 134512640 134569956 3221224400 3221214768 1131438195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32525 13073 16 0 210061 0 vsize: 840308 [startup+450.046 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18132 0 1 0 41740 58 0 0 25 0 11 0 540077059 860475392 32527 4294967295 134512640 134569956 3221224400 3221214696 1131265597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32527 13073 16 0 210061 0 vsize: 840308 [startup+460.046 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18132 0 1 0 42734 58 0 0 25 0 11 0 540077059 860475392 32527 4294967295 134512640 134569956 3221224400 3221214792 1131437281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32527 13073 16 0 210061 0 vsize: 840308 [startup+470.046 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 43649 59 0 0 25 0 11 0 540077059 860475392 32610 4294967295 134512640 134569956 3221224400 3221214792 1131436868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32610 13073 16 0 210061 0 vsize: 840308 [startup+480.046 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 44641 59 0 0 25 0 11 0 540077059 860475392 32611 4294967295 134512640 134569956 3221224400 3221214696 1131267204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32611 13073 16 0 210061 0 vsize: 840308 [startup+490.046 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 45610 60 0 0 25 0 11 0 540077059 860475392 32618 4294967295 134512640 134569956 3221224400 3221214664 1131615402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32618 13073 16 0 210061 0 vsize: 840308 [startup+500.046 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 46603 60 0 0 25 0 11 0 540077059 860475392 32621 4294967295 134512640 134569956 3221224400 3221214792 1131439313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32621 13073 16 0 210061 0 vsize: 840308 [startup+510.046 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 47593 60 0 0 25 0 11 0 540077059 860475392 32637 4294967295 134512640 134569956 3221224400 3221214792 1131435800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32637 13073 16 0 210061 0 vsize: 840308 [startup+520.046 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 48584 60 0 0 25 0 11 0 540077059 860475392 32638 4294967295 134512640 134569956 3221224400 3221214696 1131265325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32638 13073 16 0 210061 0 vsize: 840308 [startup+530.046 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 49578 60 0 0 25 0 11 0 540077059 860475392 32639 4294967295 134512640 134569956 3221224400 3221214696 1131265458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32639 13073 16 0 210061 0 vsize: 840308 [startup+540.046 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 50570 60 0 0 25 0 11 0 540077059 860475392 32655 4294967295 134512640 134569956 3221224400 3221214696 1131266280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32655 13073 16 0 210061 0 vsize: 840308 [startup+550.046 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 51560 60 0 0 25 0 11 0 540077059 860475392 32657 4294967295 134512640 134569956 3221224400 3221214696 1131265195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32657 13073 16 0 210061 0 vsize: 840308 [startup+560.047 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 52552 60 0 0 25 0 11 0 540077059 860475392 32659 4294967295 134512640 134569956 3221224400 3221214792 1131437281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32659 13073 16 0 210061 0 vsize: 840308 [startup+570.047 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 53543 61 0 0 25 0 11 0 540077059 860475392 32675 4294967295 134512640 134569956 3221224400 3221214792 1131439313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32675 13073 16 0 210061 0 vsize: 840308 [startup+580.047 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 54535 61 0 0 25 0 11 0 540077059 860475392 32677 4294967295 134512640 134569956 3221224400 3221214792 1131438099 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32677 13073 16 0 210061 0 vsize: 840308 [startup+590.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 55524 61 0 0 25 0 11 0 540077059 860475392 32680 4294967295 134512640 134569956 3221224400 3221214792 1131437336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32680 13073 16 0 210061 0 vsize: 840308 [startup+600.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 56512 61 0 0 25 0 11 0 540077059 860475392 32683 4294967295 134512640 134569956 3221224400 3221214784 1131228591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32683 13073 16 0 210061 0 vsize: 840308 [startup+610.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 57501 61 0 0 25 0 11 0 540077059 860475392 32701 4294967295 134512640 134569956 3221224400 3221214664 1131615364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32701 13073 16 0 210061 0 vsize: 840308 [startup+620.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 58492 61 0 0 24 0 11 0 540077059 860475392 32704 4294967295 134512640 134569956 3221224400 3221214696 1131265276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32704 13073 16 0 210061 0 vsize: 840308 [startup+630.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 59480 61 0 0 25 0 11 0 540077059 860475392 32707 4294967295 134512640 134569956 3221224400 3221214696 1131265597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32707 13073 16 0 210061 0 vsize: 840308 [startup+640.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 60468 61 0 0 25 0 11 0 540077059 860475392 32711 4294967295 134512640 134569956 3221224400 3221214656 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32711 13073 16 0 210061 0 vsize: 840308 [startup+650.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 61455 62 0 0 25 0 11 0 540077059 860475392 32729 4294967295 134512640 134569956 3221224400 3221214792 1131439251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32729 13073 16 0 210061 0 vsize: 840308 [startup+660.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 62446 62 0 0 25 0 11 0 540077059 860475392 32731 4294967295 134512640 134569956 3221224400 3221214792 1131435781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32731 13073 16 0 210061 0 vsize: 840308 [startup+670.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 63433 62 0 0 24 0 11 0 540077059 860475392 32737 4294967295 134512640 134569956 3221224400 3221214792 1131439313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32737 13073 16 0 210061 0 vsize: 840308 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 64420 62 0 0 25 0 11 0 540077059 860475392 32741 4294967295 134512640 134569956 3221224400 3221214696 1131267226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32741 13073 16 0 210061 0 vsize: 840308 [startup+690.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 65405 62 0 0 25 0 11 0 540077059 860475392 32746 4294967295 134512640 134569956 3221224400 3221214792 1131439264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32746 13073 16 0 210061 0 vsize: 840308 [startup+700.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 66394 63 0 0 25 0 11 0 540077059 860475392 32763 4294967295 134512640 134569956 3221224400 3221214792 1131435800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32763 13073 16 0 210061 0 vsize: 840308 [startup+710.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 67378 63 0 0 25 0 11 0 540077059 860475392 32769 4294967295 134512640 134569956 3221224400 3221214696 1131265466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32769 13073 16 0 210061 0 vsize: 840308 [startup+720.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 68361 63 0 0 24 0 11 0 540077059 860475392 32776 4294967295 134512640 134569956 3221224400 3221214696 1131265304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32776 13073 16 0 210061 0 vsize: 840308 [startup+730.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 69345 63 0 0 25 0 11 0 540077059 860475392 32782 4294967295 134512640 134569956 3221224400 3221214696 1131265274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32782 13073 16 0 210061 0 vsize: 840308 [startup+740.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 70331 64 0 0 25 0 11 0 540077059 860475392 32801 4294967295 134512640 134569956 3221224400 3221214792 1131435800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32801 13073 16 0 210061 0 vsize: 840308 [startup+750.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 71312 64 0 0 25 0 11 0 540077059 860475392 32807 4294967295 134512640 134569956 3221224400 3221214696 1131265325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32807 13073 16 0 210061 0 vsize: 840308 [startup+760.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 72292 64 0 0 25 0 11 0 540077059 860475392 32816 4294967295 134512640 134569956 3221224400 3221214792 1131435793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32816 13073 16 0 210061 0 vsize: 840308 [startup+770.073 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 73269 65 0 0 25 0 11 0 540077059 860475392 32828 4294967295 134512640 134569956 3221224400 3221214696 1131265325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32828 13073 16 0 210061 0 vsize: 840308 [startup+780.073 s] Raw data (loadavg): 1.14 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 74251 65 0 0 25 0 11 0 540077059 860475392 32849 4294967295 134512640 134569956 3221224400 3221214792 1131439313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32849 13073 16 0 210061 0 vsize: 840308 [startup+790.075 s] Raw data (loadavg): 1.12 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 75225 65 0 0 25 0 11 0 540077059 860475392 32860 4294967295 134512640 134569956 3221224400 3221214792 1131437336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32860 13073 16 0 210061 0 vsize: 840308 [startup+800.074 s] Raw data (loadavg): 1.10 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 76201 65 0 0 25 0 11 0 540077059 860475392 32873 4294967295 134512640 134569956 3221224400 3221214792 1131435599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32873 13073 16 0 210061 0 vsize: 840308 [startup+810.075 s] Raw data (loadavg): 1.08 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 77177 65 0 0 25 0 11 0 540077059 860475392 32886 4294967295 134512640 134569956 3221224400 3221214728 1131615364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32886 13073 16 0 210061 0 vsize: 840308 [startup+820.076 s] Raw data (loadavg): 1.07 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 78152 65 0 0 25 0 11 0 540077059 860475392 32919 4294967295 134512640 134569956 3221224400 3221214744 1131292480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32919 13073 16 0 210061 0 vsize: 840308 [startup+830.075 s] Raw data (loadavg): 1.06 1.03 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 79121 65 0 0 25 0 11 0 540077059 860475392 32935 4294967295 134512640 134569956 3221224400 3221214696 1131265529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32935 13073 16 0 210061 0 vsize: 840308 [startup+840.075 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 80084 66 0 0 25 0 11 0 540077059 860475392 32955 4294967295 134512640 134569956 3221224400 3221214568 1131274999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32955 13073 16 0 210061 0 vsize: 840308 [startup+850.076 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 81078 66 0 0 25 0 11 0 540077059 860475392 32957 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32957 13073 16 0 210061 0 vsize: 840308 [startup+860.076 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 82077 66 0 0 25 0 11 0 540077059 860475392 32957 4294967295 134512640 134569956 3221224400 3221214728 1131615402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32957 13073 16 0 210061 0 vsize: 840308 [startup+870.076 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 83077 66 0 0 25 0 11 0 540077059 860475392 32957 4294967295 134512640 134569956 3221224400 3221214728 1131615453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32957 13073 16 0 210061 0 vsize: 840308 [startup+880.075 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 84077 66 0 0 25 0 11 0 540077059 860475392 32957 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32957 13073 16 0 210061 0 vsize: 840308 [startup+890.076 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 85077 66 0 0 25 0 11 0 540077059 860475392 32957 4294967295 134512640 134569956 3221224400 3221214728 1131615463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32957 13073 16 0 210061 0 vsize: 840308 [startup+900.076 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 86051 67 0 0 25 0 11 0 540077059 860475392 32964 4294967295 134512640 134569956 3221224400 3221214728 1131615380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32964 13073 16 0 210061 0 vsize: 840308 [startup+910.076 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 87052 67 0 0 25 0 11 0 540077059 860475392 32964 4294967295 134512640 134569956 3221224400 3221214728 1131615402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32964 13073 16 0 210061 0 vsize: 840308 [startup+920.076 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 88052 67 0 0 25 0 11 0 540077059 860475392 32964 4294967295 134512640 134569956 3221224400 3221214728 1131615364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32964 13073 16 0 210061 0 vsize: 840308 [startup+930.076 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 89052 67 0 0 25 0 11 0 540077059 860475392 32964 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 32964 13073 16 0 210061 0 vsize: 840308 [startup+940.076 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 90052 67 0 0 25 0 11 0 540077059 860475392 32964 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 32964 13073 16 0 210061 0 vsize: 840308 [startup+950.076 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 91007 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214744 1131629781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+960.077 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 91996 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+970.077 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 92986 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+980.077 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 93985 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+990.077 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 94985 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1000.08 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 95985 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1010.08 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 96963 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214680 1131316141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1020.08 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 97964 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1030.08 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 98964 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 99964 67 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 100964 68 0 0 25 0 11 0 540077059 860475392 33857 4294967295 134512640 134569956 3221224400 3221214728 1131615376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 33857 13073 16 0 210061 0 vsize: 840308 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 101885 68 0 0 25 0 11 0 540077059 860475392 35081 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 35081 13073 16 0 210061 0 vsize: 840308 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 102849 68 0 0 21 0 11 0 540077059 860475392 35626 4294967295 134512640 134569956 3221224400 3221214828 1131587049 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35626 13073 16 0 210061 0 vsize: 840308 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 103845 68 0 0 25 0 11 0 540077059 860475392 35626 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 35626 13073 16 0 210061 0 vsize: 840308 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 104845 68 0 0 25 0 11 0 540077059 860475392 35626 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 35626 13073 16 0 210061 0 vsize: 840308 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 105845 68 0 0 25 0 11 0 540077059 860475392 35626 4294967295 134512640 134569956 3221224400 3221214728 1131615394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210077 35626 13073 16 0 210061 0 vsize: 840308 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 106845 69 0 0 25 0 11 0 540077059 860475392 35626 4294967295 134512640 134569956 3221224400 3221214728 1131615402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35626 13073 16 0 210061 0 vsize: 840308 [startup+1120.08 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 107820 69 0 0 25 0 11 0 540077059 860475392 35634 4294967295 134512640 134569956 3221224400 3221214440 1131248285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35634 13073 16 0 210061 0 vsize: 840308 [startup+1130.08 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 108795 69 0 0 25 0 11 0 540077059 860475392 35634 4294967295 134512640 134569956 3221224400 3221214600 1131703907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35634 13073 16 0 210061 0 vsize: 840308 [startup+1140.08 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 109770 69 0 0 25 0 11 0 540077059 860475392 35634 4294967295 134512640 134569956 3221224400 3221214600 1131703907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35634 13073 16 0 210061 0 vsize: 840308 [startup+1150.08 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 110745 69 0 0 25 0 11 0 540077059 860475392 35634 4294967295 134512640 134569956 3221224400 3221214600 1131741794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35634 13073 16 0 210061 0 vsize: 840308 [startup+1160.08 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18174 0 1 0 111721 69 0 0 25 0 11 0 540077059 860475392 35634 4294967295 134512640 134569956 3221224400 3221214600 1131741723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35634 13073 16 0 210061 0 vsize: 840308 [startup+1170.08 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 112695 69 0 0 25 0 11 0 540077059 860475392 35771 4294967295 134512640 134569956 3221224400 3221214600 1131703907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35771 13073 16 0 210061 0 vsize: 840308 [startup+1180.08 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 113688 69 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214600 1131743451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1190.08 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 114686 69 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214600 1131741604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1200.11 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 115687 69 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214600 1131703907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1210.12 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 116686 70 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214544 1131312121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1220.12 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 117684 70 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214600 1131703907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1230.13 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 118683 70 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214552 1131312164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1240.15 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 119683 70 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214608 1131610995 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 [startup+1250.15 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 23579 Raw data (stat): 23569 (java) R 23568 3260 3259 0 -1 0 18175 0 1 0 120682 70 0 0 25 0 11 0 540077059 860475392 35863 4294967295 134512640 134569956 3221224400 3221214608 1131610995 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210077 35863 13073 16 0 210061 0 vsize: 840308 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.24 s] Raw data (loadavg): 1.01 1.00 0.94 1/54 23581 Raw data (stat): 23569 (java) Z 23568 3260 3259 0 -1 1036 18175 32817 1 1 120682 77 6355 98 25 0 1 0 540077059 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.24 CPU time (s): 1272.14 CPU user time (s): 1270.39 CPU system time (s): 1.75873 CPU usage (%): 101.752 Max. virtual memory (Kb): 853104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####