Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb |
MD5SUM | bc3b48d8361bf44c5b17a3bc4d19364a |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29631666774144 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29631666774144 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.42678 |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-20 21:44:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14010 boxname=wulflinc12 idbench=1078 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bc3b48d8361bf44c5b17a3bc4d19364a /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3700.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3700.opb IDLAUNCH: 14010 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 474488 kB Buffers: 35476 kB Cached: 501312 kB SwapCached: 4 kB Active: 235460 kB Inactive: 304108 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 474236 kB SwapTotal: 2097136 kB SwapFree: 2097044 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6816 kB Slab: 14944 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:06:02 (client local time) WITH STATUS 143 IN 1312 SECONDS stats: 14010 7 1312 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3700.opb c reading problem c [nbvar=155000] c [nbconstr=5150] #### 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.88 0.94 0.90 2/54 14110 Raw data (stat): 14110 (runsolver) R 14109 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481549721 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.90 0.94 0.90 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 893 41 0 0 25 0 10 0 481549721 853377024 19103 4294967295 134512640 134569956 3221224400 3221213756 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208344 19103 13073 16 0 208328 0 vsize: 833376 [startup+20.0017 s] Raw data (loadavg): 0.91 0.94 0.90 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 1781 42 0 0 25 0 10 0 481549721 853569536 19626 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 19626 13073 16 0 208375 0 vsize: 833564 [startup+30.0026 s] Raw data (loadavg): 0.92 0.94 0.90 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 2684 42 0 0 25 0 10 0 481549721 853569536 20042 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20042 13073 16 0 208375 0 vsize: 833564 [startup+40.0024 s] Raw data (loadavg): 0.94 0.95 0.90 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 3613 43 0 0 24 0 10 0 481549721 853569536 20271 4294967295 134512640 134569956 3221224400 3221214824 1131215692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20271 13073 16 0 208375 0 vsize: 833564 [startup+50.0023 s] Raw data (loadavg): 0.95 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 4545 43 0 0 25 0 10 0 481549721 853569536 20385 4294967295 134512640 134569956 3221224400 3221214824 1131215484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20385 13073 16 0 208375 0 vsize: 833564 [startup+60.0022 s] Raw data (loadavg): 0.95 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 5476 43 0 0 25 0 10 0 481549721 853569536 20481 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20481 13073 16 0 208375 0 vsize: 833564 [startup+70.0031 s] Raw data (loadavg): 0.96 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 6418 43 0 0 25 0 10 0 481549721 853569536 20696 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20696 13073 16 0 208375 0 vsize: 833564 [startup+80.0039 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 7365 44 0 0 25 0 10 0 481549721 853569536 20773 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 20773 13073 16 0 208375 0 vsize: 833564 [startup+90.0038 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 8311 44 0 0 25 0 10 0 481549721 853569536 20847 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20847 13073 16 0 208375 0 vsize: 833564 [startup+100.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 9259 44 0 0 25 0 10 0 481549721 853569536 20912 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20912 13073 16 0 208375 0 vsize: 833564 [startup+110.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 10208 45 0 0 25 0 10 0 481549721 853569536 20972 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 20972 13073 16 0 208375 0 vsize: 833564 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 11155 45 0 0 25 0 10 0 481549721 853569536 21033 4294967295 134512640 134569956 3221224400 3221214308 1079300849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21033 13073 16 0 208375 0 vsize: 833564 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 12103 46 0 0 25 0 10 0 481549721 853569536 21087 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21087 13073 16 0 208375 0 vsize: 833564 [startup+140.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 13052 46 0 0 25 0 10 0 481549721 853569536 21139 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 21139 13073 16 0 208375 0 vsize: 833564 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 13998 46 0 0 25 0 10 0 481549721 853569536 21192 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21192 13073 16 0 208375 0 vsize: 833564 [startup+160.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 14946 47 0 0 25 0 10 0 481549721 853569536 21241 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21241 13073 16 0 208375 0 vsize: 833564 [startup+170.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 15885 47 0 0 24 0 10 0 481549721 853569536 21290 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21290 13073 16 0 208375 0 vsize: 833564 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 16811 47 0 0 25 0 10 0 481549721 853569536 21334 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21334 13073 16 0 208375 0 vsize: 833564 [startup+190.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 17741 48 0 0 25 0 10 0 481549721 853569536 21633 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21633 13073 16 0 208375 0 vsize: 833564 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 18686 48 0 0 25 0 10 0 481549721 853569536 21675 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21675 13073 16 0 208375 0 vsize: 833564 [startup+210.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 19628 48 0 0 25 0 10 0 481549721 853569536 21719 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21719 13073 16 0 208375 0 vsize: 833564 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 20571 49 0 0 25 0 10 0 481549721 853569536 21759 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21759 13073 16 0 208375 0 vsize: 833564 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 21512 49 0 0 20 0 10 0 481549721 853569536 21800 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21800 13073 16 0 208375 0 vsize: 833564 [startup+240.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 22455 49 0 0 25 0 10 0 481549721 853569536 21838 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21838 13073 16 0 208375 0 vsize: 833564 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 23398 49 0 0 25 0 10 0 481549721 853569536 21875 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21875 13073 16 0 208375 0 vsize: 833564 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 24336 50 0 0 25 0 10 0 481549721 853569536 21913 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21913 13073 16 0 208375 0 vsize: 833564 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 25279 50 0 0 25 0 10 0 481549721 853569536 21949 4294967295 134512640 134569956 3221224400 3221214700 1079677979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21949 13073 16 0 208375 0 vsize: 833564 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 26216 50 0 0 24 0 10 0 481549721 853569536 21986 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 21986 13073 16 0 208375 0 vsize: 833564 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 27156 51 0 0 25 0 10 0 481549721 853569536 22021 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22021 13073 16 0 208375 0 vsize: 833564 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 28097 51 0 0 25 0 10 0 481549721 853569536 22055 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22055 13073 16 0 208375 0 vsize: 833564 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 29033 51 0 0 25 0 10 0 481549721 853569536 22090 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22090 13073 16 0 208375 0 vsize: 833564 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 29973 52 0 0 25 0 10 0 481549721 853569536 22123 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22123 13073 16 0 208375 0 vsize: 833564 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 30913 52 0 0 25 0 10 0 481549721 853569536 22155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22155 13073 16 0 208375 0 vsize: 833564 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 31848 52 0 0 25 0 10 0 481549721 853569536 22189 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22189 13073 16 0 208375 0 vsize: 833564 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 32787 53 0 0 25 0 10 0 481549721 853569536 22220 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22220 13073 16 0 208375 0 vsize: 833564 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 33725 53 0 0 25 0 10 0 481549721 853569536 22251 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22251 13073 16 0 208375 0 vsize: 833564 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 34659 53 0 0 24 0 10 0 481549721 853569536 22284 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22284 13073 16 0 208375 0 vsize: 833564 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 35596 53 0 0 25 0 10 0 481549721 853569536 22314 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22314 13073 16 0 208375 0 vsize: 833564 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 36533 54 0 0 25 0 10 0 481549721 853569536 22344 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22344 13073 16 0 208375 0 vsize: 833564 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 37465 54 0 0 25 0 10 0 481549721 853569536 22374 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22374 13073 16 0 208375 0 vsize: 833564 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 38401 54 0 0 25 0 10 0 481549721 853569536 22403 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22403 13073 16 0 208375 0 vsize: 833564 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 39336 55 0 0 25 0 10 0 481549721 853569536 22431 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22431 13073 16 0 208375 0 vsize: 833564 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 40272 55 0 0 25 0 10 0 481549721 853569536 22459 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22459 13073 16 0 208375 0 vsize: 833564 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 41203 55 0 0 25 0 10 0 481549721 853569536 22488 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22488 13073 16 0 208375 0 vsize: 833564 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 42137 55 0 0 25 0 10 0 481549721 853569536 22516 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22516 13073 16 0 208375 0 vsize: 833564 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 43071 56 0 0 25 0 10 0 481549721 853569536 22543 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22543 13073 16 0 208375 0 vsize: 833564 [startup+470.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 44004 56 0 0 25 0 10 0 481549721 853569536 22570 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22570 13073 16 0 208375 0 vsize: 833564 [startup+480.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 44937 56 0 0 25 0 10 0 481549721 853569536 22596 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22596 13073 16 0 208375 0 vsize: 833564 [startup+490.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 45869 57 0 0 25 0 10 0 481549721 853569536 22622 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22622 13073 16 0 208375 0 vsize: 833564 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 46801 57 0 0 25 0 10 0 481549721 853569536 22648 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22648 13073 16 0 208375 0 vsize: 833564 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 47732 58 0 0 25 0 10 0 481549721 853569536 22674 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22674 13073 16 0 208375 0 vsize: 833564 [startup+520.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 48661 58 0 0 25 0 10 0 481549721 853569536 22699 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22699 13073 16 0 208375 0 vsize: 833564 [startup+530.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 49591 59 0 0 24 0 10 0 481549721 853569536 22726 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22726 13073 16 0 208375 0 vsize: 833564 [startup+540.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 50521 59 0 0 24 0 10 0 481549721 853569536 22750 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22750 13073 16 0 208375 0 vsize: 833564 [startup+550.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 51450 60 0 0 25 0 10 0 481549721 853569536 22776 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22776 13073 16 0 208375 0 vsize: 833564 [startup+560.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 52379 61 0 0 25 0 10 0 481549721 853569536 22800 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22800 13073 16 0 208375 0 vsize: 833564 [startup+570.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 53308 61 0 0 25 0 10 0 481549721 853569536 22824 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22824 13073 16 0 208375 0 vsize: 833564 [startup+580.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 54237 62 0 0 25 0 10 0 481549721 853569536 22848 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22848 13073 16 0 208375 0 vsize: 833564 [startup+590.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 55165 63 0 0 25 0 10 0 481549721 853569536 22872 4294967295 134512640 134569956 3221224400 3221214808 1131218083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22872 13073 16 0 208375 0 vsize: 833564 [startup+600.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 56093 63 0 0 25 0 10 0 481549721 853569536 22896 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22896 13073 16 0 208375 0 vsize: 833564 [startup+610.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 57019 64 0 0 25 0 10 0 481549721 853569536 22919 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22919 13073 16 0 208375 0 vsize: 833564 [startup+620.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 57947 64 0 0 25 0 10 0 481549721 853569536 22942 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22942 13073 16 0 208375 0 vsize: 833564 [startup+630.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 58873 65 0 0 25 0 10 0 481549721 853569536 22965 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22965 13073 16 0 208375 0 vsize: 833564 [startup+640.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 59800 65 0 0 25 0 10 0 481549721 853569536 22987 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 22987 13073 16 0 208375 0 vsize: 833564 [startup+650.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 60726 66 0 0 25 0 10 0 481549721 853569536 23010 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 23010 13073 16 0 208375 0 vsize: 833564 [startup+660.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 61653 66 0 0 25 0 10 0 481549721 853569536 23036 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 23036 13073 16 0 208375 0 vsize: 833564 [startup+670.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 62571 66 0 0 25 0 10 0 481549721 853569536 24071 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24071 13073 16 0 208375 0 vsize: 833564 [startup+680.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 63498 67 0 0 25 0 10 0 481549721 853569536 24071 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24071 13073 16 0 208375 0 vsize: 833564 [startup+690.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 64416 67 0 0 25 0 10 0 481549721 853569536 24078 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24078 13073 16 0 208375 0 vsize: 833564 [startup+700.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 65337 67 0 0 25 0 10 0 481549721 853569536 24115 4294967295 134512640 134569956 3221224400 3221214368 1079668994 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24115 13073 16 0 208375 0 vsize: 833564 [startup+710.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 66252 68 0 0 25 0 10 0 481549721 853569536 24142 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24142 13073 16 0 208375 0 vsize: 833564 [startup+720.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 67165 68 0 0 25 0 10 0 481549721 853569536 24169 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24169 13073 16 0 208375 0 vsize: 833564 [startup+730.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 68080 68 0 0 24 0 10 0 481549721 853569536 24194 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24194 13073 16 0 208375 0 vsize: 833564 [startup+740.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 69000 69 0 0 25 0 10 0 481549721 853569536 24217 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24217 13073 16 0 208375 0 vsize: 833564 [startup+750.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 69914 69 0 0 25 0 10 0 481549721 853569536 24238 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24238 13073 16 0 208375 0 vsize: 833564 [startup+760.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 70827 69 0 0 25 0 10 0 481549721 853569536 24269 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24269 13073 16 0 208375 0 vsize: 833564 [startup+770.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 71740 69 0 0 24 0 10 0 481549721 853569536 24293 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24293 13073 16 0 208375 0 vsize: 833564 [startup+780.055 s] Raw data (loadavg): 1.07 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 72659 69 0 0 25 0 10 0 481549721 853569536 24317 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24317 13073 16 0 208375 0 vsize: 833564 [startup+790.055 s] Raw data (loadavg): 1.06 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 73572 69 0 0 25 0 10 0 481549721 853569536 24337 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24337 13073 16 0 208375 0 vsize: 833564 [startup+800.055 s] Raw data (loadavg): 1.05 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 74487 70 0 0 25 0 10 0 481549721 853569536 24356 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24356 13073 16 0 208375 0 vsize: 833564 [startup+810.057 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 75401 71 0 0 25 0 10 0 481549721 853569536 24389 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24389 13073 16 0 208375 0 vsize: 833564 [startup+820.057 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 76312 71 0 0 25 0 10 0 481549721 853569536 24412 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24412 13073 16 0 208375 0 vsize: 833564 [startup+830.067 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 77230 71 0 0 25 0 10 0 481549721 853569536 24431 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24431 13073 16 0 208375 0 vsize: 833564 [startup+840.068 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 78140 72 0 0 25 0 10 0 481549721 853569536 24460 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24460 13073 16 0 208375 0 vsize: 833564 [startup+850.076 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 79054 72 0 0 25 0 10 0 481549721 853569536 24480 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24480 13073 16 0 208375 0 vsize: 833564 [startup+860.077 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 79967 73 0 0 25 0 10 0 481549721 853569536 24505 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24505 13073 16 0 208375 0 vsize: 833564 [startup+870.19 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 80888 74 0 0 25 0 10 0 481549721 853569536 24524 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24524 13073 16 0 208375 0 vsize: 833564 [startup+880.19 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 81803 74 0 0 25 0 10 0 481549721 853569536 24550 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24550 13073 16 0 208375 0 vsize: 833564 [startup+890.191 s] Raw data (loadavg): 1.09 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 82712 75 0 0 25 0 10 0 481549721 853569536 24574 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24574 13073 16 0 208375 0 vsize: 833564 [startup+900.191 s] Raw data (loadavg): 1.08 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 83627 75 0 0 25 0 10 0 481549721 853569536 24592 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24592 13073 16 0 208375 0 vsize: 833564 [startup+910.204 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 84537 75 0 0 25 0 10 0 481549721 853569536 24617 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24617 13073 16 0 208375 0 vsize: 833564 [startup+920.204 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 85445 76 0 0 25 0 10 0 481549721 853569536 24641 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24641 13073 16 0 208375 0 vsize: 833564 [startup+930.209 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 86360 77 0 0 25 0 10 0 481549721 853569536 24659 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24659 13073 16 0 208375 0 vsize: 833564 [startup+940.21 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 87267 77 0 0 24 0 10 0 481549721 853569536 24684 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24684 13073 16 0 208375 0 vsize: 833564 [startup+950.225 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 88181 78 0 0 25 0 10 0 481549721 853569536 24701 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208391 24701 13073 16 0 208375 0 vsize: 833564 [startup+960.226 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 14119 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 89088 78 0 0 25 0 10 0 481549721 853569536 24728 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24728 13073 16 0 208375 0 vsize: 833564 [startup+970.229 s] Raw data (loadavg): 1.10 1.02 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 89991 82 0 0 22 0 10 0 481549721 853569536 24750 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24750 13073 16 0 208375 0 vsize: 833564 [startup+980.239 s] Raw data (loadavg): 1.08 1.02 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 90897 82 0 0 19 0 10 0 481549721 853569536 24770 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24770 13073 16 0 208375 0 vsize: 833564 [startup+990.239 s] Raw data (loadavg): 1.15 1.03 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 91807 83 0 0 22 0 10 0 481549721 853569536 24792 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24792 13073 16 0 208375 0 vsize: 833564 [startup+1000.24 s] Raw data (loadavg): 1.12 1.03 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 92713 83 0 0 19 0 10 0 481549721 853569536 24811 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24811 13073 16 0 208375 0 vsize: 833564 [startup+1010.25 s] Raw data (loadavg): 1.10 1.03 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 93624 84 0 0 22 0 10 0 481549721 853569536 24833 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24833 13073 16 0 208375 0 vsize: 833564 [startup+1020.25 s] Raw data (loadavg): 1.09 1.03 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 94527 84 0 0 20 0 10 0 481549721 853569536 24853 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24853 13073 16 0 208375 0 vsize: 833564 [startup+1030.25 s] Raw data (loadavg): 1.07 1.03 0.93 2/63 14172 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 95437 84 0 0 23 0 10 0 481549721 853569536 24870 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24870 13073 16 0 208375 0 vsize: 833564 [startup+1040.25 s] Raw data (loadavg): 1.06 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 96340 85 0 0 20 0 10 0 481549721 853569536 24898 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24898 13073 16 0 208375 0 vsize: 833564 [startup+1050.25 s] Raw data (loadavg): 1.05 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 97251 85 0 0 23 0 10 0 481549721 853569536 24916 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24916 13073 16 0 208375 0 vsize: 833564 [startup+1060.25 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 98155 86 0 0 20 0 10 0 481549721 853569536 24940 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24940 13073 16 0 208375 0 vsize: 833564 [startup+1070.25 s] Raw data (loadavg): 1.04 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 99064 86 0 0 23 0 10 0 481549721 853569536 24960 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24960 13073 16 0 208375 0 vsize: 833564 [startup+1080.25 s] Raw data (loadavg): 1.03 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 99965 86 0 0 20 0 10 0 481549721 853569536 24982 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 24982 13073 16 0 208375 0 vsize: 833564 [startup+1090.25 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 100871 87 0 0 23 0 10 0 481549721 853569536 25001 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25001 13073 16 0 208375 0 vsize: 833564 [startup+1100.25 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 101773 88 0 0 20 0 10 0 481549721 853569536 25019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25019 13073 16 0 208375 0 vsize: 833564 [startup+1110.26 s] Raw data (loadavg): 1.02 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 102681 88 0 0 23 0 10 0 481549721 853569536 25041 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25041 13073 16 0 208375 0 vsize: 833564 [startup+1120.26 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 103583 88 0 0 20 0 10 0 481549721 853569536 25062 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25062 13073 16 0 208375 0 vsize: 833564 [startup+1130.26 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 104491 89 0 0 23 0 10 0 481549721 853569536 25081 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25081 13073 16 0 208375 0 vsize: 833564 [startup+1140.26 s] Raw data (loadavg): 1.01 1.02 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 105392 89 0 0 20 0 10 0 481549721 853569536 25103 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25103 13073 16 0 208375 0 vsize: 833564 [startup+1150.26 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 106298 89 0 0 23 0 10 0 481549721 853569536 25122 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25122 13073 16 0 208375 0 vsize: 833564 [startup+1160.26 s] Raw data (loadavg): 1.01 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 107199 90 0 0 19 0 10 0 481549721 853569536 25139 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25139 13073 16 0 208375 0 vsize: 833564 [startup+1170.26 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 108105 90 0 0 23 0 10 0 481549721 853569536 25162 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25162 13073 16 0 208375 0 vsize: 833564 [startup+1180.26 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 109005 91 0 0 19 0 10 0 481549721 853569536 25181 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25181 13073 16 0 208375 0 vsize: 833564 [startup+1190.26 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 109911 91 0 0 21 0 10 0 481549721 853569536 25198 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25198 13073 16 0 208375 0 vsize: 833564 [startup+1200.27 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 110811 92 0 0 19 0 10 0 481549721 853569536 25220 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25220 13073 16 0 208375 0 vsize: 833564 [startup+1210.27 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 111715 92 0 0 21 0 10 0 481549721 853569536 25240 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25240 13073 16 0 208375 0 vsize: 833564 [startup+1220.27 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 112616 93 0 0 23 0 10 0 481549721 853569536 25258 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25258 13073 16 0 208375 0 vsize: 833564 [startup+1230.27 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 113514 93 0 0 20 0 10 0 481549721 853569536 25276 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25276 13073 16 0 208375 0 vsize: 833564 [startup+1240.27 s] Raw data (loadavg): 1.00 1.01 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 114419 94 0 0 22 0 10 0 481549721 853569536 25294 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25294 13073 16 0 208375 0 vsize: 833564 [startup+1250.27 s] Raw data (loadavg): 1.00 1.00 0.93 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 115317 94 0 0 19 0 10 0 481549721 853569536 25310 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25310 13073 16 0 208375 0 vsize: 833564 [startup+1260.27 s] Raw data (loadavg): 1.08 1.02 0.94 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 116221 94 0 0 21 0 10 0 481549721 853569536 25325 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25325 13073 16 0 208375 0 vsize: 833564 [startup+1270.28 s] Raw data (loadavg): 1.07 1.02 0.94 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 117126 95 0 0 23 0 10 0 481549721 853569536 25352 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25352 13073 16 0 208375 0 vsize: 833564 [startup+1280.28 s] Raw data (loadavg): 1.06 1.02 0.94 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 118023 95 0 0 19 0 10 0 481549721 853569536 25369 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25369 13073 16 0 208375 0 vsize: 833564 [startup+1290.28 s] Raw data (loadavg): 1.05 1.02 0.94 2/63 14174 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 118926 96 0 0 21 0 10 0 481549721 853569536 25392 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25392 13073 16 0 208375 0 vsize: 833564 [startup+1300.28 s] Raw data (loadavg): 1.04 1.02 0.94 2/63 14176 Raw data (stat): 14110 (java) S 14109 25285 25284 0 -1 0 17978 0 1 0 119829 97 0 0 24 0 10 0 481549721 853569536 25406 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25406 13073 16 0 208375 0 vsize: 833564 [startup+1310.28 s] Raw data (loadavg): 1.03 1.02 0.94 2/63 14176 Raw data (stat): 14110 (java) R 14109 25285 25284 0 -1 0 17978 0 1 0 120728 97 0 0 20 0 10 0 481549721 853569536 25435 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208391 25435 13073 16 0 208375 0 vsize: 833564 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.34 s] Raw data (loadavg): 1.03 1.02 0.94 1/54 14177 Raw data (stat): 14110 (java) Z 14109 25285 25284 0 -1 1036 17978 7919 1 0 120729 102 10324 43 21 0 1 0 481549721 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.34 CPU time (s): 1312 CPU user time (s): 1310.54 CPU system time (s): 1.46178 CPU usage (%): 100.127 Max. virtual memory (Kb): 833564 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####