Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb |
MD5SUM | b2547f396d5cd0589545f2e597f6c86a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 507 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1632 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1632 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1632 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.06684 |
Number of variables | 1632 |
Total number of constraints | 6924 |
Number of constraints which are clauses | 6924 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-13 16:36:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1521 boxname=wulflinc12 idbench=169 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b2547f396d5cd0589545f2e597f6c86a /oldhome/oroussel/tmp/wulflinc12/normalized-ii8b3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-ii8b3.opb IDLAUNCH: 1521 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 936248 kB Buffers: 34256 kB Cached: 45016 kB SwapCached: 16 kB Active: 55632 kB Inactive: 26492 kB HighTotal: 131008 kB HighFree: 82096 kB LowTotal: 903652 kB LowFree: 854152 kB SwapTotal: 2097136 kB SwapFree: 2097120 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 10824 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:57:12 (client local time) WITH STATUS 143 IN SECONDS stats: 1521 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-ii8b3.opb c reading problem c [nbvar=1632] c [nbconstr=6924] c time 4.534 c #vars 1632 c #clauses 6924 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=748 c Current CPU time (ms) : 9.255 c starts : 1 c conflicts : 21 c decisions : 253 c propagations : 7055 c inspects : 19559 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 21 c root simplifications : 1 c c CURRENT OPTIMUM=617 c Current CPU time (ms) : 10.202 c starts : 2 c conflicts : 21 c decisions : 715 c propagations : 8687 c inspects : 24527 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 21 c root simplifications : 2 c c CURRENT OPTIMUM=574 c Current CPU time (ms) : 77.565 c starts : 3 c conflicts : 88 c decisions : 1720 c propagations : 16599 c inspects : 78210 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 88 c root simplifications : 3 c c CURRENT OPTIMUM=562 c Current CPU time (ms) : 308.735 c starts : 5 c conflicts : 200 c decisions : 3625 c propagations : 26953 c inspects : 195598 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 200 c root simplifications : 5 #### 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): 1.01 1.00 0.91 2/54 26208 Raw data (stat): 26208 (runsolver) R 26207 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419215831 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.16 1.03 0.92 2/64 26219 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18072 3 1 0 736 46 0 0 25 0 11 0 419215831 864669696 21054 4294967295 134512640 134569956 3221224416 3221214792 1131360669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211101 21054 13073 16 0 211085 0 vsize: 844404 [startup+20.0016 s] Raw data (loadavg): 1.13 1.03 0.92 2/64 26220 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 1620 46 0 0 25 0 11 0 419215831 864505856 23458 4294967295 134512640 134569956 3221224416 3221214624 1131212374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211061 23458 13073 16 0 211045 0 vsize: 844244 [startup+30.0025 s] Raw data (loadavg): 1.11 1.03 0.92 2/64 26220 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 2523 46 0 0 25 0 11 0 419215831 864505856 23458 4294967295 134512640 134569956 3221224416 3221214592 1131464817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211061 23458 13073 16 0 211045 0 vsize: 844244 [startup+40.0018 s] Raw data (loadavg): 1.10 1.03 0.92 2/64 26220 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 3421 46 0 0 25 0 11 0 419215831 864505856 23601 4294967295 134512640 134569956 3221224416 3221214768 1131429647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211061 23601 13073 16 0 211045 0 vsize: 844244 [startup+50.0033 s] Raw data (loadavg): 1.08 1.03 0.92 2/64 26220 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 4321 46 0 0 24 0 11 0 419215831 863784960 23979 4294967295 134512640 134569956 3221224416 3221214728 1131307388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 23979 13073 16 0 210869 0 vsize: 843540 [startup+60.0046 s] Raw data (loadavg): 1.07 1.03 0.92 2/64 26220 Raw data (stat): 26208 (java) S 26207 25285 25284 0 -1 0 18075 3 1 0 5264 47 0 0 25 0 11 0 419215831 863784960 24152 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 24152 13073 16 0 210869 0 vsize: 843540 [startup+70.0055 s] Raw data (loadavg): 1.06 1.02 0.92 2/64 26220 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 6184 47 0 0 25 0 11 0 419215831 863784960 24300 4294967295 134512640 134569956 3221224416 3221214720 1131212431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 24300 13073 16 0 210869 0 vsize: 843540 [startup+80.0068 s] Raw data (loadavg): 1.05 1.02 0.92 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 7112 48 0 0 25 0 11 0 419215831 863784960 24396 4294967295 134512640 134569956 3221224416 3221214792 1131362479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 24396 13073 16 0 210869 0 vsize: 843540 [startup+90.0066 s] Raw data (loadavg): 1.04 1.02 0.92 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 8048 48 0 0 25 0 11 0 419215831 863784960 24490 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 24490 13073 16 0 210869 0 vsize: 843540 [startup+100.007 s] Raw data (loadavg): 1.11 1.04 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 8962 48 0 0 25 0 11 0 419215831 863784960 24583 4294967295 134512640 134569956 3221224416 3221214696 1131214611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 24583 13073 16 0 210869 0 vsize: 843540 [startup+110.008 s] Raw data (loadavg): 1.09 1.04 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 9896 48 0 0 24 0 11 0 419215831 863784960 25142 4294967295 134512640 134569956 3221224416 3221214792 1131361586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 25142 13073 16 0 210869 0 vsize: 843540 [startup+120.01 s] Raw data (loadavg): 1.08 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 10867 48 0 0 25 0 11 0 419215831 863784960 25302 4294967295 134512640 134569956 3221224416 3221214792 1131361626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 25302 13073 16 0 210869 0 vsize: 843540 [startup+130.01 s] Raw data (loadavg): 1.06 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 11788 48 0 0 25 0 11 0 419215831 863784960 26564 4294967295 134512640 134569956 3221224416 3221214616 1131418071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 26564 13073 16 0 210869 0 vsize: 843540 [startup+140.01 s] Raw data (loadavg): 1.05 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 12699 48 0 0 24 0 11 0 419215831 863784960 26567 4294967295 134512640 134569956 3221224416 3221214768 1131428051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 26567 13073 16 0 210869 0 vsize: 843540 [startup+150.011 s] Raw data (loadavg): 1.04 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 13605 48 0 0 25 0 11 0 419215831 863784960 26567 4294967295 134512640 134569956 3221224416 3221214768 1131429647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 26567 13073 16 0 210869 0 vsize: 843540 [startup+160.011 s] Raw data (loadavg): 1.04 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 14513 48 0 0 25 0 11 0 419215831 863784960 27062 4294967295 134512640 134569956 3221224416 3221214720 1131212484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27062 13073 16 0 210869 0 vsize: 843540 [startup+170.012 s] Raw data (loadavg): 1.03 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 15460 48 0 0 25 0 11 0 419215831 863784960 27266 4294967295 134512640 134569956 3221224416 3221214592 1131464931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27266 13073 16 0 210869 0 vsize: 843540 [startup+180.012 s] Raw data (loadavg): 1.03 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 16415 48 0 0 25 0 11 0 419215831 863784960 27379 4294967295 134512640 134569956 3221224416 3221214720 1131212396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27379 13073 16 0 210869 0 vsize: 843540 [startup+190.013 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 17377 48 0 0 25 0 11 0 419215831 863784960 27508 4294967295 134512640 134569956 3221224416 3221214456 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27508 13073 16 0 210869 0 vsize: 843540 [startup+200.014 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 18344 49 0 0 25 0 11 0 419215831 863784960 27593 4294967295 134512640 134569956 3221224416 3221214408 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27593 13073 16 0 210869 0 vsize: 843540 [startup+210.015 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 19314 49 0 0 25 0 11 0 419215831 863784960 27659 4294967295 134512640 134569956 3221224416 3221214592 1131465478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27659 13073 16 0 210869 0 vsize: 843540 [startup+220.016 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 20282 49 0 0 25 0 11 0 419215831 863784960 27723 4294967295 134512640 134569956 3221224416 3221214672 1131383293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27723 13073 16 0 210869 0 vsize: 843540 [startup+230.016 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18075 3 1 0 21249 49 0 0 25 0 11 0 419215831 863784960 27766 4294967295 134512640 134569956 3221224416 3221214776 1131214533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27766 13073 16 0 210869 0 vsize: 843540 [startup+240.017 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 22211 49 0 0 25 0 11 0 419215831 863784960 27868 4294967295 134512640 134569956 3221224416 3221214672 1131383261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27868 13073 16 0 210869 0 vsize: 843540 [startup+250.017 s] Raw data (loadavg): 1.09 1.04 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 23187 49 0 0 25 0 11 0 419215831 863784960 27873 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 27873 13073 16 0 210869 0 vsize: 843540 [startup+260.018 s] Raw data (loadavg): 1.07 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 24151 49 0 0 25 0 11 0 419215831 863784960 27934 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 27934 13073 16 0 210869 0 vsize: 843540 [startup+270.019 s] Raw data (loadavg): 1.06 1.03 0.93 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 25110 49 0 0 25 0 11 0 419215831 863784960 28016 4294967295 134512640 134569956 3221224416 3221214696 1131214283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28016 13073 16 0 210869 0 vsize: 843540 [startup+280.02 s] Raw data (loadavg): 1.13 1.05 0.94 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 26068 49 0 0 25 0 11 0 419215831 863784960 28089 4294967295 134512640 134569956 3221224416 3221214792 1131362522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28089 13073 16 0 210869 0 vsize: 843540 [startup+290.021 s] Raw data (loadavg): 1.11 1.04 0.94 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 27041 49 0 0 24 0 11 0 419215831 863784960 28227 4294967295 134512640 134569956 3221224416 3221214696 1131214185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28227 13073 16 0 210869 0 vsize: 843540 [startup+300.022 s] Raw data (loadavg): 1.09 1.04 0.94 2/64 26221 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 28022 49 0 0 25 0 11 0 419215831 863784960 28272 4294967295 134512640 134569956 3221224416 3221214792 1131360562 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28272 13073 16 0 210869 0 vsize: 843540 [startup+310.022 s] Raw data (loadavg): 1.08 1.04 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 28995 49 0 0 25 0 11 0 419215831 863784960 28289 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28289 13073 16 0 210869 0 vsize: 843540 [startup+320.024 s] Raw data (loadavg): 1.07 1.04 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 29978 49 0 0 24 0 11 0 419215831 863784960 28292 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28292 13073 16 0 210869 0 vsize: 843540 [startup+330.025 s] Raw data (loadavg): 1.06 1.04 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 30961 49 0 0 25 0 11 0 419215831 863784960 28295 4294967295 134512640 134569956 3221224416 3221214792 1131360399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28295 13073 16 0 210869 0 vsize: 843540 [startup+340.025 s] Raw data (loadavg): 1.05 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 31937 50 0 0 25 0 11 0 419215831 863784960 28322 4294967295 134512640 134569956 3221224416 3221214696 1131214285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28322 13073 16 0 210869 0 vsize: 843540 [startup+350.026 s] Raw data (loadavg): 1.04 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 32911 50 0 0 25 0 11 0 419215831 863784960 28350 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28350 13073 16 0 210869 0 vsize: 843540 [startup+360.026 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 33890 50 0 0 25 0 11 0 419215831 863784960 28430 4294967295 134512640 134569956 3221224416 3221214792 1131360399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28430 13073 16 0 210869 0 vsize: 843540 [startup+370.028 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 34876 50 0 0 25 0 11 0 419215831 863784960 28445 4294967295 134512640 134569956 3221224416 3221214792 1131361447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28445 13073 16 0 210869 0 vsize: 843540 [startup+380.029 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 35860 50 0 0 25 0 11 0 419215831 863784960 28447 4294967295 134512640 134569956 3221224416 3221214696 1131215228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28447 13073 16 0 210869 0 vsize: 843540 [startup+390.029 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 36837 50 0 0 25 0 11 0 419215831 863784960 28449 4294967295 134512640 134569956 3221224416 3221214696 1131214145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28449 13073 16 0 210869 0 vsize: 843540 [startup+400.031 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 37811 50 0 0 25 0 11 0 419215831 863784960 28479 4294967295 134512640 134569956 3221224416 3221214592 1131465556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28479 13073 16 0 210869 0 vsize: 843540 [startup+410.032 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 38784 50 0 0 25 0 11 0 419215831 863784960 28513 4294967295 134512640 134569956 3221224416 3221214252 1078829665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28513 13073 16 0 210869 0 vsize: 843540 [startup+420.032 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 39763 50 0 0 25 0 11 0 419215831 863784960 28551 4294967295 134512640 134569956 3221224416 3221214792 1131360630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28551 13073 16 0 210869 0 vsize: 843540 [startup+430.034 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 40742 50 0 0 25 0 11 0 419215831 863784960 28567 4294967295 134512640 134569956 3221224416 3221214672 1131384675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28567 13073 16 0 210869 0 vsize: 843540 [startup+440.035 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 41722 50 0 0 25 0 11 0 419215831 863784960 28640 4294967295 134512640 134569956 3221224416 3221214512 1131232937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28640 13073 16 0 210869 0 vsize: 843540 [startup+450.035 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 42706 50 0 0 25 0 11 0 419215831 863784960 28674 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28674 13073 16 0 210869 0 vsize: 843540 [startup+460.036 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 43690 50 0 0 25 0 11 0 419215831 863784960 28700 4294967295 134512640 134569956 3221224416 3221214896 1131161305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28700 13073 16 0 210869 0 vsize: 843540 [startup+470.037 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 44674 51 0 0 25 0 11 0 419215831 863784960 28722 4294967295 134512640 134569956 3221224416 3221214696 1131214149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28722 13073 16 0 210869 0 vsize: 843540 [startup+480.038 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 45651 51 0 0 24 0 11 0 419215831 863784960 28747 4294967295 134512640 134569956 3221224416 3221214088 1076874389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28747 13073 16 0 210869 0 vsize: 843540 [startup+490.038 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 46633 51 0 0 25 0 11 0 419215831 863784960 28748 4294967295 134512640 134569956 3221224416 3221214624 1131212431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28748 13073 16 0 210869 0 vsize: 843540 [startup+500.039 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 47617 51 0 0 25 0 11 0 419215831 863784960 28762 4294967295 134512640 134569956 3221224416 3221214792 1131360562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28762 13073 16 0 210869 0 vsize: 843540 [startup+510.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 48599 52 0 0 25 0 11 0 419215831 863784960 28783 4294967295 134512640 134569956 3221224416 3221214792 1131360573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28783 13073 16 0 210869 0 vsize: 843540 [startup+520.041 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 49578 52 0 0 25 0 11 0 419215831 863784960 28804 4294967295 134512640 134569956 3221224416 3221214872 1131303071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28804 13073 16 0 210869 0 vsize: 843540 [startup+530.042 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 50553 52 0 0 24 0 11 0 419215831 863784960 28827 4294967295 134512640 134569956 3221224416 3221214792 1131361680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28827 13073 16 0 210869 0 vsize: 843540 [startup+540.042 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 51526 53 0 0 25 0 11 0 419215831 863784960 28848 4294967295 134512640 134569956 3221224416 3221214792 1131360531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28848 13073 16 0 210869 0 vsize: 843540 [startup+550.043 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 52503 53 0 0 25 0 11 0 419215831 863784960 28886 4294967295 134512640 134569956 3221224416 3221214792 1131360601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 28886 13073 16 0 210869 0 vsize: 843540 [startup+560.044 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 53480 53 0 0 25 0 11 0 419215831 863784960 28975 4294967295 134512640 134569956 3221224416 3221214696 1131214322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 28975 13073 16 0 210869 0 vsize: 843540 [startup+570.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 54461 54 0 0 25 0 11 0 419215831 863784960 29012 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29012 13073 16 0 210869 0 vsize: 843540 [startup+580.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 55439 54 0 0 25 0 11 0 419215831 863784960 29041 4294967295 134512640 134569956 3221224416 3221214608 1131517212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210885 29041 13073 16 0 210869 0 vsize: 843540 [startup+590.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 56419 54 0 0 25 0 11 0 419215831 863784960 29097 4294967295 134512640 134569956 3221224416 3221214792 1131360669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29097 13073 16 0 210869 0 vsize: 843540 [startup+600.046 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 57400 54 0 0 25 0 11 0 419215831 863784960 29116 4294967295 134512640 134569956 3221224416 3221214712 1131564531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29116 13073 16 0 210869 0 vsize: 843540 [startup+610.047 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 58384 55 0 0 25 0 11 0 419215831 863784960 29142 4294967295 134512640 134569956 3221224416 3221214616 1131232937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29142 13073 16 0 210869 0 vsize: 843540 [startup+620.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 59361 55 0 0 25 0 11 0 419215831 863784960 29168 4294967295 134512640 134569956 3221224416 3221214768 1131432986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29168 13073 16 0 210869 0 vsize: 843540 [startup+630.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 60341 55 0 0 25 0 11 0 419215831 863784960 29195 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29195 13073 16 0 210869 0 vsize: 843540 [startup+640.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 61322 56 0 0 24 0 11 0 419215831 863784960 29237 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29237 13073 16 0 210869 0 vsize: 843540 [startup+650.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 62305 56 0 0 25 0 11 0 419215831 863784960 29249 4294967295 134512640 134569956 3221224416 3221214792 1131360723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29249 13073 16 0 210869 0 vsize: 843540 [startup+660.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 63284 56 0 0 25 0 11 0 419215831 863784960 29298 4294967295 134512640 134569956 3221224416 3221214688 1131475377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29298 13073 16 0 210869 0 vsize: 843540 [startup+670.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 64267 57 0 0 25 0 11 0 419215831 863784960 29314 4294967295 134512640 134569956 3221224416 3221214512 1131214755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29314 13073 16 0 210869 0 vsize: 843540 [startup+680.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 65253 57 0 0 25 0 11 0 419215831 863784960 29328 4294967295 134512640 134569956 3221224416 3221214696 1131214675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29328 13073 16 0 210869 0 vsize: 843540 [startup+690.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 66234 57 0 0 25 0 11 0 419215831 863784960 29363 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29363 13073 16 0 210869 0 vsize: 843540 [startup+700.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 67216 57 0 0 25 0 11 0 419215831 863784960 29365 4294967295 134512640 134569956 3221224416 3221214696 1131214216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29365 13073 16 0 210869 0 vsize: 843540 [startup+710.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 68194 58 0 0 25 0 11 0 419215831 863784960 29382 4294967295 134512640 134569956 3221224416 3221214776 1131232776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29382 13073 16 0 210869 0 vsize: 843540 [startup+720.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 69176 58 0 0 25 0 11 0 419215831 863784960 29423 4294967295 134512640 134569956 3221224416 3221214608 1131517873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29423 13073 16 0 210869 0 vsize: 843540 [startup+730.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 70157 58 0 0 25 0 11 0 419215831 863784960 29448 4294967295 134512640 134569956 3221224416 3221214616 1131232686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29448 13073 16 0 210869 0 vsize: 843540 [startup+740.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 71140 59 0 0 24 0 11 0 419215831 863784960 29471 4294967295 134512640 134569956 3221224416 3221214696 1131214611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29471 13073 16 0 210869 0 vsize: 843540 [startup+750.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 72123 59 0 0 24 0 11 0 419215831 863784960 29481 4294967295 134512640 134569956 3221224416 3221214608 1131233151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29481 13073 16 0 210869 0 vsize: 843540 [startup+760.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 73108 60 0 0 25 0 11 0 419215831 863784960 29504 4294967295 134512640 134569956 3221224416 3221214608 1131516866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29504 13073 16 0 210869 0 vsize: 843540 [startup+770.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 74087 60 0 0 24 0 11 0 419215831 863784960 29516 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29516 13073 16 0 210869 0 vsize: 843540 [startup+780.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 75063 61 0 0 25 0 11 0 419215831 863784960 29548 4294967295 134512640 134569956 3221224416 3221214616 1131233094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29548 13073 16 0 210869 0 vsize: 843540 [startup+790.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18076 3 1 0 76039 61 0 0 25 0 11 0 419215831 863784960 29560 4294967295 134512640 134569956 3221224416 3221214696 1131214545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29560 13073 16 0 210869 0 vsize: 843540 [startup+800.057 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 77013 62 0 0 25 0 11 0 419215831 863784960 29620 4294967295 134512640 134569956 3221224416 3221214608 1131516718 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29620 13073 16 0 210869 0 vsize: 843540 [startup+810.057 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 77993 62 0 0 25 0 11 0 419215831 863784960 29662 4294967295 134512640 134569956 3221224416 3221214608 1131516725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29662 13073 16 0 210869 0 vsize: 843540 [startup+820.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 78977 62 0 0 24 0 11 0 419215831 863784960 29708 4294967295 134512640 134569956 3221224416 3221214792 1131360630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29708 13073 16 0 210869 0 vsize: 843540 [startup+830.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 79963 63 0 0 25 0 11 0 419215831 863784960 29744 4294967295 134512640 134569956 3221224416 3221214616 1131232894 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29744 13073 16 0 210869 0 vsize: 843540 [startup+840.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 80949 64 0 0 25 0 11 0 419215831 863784960 29749 4294967295 134512640 134569956 3221224416 3221214792 1131361751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29749 13073 16 0 210869 0 vsize: 843540 [startup+850.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 81935 64 0 0 25 0 11 0 419215831 863784960 29750 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29750 13073 16 0 210869 0 vsize: 843540 [startup+860.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 82921 64 0 0 25 0 11 0 419215831 863784960 29798 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29798 13073 16 0 210869 0 vsize: 843540 [startup+870.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 83906 65 0 0 25 0 11 0 419215831 863784960 29799 4294967295 134512640 134569956 3221224416 3221214696 1131214587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29799 13073 16 0 210869 0 vsize: 843540 [startup+880.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 84891 65 0 0 24 0 11 0 419215831 863784960 29823 4294967295 134512640 134569956 3221224416 3221214616 1131232937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29823 13073 16 0 210869 0 vsize: 843540 [startup+890.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 85877 65 0 0 25 0 11 0 419215831 863784960 29854 4294967295 134512640 134569956 3221224416 3221214860 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29854 13073 16 0 210869 0 vsize: 843540 [startup+900.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 86861 66 0 0 25 0 11 0 419215831 863784960 29864 4294967295 134512640 134569956 3221224416 3221214608 1131233078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29864 13073 16 0 210869 0 vsize: 843540 [startup+910.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 87848 66 0 0 25 0 11 0 419215831 863784960 29864 4294967295 134512640 134569956 3221224416 3221214696 1131215126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29864 13073 16 0 210869 0 vsize: 843540 [startup+920.063 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 88828 67 0 0 25 0 11 0 419215831 863784960 29877 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29877 13073 16 0 210869 0 vsize: 843540 [startup+930.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 89808 67 0 0 25 0 11 0 419215831 863784960 29911 4294967295 134512640 134569956 3221224416 3221214696 1131214488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29911 13073 16 0 210869 0 vsize: 843540 [startup+940.063 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 90792 67 0 0 25 0 11 0 419215831 863784960 29931 4294967295 134512640 134569956 3221224416 3221214696 1131215366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29931 13073 16 0 210869 0 vsize: 843540 [startup+950.065 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 91772 67 0 0 25 0 11 0 419215831 863784960 29968 4294967295 134512640 134569956 3221224416 3221214696 1131214477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29968 13073 16 0 210869 0 vsize: 843540 [startup+960.065 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 92752 68 0 0 25 0 11 0 419215831 863784960 29970 4294967295 134512640 134569956 3221224416 3221214608 1131518127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29970 13073 16 0 210869 0 vsize: 843540 [startup+970.066 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 93733 68 0 0 25 0 11 0 419215831 863784960 29996 4294967295 134512640 134569956 3221224416 3221214696 1131214618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 29996 13073 16 0 210869 0 vsize: 843540 [startup+980.067 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 94709 68 0 0 25 0 11 0 419215831 863784960 30058 4294967295 134512640 134569956 3221224416 3221214608 1131516718 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30058 13073 16 0 210869 0 vsize: 843540 [startup+990.067 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) S 26207 25285 25284 0 -1 0 18077 3 1 0 95693 69 0 0 25 0 11 0 419215831 863784960 30084 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30084 13073 16 0 210869 0 vsize: 843540 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 96675 69 0 0 25 0 11 0 419215831 863784960 30152 4294967295 134512640 134569956 3221224416 3221214472 1131591395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30152 13073 16 0 210869 0 vsize: 843540 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 97663 69 0 0 25 0 11 0 419215831 863784960 30153 4294967295 134512640 134569956 3221224416 3221214792 1131361626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30153 13073 16 0 210869 0 vsize: 843540 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 98647 70 0 0 25 0 11 0 419215831 863784960 30174 4294967295 134512640 134569956 3221224416 3221214696 1131214428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30174 13073 16 0 210869 0 vsize: 843540 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 99634 71 0 0 25 0 11 0 419215831 863784960 30194 4294967295 134512640 134569956 3221224416 3221214840 1131497396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30194 13073 16 0 210869 0 vsize: 843540 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 100618 71 0 0 25 0 11 0 419215831 863784960 30195 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30195 13073 16 0 210869 0 vsize: 843540 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 101603 71 0 0 24 0 11 0 419215831 863784960 30234 4294967295 134512640 134569956 3221224416 3221214792 1131360569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30234 13073 16 0 210869 0 vsize: 843540 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 102589 72 0 0 25 0 11 0 419215831 863784960 30245 4294967295 134512640 134569956 3221224416 3221214792 1131360562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30245 13073 16 0 210869 0 vsize: 843540 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 103571 72 0 0 25 0 11 0 419215831 863784960 30284 4294967295 134512640 134569956 3221224416 3221214696 1131214533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30284 13073 16 0 210869 0 vsize: 843540 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 104553 73 0 0 25 0 11 0 419215831 863784960 30296 4294967295 134512640 134569956 3221224416 3221214764 1131307347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30296 13073 16 0 210869 0 vsize: 843540 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 105538 73 0 0 25 0 11 0 419215831 863784960 30337 4294967295 134512640 134569956 3221224416 3221214608 1131517241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30337 13073 16 0 210869 0 vsize: 843540 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 106524 74 0 0 24 0 11 0 419215831 863784960 30372 4294967295 134512640 134569956 3221224416 3221214444 1080217184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30372 13073 16 0 210869 0 vsize: 843540 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 107514 74 0 0 25 0 11 0 419215831 863784960 30372 4294967295 134512640 134569956 3221224416 3221214728 1131307531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30372 13073 16 0 210869 0 vsize: 843540 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 108501 75 0 0 25 0 11 0 419215831 863784960 30374 4294967295 134512640 134569956 3221224416 3221214792 1131360546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30374 13073 16 0 210869 0 vsize: 843540 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 109486 75 0 0 25 0 11 0 419215831 863784960 30374 4294967295 134512640 134569956 3221224416 3221214792 1131362401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30374 13073 16 0 210869 0 vsize: 843540 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 110470 76 0 0 25 0 11 0 419215831 863784960 30452 4294967295 134512640 134569956 3221224416 3221214608 1131516681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30452 13073 16 0 210869 0 vsize: 843540 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 111460 76 0 0 25 0 11 0 419215831 863784960 30452 4294967295 134512640 134569956 3221224416 3221214616 1131233100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30452 13073 16 0 210869 0 vsize: 843540 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 112450 76 0 0 25 0 11 0 419215831 863784960 30459 4294967295 134512640 134569956 3221224416 3221214792 1131360383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30459 13073 16 0 210869 0 vsize: 843540 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 113439 77 0 0 25 0 11 0 419215831 863784960 30465 4294967295 134512640 134569956 3221224416 3221214696 1131214780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30465 13073 16 0 210869 0 vsize: 843540 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 114423 77 0 0 25 0 11 0 419215831 863784960 30465 4294967295 134512640 134569956 3221224416 3221214792 1131361626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30465 13073 16 0 210869 0 vsize: 843540 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 115403 78 0 0 25 0 11 0 419215831 863784960 30467 4294967295 134512640 134569956 3221224416 3221214792 1131360531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30467 13073 16 0 210869 0 vsize: 843540 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 116383 78 0 0 25 0 11 0 419215831 863784960 30528 4294967295 134512640 134569956 3221224416 3221214792 1131361589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30528 13073 16 0 210869 0 vsize: 843540 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 117372 78 0 0 25 0 11 0 419215831 863784960 30545 4294967295 134512640 134569956 3221224416 3221214792 1131360756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30545 13073 16 0 210869 0 vsize: 843540 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 118359 79 0 0 25 0 11 0 419215831 863784960 30552 4294967295 134512640 134569956 3221224416 3221214872 1131303071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30552 13073 16 0 210869 0 vsize: 843540 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 119339 79 0 0 25 0 11 0 419215831 863784960 30569 4294967295 134512640 134569956 3221224416 3221214672 1131382565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30569 13073 16 0 210869 0 vsize: 843540 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 26222 Raw data (stat): 26208 (java) R 26207 25285 25284 0 -1 0 18077 3 1 0 120317 80 0 0 25 0 11 0 419215831 863784960 30579 4294967295 134512640 134569956 3221224416 3221214872 1131303234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 30579 13073 16 0 210869 0 vsize: 843540 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.19 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 26224 Raw data (stat): 26208 (java) Z 26207 25285 25284 0 -1 1036 18077 15759 1 0 120321 86 4458 47 25 0 1 0 419215831 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.19 CPU time (s): 1249.14 CPU user time (s): 1247.81 CPU system time (s): 1.3338 CPU usage (%): 100.722 Max. virtual memory (Kb): 844404 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####