Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
MD5SUM | 4d1c8086316d85cb5ef2a3148b52a8a1 |
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 | 85408 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6807849934732110331904 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6807849934732110331904 |
Number of bits of the biggest sum of numbers | 73 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.91486 |
Number of variables | 85198 |
Total number of constraints | 37291 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 35639 |
Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35129 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-20 20:41:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15089 boxname=wulflinc8 idbench=1161 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4d1c8086316d85cb5ef2a3148b52a8a1 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-dc1l.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-dc1l.opb IDLAUNCH: 15089 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 783632 kB Buffers: 33228 kB Cached: 194436 kB SwapCached: 0 kB Active: 91240 kB Inactive: 139328 kB HighTotal: 131008 kB HighFree: 9324 kB LowTotal: 903652 kB LowFree: 774308 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6948 kB Slab: 14752 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 21:03:36 (client local time) WITH STATUS 143 IN 1302.07 SECONDS stats: 15089 7 1302.07 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-dc1l.opb c reading problem c [nbvar=85408] c [nbconstr=37291] #### 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.79 0.91 0.69 2/54 14422 Raw data (stat): 14422 (runsolver) R 14421 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 467614743 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.001 s] Raw data (loadavg): 0.82 0.91 0.70 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 878 40 0 0 25 0 10 0 467614743 853725184 19172 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 19172 13073 16 0 208413 0 vsize: 833716 [startup+20.0107 s] Raw data (loadavg): 0.85 0.92 0.70 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 1775 40 0 0 25 0 10 0 467614743 853725184 19644 4294967295 134512640 134569956 3221224400 3221214824 1131220737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 19644 13073 16 0 208413 0 vsize: 833716 [startup+30.0163 s] Raw data (loadavg): 0.87 0.92 0.70 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 2671 41 0 0 25 0 10 0 467614743 853725184 20079 4294967295 134512640 134569956 3221224400 3221214824 1131220737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20079 13073 16 0 208413 0 vsize: 833716 [startup+40.0159 s] Raw data (loadavg): 0.89 0.92 0.70 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 3599 41 0 0 25 0 10 0 467614743 853725184 20308 4294967295 134512640 134569956 3221224400 3221214824 1131221768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20308 13073 16 0 208413 0 vsize: 833716 [startup+50.0181 s] Raw data (loadavg): 0.91 0.92 0.71 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 4528 42 0 0 25 0 10 0 467614743 853725184 20429 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20429 13073 16 0 208413 0 vsize: 833716 [startup+60.0235 s] Raw data (loadavg): 0.92 0.92 0.71 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 5459 42 0 0 25 0 10 0 467614743 853725184 20529 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20529 13073 16 0 208413 0 vsize: 833716 [startup+70.0317 s] Raw data (loadavg): 0.93 0.93 0.71 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 6401 42 0 0 25 0 10 0 467614743 853725184 20750 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20750 13073 16 0 208413 0 vsize: 833716 [startup+80.0327 s] Raw data (loadavg): 0.94 0.93 0.72 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 7348 43 0 0 25 0 10 0 467614743 853725184 20829 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20829 13073 16 0 208413 0 vsize: 833716 [startup+90.0392 s] Raw data (loadavg): 0.95 0.93 0.72 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 8296 43 0 0 25 0 10 0 467614743 853725184 20901 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20901 13073 16 0 208413 0 vsize: 833716 [startup+100.047 s] Raw data (loadavg): 0.96 0.93 0.72 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 9243 44 0 0 25 0 10 0 467614743 853725184 20971 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 20971 13073 16 0 208413 0 vsize: 833716 [startup+110.063 s] Raw data (loadavg): 0.96 0.93 0.72 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 10193 44 0 0 25 0 10 0 467614743 853725184 21033 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21033 13073 16 0 208413 0 vsize: 833716 [startup+120.064 s] Raw data (loadavg): 0.97 0.94 0.73 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 11139 44 0 0 24 0 10 0 467614743 853725184 21095 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21095 13073 16 0 208413 0 vsize: 833716 [startup+130.068 s] Raw data (loadavg): 0.97 0.94 0.73 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 12088 45 0 0 25 0 10 0 467614743 853725184 21151 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21151 13073 16 0 208413 0 vsize: 833716 [startup+140.075 s] Raw data (loadavg): 0.98 0.94 0.73 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 13038 45 0 0 25 0 10 0 467614743 853725184 21204 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21204 13073 16 0 208413 0 vsize: 833716 [startup+150.083 s] Raw data (loadavg): 0.98 0.94 0.73 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 13984 46 0 0 25 0 10 0 467614743 853725184 21259 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21259 13073 16 0 208413 0 vsize: 833716 [startup+160.089 s] Raw data (loadavg): 0.98 0.94 0.74 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 14933 46 0 0 25 0 10 0 467614743 853725184 21309 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21309 13073 16 0 208413 0 vsize: 833716 [startup+170.1 s] Raw data (loadavg): 0.98 0.94 0.74 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 15875 46 0 0 25 0 10 0 467614743 853725184 21356 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21356 13073 16 0 208413 0 vsize: 833716 [startup+180.104 s] Raw data (loadavg): 0.99 0.94 0.74 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 16801 46 0 0 25 0 10 0 467614743 853725184 21402 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21402 13073 16 0 208413 0 vsize: 833716 [startup+190.11 s] Raw data (loadavg): 0.99 0.95 0.74 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 17734 46 0 0 25 0 10 0 467614743 853725184 21702 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21702 13073 16 0 208413 0 vsize: 833716 [startup+200.119 s] Raw data (loadavg): 0.99 0.95 0.74 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 18676 47 0 0 24 0 10 0 467614743 853725184 21748 4294967295 134512640 134569956 3221224400 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21748 13073 16 0 208413 0 vsize: 833716 [startup+210.123 s] Raw data (loadavg): 0.99 0.95 0.75 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 19620 48 0 0 25 0 10 0 467614743 853725184 21791 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21791 13073 16 0 208413 0 vsize: 833716 [startup+220.129 s] Raw data (loadavg): 0.99 0.95 0.75 3/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 20565 48 0 0 25 0 10 0 467614743 853725184 21832 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21832 13073 16 0 208413 0 vsize: 833716 [startup+230.13 s] Raw data (loadavg): 0.99 0.95 0.75 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 21508 48 0 0 25 0 10 0 467614743 853725184 21872 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21872 13073 16 0 208413 0 vsize: 833716 [startup+240.13 s] Raw data (loadavg): 0.99 0.95 0.75 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 22450 49 0 0 25 0 10 0 467614743 853725184 21911 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21911 13073 16 0 208413 0 vsize: 833716 [startup+250.139 s] Raw data (loadavg): 0.99 0.95 0.75 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 23391 50 0 0 24 0 10 0 467614743 853725184 21951 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21951 13073 16 0 208413 0 vsize: 833716 [startup+260.138 s] Raw data (loadavg): 0.99 0.95 0.76 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 24333 50 0 0 25 0 10 0 467614743 853725184 21988 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 21988 13073 16 0 208413 0 vsize: 833716 [startup+270.139 s] Raw data (loadavg): 0.99 0.95 0.76 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 25275 50 0 0 25 0 10 0 467614743 853725184 22025 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22025 13073 16 0 208413 0 vsize: 833716 [startup+280.139 s] Raw data (loadavg): 0.99 0.95 0.76 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 26216 51 0 0 25 0 10 0 467614743 853725184 22060 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22060 13073 16 0 208413 0 vsize: 833716 [startup+290.147 s] Raw data (loadavg): 0.99 0.96 0.76 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 27158 51 0 0 25 0 10 0 467614743 853725184 22095 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22095 13073 16 0 208413 0 vsize: 833716 [startup+300.147 s] Raw data (loadavg): 0.99 0.96 0.76 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 28099 52 0 0 25 0 10 0 467614743 853725184 22130 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22130 13073 16 0 208413 0 vsize: 833716 [startup+310.147 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 29038 52 0 0 25 0 10 0 467614743 853725184 22164 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22164 13073 16 0 208413 0 vsize: 833716 [startup+320.156 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 29978 53 0 0 25 0 10 0 467614743 853725184 22197 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22197 13073 16 0 208413 0 vsize: 833716 [startup+330.157 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 30915 53 0 0 24 0 10 0 467614743 853725184 22232 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22232 13073 16 0 208413 0 vsize: 833716 [startup+340.157 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 31854 53 0 0 24 0 10 0 467614743 853725184 22264 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22264 13073 16 0 208413 0 vsize: 833716 [startup+350.158 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 32791 54 0 0 24 0 10 0 467614743 853725184 22296 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22296 13073 16 0 208413 0 vsize: 833716 [startup+360.158 s] Raw data (loadavg): 0.99 0.96 0.77 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 33728 54 0 0 24 0 10 0 467614743 853725184 22327 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22327 13073 16 0 208413 0 vsize: 833716 [startup+370.159 s] Raw data (loadavg): 0.99 0.96 0.78 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 34666 55 0 0 25 0 10 0 467614743 853725184 22358 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22358 13073 16 0 208413 0 vsize: 833716 [startup+380.16 s] Raw data (loadavg): 0.99 0.96 0.78 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 35603 55 0 0 25 0 10 0 467614743 853725184 22388 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22388 13073 16 0 208413 0 vsize: 833716 [startup+390.159 s] Raw data (loadavg): 0.99 0.97 0.78 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 36539 56 0 0 25 0 10 0 467614743 853725184 22417 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22417 13073 16 0 208413 0 vsize: 833716 [startup+400.161 s] Raw data (loadavg): 0.99 0.97 0.78 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 37476 56 0 0 25 0 10 0 467614743 853725184 22445 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22445 13073 16 0 208413 0 vsize: 833716 [startup+410.162 s] Raw data (loadavg): 0.99 0.97 0.78 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 38411 57 0 0 25 0 10 0 467614743 853725184 22473 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22473 13073 16 0 208413 0 vsize: 833716 [startup+420.163 s] Raw data (loadavg): 0.99 0.97 0.79 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 39345 58 0 0 25 0 10 0 467614743 853725184 22501 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22501 13073 16 0 208413 0 vsize: 833716 [startup+430.163 s] Raw data (loadavg): 0.99 0.97 0.79 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 40280 58 0 0 25 0 10 0 467614743 853725184 22529 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22529 13073 16 0 208413 0 vsize: 833716 [startup+440.162 s] Raw data (loadavg): 0.99 0.97 0.79 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 41215 59 0 0 24 0 10 0 467614743 853725184 22556 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22556 13073 16 0 208413 0 vsize: 833716 [startup+450.171 s] Raw data (loadavg): 0.99 0.97 0.79 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 42149 60 0 0 24 0 10 0 467614743 853725184 22583 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22583 13073 16 0 208413 0 vsize: 833716 [startup+460.171 s] Raw data (loadavg): 0.99 0.97 0.79 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 43083 60 0 0 25 0 10 0 467614743 853725184 22608 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22608 13073 16 0 208413 0 vsize: 833716 [startup+470.172 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 44021 60 0 0 25 0 10 0 467614743 853725184 22634 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22634 13073 16 0 208413 0 vsize: 833716 [startup+480.173 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 44954 60 0 0 25 0 10 0 467614743 853725184 22660 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22660 13073 16 0 208413 0 vsize: 833716 [startup+490.173 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 45887 61 0 0 25 0 10 0 467614743 853725184 22685 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22685 13073 16 0 208413 0 vsize: 833716 [startup+500.173 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 46818 61 0 0 25 0 10 0 467614743 853725184 22711 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22711 13073 16 0 208413 0 vsize: 833716 [startup+510.173 s] Raw data (loadavg): 0.99 0.97 0.80 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 47750 62 0 0 25 0 10 0 467614743 853725184 22736 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22736 13073 16 0 208413 0 vsize: 833716 [startup+520.176 s] Raw data (loadavg): 0.99 0.97 0.81 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 48680 62 0 0 25 0 10 0 467614743 853725184 22761 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22761 13073 16 0 208413 0 vsize: 833716 [startup+530.176 s] Raw data (loadavg): 0.99 0.97 0.81 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 49611 62 0 0 25 0 10 0 467614743 853725184 22785 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22785 13073 16 0 208413 0 vsize: 833716 [startup+540.175 s] Raw data (loadavg): 0.99 0.97 0.81 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 50541 63 0 0 24 0 10 0 467614743 853725184 22811 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22811 13073 16 0 208413 0 vsize: 833716 [startup+550.177 s] Raw data (loadavg): 0.99 0.97 0.81 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 51475 63 0 0 25 0 10 0 467614743 853725184 22834 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22834 13073 16 0 208413 0 vsize: 833716 [startup+560.177 s] Raw data (loadavg): 0.99 0.97 0.81 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 52404 63 0 0 25 0 10 0 467614743 853725184 22857 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22857 13073 16 0 208413 0 vsize: 833716 [startup+570.178 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 53333 64 0 0 25 0 10 0 467614743 853725184 22881 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22881 13073 16 0 208413 0 vsize: 833716 [startup+580.177 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 54262 64 0 0 25 0 10 0 467614743 853725184 22905 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22905 13073 16 0 208413 0 vsize: 833716 [startup+590.191 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 55191 64 0 0 25 0 10 0 467614743 853725184 22928 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22928 13073 16 0 208413 0 vsize: 833716 [startup+600.191 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 56121 65 0 0 25 0 10 0 467614743 853725184 22950 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22950 13073 16 0 208413 0 vsize: 833716 [startup+610.191 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 57051 65 0 0 25 0 10 0 467614743 853725184 22973 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22973 13073 16 0 208413 0 vsize: 833716 [startup+620.192 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 57979 65 0 0 25 0 10 0 467614743 853725184 22995 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 22995 13073 16 0 208413 0 vsize: 833716 [startup+630.192 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 58906 66 0 0 25 0 10 0 467614743 853725184 23018 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 23018 13073 16 0 208413 0 vsize: 833716 [startup+640.192 s] Raw data (loadavg): 0.99 0.97 0.82 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 59832 66 0 0 24 0 10 0 467614743 853725184 23040 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 23040 13073 16 0 208413 0 vsize: 833716 [startup+650.209 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 60766 66 0 0 25 0 10 0 467614743 853725184 23061 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 23061 13073 16 0 208413 0 vsize: 833716 [startup+660.211 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 61693 67 0 0 25 0 10 0 467614743 853725184 23083 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 23083 13073 16 0 208413 0 vsize: 833716 [startup+670.212 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 62620 67 0 0 25 0 10 0 467614743 853725184 23109 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 23109 13073 16 0 208413 0 vsize: 833716 [startup+680.215 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 63543 67 0 0 25 0 10 0 467614743 853725184 24389 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 24389 13073 16 0 208413 0 vsize: 833716 [startup+690.215 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 64467 67 0 0 25 0 10 0 467614743 853725184 24389 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24389 13073 16 0 208413 0 vsize: 833716 [startup+700.216 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 65385 67 0 0 24 0 10 0 467614743 853725184 24401 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24401 13073 16 0 208413 0 vsize: 833716 [startup+710.216 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 66306 67 0 0 25 0 10 0 467614743 853725184 24421 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24421 13073 16 0 208413 0 vsize: 833716 [startup+720.218 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 67222 67 0 0 24 0 10 0 467614743 853725184 24442 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24442 13073 16 0 208413 0 vsize: 833716 [startup+730.219 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 68143 67 0 0 25 0 10 0 467614743 853725184 24462 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24462 13073 16 0 208413 0 vsize: 833716 [startup+740.219 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 69058 67 0 0 25 0 10 0 467614743 853725184 24482 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24482 13073 16 0 208413 0 vsize: 833716 [startup+750.22 s] Raw data (loadavg): 0.99 0.97 0.83 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 69978 67 0 0 25 0 10 0 467614743 853725184 24502 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24502 13073 16 0 208413 0 vsize: 833716 [startup+760.221 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 70893 67 0 0 25 0 10 0 467614743 853725184 24522 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24522 13073 16 0 208413 0 vsize: 833716 [startup+770.222 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 71813 67 0 0 25 0 10 0 467614743 853725184 24541 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24541 13073 16 0 208413 0 vsize: 833716 [startup+780.222 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 72726 67 0 0 20 0 10 0 467614743 853725184 24563 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24563 13073 16 0 208413 0 vsize: 833716 [startup+790.222 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 73646 67 0 0 25 0 10 0 467614743 853725184 24581 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24581 13073 16 0 208413 0 vsize: 833716 [startup+800.23 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 74560 68 0 0 25 0 10 0 467614743 853725184 24601 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24601 13073 16 0 208413 0 vsize: 833716 [startup+810.231 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 75478 68 0 0 25 0 10 0 467614743 853725184 24620 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24620 13073 16 0 208413 0 vsize: 833716 [startup+820.231 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 76390 68 0 0 25 0 10 0 467614743 853725184 24640 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24640 13073 16 0 208413 0 vsize: 833716 [startup+830.233 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 77308 68 0 0 25 0 10 0 467614743 853725184 24658 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24658 13073 16 0 208413 0 vsize: 833716 [startup+840.233 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 78220 68 0 0 24 0 10 0 467614743 853725184 24678 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24678 13073 16 0 208413 0 vsize: 833716 [startup+850.234 s] Raw data (loadavg): 0.99 0.97 0.84 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 79137 68 0 0 25 0 10 0 467614743 853725184 24696 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 24696 13073 16 0 208413 0 vsize: 833716 [startup+860.238 s] Raw data (loadavg): 0.99 0.97 0.85 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 80053 68 0 0 22 0 10 0 467614743 853725184 24714 4294967295 134512640 134569956 3221224400 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24714 13073 16 0 208413 0 vsize: 833716 [startup+870.24 s] Raw data (loadavg): 1.07 0.99 0.85 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 80965 69 0 0 25 0 10 0 467614743 853725184 24733 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24733 13073 16 0 208413 0 vsize: 833716 [startup+880.241 s] Raw data (loadavg): 1.06 0.99 0.85 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 81881 69 0 0 25 0 10 0 467614743 853725184 24751 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24751 13073 16 0 208413 0 vsize: 833716 [startup+890.242 s] Raw data (loadavg): 1.05 0.99 0.85 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 82791 69 0 0 25 0 10 0 467614743 853725184 24770 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24770 13073 16 0 208413 0 vsize: 833716 [startup+900.243 s] Raw data (loadavg): 1.04 0.99 0.85 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 83707 69 0 0 25 0 10 0 467614743 853725184 24787 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24787 13073 16 0 208413 0 vsize: 833716 [startup+910.245 s] Raw data (loadavg): 1.04 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 84617 69 0 0 25 0 10 0 467614743 853725184 24805 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24805 13073 16 0 208413 0 vsize: 833716 [startup+920.246 s] Raw data (loadavg): 1.03 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 85530 69 0 0 20 0 10 0 467614743 853725184 24824 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24824 13073 16 0 208413 0 vsize: 833716 [startup+930.246 s] Raw data (loadavg): 1.03 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 86445 69 0 0 25 0 10 0 467614743 853725184 24841 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24841 13073 16 0 208413 0 vsize: 833716 [startup+940.247 s] Raw data (loadavg): 1.02 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 87354 70 0 0 24 0 10 0 467614743 853725184 24859 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24859 13073 16 0 208413 0 vsize: 833716 [startup+950.248 s] Raw data (loadavg): 1.02 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 88268 70 0 0 25 0 10 0 467614743 853725184 24877 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24877 13073 16 0 208413 0 vsize: 833716 [startup+960.248 s] Raw data (loadavg): 1.01 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 89181 70 0 0 25 0 10 0 467614743 853725184 24894 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24894 13073 16 0 208413 0 vsize: 833716 [startup+970.249 s] Raw data (loadavg): 1.01 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 90089 70 0 0 25 0 10 0 467614743 853725184 24912 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24912 13073 16 0 208413 0 vsize: 833716 [startup+980.263 s] Raw data (loadavg): 1.01 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 91002 70 0 0 25 0 10 0 467614743 853725184 24929 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24929 13073 16 0 208413 0 vsize: 833716 [startup+990.267 s] Raw data (loadavg): 1.01 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 91913 71 0 0 25 0 10 0 467614743 853725184 24946 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24946 13073 16 0 208413 0 vsize: 833716 [startup+1000.27 s] Raw data (loadavg): 1.01 0.99 0.86 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 92821 71 0 0 25 0 10 0 467614743 853725184 24963 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24963 13073 16 0 208413 0 vsize: 833716 [startup+1010.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 93733 71 0 0 25 0 10 0 467614743 853725184 24980 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24980 13073 16 0 208413 0 vsize: 833716 [startup+1020.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 94642 71 0 0 25 0 10 0 467614743 853725184 24997 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 24997 13073 16 0 208413 0 vsize: 833716 [startup+1030.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 95551 71 0 0 25 0 10 0 467614743 853725184 25015 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25015 13073 16 0 208413 0 vsize: 833716 [startup+1040.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 96463 71 0 0 25 0 10 0 467614743 853725184 25032 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25032 13073 16 0 208413 0 vsize: 833716 [startup+1050.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 97369 71 0 0 24 0 10 0 467614743 853725184 25049 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25049 13073 16 0 208413 0 vsize: 833716 [startup+1060.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 98280 71 0 0 25 0 10 0 467614743 853725184 25067 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25067 13073 16 0 208413 0 vsize: 833716 [startup+1070.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 99191 72 0 0 22 0 10 0 467614743 853725184 25083 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25083 13073 16 0 208413 0 vsize: 833716 [startup+1080.27 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14431 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 100101 72 0 0 23 0 10 0 467614743 853725184 25100 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25100 13073 16 0 208413 0 vsize: 833716 [startup+1090.27 s] Raw data (loadavg): 1.00 0.99 0.87 3/64 14432 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 101003 72 0 0 20 0 10 0 467614743 853725184 25117 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25117 13073 16 0 208413 0 vsize: 833716 [startup+1100.28 s] Raw data (loadavg): 1.00 0.99 0.87 2/63 14484 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 101899 81 0 0 19 0 10 0 467614743 853725184 25134 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 25134 13073 16 0 208413 0 vsize: 833716 [startup+1110.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14484 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 102807 81 0 0 21 0 10 0 467614743 853725184 25150 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 25150 13073 16 0 208413 0 vsize: 833716 [startup+1120.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14484 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 103716 81 0 0 24 0 10 0 467614743 853725184 25166 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 25166 13073 16 0 208413 0 vsize: 833716 [startup+1130.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14484 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 104618 82 0 0 24 0 10 0 467614743 853725184 25182 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 25182 13073 16 0 208413 0 vsize: 833716 [startup+1140.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14484 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 105522 82 0 0 19 0 10 0 467614743 853725184 25199 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208429 25199 13073 16 0 208413 0 vsize: 833716 [startup+1150.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14484 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 106431 82 0 0 21 0 10 0 467614743 853725184 25215 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25215 13073 16 0 208413 0 vsize: 833716 [startup+1160.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 107338 83 0 0 23 0 10 0 467614743 853725184 25231 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25231 13073 16 0 208413 0 vsize: 833716 [startup+1170.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14486 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 108241 83 0 0 23 0 10 0 467614743 853725184 25247 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25247 13073 16 0 208413 0 vsize: 833716 [startup+1180.28 s] Raw data (loadavg): 1.00 0.99 0.88 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 109149 83 0 0 20 0 10 0 467614743 853725184 25264 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25264 13073 16 0 208413 0 vsize: 833716 [startup+1190.28 s] Raw data (loadavg): 1.07 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 110057 83 0 0 22 0 10 0 467614743 853725184 25279 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25279 13073 16 0 208413 0 vsize: 833716 [startup+1200.28 s] Raw data (loadavg): 1.06 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 110965 83 0 0 23 0 10 0 467614743 853725184 25295 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25295 13073 16 0 208413 0 vsize: 833716 [startup+1210.29 s] Raw data (loadavg): 1.05 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) S 14421 26667 26666 0 -1 0 17981 0 1 0 111871 83 0 0 23 0 10 0 467614743 853725184 25311 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25311 13073 16 0 208413 0 vsize: 833716 [startup+1220.29 s] Raw data (loadavg): 1.04 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 112773 84 0 0 19 0 10 0 467614743 853725184 25327 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25327 13073 16 0 208413 0 vsize: 833716 [startup+1230.29 s] Raw data (loadavg): 1.04 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 113678 84 0 0 21 0 10 0 467614743 853725184 25343 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25343 13073 16 0 208413 0 vsize: 833716 [startup+1240.29 s] Raw data (loadavg): 1.03 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 114583 84 0 0 22 0 10 0 467614743 853725184 25358 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25358 13073 16 0 208413 0 vsize: 833716 [startup+1250.29 s] Raw data (loadavg): 1.02 1.00 0.89 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 115490 84 0 0 23 0 10 0 467614743 853725184 25373 4294967295 134512640 134569956 3221224400 3221214044 1077378858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25373 13073 16 0 208413 0 vsize: 833716 [startup+1260.29 s] Raw data (loadavg): 1.02 1.00 0.90 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 116389 85 0 0 19 0 10 0 467614743 853725184 25389 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25389 13073 16 0 208413 0 vsize: 833716 [startup+1270.29 s] Raw data (loadavg): 1.02 1.00 0.90 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 117295 85 0 0 19 0 10 0 467614743 853725184 25405 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25405 13073 16 0 208413 0 vsize: 833716 [startup+1280.29 s] Raw data (loadavg): 1.01 1.00 0.90 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 118201 85 0 0 20 0 10 0 467614743 853725184 25420 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25420 13073 16 0 208413 0 vsize: 833716 [startup+1290.29 s] Raw data (loadavg): 1.01 1.00 0.90 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 119107 85 0 0 22 0 10 0 467614743 853725184 25435 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25435 13073 16 0 208413 0 vsize: 833716 [startup+1300.29 s] Raw data (loadavg): 1.01 1.00 0.90 2/63 14486 Raw data (stat): 14422 (java) R 14421 26667 26666 0 -1 0 17981 0 1 0 120012 85 0 0 23 0 10 0 467614743 853725184 25450 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208429 25450 13073 16 0 208413 0 vsize: 833716 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.37 s] Raw data (loadavg): 1.01 1.00 0.90 1/54 14487 Raw data (stat): 14422 (java) Z 14421 26667 26666 0 -1 1036 17981 7734 1 0 120014 90 10056 46 23 0 1 0 467614743 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): 1300.37 CPU time (s): 1302.07 CPU user time (s): 1300.7 CPU system time (s): 1.37179 CPU usage (%): 100.131 Max. virtual memory (Kb): 833716 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####