Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb |
MD5SUM | 659e380dd1d6168ad99a794b3190043f |
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 | 14235 |
Biggest coefficient in the objective function | 714038312960 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 68224730472397 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 714038312960 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 68224730472397 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.12198 |
Number of variables | 14265 |
Total number of constraints | 365 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-04-21 23:38:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13295 boxname=wulflinc15 idbench=1023 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 659e380dd1d6168ad99a794b3190043f /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb IDLAUNCH: 13295 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 220744 kB Buffers: 30388 kB Cached: 761244 kB SwapCached: 432 kB Active: 164868 kB Inactive: 628928 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 220492 kB SwapTotal: 2097136 kB SwapFree: 2095984 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 14496 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 23:59:10 (client local time) WITH STATUS 143 IN 1263.06 SECONDS stats: 13295 7 1263.06 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb c reading problem c [nbvar=14265] c [nbconstr=365] c time 62.074 c #vars 14265 c #clauses 369 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.64 0.90 0.89 2/54 20265 Raw data (stat): 20265 (runsolver) R 20264 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490877808 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.0005 s] Raw data (loadavg): 0.70 0.91 0.90 2/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 882 40 0 0 25 0 10 0 490877808 854286336 19318 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208566 19318 13073 16 0 208550 0 vsize: 834264 [startup+20.0014 s] Raw data (loadavg): 0.74 0.91 0.90 2/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 1768 41 0 0 24 0 10 0 490877808 854511616 19826 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208621 19826 13073 16 0 208605 0 vsize: 834484 [startup+30.0026 s] Raw data (loadavg): 0.78 0.91 0.90 2/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 2668 41 0 0 25 0 10 0 490877808 854511616 20245 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208621 20245 13073 16 0 208605 0 vsize: 834484 [startup+40.003 s] Raw data (loadavg): 0.81 0.91 0.90 2/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 3598 41 0 0 25 0 10 0 490877808 854511616 20470 4294967295 134512640 134569956 3221224400 3221214824 1131218768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208621 20470 13073 16 0 208605 0 vsize: 834484 [startup+50.0028 s] Raw data (loadavg): 0.84 0.92 0.90 2/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 4525 42 0 0 25 0 10 0 490877808 854511616 20589 4294967295 134512640 134569956 3221224400 3221214824 1131220159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208621 20589 13073 16 0 208605 0 vsize: 834484 [startup+60.0031 s] Raw data (loadavg): 0.87 0.92 0.90 4/63 20274 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18009 0 1 0 5349 43 0 0 25 0 10 0 490877808 868032512 23654 4294967295 134512640 134569956 3221224400 3221214248 1131276688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211922 23654 13073 16 0 211906 0 vsize: 847688 [startup+70.0036 s] Raw data (loadavg): 1.11 0.97 0.92 3/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18041 0 1 0 6218 44 0 0 25 0 11 0 490877808 872759296 27594 4294967295 134512640 134569956 3221224400 3221214680 1131285297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213076 27594 13073 16 0 213060 0 vsize: 852304 [startup+80.0043 s] Raw data (loadavg): 1.18 0.99 0.92 3/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18081 0 1 0 7122 44 0 0 25 0 11 0 490877808 869597184 26506 4294967295 134512640 134569956 3221224400 3221214680 1131285224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212304 26506 13073 16 0 212288 0 vsize: 849216 [startup+90.0045 s] Raw data (loadavg): 1.22 1.00 0.93 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18081 0 1 0 8111 44 0 0 25 0 11 0 490877808 867848192 26412 4294967295 134512640 134569956 3221224400 3221214776 1131369444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211877 26412 13073 16 0 211861 0 vsize: 847508 [startup+100.004 s] Raw data (loadavg): 1.19 1.00 0.93 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18082 0 1 0 9098 44 0 0 25 0 11 0 490877808 867848192 26415 4294967295 134512640 134569956 3221224400 3221214680 1131286106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211877 26415 13073 16 0 211861 0 vsize: 847508 [startup+110.005 s] Raw data (loadavg): 1.23 1.02 0.93 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18082 0 1 0 10087 44 0 0 25 0 11 0 490877808 869945344 26976 4294967295 134512640 134569956 3221224400 3221214680 1131285295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212389 26976 13073 16 0 212373 0 vsize: 849556 [startup+120.006 s] Raw data (loadavg): 1.20 1.02 0.93 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 11074 45 0 0 25 0 11 0 490877808 869945344 27011 4294967295 134512640 134569956 3221224400 3221214680 1131285588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212389 27011 13073 16 0 212373 0 vsize: 849556 [startup+130.006 s] Raw data (loadavg): 1.16 1.02 0.93 3/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 12053 45 0 0 25 0 11 0 490877808 882728960 29822 4294967295 134512640 134569956 3221224400 3221214568 1131640037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215510 29822 13073 16 0 215494 0 vsize: 862040 [startup+140.006 s] Raw data (loadavg): 1.21 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 13026 45 0 0 25 0 11 0 490877808 870371328 27157 4294967295 134512640 134569956 3221224400 3221214560 1131622476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27157 13073 16 0 212477 0 vsize: 849972 [startup+150.007 s] Raw data (loadavg): 1.18 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 14017 45 0 0 25 0 11 0 490877808 870371328 27158 4294967295 134512640 134569956 3221224400 3221214876 1080204298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27158 13073 16 0 212477 0 vsize: 849972 [startup+160.007 s] Raw data (loadavg): 1.15 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 15000 46 0 0 25 0 11 0 490877808 870371328 27166 4294967295 134512640 134569956 3221224400 3221214736 1131455758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27166 13073 16 0 212477 0 vsize: 849972 [startup+170.007 s] Raw data (loadavg): 1.13 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 15986 46 0 0 25 0 11 0 490877808 870371328 27182 4294967295 134512640 134569956 3221224400 3221214576 1131276391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 27182 13073 16 0 212477 0 vsize: 849972 [startup+180.008 s] Raw data (loadavg): 1.11 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 16973 46 0 0 25 0 11 0 490877808 870371328 27191 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27191 13073 16 0 212477 0 vsize: 849972 [startup+190.009 s] Raw data (loadavg): 1.09 1.03 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 17955 46 0 0 25 0 11 0 490877808 870371328 27255 4294967295 134512640 134569956 3221224400 3221214568 1131640778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27255 13073 16 0 212477 0 vsize: 849972 [startup+200.008 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 18929 47 0 0 25 0 11 0 490877808 870371328 27293 4294967295 134512640 134569956 3221224400 3221214680 1131286124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27293 13073 16 0 212477 0 vsize: 849972 [startup+210.008 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 19908 47 0 0 25 0 11 0 490877808 870371328 27377 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27377 13073 16 0 212477 0 vsize: 849972 [startup+220.009 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 20897 47 0 0 25 0 11 0 490877808 870371328 27429 4294967295 134512640 134569956 3221224400 3221214568 1131640775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27429 13073 16 0 212477 0 vsize: 849972 [startup+230.009 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 21882 47 0 0 25 0 11 0 490877808 870371328 27446 4294967295 134512640 134569956 3221224400 3221214680 1131748128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 27446 13073 16 0 212477 0 vsize: 849972 [startup+240.01 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 22866 48 0 0 25 0 11 0 490877808 870371328 27477 4294967295 134512640 134569956 3221224400 3221214472 1131285798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27477 13073 16 0 212477 0 vsize: 849972 [startup+250.011 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 23853 48 0 0 25 0 11 0 490877808 870371328 27485 4294967295 134512640 134569956 3221224400 3221214680 1131748252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27485 13073 16 0 212477 0 vsize: 849972 [startup+260.011 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 24826 48 0 0 25 0 11 0 490877808 870371328 27492 4294967295 134512640 134569956 3221224400 3221214680 1131285300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27492 13073 16 0 212477 0 vsize: 849972 [startup+270.011 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 25800 48 0 0 25 0 11 0 490877808 870371328 27527 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27527 13073 16 0 212477 0 vsize: 849972 [startup+280.013 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 26783 49 0 0 25 0 11 0 490877808 870371328 27591 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27591 13073 16 0 212477 0 vsize: 849972 [startup+290.014 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 27765 49 0 0 25 0 11 0 490877808 870371328 27640 4294967295 134512640 134569956 3221224400 3221214680 1131285866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27640 13073 16 0 212477 0 vsize: 849972 [startup+300.014 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 28735 50 0 0 25 0 11 0 490877808 870371328 27706 4294967295 134512640 134569956 3221224400 3221214616 1131276417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27706 13073 16 0 212477 0 vsize: 849972 [startup+310.025 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 29696 50 0 0 25 0 11 0 490877808 870371328 27846 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27846 13073 16 0 212477 0 vsize: 849972 [startup+320.025 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 30671 50 0 0 25 0 11 0 490877808 870371328 27983 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 27983 13073 16 0 212477 0 vsize: 849972 [startup+330.035 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 31657 51 0 0 24 0 11 0 490877808 870371328 28072 4294967295 134512640 134569956 3221224400 3221214776 1131370601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28072 13073 16 0 212477 0 vsize: 849972 [startup+340.043 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 32645 51 0 0 25 0 11 0 490877808 870371328 28085 4294967295 134512640 134569956 3221224400 3221214680 1131286526 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28085 13073 16 0 212477 0 vsize: 849972 [startup+350.043 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 33630 51 0 0 25 0 11 0 490877808 870371328 28100 4294967295 134512640 134569956 3221224400 3221214776 1131370439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28100 13073 16 0 212477 0 vsize: 849972 [startup+360.044 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 34613 52 0 0 25 0 11 0 490877808 870371328 28108 4294967295 134512640 134569956 3221224400 3221214680 1131286382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28108 13073 16 0 212477 0 vsize: 849972 [startup+370.044 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 35592 52 0 0 25 0 11 0 490877808 870371328 28166 4294967295 134512640 134569956 3221224400 3221214776 1131371429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28166 13073 16 0 212477 0 vsize: 849972 [startup+380.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 36578 52 0 0 25 0 11 0 490877808 870371328 28203 4294967295 134512640 134569956 3221224400 3221214680 1131748259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28203 13073 16 0 212477 0 vsize: 849972 [startup+390.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 37564 52 0 0 25 0 11 0 490877808 870371328 28248 4294967295 134512640 134569956 3221224400 3221214680 1131285542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28248 13073 16 0 212477 0 vsize: 849972 [startup+400.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 38549 53 0 0 25 0 11 0 490877808 870371328 28255 4294967295 134512640 134569956 3221224400 3221214680 1131286426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28255 13073 16 0 212477 0 vsize: 849972 [startup+410.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 39534 53 0 0 25 0 11 0 490877808 870371328 28260 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28260 13073 16 0 212477 0 vsize: 849972 [startup+420.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 40506 53 0 0 25 0 11 0 490877808 870371328 28288 4294967295 134512640 134569956 3221224400 3221214672 1131899011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28288 13073 16 0 212477 0 vsize: 849972 [startup+430.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 41487 53 0 0 25 0 11 0 490877808 870371328 28300 4294967295 134512640 134569956 3221224400 3221214568 1131276688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28300 13073 16 0 212477 0 vsize: 849972 [startup+440.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 42458 54 0 0 24 0 11 0 490877808 870371328 28331 4294967295 134512640 134569956 3221224400 3221214704 1131363923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28331 13073 16 0 212477 0 vsize: 849972 [startup+450.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 43445 54 0 0 25 0 11 0 490877808 870371328 28376 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28376 13073 16 0 212477 0 vsize: 849972 [startup+460.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 44430 54 0 0 25 0 11 0 490877808 870371328 28416 4294967295 134512640 134569956 3221224400 3221214680 1131285929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28416 13073 16 0 212477 0 vsize: 849972 [startup+470.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 45409 54 0 0 25 0 11 0 490877808 870371328 28506 4294967295 134512640 134569956 3221224400 3221214672 1131899011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28506 13073 16 0 212477 0 vsize: 849972 [startup+480.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 46394 55 0 0 25 0 11 0 490877808 870371328 28564 4294967295 134512640 134569956 3221224400 3221214600 1131438085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 28564 13073 16 0 212477 0 vsize: 849972 [startup+490.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 47373 55 0 0 25 0 11 0 490877808 870371328 28604 4294967295 134512640 134569956 3221224400 3221214680 1131748259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28604 13073 16 0 212477 0 vsize: 849972 [startup+500.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 48353 55 0 0 25 0 11 0 490877808 870371328 28665 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28665 13073 16 0 212477 0 vsize: 849972 [startup+510.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 49334 55 0 0 25 0 11 0 490877808 870371328 28712 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28712 13073 16 0 212477 0 vsize: 849972 [startup+520.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 50305 55 0 0 25 0 11 0 490877808 870371328 28759 4294967295 134512640 134569956 3221224400 3221214796 1080203708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28759 13073 16 0 212477 0 vsize: 849972 [startup+530.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 51280 56 0 0 25 0 11 0 490877808 870371328 28791 4294967295 134512640 134569956 3221224400 3221214568 1131638964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28791 13073 16 0 212477 0 vsize: 849972 [startup+540.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 52251 56 0 0 25 0 11 0 490877808 870371328 28893 4294967295 134512640 134569956 3221224400 3221214576 1131276703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28893 13073 16 0 212477 0 vsize: 849972 [startup+550.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 53227 56 0 0 25 0 11 0 490877808 870371328 28938 4294967295 134512640 134569956 3221224400 3221214568 1131638574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 28938 13073 16 0 212477 0 vsize: 849972 [startup+560.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 54202 56 0 0 25 0 11 0 490877808 870371328 29013 4294967295 134512640 134569956 3221224400 3221214808 1131487070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29013 13073 16 0 212477 0 vsize: 849972 [startup+570.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 55192 56 0 0 25 0 11 0 490877808 870371328 29060 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29060 13073 16 0 212477 0 vsize: 849972 [startup+580.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 56172 56 0 0 25 0 11 0 490877808 870371328 29120 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29120 13073 16 0 212477 0 vsize: 849972 [startup+590.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 57161 56 0 0 25 0 11 0 490877808 870371328 29185 4294967295 134512640 134569956 3221224400 3221214888 1131573150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29185 13073 16 0 212477 0 vsize: 849972 [startup+600.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 58142 56 0 0 25 0 11 0 490877808 870371328 29248 4294967295 134512640 134569956 3221224400 3221214680 1131285221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29248 13073 16 0 212477 0 vsize: 849972 [startup+610.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 59122 57 0 0 25 0 11 0 490877808 870371328 29278 4294967295 134512640 134569956 3221224400 3221214776 1131369409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29278 13073 16 0 212477 0 vsize: 849972 [startup+620.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 60103 57 0 0 25 0 11 0 490877808 870371328 29340 4294967295 134512640 134569956 3221224400 3221214680 1131285940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29340 13073 16 0 212477 0 vsize: 849972 [startup+630.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 61085 57 0 0 25 0 11 0 490877808 870371328 29388 4294967295 134512640 134569956 3221224400 3221214268 1131871960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29388 13073 16 0 212477 0 vsize: 849972 [startup+640.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 62061 57 0 0 25 0 11 0 490877808 870371328 29421 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29421 13073 16 0 212477 0 vsize: 849972 [startup+650.057 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 63039 57 0 0 25 0 11 0 490877808 870371328 29463 4294967295 134512640 134569956 3221224400 3221214680 1131285695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29463 13073 16 0 212477 0 vsize: 849972 [startup+660.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 64023 57 0 0 25 0 11 0 490877808 870371328 29554 4294967295 134512640 134569956 3221224400 3221214680 1131285870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29554 13073 16 0 212477 0 vsize: 849972 [startup+670.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 65011 58 0 0 25 0 11 0 490877808 870371328 29562 4294967295 134512640 134569956 3221224400 3221214680 1131748143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29562 13073 16 0 212477 0 vsize: 849972 [startup+680.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 66002 58 0 0 25 0 11 0 490877808 870371328 29568 4294967295 134512640 134569956 3221224400 3221214840 1131433531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29568 13073 16 0 212477 0 vsize: 849972 [startup+690.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 66988 58 0 0 25 0 11 0 490877808 870371328 29579 4294967295 134512640 134569956 3221224400 3221214776 1131371501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29579 13073 16 0 212477 0 vsize: 849972 [startup+700.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 67969 58 0 0 25 0 11 0 490877808 870371328 29607 4294967295 134512640 134569956 3221224400 3221214736 1131357331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29607 13073 16 0 212477 0 vsize: 849972 [startup+710.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 68946 58 0 0 25 0 11 0 490877808 870371328 29630 4294967295 134512640 134569956 3221224400 3221214680 1131286132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29630 13073 16 0 212477 0 vsize: 849972 [startup+720.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 69921 58 0 0 25 0 11 0 490877808 870371328 29660 4294967295 134512640 134569956 3221224400 3221214776 1131371501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29660 13073 16 0 212477 0 vsize: 849972 [startup+730.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 70897 58 0 0 25 0 11 0 490877808 870371328 29735 4294967295 134512640 134569956 3221224400 3221214896 1132007870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29735 13073 16 0 212477 0 vsize: 849972 [startup+740.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 71879 58 0 0 25 0 11 0 490877808 870371328 29802 4294967295 134512640 134569956 3221224400 3221214184 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29802 13073 16 0 212477 0 vsize: 849972 [startup+750.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 72863 58 0 0 24 0 11 0 490877808 870371328 29837 4294967295 134512640 134569956 3221224400 3221214680 1131285590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29837 13073 16 0 212477 0 vsize: 849972 [startup+760.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 73854 58 0 0 25 0 11 0 490877808 870371328 29846 4294967295 134512640 134569956 3221224400 3221214600 1131871956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29846 13073 16 0 212477 0 vsize: 849972 [startup+770.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 74834 58 0 0 25 0 11 0 490877808 870371328 29856 4294967295 134512640 134569956 3221224400 3221214680 1131285626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 29856 13073 16 0 212477 0 vsize: 849972 [startup+780.063 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 75819 58 0 0 25 0 11 0 490877808 870371328 29905 4294967295 134512640 134569956 3221224400 3221214776 1131370552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29905 13073 16 0 212477 0 vsize: 849972 [startup+790.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 76802 59 0 0 25 0 11 0 490877808 870371328 29918 4294967295 134512640 134569956 3221224400 3221214680 1131285224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29918 13073 16 0 212477 0 vsize: 849972 [startup+800.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 77791 59 0 0 25 0 11 0 490877808 870371328 29973 4294967295 134512640 134569956 3221224400 3221214680 1131285221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29973 13073 16 0 212477 0 vsize: 849972 [startup+810.065 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 78781 59 0 0 25 0 11 0 490877808 870371328 29975 4294967295 134512640 134569956 3221224400 3221214616 1131285578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29975 13073 16 0 212477 0 vsize: 849972 [startup+820.065 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 79768 59 0 0 24 0 11 0 490877808 870371328 29984 4294967295 134512640 134569956 3221224400 3221214760 1131558156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29984 13073 16 0 212477 0 vsize: 849972 [startup+830.066 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 80757 60 0 0 25 0 11 0 490877808 870371328 29991 4294967295 134512640 134569956 3221224400 3221214632 1131748143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29991 13073 16 0 212477 0 vsize: 849972 [startup+840.067 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 81747 60 0 0 25 0 11 0 490877808 870371328 29996 4294967295 134512640 134569956 3221224400 3221214712 1131369516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 29996 13073 16 0 212477 0 vsize: 849972 [startup+850.068 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 82731 60 0 0 25 0 11 0 490877808 870371328 30002 4294967295 134512640 134569956 3221224400 3221214616 1131285866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30002 13073 16 0 212477 0 vsize: 849972 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 83714 60 0 0 25 0 11 0 490877808 870371328 30015 4294967295 134512640 134569956 3221224400 3221214712 1131369624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30015 13073 16 0 212477 0 vsize: 849972 [startup+870.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 84697 60 0 0 25 0 11 0 490877808 870371328 30056 4294967295 134512640 134569956 3221224400 3221214616 1131285252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30056 13073 16 0 212477 0 vsize: 849972 [startup+880.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 85681 61 0 0 25 0 11 0 490877808 870371328 30091 4294967295 134512640 134569956 3221224400 3221214656 1131276688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30091 13073 16 0 212477 0 vsize: 849972 [startup+890.071 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 86663 61 0 0 25 0 11 0 490877808 870371328 30119 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30119 13073 16 0 212477 0 vsize: 849972 [startup+900.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 87646 61 0 0 25 0 11 0 490877808 870371328 30130 4294967295 134512640 134569956 3221224400 3221214616 1131286436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30130 13073 16 0 212477 0 vsize: 849972 [startup+910.071 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 88626 62 0 0 25 0 11 0 490877808 870371328 30168 4294967295 134512640 134569956 3221224400 3221214616 1131285471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30168 13073 16 0 212477 0 vsize: 849972 [startup+920.071 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 89606 62 0 0 25 0 11 0 490877808 870371328 30207 4294967295 134512640 134569956 3221224400 3221214616 1131285224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30207 13073 16 0 212477 0 vsize: 849972 [startup+930.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 90587 62 0 0 25 0 11 0 490877808 870371328 30254 4294967295 134512640 134569956 3221224400 3221214668 1131646643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30254 13073 16 0 212477 0 vsize: 849972 [startup+940.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 91576 63 0 0 25 0 11 0 490877808 870371328 30265 4294967295 134512640 134569956 3221224400 3221214672 1131539327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30265 13073 16 0 212477 0 vsize: 849972 [startup+950.073 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 92564 63 0 0 25 0 11 0 490877808 870371328 30279 4294967295 134512640 134569956 3221224400 3221214520 1131638574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30279 13073 16 0 212477 0 vsize: 849972 [startup+960.074 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 93548 63 0 0 25 0 11 0 490877808 870371328 30284 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30284 13073 16 0 212477 0 vsize: 849972 [startup+970.075 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 94532 63 0 0 25 0 11 0 490877808 870371328 30316 4294967295 134512640 134569956 3221224400 3221214520 1131276719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30316 13073 16 0 212477 0 vsize: 849972 [startup+980.075 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 95513 63 0 0 25 0 11 0 490877808 870371328 30337 4294967295 134512640 134569956 3221224400 3221214520 1131639050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 30337 13073 16 0 212477 0 vsize: 849972 [startup+990.077 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 96493 63 0 0 25 0 11 0 490877808 870371328 30419 4294967295 134512640 134569956 3221224400 3221214632 1131748252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30419 13073 16 0 212477 0 vsize: 849972 [startup+1000.08 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 97475 64 0 0 25 0 11 0 490877808 870371328 30469 4294967295 134512640 134569956 3221224400 3221213912 1077100737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30469 13073 16 0 212477 0 vsize: 849972 [startup+1010.08 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 98456 64 0 0 25 0 11 0 490877808 870371328 30502 4294967295 134512640 134569956 3221224400 3221214616 1131285268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30502 13073 16 0 212477 0 vsize: 849972 [startup+1020.08 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 99432 65 0 0 25 0 11 0 490877808 870371328 30537 4294967295 134512640 134569956 3221224400 3221214616 1131286483 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30537 13073 16 0 212477 0 vsize: 849972 [startup+1030.08 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 100405 65 0 0 25 0 11 0 490877808 870371328 30537 4294967295 134512640 134569956 3221224400 3221214532 1131872016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30537 13073 16 0 212477 0 vsize: 849972 [startup+1040.08 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 101388 65 0 0 25 0 11 0 490877808 870371328 30561 4294967295 134512640 134569956 3221224400 3221214520 1131276703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30561 13073 16 0 212477 0 vsize: 849972 [startup+1050.08 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 102366 66 0 0 25 0 11 0 490877808 870371328 30648 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30648 13073 16 0 212477 0 vsize: 849972 [startup+1060.08 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 103347 66 0 0 25 0 11 0 490877808 870371328 30699 4294967295 134512640 134569956 3221224400 3221214904 1132007500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30699 13073 16 0 212477 0 vsize: 849972 [startup+1070.08 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 104326 66 0 0 25 0 11 0 490877808 870371328 30746 4294967295 134512640 134569956 3221224400 3221214136 1085679302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30746 13073 16 0 212477 0 vsize: 849972 [startup+1080.08 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 105302 66 0 0 24 0 11 0 490877808 870371328 30796 4294967295 134512640 134569956 3221224400 3221214672 1131285483 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30796 13073 16 0 212477 0 vsize: 849972 [startup+1090.08 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 106281 66 0 0 25 0 11 0 490877808 870371328 30867 4294967295 134512640 134569956 3221224400 3221214672 1131286049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30867 13073 16 0 212477 0 vsize: 849972 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 107266 66 0 0 25 0 11 0 490877808 870371328 30913 4294967295 134512640 134569956 3221224400 3221214768 1131369451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30913 13073 16 0 212477 0 vsize: 849972 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 108252 66 0 0 25 0 11 0 490877808 870371328 30917 4294967295 134512640 134569956 3221224400 3221214672 1131286405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30917 13073 16 0 212477 0 vsize: 849972 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 109242 67 0 0 25 0 11 0 490877808 870371328 30924 4294967295 134512640 134569956 3221224400 3221214648 1131748252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30924 13073 16 0 212477 0 vsize: 849972 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 110227 67 0 0 25 0 11 0 490877808 870371328 30936 4294967295 134512640 134569956 3221224400 3221214768 1131369451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30936 13073 16 0 212477 0 vsize: 849972 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 111211 67 0 0 25 0 11 0 490877808 870371328 30936 4294967295 134512640 134569956 3221224400 3221214544 1131277028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30936 13073 16 0 212477 0 vsize: 849972 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 112193 67 0 0 25 0 11 0 490877808 870371328 30941 4294967295 134512640 134569956 3221224400 3221214648 1131748140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30941 13073 16 0 212477 0 vsize: 849972 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 113173 68 0 0 25 0 11 0 490877808 870371328 30946 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212493 30946 13073 16 0 212477 0 vsize: 849972 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 114150 68 0 0 25 0 11 0 490877808 870371328 30948 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30948 13073 16 0 212477 0 vsize: 849972 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 115117 69 0 0 25 0 11 0 490877808 870371328 30991 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 30991 13073 16 0 212477 0 vsize: 849972 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 116090 69 0 0 25 0 11 0 490877808 870371328 31041 4294967295 134512640 134569956 3221224400 3221214704 1131456353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 31041 13073 16 0 212477 0 vsize: 849972 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 117062 69 0 0 25 0 11 0 490877808 870371328 31113 4294967295 134512640 134569956 3221224400 3221214704 1131454250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 31113 13073 16 0 212477 0 vsize: 849972 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 118034 69 0 0 25 0 11 0 490877808 870371328 31177 4294967295 134512640 134569956 3221224400 3221214536 1131638917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 31177 13073 16 0 212477 0 vsize: 849972 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 119006 69 0 0 25 0 11 0 490877808 870371328 31258 4294967295 134512640 134569956 3221224400 3221214764 1131285196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 31258 13073 16 0 212477 0 vsize: 849972 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 20275 Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 119978 69 0 0 25 0 11 0 490877808 870371328 31329 4294967295 134512640 134569956 3221224400 3221214648 1131748143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212493 31329 13073 16 0 212477 0 vsize: 849972 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.17 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 20277 Raw data (stat): 20265 (java) Z 20264 29151 29150 0 -1 1036 18084 39974 1 0 119980 75 6142 106 25 0 1 0 490877808 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): 1230.17 CPU time (s): 1263.06 CPU user time (s): 1261.23 CPU system time (s): 1.82272 CPU usage (%): 102.674 Max. virtual memory (Kb): 862040 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####