Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb |
MD5SUM | d4e99ebd08b929dc4252a5f0acf82be9 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1048576000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 203989830597156 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.26865 |
Number of variables | 39271 |
Total number of constraints | 7608 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2495 |
Number of constraints which are nor clauses,nor cardinality constraints | 5113 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37670 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-04-20 22:35:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19834 boxname=wulflinc9 idbench=1526 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: d4e99ebd08b929dc4252a5f0acf82be9 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb IDLAUNCH: 19834 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 657284 kB Buffers: 34584 kB Cached: 319212 kB SwapCached: 8 kB Active: 43960 kB Inactive: 312640 kB HighTotal: 131008 kB HighFree: 22568 kB LowTotal: 903652 kB LowFree: 634716 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6824 kB Slab: 15028 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:56:51 (client local time) WITH STATUS 143 IN 1249.08 SECONDS stats: 19834 7 1249.08 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb c reading problem c [nbvar=39271] c [nbconstr=7608] c time 478.832 c #vars 39271 c #clauses 5405 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.87 0.97 0.93 1/54 29960 Raw data (stat): 29960 (runsolver) R 29959 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481864322 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99996 s] Raw data (loadavg): 0.89 0.97 0.93 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 879 39 0 0 25 0 10 0 481864322 857784320 20254 4294967295 134512640 134569956 3221224400 3221214512 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 20254 13073 16 0 209404 0 vsize: 837680 [startup+20.0106 s] Raw data (loadavg): 0.90 0.97 0.93 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 1771 40 0 0 25 0 10 0 481864322 857784320 20766 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209420 20766 13073 16 0 209404 0 vsize: 837680 [startup+30.0109 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 2657 40 0 0 25 0 10 0 481864322 857784320 21302 4294967295 134512640 134569956 3221224400 3221214736 1131219649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 21302 13073 16 0 209404 0 vsize: 837680 [startup+40.0122 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 3567 40 0 0 25 0 10 0 481864322 857784320 21594 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 21594 13073 16 0 209404 0 vsize: 837680 [startup+50.0135 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 4496 41 0 0 25 0 10 0 481864322 857784320 21763 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 21763 13073 16 0 209404 0 vsize: 837680 [startup+60.0135 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 5413 41 0 0 25 0 10 0 481864322 857784320 21914 4294967295 134512640 134569956 3221224400 3221214816 1131307220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 21914 13073 16 0 209404 0 vsize: 837680 [startup+70.0135 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 6332 42 0 0 25 0 10 0 481864322 857784320 22043 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22043 13073 16 0 209404 0 vsize: 837680 [startup+80.0147 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 7267 42 0 0 25 0 10 0 481864322 857784320 22233 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22233 13073 16 0 209404 0 vsize: 837680 [startup+90.0155 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 8199 42 0 0 25 0 10 0 481864322 857784320 22336 4294967295 134512640 134569956 3221224400 3221214304 1131184523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22336 13073 16 0 209404 0 vsize: 837680 [startup+100.016 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 9137 43 0 0 25 0 10 0 481864322 857784320 22426 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22426 13073 16 0 209404 0 vsize: 837680 [startup+110.016 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 10071 43 0 0 23 0 10 0 481864322 857784320 22517 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22517 13073 16 0 209404 0 vsize: 837680 [startup+120.017 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 11007 44 0 0 25 0 10 0 481864322 857784320 22601 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22601 13073 16 0 209404 0 vsize: 837680 [startup+130.017 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 11945 44 0 0 25 0 10 0 481864322 857784320 22675 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22675 13073 16 0 209404 0 vsize: 837680 [startup+140.018 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 12881 44 0 0 25 0 10 0 481864322 857784320 22751 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22751 13073 16 0 209404 0 vsize: 837680 [startup+150.019 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 13816 45 0 0 25 0 10 0 481864322 857784320 22823 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22823 13073 16 0 209404 0 vsize: 837680 [startup+160.018 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 14754 45 0 0 25 0 10 0 481864322 857784320 22888 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22888 13073 16 0 209404 0 vsize: 837680 [startup+170.019 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 15689 46 0 0 25 0 10 0 481864322 857784320 22955 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 22955 13073 16 0 209404 0 vsize: 837680 [startup+180.02 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 16623 46 0 0 24 0 10 0 481864322 857784320 23020 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23020 13073 16 0 209404 0 vsize: 837680 [startup+190.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 17548 46 0 0 25 0 10 0 481864322 857784320 23079 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23079 13073 16 0 209404 0 vsize: 837680 [startup+200.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) S 29959 30854 30853 0 -1 0 18006 0 1 0 18465 47 0 0 25 0 10 0 481864322 857784320 23136 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23136 13073 16 0 209404 0 vsize: 837680 [startup+210.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 19392 47 0 0 25 0 10 0 481864322 857784320 23361 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23361 13073 16 0 209404 0 vsize: 837680 [startup+220.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 20322 48 0 0 24 0 10 0 481864322 857784320 23418 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23418 13073 16 0 209404 0 vsize: 837680 [startup+230.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 21257 48 0 0 25 0 10 0 481864322 857784320 23470 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23470 13073 16 0 209404 0 vsize: 837680 [startup+240.022 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 22186 49 0 0 25 0 10 0 481864322 857784320 23525 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23525 13073 16 0 209404 0 vsize: 837680 [startup+250.022 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 23119 49 0 0 25 0 10 0 481864322 857784320 23575 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23575 13073 16 0 209404 0 vsize: 837680 [startup+260.022 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 24048 50 0 0 25 0 10 0 481864322 857784320 23627 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23627 13073 16 0 209404 0 vsize: 837680 [startup+270.023 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 24975 50 0 0 24 0 10 0 481864322 857784320 23678 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23678 13073 16 0 209404 0 vsize: 837680 [startup+280.023 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 25906 51 0 0 25 0 10 0 481864322 857784320 23725 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23725 13073 16 0 209404 0 vsize: 837680 [startup+290.025 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 26833 51 0 0 24 0 10 0 481864322 857784320 23774 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23774 13073 16 0 209404 0 vsize: 837680 [startup+300.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 27763 52 0 0 25 0 10 0 481864322 857784320 23819 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23819 13073 16 0 209404 0 vsize: 837680 [startup+310.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 28688 52 0 0 25 0 10 0 481864322 857784320 23866 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23866 13073 16 0 209404 0 vsize: 837680 [startup+320.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 29618 52 0 0 25 0 10 0 481864322 857784320 23909 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23909 13073 16 0 209404 0 vsize: 837680 [startup+330.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 30542 53 0 0 25 0 10 0 481864322 857784320 23954 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23954 13073 16 0 209404 0 vsize: 837680 [startup+340.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 31471 53 0 0 25 0 10 0 481864322 857784320 23996 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 23996 13073 16 0 209404 0 vsize: 837680 [startup+350.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 32394 54 0 0 25 0 10 0 481864322 857784320 24040 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24040 13073 16 0 209404 0 vsize: 837680 [startup+360.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 33322 54 0 0 25 0 10 0 481864322 857784320 24082 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24082 13073 16 0 209404 0 vsize: 837680 [startup+370.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 34244 55 0 0 24 0 10 0 481864322 857784320 24125 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24125 13073 16 0 209404 0 vsize: 837680 [startup+380.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 35176 55 0 0 25 0 10 0 481864322 857784320 24161 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24161 13073 16 0 209404 0 vsize: 837680 [startup+390.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) S 29959 30854 30853 0 -1 0 18006 0 1 0 36105 56 0 0 25 0 10 0 481864322 857784320 24198 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24198 13073 16 0 209404 0 vsize: 837680 [startup+400.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 37038 56 0 0 25 0 10 0 481864322 857784320 24230 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24230 13073 16 0 209404 0 vsize: 837680 [startup+410.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 37972 57 0 0 25 0 10 0 481864322 857784320 24253 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24253 13073 16 0 209404 0 vsize: 837680 [startup+420.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 38906 57 0 0 25 0 10 0 481864322 857784320 24276 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24276 13073 16 0 209404 0 vsize: 837680 [startup+430.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 39835 57 0 0 24 0 10 0 481864322 857784320 24300 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 24300 13073 16 0 209404 0 vsize: 837680 [startup+440.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 40727 58 0 0 24 0 10 0 481864322 857784320 27953 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 27953 13073 16 0 209404 0 vsize: 837680 [startup+450.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 41660 58 0 0 25 0 10 0 481864322 857784320 27953 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 27953 13073 16 0 209404 0 vsize: 837680 [startup+460.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 42577 59 0 0 25 0 10 0 481864322 857784320 27959 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 27959 13073 16 0 209404 0 vsize: 837680 [startup+470.035 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 43495 60 0 0 25 0 10 0 481864322 857784320 28008 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 28008 13073 16 0 209404 0 vsize: 837680 [startup+480.036 s] Raw data (loadavg): 1.00 0.99 0.94 3/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18027 0 1 0 44433 63 0 0 25 0 10 0 481864322 857784320 28814 4294967295 134512640 134569956 3221224400 3221214904 1131180614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209420 28814 13073 16 0 209404 0 vsize: 837680 [startup+490.036 s] Raw data (loadavg): 1.00 0.99 0.94 2/63 29969 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18027 0 1 0 45370 63 0 0 25 0 10 0 481864322 857784320 32373 4294967295 134512640 134569956 3221224400 3221214896 1131181118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209420 32373 13073 16 0 209404 0 vsize: 837680 [startup+500.037 s] Raw data (loadavg): 1.07 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 46359 64 0 0 25 0 11 0 481864322 858312704 32389 4294967295 134512640 134569956 3221224400 3221214824 1131180880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209549 32389 13073 16 0 209533 0 vsize: 838196 [startup+510.036 s] Raw data (loadavg): 1.06 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 47353 64 0 0 25 0 11 0 481864322 858312704 32390 4294967295 134512640 134569956 3221224400 3221214848 1131180843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209549 32390 13073 16 0 209533 0 vsize: 838196 [startup+520.037 s] Raw data (loadavg): 1.05 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 48346 64 0 0 25 0 11 0 481864322 858312704 32390 4294967295 134512640 134569956 3221224400 3221214752 1131268907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209549 32390 13073 16 0 209533 0 vsize: 838196 [startup+530.036 s] Raw data (loadavg): 1.04 1.00 0.94 4/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18072 0 1 0 49321 65 0 0 25 0 11 0 481864322 859041792 32528 4294967295 134512640 134569956 3221224400 3221214348 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209727 32528 13073 16 0 209711 0 vsize: 838908 [startup+540.037 s] Raw data (loadavg): 1.04 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 50295 65 0 0 25 0 11 0 481864322 859754496 32839 4294967295 134512640 134569956 3221224400 3221214848 1131180917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209901 32839 13073 16 0 209885 0 vsize: 839604 [startup+550.038 s] Raw data (loadavg): 1.03 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 51288 65 0 0 25 0 11 0 481864322 858968064 32640 4294967295 134512640 134569956 3221224400 3221214752 1131269025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209709 32640 13073 16 0 209693 0 vsize: 838836 [startup+560.038 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 52264 65 0 0 25 0 11 0 481864322 858738688 32592 4294967295 134512640 134569956 3221224400 3221214664 1131405261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32592 13073 16 0 209637 0 vsize: 838612 [startup+570.038 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 53256 66 0 0 25 0 11 0 481864322 858738688 32593 4294967295 134512640 134569956 3221224400 3221214896 1131357330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32593 13073 16 0 209637 0 vsize: 838612 [startup+580.039 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 54248 66 0 0 25 0 11 0 481864322 858738688 32609 4294967295 134512640 134569956 3221224400 3221214752 1131270572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32609 13073 16 0 209637 0 vsize: 838612 [startup+590.043 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 55239 67 0 0 25 0 11 0 481864322 858738688 32611 4294967295 134512640 134569956 3221224400 3221214752 1131269083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32611 13073 16 0 209637 0 vsize: 838612 [startup+600.049 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 56231 68 0 0 25 0 11 0 481864322 858738688 32627 4294967295 134512640 134569956 3221224400 3221214664 1131405227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32627 13073 16 0 209637 0 vsize: 838612 [startup+610.056 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 57225 68 0 0 25 0 11 0 481864322 858738688 32628 4294967295 134512640 134569956 3221224400 3221214840 1131213551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32628 13073 16 0 209637 0 vsize: 838612 [startup+620.057 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 58216 68 0 0 25 0 11 0 481864322 858738688 32630 4294967295 134512640 134569956 3221224400 3221214752 1131270536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32630 13073 16 0 209637 0 vsize: 838612 [startup+630.058 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 59206 69 0 0 25 0 11 0 481864322 858738688 32632 4294967295 134512640 134569956 3221224400 3221214800 1131298160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32632 13073 16 0 209637 0 vsize: 838612 [startup+640.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 60197 69 0 0 25 0 11 0 481864322 858738688 32648 4294967295 134512640 134569956 3221224400 3221214752 1131269949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32648 13073 16 0 209637 0 vsize: 838612 [startup+650.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 61188 69 0 0 18 0 11 0 481864322 858738688 32649 4294967295 134512640 134569956 3221224400 3221214752 1131269131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32649 13073 16 0 209637 0 vsize: 838612 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 62179 70 0 0 25 0 11 0 481864322 858738688 32651 4294967295 134512640 134569956 3221224400 3221214752 1131269022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32651 13073 16 0 209637 0 vsize: 838612 [startup+670.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 63169 70 0 0 25 0 11 0 481864322 858738688 32654 4294967295 134512640 134569956 3221224400 3221214848 1131180600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32654 13073 16 0 209637 0 vsize: 838612 [startup+680.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 64157 70 0 0 25 0 11 0 481864322 858738688 32657 4294967295 134512640 134569956 3221224400 3221214752 1131270545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32657 13073 16 0 209637 0 vsize: 838612 [startup+690.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 65146 71 0 0 25 0 11 0 481864322 858738688 32674 4294967295 134512640 134569956 3221224400 3221214800 1131297464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32674 13073 16 0 209637 0 vsize: 838612 [startup+700.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 66139 71 0 0 25 0 11 0 481864322 858738688 32676 4294967295 134512640 134569956 3221224400 3221214800 1131297665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32676 13073 16 0 209637 0 vsize: 838612 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 67127 71 0 0 25 0 11 0 481864322 858738688 32680 4294967295 134512640 134569956 3221224400 3221214848 1131180607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32680 13073 16 0 209637 0 vsize: 838612 [startup+720.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 68113 72 0 0 25 0 11 0 481864322 858738688 32684 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32684 13073 16 0 209637 0 vsize: 838612 [startup+730.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 69102 72 0 0 25 0 11 0 481864322 858738688 32687 4294967295 134512640 134569956 3221224400 3221214848 1131277689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32687 13073 16 0 209637 0 vsize: 838612 [startup+740.065 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 70090 72 0 0 25 0 11 0 481864322 858738688 32705 4294967295 134512640 134569956 3221224400 3221214800 1131297673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32705 13073 16 0 209637 0 vsize: 838612 [startup+750.066 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 71080 72 0 0 25 0 11 0 481864322 858738688 32708 4294967295 134512640 134569956 3221224400 3221214896 1131357113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32708 13073 16 0 209637 0 vsize: 838612 [startup+760.066 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 72068 73 0 0 25 0 11 0 481864322 858738688 32712 4294967295 134512640 134569956 3221224400 3221214848 1131277900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32712 13073 16 0 209637 0 vsize: 838612 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 73054 73 0 0 25 0 11 0 481864322 858738688 32716 4294967295 134512640 134569956 3221224400 3221214896 1131357372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32716 13073 16 0 209637 0 vsize: 838612 [startup+780.068 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 74039 73 0 0 25 0 11 0 481864322 858738688 32721 4294967295 134512640 134569956 3221224400 3221214872 1131339494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32721 13073 16 0 209637 0 vsize: 838612 [startup+790.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 75024 74 0 0 25 0 11 0 481864322 858738688 32741 4294967295 134512640 134569956 3221224400 3221214728 1131405234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32741 13073 16 0 209637 0 vsize: 838612 [startup+800.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 76013 74 0 0 22 0 11 0 481864322 858738688 32745 4294967295 134512640 134569956 3221224400 3221214752 1131269162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32745 13073 16 0 209637 0 vsize: 838612 [startup+810.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 76996 74 0 0 25 0 11 0 481864322 858738688 32751 4294967295 134512640 134569956 3221224400 3221214848 1131180628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32751 13073 16 0 209637 0 vsize: 838612 [startup+820.071 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 77979 75 0 0 25 0 11 0 481864322 858738688 32756 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32756 13073 16 0 209637 0 vsize: 838612 [startup+830.071 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 78963 75 0 0 25 0 11 0 481864322 858738688 32777 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32777 13073 16 0 209637 0 vsize: 838612 [startup+840.072 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 79949 75 0 0 25 0 11 0 481864322 858738688 32784 4294967295 134512640 134569956 3221224400 3221214728 1131405307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32784 13073 16 0 209637 0 vsize: 838612 [startup+850.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 80933 75 0 0 25 0 11 0 481864322 858738688 32790 4294967295 134512640 134569956 3221224400 3221214896 1131357428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32790 13073 16 0 209637 0 vsize: 838612 [startup+860.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 81911 75 0 0 25 0 11 0 481864322 858738688 32797 4294967295 134512640 134569956 3221224400 3221214752 1131269271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32797 13073 16 0 209637 0 vsize: 838612 [startup+870.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 82889 75 0 0 25 0 11 0 481864322 858738688 32807 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32807 13073 16 0 209637 0 vsize: 838612 [startup+880.075 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 83866 75 0 0 25 0 11 0 481864322 858738688 32832 4294967295 134512640 134569956 3221224400 3221214752 1131269183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32832 13073 16 0 209637 0 vsize: 838612 [startup+890.076 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 84852 76 0 0 25 0 11 0 481864322 858738688 32842 4294967295 134512640 134569956 3221224400 3221214848 1131180800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32842 13073 16 0 209637 0 vsize: 838612 [startup+900.076 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 85825 76 0 0 25 0 11 0 481864322 858738688 32853 4294967295 134512640 134569956 3221224400 3221214896 1131357125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32853 13073 16 0 209637 0 vsize: 838612 [startup+910.076 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 86798 76 0 0 25 0 11 0 481864322 858738688 32866 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32866 13073 16 0 209637 0 vsize: 838612 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 87770 76 0 0 25 0 11 0 481864322 858738688 32881 4294967295 134512640 134569956 3221224400 3221214892 1131339436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32881 13073 16 0 209637 0 vsize: 838612 [startup+930.078 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 88753 76 0 0 25 0 11 0 481864322 858738688 32910 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32910 13073 16 0 209637 0 vsize: 838612 [startup+940.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 89721 76 0 0 25 0 11 0 481864322 858738688 32927 4294967295 134512640 134569956 3221224400 3221214752 1131268985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32927 13073 16 0 209637 0 vsize: 838612 [startup+950.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 90688 76 0 0 25 0 11 0 481864322 858738688 32942 4294967295 134512640 134569956 3221224400 3221214752 1131269904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32942 13073 16 0 209637 0 vsize: 838612 [startup+960.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 91653 76 0 0 25 0 11 0 481864322 858738688 32965 4294967295 134512640 134569956 3221224400 3221214840 1131213554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32965 13073 16 0 209637 0 vsize: 838612 [startup+970.081 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 92636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+980.082 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 93635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+990.082 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 94635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 95635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 96636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 97635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 98635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 99636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 32992 13073 16 0 209637 0 vsize: 838612 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.94 3/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 100609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 101609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 102609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 103609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 104610 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 105610 77 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33001 13073 16 0 209637 0 vsize: 838612 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 106594 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214752 1131201683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33922 13073 16 0 209637 0 vsize: 838612 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 107586 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33922 13073 16 0 209637 0 vsize: 838612 [startup+1130.12 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 108580 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214744 1131427475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33922 13073 16 0 209637 0 vsize: 838612 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 109576 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1150.15 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 110577 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1160.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 111579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1170.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 112579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1180.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 113579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1190.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 114580 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1200.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 115556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1210.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 116556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 117556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 118555 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1240.16 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 119554 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 [startup+1250.17 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 29970 Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 120554 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 33923 13073 16 0 209637 0 vsize: 838612 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.27 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 29972 Raw data (stat): 29960 (java) Z 29959 30854 30853 0 -1 1036 18080 14413 1 0 120558 77 4228 43 25 0 1 0 481864322 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.27 CPU time (s): 1249.08 CPU user time (s): 1247.87 CPU system time (s): 1.20982 CPU usage (%): 99.905 Max. virtual memory (Kb): 839604 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####