Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bc1.opb |
MD5SUM | cf391497c5a28b773d7c43cd006668b6 |
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 | 1048576000000000000000000 |
Number of bits of the biggest number in a constraint | 80 |
Biggest sum of numbers in a constraint | 3239461173145800120729600 |
Number of bits of the biggest sum of numbers | 82 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.33964 |
Number of variables | 19894 |
Total number of constraints | 3627 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 3291 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4476 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-21 10:47:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19405 boxname=wulflinc21 idbench=1493 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: cf391497c5a28b773d7c43cd006668b6 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-bc1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-bc1.opb IDLAUNCH: 19405 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 346896 kB Buffers: 5608 kB Cached: 658616 kB SwapCached: 0 kB Active: 202456 kB Inactive: 464680 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 346644 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6948 kB Slab: 14876 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 11:08:17 (client local time) WITH STATUS 143 IN 1265.57 SECONDS stats: 19405 7 1265.57 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-bc1.opb c reading problem c [nbvar=19894] c [nbconstr=3627] c time 233.179 c #vars 19894 c #clauses 4160 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.93 0.94 0.90 2/55 10403 Raw data (stat): 10403 (runsolver) R 10402 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 421737432 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.01 0.96 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18000 0 1 0 869 40 0 0 18 0 10 0 421737432 856535040 19993 4294967295 134512640 134569956 3221224400 3221214488 1076461342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209115 19993 13073 16 0 209099 0 vsize: 836460 [startup+20.0002 s] Raw data (loadavg): 1.01 0.96 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 1762 40 0 0 17 0 10 0 421737432 854351872 19965 4294967295 134512640 134569956 3221224400 3221214720 1131217563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 19965 13073 16 0 208566 0 vsize: 834328 [startup+30.0008 s] Raw data (loadavg): 1.01 0.96 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 2653 41 0 0 21 0 10 0 421737432 854351872 20577 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208582 20577 13073 16 0 208566 0 vsize: 834328 [startup+40.0014 s] Raw data (loadavg): 1.01 0.96 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 3571 41 0 0 25 0 10 0 421737432 854351872 20831 4294967295 134512640 134569956 3221224400 3221214664 1131220133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208582 20831 13073 16 0 208566 0 vsize: 834328 [startup+50.0039 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 4497 41 0 0 25 0 10 0 421737432 854921216 21034 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208721 21034 13073 16 0 208705 0 vsize: 834884 [startup+60.0038 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 5415 42 0 0 25 0 10 0 421737432 854822912 21171 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21171 13073 16 0 208681 0 vsize: 834788 [startup+70.0035 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 6332 42 0 0 25 0 10 0 421737432 854822912 21380 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208697 21380 13073 16 0 208681 0 vsize: 834788 [startup+80.0042 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 7265 42 0 0 25 0 10 0 421737432 854478848 21404 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208613 21404 13073 16 0 208597 0 vsize: 834452 [startup+90.0039 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 8200 42 0 0 25 0 10 0 421737432 854478848 21502 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208613 21502 13073 16 0 208597 0 vsize: 834452 [startup+100.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 9132 43 0 0 24 0 10 0 421737432 854478848 21598 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208613 21598 13073 16 0 208597 0 vsize: 834452 [startup+110.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 10068 43 0 0 24 0 10 0 421737432 854478848 21682 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208613 21682 13073 16 0 208597 0 vsize: 834452 [startup+120.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 10922 46 0 0 25 0 10 0 421737432 854351872 26790 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 26790 13073 16 0 208566 0 vsize: 834328 [startup+130.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 11747 49 0 0 24 0 10 0 421737432 854351872 34624 4294967295 134512640 134569956 3221224400 3221214840 1131302726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 34624 13073 16 0 208566 0 vsize: 834328 [startup+140.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18001 0 1 0 12659 53 0 0 25 0 10 0 421737432 854351872 36870 4294967295 134512640 134569956 3221224400 3221214184 1131243341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 36870 13073 16 0 208566 0 vsize: 834328 [startup+150.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18002 0 1 0 13508 58 0 0 25 0 10 0 421737432 854351872 43234 4294967295 134512640 134569956 3221224400 3221213032 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 43235 13073 16 0 208566 0 vsize: 834328 [startup+160.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18002 0 1 0 14352 62 0 0 25 0 10 0 421737432 854351872 50808 4294967295 134512640 134569956 3221224400 3221214168 1131244269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208582 50808 13073 16 0 208566 0 vsize: 834328 [startup+170.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18002 0 1 0 15169 67 0 0 25 0 10 0 421737432 854351872 59078 4294967295 134512640 134569956 3221224400 3221214800 1131153850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208582 59078 13073 16 0 208566 0 vsize: 834328 [startup+180.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18002 0 1 0 16038 71 0 0 25 0 10 0 421737432 854351872 64644 4294967295 134512640 134569956 3221224400 3221213688 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 64644 13073 16 0 208566 0 vsize: 834328 [startup+190.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18003 0 1 0 16858 76 0 0 25 0 10 0 421737432 854351872 72772 4294967295 134512640 134569956 3221224400 3221214800 1131153761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 72772 13073 16 0 208566 0 vsize: 834328 [startup+200.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18003 0 1 0 17670 80 0 0 25 0 10 0 421737432 854351872 81035 4294967295 134512640 134569956 3221224400 3221214848 1131299392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 81035 13073 16 0 208566 0 vsize: 834328 [startup+210.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18003 0 1 0 18542 85 0 0 25 0 10 0 421737432 854351872 86587 4294967295 134512640 134569956 3221224400 3221214056 1131335399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 86587 13073 16 0 208566 0 vsize: 834328 [startup+220.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18003 0 1 0 19348 90 0 0 25 0 10 0 421737432 854351872 94856 4294967295 134512640 134569956 3221224400 3221214944 1131209135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208582 94856 13073 16 0 208566 0 vsize: 834328 [startup+230.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 10412 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18003 0 1 0 20154 94 0 0 25 0 10 0 421737432 854351872 103141 4294967295 134512640 134569956 3221224400 3221214800 1131153647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208582 103141 13073 16 0 208566 0 vsize: 834328 [startup+240.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 21027 96 0 0 25 0 11 0 421737432 854880256 107741 4294967295 134512640 134569956 3221224400 3221214776 1131293377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 107741 13073 16 0 208695 0 vsize: 834844 [startup+250.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 21947 96 0 0 24 0 11 0 421737432 854880256 107741 4294967295 134512640 134569956 3221224400 3221214824 1131230870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 107741 13073 16 0 208695 0 vsize: 834844 [startup+260.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 22874 96 0 0 25 0 11 0 421737432 854880256 107743 4294967295 134512640 134569956 3221224400 3221214800 1131292793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 107743 13073 16 0 208695 0 vsize: 834844 [startup+270.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 23802 96 0 0 25 0 11 0 421737432 854880256 108195 4294967295 134512640 134569956 3221224400 3221214800 1131293754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108195 13073 16 0 208695 0 vsize: 834844 [startup+280.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 24776 96 0 0 24 0 11 0 421737432 854880256 108210 4294967295 134512640 134569956 3221224400 3221214904 1131385131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108210 13073 16 0 208695 0 vsize: 834844 [startup+290.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 25752 96 0 0 25 0 11 0 421737432 854880256 108223 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108223 13073 16 0 208695 0 vsize: 834844 [startup+300.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 26729 97 0 0 25 0 11 0 421737432 854880256 108239 4294967295 134512640 134569956 3221224400 3221214800 1131293486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108239 13073 16 0 208695 0 vsize: 834844 [startup+310.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18030 0 1 0 27703 97 0 0 25 0 11 0 421737432 854880256 108251 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108251 13073 16 0 208695 0 vsize: 834844 [startup+320.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 28677 97 0 0 25 0 11 0 421737432 854880256 108267 4294967295 134512640 134569956 3221224400 3221214800 1131293839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108267 13073 16 0 208695 0 vsize: 834844 [startup+330.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 29653 97 0 0 25 0 11 0 421737432 854880256 108282 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108282 13073 16 0 208695 0 vsize: 834844 [startup+340.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 30626 98 0 0 25 0 11 0 421737432 854880256 108299 4294967295 134512640 134569956 3221224400 3221214904 1131384617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108299 13073 16 0 208695 0 vsize: 834844 [startup+350.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 31602 98 0 0 25 0 11 0 421737432 854880256 108319 4294967295 134512640 134569956 3221224400 3221214800 1131293236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108319 13073 16 0 208695 0 vsize: 834844 [startup+360.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 32578 98 0 0 25 0 11 0 421737432 854880256 108332 4294967295 134512640 134569956 3221224400 3221214848 1131230745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108332 13073 16 0 208695 0 vsize: 834844 [startup+370.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 33552 98 0 0 25 0 11 0 421737432 854880256 108347 4294967295 134512640 134569956 3221224400 3221214904 1131385095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108347 13073 16 0 208695 0 vsize: 834844 [startup+380.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 34528 99 0 0 25 0 11 0 421737432 854880256 108364 4294967295 134512640 134569956 3221224400 3221214800 1131293674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108364 13073 16 0 208695 0 vsize: 834844 [startup+390.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 35502 99 0 0 24 0 11 0 421737432 854880256 108381 4294967295 134512640 134569956 3221224400 3221214800 1131293721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108381 13073 16 0 208695 0 vsize: 834844 [startup+400.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 36479 99 0 0 25 0 11 0 421737432 854880256 108395 4294967295 134512640 134569956 3221224400 3221214904 1131384768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108395 13073 16 0 208695 0 vsize: 834844 [startup+410.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18030 0 1 0 37455 99 0 0 25 0 11 0 421737432 854880256 108408 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108408 13073 16 0 208695 0 vsize: 834844 [startup+420.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 38431 99 0 0 25 0 11 0 421737432 854880256 108422 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108422 13073 16 0 208695 0 vsize: 834844 [startup+430.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 39408 99 0 0 25 0 11 0 421737432 854880256 108431 4294967295 134512640 134569956 3221224400 3221214800 1131292801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108431 13073 16 0 208695 0 vsize: 834844 [startup+440.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 40382 100 0 0 25 0 11 0 421737432 854880256 108443 4294967295 134512640 134569956 3221224400 3221214880 1131371569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108443 13073 16 0 208695 0 vsize: 834844 [startup+450.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 41359 100 0 0 25 0 11 0 421737432 854880256 108456 4294967295 134512640 134569956 3221224400 3221214904 1131385060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108456 13073 16 0 208695 0 vsize: 834844 [startup+460.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 42332 100 0 0 25 0 11 0 421737432 854880256 108475 4294967295 134512640 134569956 3221224400 3221214848 1131230833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108475 13073 16 0 208695 0 vsize: 834844 [startup+470.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 43307 100 0 0 25 0 11 0 421737432 854880256 108486 4294967295 134512640 134569956 3221224400 3221214800 1131293409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108486 13073 16 0 208695 0 vsize: 834844 [startup+480.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 44280 101 0 0 25 0 11 0 421737432 854880256 108507 4294967295 134512640 134569956 3221224400 3221214904 1131385098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108507 13073 16 0 208695 0 vsize: 834844 [startup+490.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 45255 101 0 0 25 0 11 0 421737432 854880256 108525 4294967295 134512640 134569956 3221224400 3221214848 1131230823 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108525 13073 16 0 208695 0 vsize: 834844 [startup+500.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 46227 101 0 0 25 0 11 0 421737432 854880256 108552 4294967295 134512640 134569956 3221224400 3221214848 1131230737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108552 13073 16 0 208695 0 vsize: 834844 [startup+510.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 47204 101 0 0 25 0 11 0 421737432 854880256 108566 4294967295 134512640 134569956 3221224400 3221214904 1131384801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108566 13073 16 0 208695 0 vsize: 834844 [startup+520.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 48177 101 0 0 25 0 11 0 421737432 854880256 108583 4294967295 134512640 134569956 3221224400 3221214848 1131230741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108583 13073 16 0 208695 0 vsize: 834844 [startup+530.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 49153 101 0 0 25 0 11 0 421737432 854880256 108595 4294967295 134512640 134569956 3221224400 3221214800 1131293082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108595 13073 16 0 208695 0 vsize: 834844 [startup+540.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 50127 101 0 0 24 0 11 0 421737432 854880256 108613 4294967295 134512640 134569956 3221224400 3221214900 1131294007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108613 13073 16 0 208695 0 vsize: 834844 [startup+550.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 51103 102 0 0 20 0 11 0 421737432 854880256 108629 4294967295 134512640 134569956 3221224400 3221214800 1131292805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108629 13073 16 0 208695 0 vsize: 834844 [startup+560.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 52077 102 0 0 25 0 11 0 421737432 854880256 108647 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108647 13073 16 0 208695 0 vsize: 834844 [startup+570.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 53053 102 0 0 25 0 11 0 421737432 854880256 108662 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108662 13073 16 0 208695 0 vsize: 834844 [startup+580.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 54026 102 0 0 25 0 11 0 421737432 854880256 108677 4294967295 134512640 134569956 3221224400 3221214800 1131293377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108677 13073 16 0 208695 0 vsize: 834844 [startup+590.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 55000 102 0 0 25 0 11 0 421737432 854880256 108693 4294967295 134512640 134569956 3221224400 3221214800 1131293147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108693 13073 16 0 208695 0 vsize: 834844 [startup+600.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 55972 102 0 0 25 0 11 0 421737432 854880256 108717 4294967295 134512640 134569956 3221224400 3221214848 1131230741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108717 13073 16 0 208695 0 vsize: 834844 [startup+610.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 56948 102 0 0 25 0 11 0 421737432 854880256 108735 4294967295 134512640 134569956 3221224400 3221214800 1131293078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108735 13073 16 0 208695 0 vsize: 834844 [startup+620.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 57920 102 0 0 25 0 11 0 421737432 854880256 108760 4294967295 134512640 134569956 3221224400 3221214800 1131292895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108760 13073 16 0 208695 0 vsize: 834844 [startup+630.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 58895 103 0 0 25 0 11 0 421737432 854880256 108776 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108776 13073 16 0 208695 0 vsize: 834844 [startup+640.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 59865 103 0 0 25 0 11 0 421737432 854880256 108799 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108799 13073 16 0 208695 0 vsize: 834844 [startup+650.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 60836 103 0 0 24 0 11 0 421737432 854880256 108820 4294967295 134512640 134569956 3221224400 3221214904 1131384805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108820 13073 16 0 208695 0 vsize: 834844 [startup+660.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 61810 103 0 0 25 0 11 0 421737432 854880256 108844 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108844 13073 16 0 208695 0 vsize: 834844 [startup+670.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 62781 104 0 0 24 0 11 0 421737432 854880256 108870 4294967295 134512640 134569956 3221224400 3221214800 1131292822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108870 13073 16 0 208695 0 vsize: 834844 [startup+680.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 63754 104 0 0 25 0 11 0 421737432 854880256 108893 4294967295 134512640 134569956 3221224400 3221214848 1131230753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108893 13073 16 0 208695 0 vsize: 834844 [startup+690.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 64726 104 0 0 24 0 11 0 421737432 854880256 108923 4294967295 134512640 134569956 3221224400 3221214904 1131384906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108923 13073 16 0 208695 0 vsize: 834844 [startup+700.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 65700 104 0 0 25 0 11 0 421737432 854880256 108942 4294967295 134512640 134569956 3221224400 3221214848 1131230737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108942 13073 16 0 208695 0 vsize: 834844 [startup+710.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 66671 104 0 0 25 0 11 0 421737432 854880256 108968 4294967295 134512640 134569956 3221224400 3221214848 1131230853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108968 13073 16 0 208695 0 vsize: 834844 [startup+720.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 67644 104 0 0 25 0 11 0 421737432 854880256 108986 4294967295 134512640 134569956 3221224400 3221214848 1131230810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 108986 13073 16 0 208695 0 vsize: 834844 [startup+730.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 68615 104 0 0 25 0 11 0 421737432 854880256 109010 4294967295 134512640 134569956 3221224400 3221214800 1131293357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109010 13073 16 0 208695 0 vsize: 834844 [startup+740.055 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 69588 105 0 0 25 0 11 0 421737432 854880256 109040 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109040 13073 16 0 208695 0 vsize: 834844 [startup+750.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 70558 105 0 0 25 0 11 0 421737432 854880256 109066 4294967295 134512640 134569956 3221224400 3221214848 1131230717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109066 13073 16 0 208695 0 vsize: 834844 [startup+760.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 10413 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 71531 105 0 0 25 0 11 0 421737432 854880256 109089 4294967295 134512640 134569956 3221224400 3221214800 1131293630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109089 13073 16 0 208695 0 vsize: 834844 [startup+770.054 s] Raw data (loadavg): 1.08 0.99 0.91 3/69 10459 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 72499 106 0 0 25 0 11 0 421737432 854880256 109119 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208711 109119 13073 16 0 208695 0 vsize: 834844 [startup+780.054 s] Raw data (loadavg): 1.07 0.99 0.91 2/65 10467 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 73470 107 0 0 25 0 11 0 421737432 854880256 109145 4294967295 134512640 134569956 3221224400 3221214800 1131292848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109145 13073 16 0 208695 0 vsize: 834844 [startup+790.054 s] Raw data (loadavg): 1.06 0.99 0.91 2/65 10467 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 74443 107 0 0 25 0 11 0 421737432 854880256 109164 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109164 13073 16 0 208695 0 vsize: 834844 [startup+800.054 s] Raw data (loadavg): 1.05 0.99 0.91 2/65 10467 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 75415 107 0 0 25 0 11 0 421737432 854880256 109193 4294967295 134512640 134569956 3221224400 3221214800 1131293630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109193 13073 16 0 208695 0 vsize: 834844 [startup+810.054 s] Raw data (loadavg): 1.04 0.99 0.91 2/65 10467 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 76389 107 0 0 25 0 11 0 421737432 854880256 109214 4294967295 134512640 134569956 3221224400 3221214848 1131230763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109214 13073 16 0 208695 0 vsize: 834844 [startup+820.054 s] Raw data (loadavg): 1.03 0.99 0.91 2/65 10467 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 77361 107 0 0 25 0 11 0 421737432 854880256 109240 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109240 13073 16 0 208695 0 vsize: 834844 [startup+830.055 s] Raw data (loadavg): 1.03 0.99 0.91 2/65 10469 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 78334 108 0 0 25 0 11 0 421737432 854880256 109261 4294967295 134512640 134569956 3221224400 3221214800 1131292797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109261 13073 16 0 208695 0 vsize: 834844 [startup+840.056 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 79307 108 0 0 25 0 11 0 421737432 854880256 109286 4294967295 134512640 134569956 3221224400 3221214904 1131385095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109286 13073 16 0 208695 0 vsize: 834844 [startup+850.055 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 80282 108 0 0 25 0 11 0 421737432 854880256 109303 4294967295 134512640 134569956 3221224400 3221214800 1131292805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109303 13073 16 0 208695 0 vsize: 834844 [startup+860.055 s] Raw data (loadavg): 1.02 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 81254 108 0 0 25 0 11 0 421737432 854880256 109328 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109328 13073 16 0 208695 0 vsize: 834844 [startup+870.054 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 82227 109 0 0 25 0 11 0 421737432 854880256 109347 4294967295 134512640 134569956 3221224400 3221214800 1131293308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109347 13073 16 0 208695 0 vsize: 834844 [startup+880.055 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18030 0 1 0 83201 109 0 0 25 0 11 0 421737432 854880256 109369 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109369 13073 16 0 208695 0 vsize: 834844 [startup+890.055 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 84174 109 0 0 25 0 11 0 421737432 854880256 109387 4294967295 134512640 134569956 3221224400 3221214848 1131230886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109387 13073 16 0 208695 0 vsize: 834844 [startup+900.055 s] Raw data (loadavg): 1.01 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 85146 109 0 0 25 0 11 0 421737432 854880256 109408 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109408 13073 16 0 208695 0 vsize: 834844 [startup+910.054 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 86121 109 0 0 25 0 11 0 421737432 854880256 109430 4294967295 134512640 134569956 3221224400 3221214800 1131292822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109430 13073 16 0 208695 0 vsize: 834844 [startup+920.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 87094 110 0 0 25 0 11 0 421737432 854880256 109448 4294967295 134512640 134569956 3221224400 3221214800 1131293116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109448 13073 16 0 208695 0 vsize: 834844 [startup+930.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 88066 110 0 0 19 0 11 0 421737432 854880256 109466 4294967295 134512640 134569956 3221224400 3221214800 1131293159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109466 13073 16 0 208695 0 vsize: 834844 [startup+940.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 89040 110 0 0 25 0 11 0 421737432 854880256 109485 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109485 13073 16 0 208695 0 vsize: 834844 [startup+950.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 90013 110 0 0 25 0 11 0 421737432 854880256 109503 4294967295 134512640 134569956 3221224400 3221214848 1131230737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109503 13073 16 0 208695 0 vsize: 834844 [startup+960.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 90985 110 0 0 25 0 11 0 421737432 854880256 109526 4294967295 134512640 134569956 3221224400 3221214800 1131293715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109526 13073 16 0 208695 0 vsize: 834844 [startup+970.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 91961 110 0 0 25 0 11 0 421737432 854880256 109546 4294967295 134512640 134569956 3221224400 3221214800 1131292805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109546 13073 16 0 208695 0 vsize: 834844 [startup+980.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 92934 110 0 0 25 0 11 0 421737432 854880256 109566 4294967295 134512640 134569956 3221224400 3221214800 1131293186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109566 13073 16 0 208695 0 vsize: 834844 [startup+990.057 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 93907 111 0 0 25 0 11 0 421737432 854880256 109590 4294967295 134512640 134569956 3221224400 3221214800 1131292805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109590 13073 16 0 208695 0 vsize: 834844 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 94881 111 0 0 24 0 11 0 421737432 854880256 109607 4294967295 134512640 134569956 3221224400 3221214800 1131293205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109607 13073 16 0 208695 0 vsize: 834844 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 95857 111 0 0 25 0 11 0 421737432 854880256 109625 4294967295 134512640 134569956 3221224400 3221214800 1131292865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109625 13073 16 0 208695 0 vsize: 834844 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 96831 111 0 0 25 0 11 0 421737432 854880256 109640 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109640 13073 16 0 208695 0 vsize: 834844 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 97804 111 0 0 24 0 11 0 421737432 854880256 109658 4294967295 134512640 134569956 3221224400 3221214800 1131293193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109658 13073 16 0 208695 0 vsize: 834844 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 98779 111 0 0 25 0 11 0 421737432 854880256 109681 4294967295 134512640 134569956 3221224400 3221214800 1131293805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109681 13073 16 0 208695 0 vsize: 834844 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 99752 112 0 0 25 0 11 0 421737432 854880256 109706 4294967295 134512640 134569956 3221224400 3221214800 1131293986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109706 13073 16 0 208695 0 vsize: 834844 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 100725 112 0 0 25 0 11 0 421737432 854880256 109722 4294967295 134512640 134569956 3221224400 3221214848 1131230737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109722 13073 16 0 208695 0 vsize: 834844 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 101700 112 0 0 25 0 11 0 421737432 854880256 109741 4294967295 134512640 134569956 3221224400 3221214904 1131384805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109741 13073 16 0 208695 0 vsize: 834844 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10471 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 102672 112 0 0 25 0 11 0 421737432 854880256 109762 4294967295 134512640 134569956 3221224400 3221214904 1131384805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109762 13073 16 0 208695 0 vsize: 834844 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 103644 113 0 0 25 0 11 0 421737432 854880256 109780 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109780 13073 16 0 208695 0 vsize: 834844 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 104619 113 0 0 25 0 11 0 421737432 854880256 109800 4294967295 134512640 134569956 3221224400 3221214904 1131385032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109800 13073 16 0 208695 0 vsize: 834844 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 105592 113 0 0 25 0 11 0 421737432 854880256 109824 4294967295 134512640 134569956 3221224400 3221214800 1131293240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109824 13073 16 0 208695 0 vsize: 834844 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 106566 113 0 0 25 0 11 0 421737432 854880256 109842 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109842 13073 16 0 208695 0 vsize: 834844 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 107540 114 0 0 24 0 11 0 421737432 854880256 109858 4294967295 134512640 134569956 3221224400 3221214800 1131293499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109858 13073 16 0 208695 0 vsize: 834844 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 108517 114 0 0 25 0 11 0 421737432 854880256 109874 4294967295 134512640 134569956 3221224400 3221214800 1131292793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109874 13073 16 0 208695 0 vsize: 834844 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 109490 114 0 0 25 0 11 0 421737432 854880256 109895 4294967295 134512640 134569956 3221224400 3221214800 1131292805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109895 13073 16 0 208695 0 vsize: 834844 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 110464 114 0 0 25 0 11 0 421737432 854880256 109909 4294967295 134512640 134569956 3221224400 3221214848 1131230952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109909 13073 16 0 208695 0 vsize: 834844 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) S 10402 30927 30926 0 -1 0 18030 0 1 0 111437 114 0 0 25 0 11 0 421737432 854880256 109929 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109929 13073 16 0 208695 0 vsize: 834844 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 112413 115 0 0 25 0 11 0 421737432 854880256 109952 4294967295 134512640 134569956 3221224400 3221214800 1131293848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109952 13073 16 0 208695 0 vsize: 834844 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 113387 115 0 0 25 0 11 0 421737432 854880256 109968 4294967295 134512640 134569956 3221224400 3221214800 1131292822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109968 13073 16 0 208695 0 vsize: 834844 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 114365 115 0 0 25 0 11 0 421737432 854880256 109988 4294967295 134512640 134569956 3221224400 3221214880 1131371569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 109988 13073 16 0 208695 0 vsize: 834844 [startup+1210.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 115339 115 0 0 25 0 11 0 421737432 854880256 110007 4294967295 134512640 134569956 3221224400 3221214800 1131294425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110007 13073 16 0 208695 0 vsize: 834844 [startup+1220.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 116313 115 0 0 25 0 11 0 421737432 854880256 110023 4294967295 134512640 134569956 3221224400 3221214904 1131384976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110023 13073 16 0 208695 0 vsize: 834844 [startup+1230.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 117286 115 0 0 25 0 11 0 421737432 854880256 110038 4294967295 134512640 134569956 3221224400 3221214800 1131293166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110038 13073 16 0 208695 0 vsize: 834844 [startup+1240.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 118262 116 0 0 25 0 11 0 421737432 854880256 110056 4294967295 134512640 134569956 3221224400 3221214800 1131293296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110056 13073 16 0 208695 0 vsize: 834844 [startup+1250.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 119235 116 0 0 25 0 11 0 421737432 854880256 110075 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110075 13073 16 0 208695 0 vsize: 834844 [startup+1260.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 10473 Raw data (stat): 10403 (java) R 10402 30927 30926 0 -1 0 18030 0 1 0 120209 116 0 0 25 0 11 0 421737432 854880256 110097 4294967295 134512640 134569956 3221224400 3221214848 1131230720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 110097 13073 16 0 208695 0 vsize: 834844 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.34 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10474 Raw data (stat): 10403 (java) Z 10402 30927 30926 0 -1 1036 18030 95206 1 0 120213 116 6004 221 25 0 1 0 421737432 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): 1260.33 CPU time (s): 1265.57 CPU user time (s): 1262.18 CPU system time (s): 3.38549 CPU usage (%): 100.415 Max. virtual memory (Kb): 836460 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####