Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb |
MD5SUM | a75eaaeeef32947fd9ba7cf4d126c00a |
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 | 31855 |
Biggest coefficient in the objective function | 524288000000000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 3494440607063922925 |
Number of bits of the sum of numbers in the objective function | 62 |
Biggest number in a constraint | 524288000000000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 3507240607063922925 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.302953 |
Number of variables | 31855 |
Total number of constraints | 7680 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6416 |
Number of constraints which are nor clauses,nor cardinality constraints | 1264 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31855 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 15:39:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21574 boxname=wulflinc2 idbench=1562 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a75eaaeeef32947fd9ba7cf4d126c00a /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-trento1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-trento1.opb IDLAUNCH: 21574 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 469664 kB Buffers: 33872 kB Cached: 510452 kB SwapCached: 696 kB Active: 65816 kB Inactive: 480888 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 469412 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5620 kB Slab: 12608 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 16:01:09 (client local time) WITH STATUS 143 IN 1276.86 SECONDS stats: 21574 7 1276.86 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-trento1.opb c reading problem ... done. Time 289.836 ms. c #vars 31855 c #constraints 2512 c starts : 2 c conflicts : 142 c decisions : 36954 c propagations : 109866 c inspects : 354828 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 142 c root simplifications : 6 s UNKNOWN c Total CPU time (ms) : 1279.157 #### 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.92 0.98 0.99 2/54 14931 Raw data (stat): 14931 (runsolver) R 14930 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781810579 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0001 s] Raw data (loadavg): 0.93 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18019 0 1 0 878 37 0 0 25 0 10 0 781810579 853463040 19373 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208365 19373 13086 16 0 208349 0 vsize: 833460 [startup+20.0001 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18019 0 1 0 1769 37 0 0 25 0 10 0 781810579 853364736 19856 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208341 19856 13086 16 0 208325 0 vsize: 833364 [startup+30.0003 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 2664 37 0 0 25 0 10 0 781810579 853364736 20369 4294967295 134512640 134569956 3221224368 3221214576 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208341 20369 13086 16 0 208325 0 vsize: 833364 [startup+40 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18019 0 1 0 3576 37 0 0 25 0 10 0 781810579 854413312 20900 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 20900 13086 16 0 208581 0 vsize: 834388 [startup+50.0182 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18019 0 1 0 4497 38 0 0 25 0 10 0 781810579 854413312 21063 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21063 13086 16 0 208581 0 vsize: 834388 [startup+60.0184 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 5417 38 0 0 25 0 10 0 781810579 854413312 21191 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21191 13086 16 0 208581 0 vsize: 834388 [startup+70.0182 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 6345 38 0 0 25 0 10 0 781810579 854413312 21312 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21312 13086 16 0 208581 0 vsize: 834388 [startup+80.0189 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 7283 38 0 0 24 0 10 0 781810579 854413312 21414 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21414 13086 16 0 208581 0 vsize: 834388 [startup+90.0186 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 8225 39 0 0 25 0 10 0 781810579 854413312 21502 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21502 13086 16 0 208581 0 vsize: 834388 [startup+100.019 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 9165 40 0 0 25 0 10 0 781810579 854413312 21588 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21588 13086 16 0 208581 0 vsize: 834388 [startup+110.026 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 10105 40 0 0 24 0 10 0 781810579 854413312 21670 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21670 13086 16 0 208581 0 vsize: 834388 [startup+120.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 11050 41 0 0 25 0 10 0 781810579 854413312 21742 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21742 13086 16 0 208581 0 vsize: 834388 [startup+130.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 11991 41 0 0 25 0 10 0 781810579 854413312 21814 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21814 13086 16 0 208581 0 vsize: 834388 [startup+140.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 12932 41 0 0 25 0 10 0 781810579 854413312 21883 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21883 13086 16 0 208581 0 vsize: 834388 [startup+150.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 13877 42 0 0 25 0 10 0 781810579 854413312 21945 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 21945 13086 16 0 208581 0 vsize: 834388 [startup+160.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 14818 42 0 0 25 0 10 0 781810579 854413312 22008 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22008 13086 16 0 208581 0 vsize: 834388 [startup+170.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 15752 43 0 0 25 0 10 0 781810579 854413312 22069 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22069 13086 16 0 208581 0 vsize: 834388 [startup+180.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 16669 43 0 0 25 0 10 0 781810579 854413312 22124 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22124 13086 16 0 208581 0 vsize: 834388 [startup+190.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 17592 44 0 0 25 0 10 0 781810579 854413312 22436 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22436 13086 16 0 208581 0 vsize: 834388 [startup+200.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 18530 44 0 0 25 0 10 0 781810579 854413312 22492 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22492 13086 16 0 208581 0 vsize: 834388 [startup+210.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18019 0 1 0 19470 45 0 0 25 0 10 0 781810579 854413312 22544 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22544 13086 16 0 208581 0 vsize: 834388 [startup+220.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 20408 46 0 0 25 0 10 0 781810579 854413312 22596 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22596 13086 16 0 208581 0 vsize: 834388 [startup+230.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 21344 46 0 0 25 0 10 0 781810579 854413312 22648 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22648 13086 16 0 208581 0 vsize: 834388 [startup+240.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 22285 47 0 0 25 0 10 0 781810579 854413312 22697 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22697 13086 16 0 208581 0 vsize: 834388 [startup+250.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 23220 47 0 0 25 0 10 0 781810579 854413312 22746 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22746 13086 16 0 208581 0 vsize: 834388 [startup+260.028 s] Raw data (loadavg): 1.07 1.00 1.00 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 24160 48 0 0 25 0 10 0 781810579 854413312 22791 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22791 13086 16 0 208581 0 vsize: 834388 [startup+270.028 s] Raw data (loadavg): 1.06 1.00 1.00 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18019 0 1 0 25095 49 0 0 25 0 10 0 781810579 854413312 22839 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22839 13086 16 0 208581 0 vsize: 834388 [startup+280.029 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 14940 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18029 0 1 0 26036 49 0 0 25 0 10 0 781810579 854413312 22891 4294967295 134512640 134569956 3221224368 3221214620 1130920146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208597 22891 13086 16 0 208581 0 vsize: 834388 [startup+290.029 s] Raw data (loadavg): 1.27 1.05 1.02 2/63 14940 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18043 0 1 0 26763 52 0 0 25 0 10 0 781810579 866582528 28841 4294967295 134512640 134569956 3221224368 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211568 28842 13086 16 0 211552 0 vsize: 846272 [startup+300.029 s] Raw data (loadavg): 1.23 1.05 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18070 0 1 0 27605 52 0 0 25 0 11 0 781810579 866299904 31889 4294967295 134512640 134569956 3221224368 3221214680 1131408398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 31889 13086 16 0 211483 0 vsize: 845996 [startup+310.029 s] Raw data (loadavg): 1.19 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18071 0 1 0 28480 52 0 0 25 0 11 0 781810579 866299904 31890 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 31890 13086 16 0 211483 0 vsize: 845996 [startup+320.029 s] Raw data (loadavg): 1.16 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 29367 53 0 0 25 0 11 0 781810579 866299904 31895 4294967295 134512640 134569956 3221224368 3221214736 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 31895 13086 16 0 211483 0 vsize: 845996 [startup+330.028 s] Raw data (loadavg): 1.14 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 30283 54 0 0 25 0 11 0 781810579 866299904 32643 4294967295 134512640 134569956 3221224368 3221214680 1131408918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32643 13086 16 0 211483 0 vsize: 845996 [startup+340.028 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 31258 54 0 0 25 0 11 0 781810579 866299904 32720 4294967295 134512640 134569956 3221224368 3221214680 1131407916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32720 13086 16 0 211483 0 vsize: 845996 [startup+350.029 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 32238 54 0 0 24 0 11 0 781810579 866299904 32761 4294967295 134512640 134569956 3221224368 3221214680 1131408357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32761 13086 16 0 211483 0 vsize: 845996 [startup+360.029 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 33224 54 0 0 25 0 11 0 781810579 866299904 32778 4294967295 134512640 134569956 3221224368 3221214592 1131233893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32778 13086 16 0 211483 0 vsize: 845996 [startup+370.029 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 34210 55 0 0 25 0 11 0 781810579 866299904 32790 4294967295 134512640 134569956 3221224368 3221214736 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32790 13086 16 0 211483 0 vsize: 845996 [startup+380.029 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 35197 55 0 0 25 0 11 0 781810579 866299904 32804 4294967295 134512640 134569956 3221224368 3221214760 1131430961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32804 13086 16 0 211483 0 vsize: 845996 [startup+390.03 s] Raw data (loadavg): 1.05 1.03 1.01 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 36186 55 0 0 25 0 11 0 781810579 866299904 32813 4294967295 134512640 134569956 3221224368 3221214676 1131234919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32813 13086 16 0 211483 0 vsize: 845996 [startup+400.03 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 37176 56 0 0 25 0 11 0 781810579 866299904 32822 4294967295 134512640 134569956 3221224368 3221214680 1131408799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32822 13086 16 0 211483 0 vsize: 845996 [startup+410.03 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18071 0 1 0 38168 56 0 0 25 0 11 0 781810579 866299904 32827 4294967295 134512640 134569956 3221224368 3221214784 1131521990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32827 13086 16 0 211483 0 vsize: 845996 [startup+420.031 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 39132 56 0 0 25 0 11 0 781810579 866299904 32865 4294967295 134512640 134569956 3221224368 3221214576 1131595093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 32865 13086 16 0 211483 0 vsize: 845996 [startup+430.03 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 40130 57 0 0 25 0 11 0 781810579 866299904 32868 4294967295 134512640 134569956 3221224368 3221214616 1131604385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 32868 13086 16 0 211483 0 vsize: 845996 [startup+440.03 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 41110 57 0 0 25 0 11 0 781810579 866299904 33020 4294967295 134512640 134569956 3221224368 3221214736 1131263168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 33020 13086 16 0 211483 0 vsize: 845996 [startup+450.031 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 42050 57 0 0 25 0 11 0 781810579 866299904 33020 4294967295 134512640 134569956 3221224368 3221214736 1131263168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 33020 13086 16 0 211483 0 vsize: 845996 [startup+460.031 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 42991 57 0 0 25 0 11 0 781810579 866299904 33020 4294967295 134512640 134569956 3221224368 3221214680 1131408430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 33020 13086 16 0 211483 0 vsize: 845996 [startup+470.032 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 43931 57 0 0 25 0 11 0 781810579 866299904 33516 4294967295 134512640 134569956 3221224368 3221214680 1131407916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 33516 13086 16 0 211483 0 vsize: 845996 [startup+480.032 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 44921 57 0 0 25 0 11 0 781810579 866299904 33518 4294967295 134512640 134569956 3221224368 3221214680 1131408357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211499 33518 13086 16 0 211483 0 vsize: 845996 [startup+490.033 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 45906 57 0 0 25 0 11 0 781810579 866299904 33520 4294967295 134512640 134569956 3221224368 3221214724 1130885186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211499 33520 13086 16 0 211483 0 vsize: 845996 [startup+500.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18082 0 1 0 46885 57 0 0 25 0 11 0 781810579 865443840 33339 4294967295 134512640 134569956 3221224368 3221213280 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 33339 13086 16 0 211274 0 vsize: 845160 [startup+510.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 47781 57 0 0 25 0 11 0 781810579 865443840 33341 4294967295 134512640 134569956 3221224368 3221214680 1131408409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 33341 13086 16 0 211274 0 vsize: 845160 [startup+520.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 48675 57 0 0 25 0 11 0 781810579 865443840 33344 4294967295 134512640 134569956 3221224368 3221214680 1131407974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 33344 13086 16 0 211274 0 vsize: 845160 [startup+530.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 49582 57 0 0 25 0 11 0 781810579 865443840 33427 4294967295 134512640 134569956 3221224368 3221214680 1131407916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 33427 13086 16 0 211274 0 vsize: 845160 [startup+540.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 50542 57 0 0 25 0 11 0 781810579 865443840 34036 4294967295 134512640 134569956 3221224368 3221214640 1131408519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34036 13086 16 0 211274 0 vsize: 845160 [startup+550.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 51534 58 0 0 25 0 11 0 781810579 865443840 34036 4294967295 134512640 134569956 3221224368 3221214640 1131408403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34036 13086 16 0 211274 0 vsize: 845160 [startup+560.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 52526 58 0 0 25 0 11 0 781810579 865443840 34038 4294967295 134512640 134569956 3221224368 3221214640 1131407989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34038 13086 16 0 211274 0 vsize: 845160 [startup+570.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 53516 58 0 0 25 0 11 0 781810579 865443840 34039 4294967295 134512640 134569956 3221224368 3221214640 1131408892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34039 13086 16 0 211274 0 vsize: 845160 [startup+580.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 54498 58 0 0 25 0 11 0 781810579 865443840 34039 4294967295 134512640 134569956 3221224368 3221214640 1131407963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34039 13086 16 0 211274 0 vsize: 845160 [startup+590.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 55479 59 0 0 24 0 11 0 781810579 865443840 34040 4294967295 134512640 134569956 3221224368 3221214640 1131407974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34040 13086 16 0 211274 0 vsize: 845160 [startup+600.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 56464 59 0 0 25 0 11 0 781810579 865443840 34074 4294967295 134512640 134569956 3221224368 3221214640 1131408515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34074 13086 16 0 211274 0 vsize: 845160 [startup+610.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 57454 59 0 0 25 0 11 0 781810579 865443840 34074 4294967295 134512640 134569956 3221224368 3221214640 1131408903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34074 13086 16 0 211274 0 vsize: 845160 [startup+620.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 58444 60 0 0 25 0 11 0 781810579 865443840 34076 4294967295 134512640 134569956 3221224368 3221214696 1131263302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34076 13086 16 0 211274 0 vsize: 845160 [startup+630.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 59437 60 0 0 25 0 11 0 781810579 865443840 34078 4294967295 134512640 134569956 3221224368 3221214640 1131408541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34078 13086 16 0 211274 0 vsize: 845160 [startup+640.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 60429 61 0 0 25 0 11 0 781810579 865443840 34080 4294967295 134512640 134569956 3221224368 3221214744 1131521969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34080 13086 16 0 211274 0 vsize: 845160 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 61421 61 0 0 25 0 11 0 781810579 865443840 34085 4294967295 134512640 134569956 3221224368 3221214544 1131601028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34085 13086 16 0 211274 0 vsize: 845160 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 62401 62 0 0 25 0 11 0 781810579 865443840 34094 4294967295 134512640 134569956 3221224368 3221214696 1131263165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 34094 13086 16 0 211274 0 vsize: 845160 [startup+670.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 63348 62 0 0 25 0 11 0 781810579 865443840 34096 4294967295 134512640 134569956 3221224368 3221214696 1131263168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 34096 13086 16 0 211274 0 vsize: 845160 [startup+680.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 64275 62 0 0 25 0 11 0 781810579 865443840 34099 4294967295 134512640 134569956 3221224368 3221214744 1131521388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 34099 13086 16 0 211274 0 vsize: 845160 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 65186 62 0 0 25 0 11 0 781810579 865443840 34316 4294967295 134512640 134569956 3221224368 3221214744 1131521969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 34316 13086 16 0 211274 0 vsize: 845160 [startup+700.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 66086 62 0 0 25 0 11 0 781810579 865443840 34457 4294967295 134512640 134569956 3221224368 3221214640 1131408209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 34457 13086 16 0 211274 0 vsize: 845160 [startup+710.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18082 0 1 0 67003 62 0 0 25 0 11 0 781810579 865443840 34776 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 34776 13086 16 0 211274 0 vsize: 845160 [startup+720.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 67912 62 0 0 25 0 11 0 781810579 865443840 35054 4294967295 134512640 134569956 3221224368 3221214696 1131263192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 35054 13086 16 0 211274 0 vsize: 845160 [startup+730.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 68833 63 0 0 25 0 11 0 781810579 865443840 35262 4294967295 134512640 134569956 3221224368 3221214540 1131555171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 35262 13086 16 0 211274 0 vsize: 845160 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 69748 63 0 0 25 0 11 0 781810579 865443840 35628 4294967295 134512640 134569956 3221224368 3221214720 1131316556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 35628 13086 16 0 211274 0 vsize: 845160 [startup+750.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 70688 63 0 0 25 0 11 0 781810579 865443840 35630 4294967295 134512640 134569956 3221224368 3221214544 1131601058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 35630 13086 16 0 211274 0 vsize: 845160 [startup+760.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 71594 63 0 0 25 0 11 0 781810579 865443840 35770 4294967295 134512640 134569956 3221224368 3221214616 1131308259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 35770 13086 16 0 211274 0 vsize: 845160 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) S 14930 31399 31398 0 -1 0 18082 0 1 0 72511 63 0 0 25 0 11 0 781810579 865443840 36122 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 36122 13086 16 0 211274 0 vsize: 845160 [startup+780.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 73407 63 0 0 25 0 11 0 781810579 865443840 36577 4294967295 134512640 134569956 3221224368 3221214640 1131408625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 36577 13086 16 0 211274 0 vsize: 845160 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 74325 63 0 0 25 0 11 0 781810579 865443840 36755 4294967295 134512640 134569956 3221224368 3221214616 1131308432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 36755 13086 16 0 211274 0 vsize: 845160 [startup+800.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 75241 63 0 0 25 0 11 0 781810579 865443840 37172 4294967295 134512640 134569956 3221224368 3221214544 1131601064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 37172 13086 16 0 211274 0 vsize: 845160 [startup+810.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 76159 63 0 0 25 0 11 0 781810579 865443840 37542 4294967295 134512640 134569956 3221224368 3221214640 1131408858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 37542 13086 16 0 211274 0 vsize: 845160 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 77070 63 0 0 25 0 11 0 781810579 865443840 37544 4294967295 134512640 134569956 3221224368 3221214720 1131316396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 37544 13086 16 0 211274 0 vsize: 845160 [startup+830.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 77971 64 0 0 25 0 11 0 781810579 865443840 37895 4294967295 134512640 134569956 3221224368 3221214640 1131409220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 37895 13086 16 0 211274 0 vsize: 845160 [startup+840.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 78875 64 0 0 25 0 11 0 781810579 865443840 38032 4294967295 134512640 134569956 3221224368 3221214300 1130893499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 38032 13086 16 0 211274 0 vsize: 845160 [startup+850.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 79777 64 0 0 25 0 11 0 781810579 865443840 38455 4294967295 134512640 134569956 3221224368 3221214640 1131407916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 38455 13086 16 0 211274 0 vsize: 845160 [startup+860.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 80686 64 0 0 25 0 11 0 781810579 865443840 38730 4294967295 134512640 134569956 3221224368 3221214640 1131407934 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 38730 13086 16 0 211274 0 vsize: 845160 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 81601 64 0 0 25 0 11 0 781810579 865443840 38937 4294967295 134512640 134569956 3221224368 3221214640 1131408892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 38937 13086 16 0 211274 0 vsize: 845160 [startup+880.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 82501 65 0 0 25 0 11 0 781810579 865443840 39425 4294967295 134512640 134569956 3221224368 3221214640 1131408419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 39425 13086 16 0 211274 0 vsize: 845160 [startup+890.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 83399 65 0 0 25 0 11 0 781810579 865443840 40658 4294967295 134512640 134569956 3221224368 3221214640 1131408357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 40658 13086 16 0 211274 0 vsize: 845160 [startup+900.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 84306 66 0 0 25 0 11 0 781810579 865443840 40658 4294967295 134512640 134569956 3221224368 3221214696 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 40658 13086 16 0 211274 0 vsize: 845160 [startup+910.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 85226 66 0 0 25 0 11 0 781810579 865443840 41320 4294967295 134512640 134569956 3221224368 3221214696 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 41320 13086 16 0 211274 0 vsize: 845160 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 86134 66 0 0 25 0 11 0 781810579 865443840 41320 4294967295 134512640 134569956 3221224368 3221214544 1131601058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 41320 13086 16 0 211274 0 vsize: 845160 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 87030 67 0 0 25 0 11 0 781810579 865443840 41443 4294967295 134512640 134569956 3221224368 3221214768 1131521447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 41443 13086 16 0 211274 0 vsize: 845160 [startup+940.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 87937 67 0 0 25 0 11 0 781810579 865443840 41814 4294967295 134512640 134569956 3221224368 3221214664 1131408865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 41814 13086 16 0 211274 0 vsize: 845160 [startup+950.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 88897 67 0 0 25 0 11 0 781810579 865443840 42025 4294967295 134512640 134569956 3221224368 3221214768 1131521254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42025 13086 16 0 211274 0 vsize: 845160 [startup+960.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 89866 68 0 0 25 0 11 0 781810579 865443840 42183 4294967295 134512640 134569956 3221224368 3221214664 1131407901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42183 13086 16 0 211274 0 vsize: 845160 [startup+970.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 90857 68 0 0 25 0 11 0 781810579 865443840 42183 4294967295 134512640 134569956 3221224368 3221214664 1131408503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42183 13086 16 0 211274 0 vsize: 845160 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 91849 68 0 0 25 0 11 0 781810579 865443840 42188 4294967295 134512640 134569956 3221224368 3221214664 1131408357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42188 13086 16 0 211274 0 vsize: 845160 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 92839 68 0 0 25 0 11 0 781810579 865443840 42196 4294967295 134512640 134569956 3221224368 3221214768 1131521969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42196 13086 16 0 211274 0 vsize: 845160 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 93831 69 0 0 25 0 11 0 781810579 865443840 42198 4294967295 134512640 134569956 3221224368 3221214764 1131407891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42198 13086 16 0 211274 0 vsize: 845160 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 94824 69 0 0 25 0 11 0 781810579 865443840 42201 4294967295 134512640 134569956 3221224368 3221214664 1131408460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42201 13086 16 0 211274 0 vsize: 845160 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 95816 70 0 0 25 0 11 0 781810579 865443840 42213 4294967295 134512640 134569956 3221224368 3221214664 1131408276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42213 13086 16 0 211274 0 vsize: 845160 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 96810 70 0 0 25 0 11 0 781810579 865443840 42213 4294967295 134512640 134569956 3221224368 3221214708 1131532352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42213 13086 16 0 211274 0 vsize: 845160 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 97792 70 0 0 25 0 11 0 781810579 865443840 42214 4294967295 134512640 134569956 3221224368 3221214664 1131408541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42214 13086 16 0 211274 0 vsize: 845160 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 98751 71 0 0 25 0 11 0 781810579 865443840 42215 4294967295 134512640 134569956 3221224368 3221214664 1131408886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42215 13086 16 0 211274 0 vsize: 845160 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 99710 71 0 0 25 0 11 0 781810579 865443840 42217 4294967295 134512640 134569956 3221224368 3221214664 1131408357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42217 13086 16 0 211274 0 vsize: 845160 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 100676 71 0 0 25 0 11 0 781810579 865443840 42307 4294967295 134512640 134569956 3221224368 3221214664 1131407916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42307 13086 16 0 211274 0 vsize: 845160 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 101664 71 0 0 25 0 11 0 781810579 865443840 42310 4294967295 134512640 134569956 3221224368 3221214664 1131409364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42310 13086 16 0 211274 0 vsize: 845160 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 102654 72 0 0 25 0 11 0 781810579 865443840 42316 4294967295 134512640 134569956 3221224368 3221214664 1131408765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42316 13086 16 0 211274 0 vsize: 845160 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 103621 72 0 0 25 0 11 0 781810579 865443840 42318 4294967295 134512640 134569956 3221224368 3221214452 1131532355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42318 13086 16 0 211274 0 vsize: 845160 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 104540 72 0 0 25 0 11 0 781810579 865443840 42696 4294967295 134512640 134569956 3221224368 3221214720 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 42696 13086 16 0 211274 0 vsize: 845160 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 105450 72 0 0 24 0 11 0 781810579 865443840 43483 4294967295 134512640 134569956 3221224368 3221214664 1131408574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 43483 13086 16 0 211274 0 vsize: 845160 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 106402 72 0 0 25 0 11 0 781810579 865443840 43488 4294967295 134512640 134569956 3221224368 3221214568 1131601105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 43488 13086 16 0 211274 0 vsize: 845160 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 107312 73 0 0 25 0 11 0 781810579 865443840 44234 4294967295 134512640 134569956 3221224368 3221214664 1131407916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 44234 13086 16 0 211274 0 vsize: 845160 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 108236 73 0 0 25 0 11 0 781810579 865443840 44788 4294967295 134512640 134569956 3221224368 3221214568 1131601036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 44788 13086 16 0 211274 0 vsize: 845160 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 109138 73 0 0 25 0 11 0 781810579 865443840 45114 4294967295 134512640 134569956 3221224368 3221214688 1131224953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 45114 13086 16 0 211274 0 vsize: 845160 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 110082 73 0 0 25 0 11 0 781810579 865443840 45891 4294967295 134512640 134569956 3221224368 3221214740 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 45891 13086 16 0 211274 0 vsize: 845160 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 111002 73 0 0 21 0 11 0 781810579 865443840 46509 4294967295 134512640 134569956 3221224368 3221214664 1131408756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 46509 13086 16 0 211274 0 vsize: 845160 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 111938 74 0 0 25 0 11 0 781810579 865443840 46509 4294967295 134512640 134569956 3221224368 3221214568 1131601036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 46509 13086 16 0 211274 0 vsize: 845160 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 112820 74 0 0 25 0 11 0 781810579 865443840 46957 4294967295 134512640 134569956 3221224368 3221214768 1131521006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 46957 13086 16 0 211274 0 vsize: 845160 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14941 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 113730 74 0 0 25 0 11 0 781810579 865443840 46957 4294967295 134512640 134569956 3221224368 3221214768 1131521006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 46957 13086 16 0 211274 0 vsize: 845160 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14988 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 114599 84 0 0 25 0 11 0 781810579 865443840 46957 4294967295 134512640 134569956 3221224368 3221214768 1131521443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211290 46957 13086 16 0 211274 0 vsize: 845160 [startup+1230.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 115479 84 0 0 24 0 11 0 781810579 865443840 46957 4294967295 134512640 134569956 3221224368 3221214720 1131263302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 46957 13086 16 0 211274 0 vsize: 845160 [startup+1240.07 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 116428 84 0 0 25 0 11 0 781810579 865443840 47826 4294967295 134512640 134569956 3221224368 3221214664 1131408515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 47826 13086 16 0 211274 0 vsize: 845160 [startup+1250.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 117419 84 0 0 25 0 11 0 781810579 865443840 47828 4294967295 134512640 134569956 3221224368 3221214664 1131408276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 47828 13086 16 0 211274 0 vsize: 845160 [startup+1260.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 118410 85 0 0 25 0 11 0 781810579 865443840 47829 4294967295 134512640 134569956 3221224368 3221214720 1131263168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 47829 13086 16 0 211274 0 vsize: 845160 [startup+1270.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 119401 85 0 0 25 0 11 0 781810579 865443840 47831 4294967295 134512640 134569956 3221224368 3221214768 1131521145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 47831 13086 16 0 211274 0 vsize: 845160 [startup+1280.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 14994 Raw data (stat): 14931 (java) R 14930 31399 31398 0 -1 0 18082 0 1 0 120394 86 0 0 25 0 11 0 781810579 865443840 47833 4294967295 134512640 134569956 3221224368 3221214720 1131263192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211290 47833 13086 16 0 211274 0 vsize: 845160 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.19 s] Raw data (loadavg): 1.03 1.01 1.00 1/54 14996 Raw data (stat): 14931 (java) Z 14930 31399 31398 0 -1 1036 18082 26702 1 0 120396 86 7131 71 25 0 1 0 781810579 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): 1280.19 CPU time (s): 1276.86 CPU user time (s): 1275.28 CPU system time (s): 1.57676 CPU usage (%): 99.7399 Max. virtual memory (Kb): 846272 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####