Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb |
MD5SUM | 53176d06e1e99afe2d28ec1484235311 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 81920000000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 40410384871329 |
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 | 6.22305 |
Number of variables | 18824 |
Total number of constraints | 17064 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 16718 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15827 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-20 22:28:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19964 boxname=wulflinc5 idbench=1536 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 53176d06e1e99afe2d28ec1484235311 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb IDLAUNCH: 19964 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 567456 kB Buffers: 38732 kB Cached: 402696 kB SwapCached: 2272 kB Active: 225784 kB Inactive: 220796 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 567204 kB SwapTotal: 2097136 kB SwapFree: 2094864 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6940 kB Slab: 14880 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 22:48:49 (client local time) WITH STATUS 143 IN 1238.32 SECONDS stats: 19964 7 1238.32 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb c reading problem c [nbvar=18824] c [nbconstr=17064] c time 141.242 c #vars 18824 c #clauses 1473 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.81 0.92 0.90 2/54 10865 Raw data (stat): 10865 (runsolver) R 10864 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481817380 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.84 0.93 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 877 44 0 0 25 0 10 0 481817380 854749184 19393 4294967295 134512640 134569956 3221224400 3221214528 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208679 19393 13073 16 0 208663 0 vsize: 834716 [startup+20.0106 s] Raw data (loadavg): 0.87 0.93 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 1798 45 0 0 25 0 10 0 481817380 853975040 19733 4294967295 134512640 134569956 3221224400 3221214856 1131169368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 19733 13073 16 0 208474 0 vsize: 833960 [startup+30.0106 s] Raw data (loadavg): 0.89 0.93 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 2703 45 0 0 19 0 10 0 481817380 853975040 20226 4294967295 134512640 134569956 3221224400 3221214640 1131237928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20226 13073 16 0 208474 0 vsize: 833960 [startup+40.0113 s] Raw data (loadavg): 0.90 0.93 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 3632 45 0 0 25 0 10 0 481817380 853975040 20462 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20462 13073 16 0 208474 0 vsize: 833960 [startup+50.0121 s] Raw data (loadavg): 0.92 0.93 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 4576 45 0 0 25 0 10 0 481817380 853975040 20653 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20653 13073 16 0 208474 0 vsize: 833960 [startup+60.0128 s] Raw data (loadavg): 0.93 0.94 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 5519 46 0 0 25 0 10 0 481817380 853975040 20783 4294967295 134512640 134569956 3221224400 3221214736 1131142144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20783 13073 16 0 208474 0 vsize: 833960 [startup+70.0126 s] Raw data (loadavg): 0.94 0.94 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 6457 46 0 0 25 0 10 0 481817380 853975040 20893 4294967295 134512640 134569956 3221224400 3221214784 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20893 13073 16 0 208474 0 vsize: 833960 [startup+80.0138 s] Raw data (loadavg): 0.95 0.94 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 7392 46 0 0 25 0 10 0 481817380 853975040 20998 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 20998 13073 16 0 208474 0 vsize: 833960 [startup+90.0141 s] Raw data (loadavg): 0.96 0.94 0.90 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 8335 46 0 0 25 0 10 0 481817380 853975040 21172 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208490 21172 13073 16 0 208474 0 vsize: 833960 [startup+100.014 s] Raw data (loadavg): 0.96 0.94 0.91 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 9281 46 0 0 25 0 10 0 481817380 853975040 21260 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 21260 13073 16 0 208474 0 vsize: 833960 [startup+110.015 s] Raw data (loadavg): 0.97 0.94 0.91 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 10222 46 0 0 25 0 10 0 481817380 853975040 21345 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208490 21345 13073 16 0 208474 0 vsize: 833960 [startup+120.015 s] Raw data (loadavg): 0.97 0.94 0.91 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18012 0 1 0 11080 51 0 0 25 0 10 0 481817380 855085056 27738 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208761 27738 13073 16 0 208745 0 vsize: 835044 [startup+130.015 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 10874 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18012 0 1 0 11957 52 0 0 25 0 10 0 481817380 855085056 28553 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208761 28553 13073 16 0 208745 0 vsize: 835044 [startup+140.019 s] Raw data (loadavg): 0.98 0.95 0.91 2/63 10874 Raw data (stat): 10865 (java) S 10864 24215 24214 0 -1 0 18012 0 1 0 12812 53 0 0 25 0 10 0 481817380 855085056 29564 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208761 29564 13073 16 0 208745 0 vsize: 835044 [startup+150.02 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18054 0 1 0 13718 54 0 0 25 0 11 0 481817380 856662016 30567 4294967295 134512640 134569956 3221224400 3221214752 1131387188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209146 30567 13073 16 0 209130 0 vsize: 836584 [startup+160.02 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18054 0 1 0 14616 54 0 0 25 0 11 0 481817380 856662016 30569 4294967295 134512640 134569956 3221224400 3221214680 1131308257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209146 30569 13073 16 0 209130 0 vsize: 836584 [startup+170.02 s] Raw data (loadavg): 1.13 0.98 0.92 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18095 0 1 0 15463 54 0 0 25 0 11 0 481817380 859385856 31410 4294967295 134512640 134569956 3221224400 3221214776 1131388135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 31410 13073 16 0 209795 0 vsize: 839244 [startup+180.02 s] Raw data (loadavg): 1.11 0.98 0.92 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 16367 54 0 0 25 0 11 0 481817380 859385856 31411 4294967295 134512640 134569956 3221224400 3221214680 1131309185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 31411 13073 16 0 209795 0 vsize: 839244 [startup+190.021 s] Raw data (loadavg): 1.09 0.98 0.92 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 17340 55 0 0 25 0 11 0 481817380 859385856 32145 4294967295 134512640 134569956 3221224400 3221214776 1131387254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32145 13073 16 0 209795 0 vsize: 839244 [startup+200.021 s] Raw data (loadavg): 1.15 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 18291 55 0 0 25 0 11 0 481817380 859385856 32186 4294967295 134512640 134569956 3221224400 3221214680 1131308345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32186 13073 16 0 209795 0 vsize: 839244 [startup+210.022 s] Raw data (loadavg): 1.13 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 19265 55 0 0 25 0 11 0 481817380 859385856 32218 4294967295 134512640 134569956 3221224400 3221214776 1131387312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32218 13073 16 0 209795 0 vsize: 839244 [startup+220.022 s] Raw data (loadavg): 1.11 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 20241 55 0 0 25 0 11 0 481817380 859385856 32229 4294967295 134512640 134569956 3221224400 3221214776 1131386856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32229 13073 16 0 209795 0 vsize: 839244 [startup+230.022 s] Raw data (loadavg): 1.09 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 21223 55 0 0 25 0 11 0 481817380 859385856 32235 4294967295 134512640 134569956 3221224400 3221214592 1131329992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32235 13073 16 0 209795 0 vsize: 839244 [startup+240.023 s] Raw data (loadavg): 1.08 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 22195 55 0 0 25 0 11 0 481817380 859385856 32317 4294967295 134512640 134569956 3221224400 3221214776 1131387400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32317 13073 16 0 209795 0 vsize: 839244 [startup+250.023 s] Raw data (loadavg): 1.06 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 23162 55 0 0 25 0 11 0 481817380 859385856 32362 4294967295 134512640 134569956 3221224400 3221214776 1131385547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32362 13073 16 0 209795 0 vsize: 839244 [startup+260.024 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 24137 55 0 0 25 0 11 0 481817380 859385856 32374 4294967295 134512640 134569956 3221224400 3221214600 1131522420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32374 13073 16 0 209795 0 vsize: 839244 [startup+270.025 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 25112 55 0 0 25 0 11 0 481817380 859385856 32381 4294967295 134512640 134569956 3221224400 3221214696 1131623185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32381 13073 16 0 209795 0 vsize: 839244 [startup+280.024 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 26099 55 0 0 25 0 11 0 481817380 859385856 32544 4294967295 134512640 134569956 3221224400 3221214680 1131308522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32544 13073 16 0 209795 0 vsize: 839244 [startup+290.025 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 27064 56 0 0 25 0 11 0 481817380 859385856 32571 4294967295 134512640 134569956 3221224400 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32571 13073 16 0 209795 0 vsize: 839244 [startup+300.025 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 28042 56 0 0 25 0 11 0 481817380 859385856 32617 4294967295 134512640 134569956 3221224400 3221214648 1131433561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 32617 13073 16 0 209795 0 vsize: 839244 [startup+310.026 s] Raw data (loadavg): 1.10 1.02 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 29025 56 0 0 25 0 11 0 481817380 863813632 33795 4294967295 134512640 134569956 3221224400 3221214832 1131422727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210892 33795 13073 16 0 210876 0 vsize: 843568 [startup+320.027 s] Raw data (loadavg): 1.09 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 30013 56 0 0 25 0 11 0 481817380 862863360 33616 4294967295 134512640 134569956 3221224400 3221214668 1131298161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210660 33616 13073 16 0 210644 0 vsize: 842640 [startup+330.026 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 31002 56 0 0 25 0 11 0 481817380 860217344 32996 4294967295 134512640 134569956 3221224400 3221214568 1131565284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 32996 13073 16 0 209998 0 vsize: 840056 [startup+340.027 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 31986 56 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 32999 13073 16 0 209998 0 vsize: 840056 [startup+350.026 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 32972 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210014 32999 13073 16 0 209998 0 vsize: 840056 [startup+360.028 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 33957 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 32999 13073 16 0 209998 0 vsize: 840056 [startup+370.028 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 34937 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214672 1131627626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 32999 13073 16 0 209998 0 vsize: 840056 [startup+380.028 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 35921 57 0 0 25 0 11 0 481817380 860217344 33000 4294967295 134512640 134569956 3221224400 3221214568 1131565207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33000 13073 16 0 209998 0 vsize: 840056 [startup+390.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 36906 57 0 0 25 0 11 0 481817380 860217344 33140 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33140 13073 16 0 209998 0 vsize: 840056 [startup+400.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 37892 58 0 0 25 0 11 0 481817380 860217344 33182 4294967295 134512640 134569956 3221224400 3221214568 1131565298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33182 13073 16 0 209998 0 vsize: 840056 [startup+410.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 38882 58 0 0 25 0 11 0 481817380 860217344 33226 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33226 13073 16 0 209998 0 vsize: 840056 [startup+420.037 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 39871 58 0 0 25 0 11 0 481817380 860217344 33270 4294967295 134512640 134569956 3221224400 3221214568 1131566266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33270 13073 16 0 209998 0 vsize: 840056 [startup+430.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 40862 59 0 0 25 0 11 0 481817380 860217344 33291 4294967295 134512640 134569956 3221224400 3221214568 1131565389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33291 13073 16 0 209998 0 vsize: 840056 [startup+440.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 41850 59 0 0 25 0 11 0 481817380 860217344 33311 4294967295 134512640 134569956 3221224400 3221214680 1131623281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33311 13073 16 0 209998 0 vsize: 840056 [startup+450.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 42839 59 0 0 25 0 11 0 481817380 860217344 33331 4294967295 134512640 134569956 3221224400 3221214568 1131564843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33331 13073 16 0 209998 0 vsize: 840056 [startup+460.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 43828 59 0 0 25 0 11 0 481817380 860217344 33352 4294967295 134512640 134569956 3221224400 3221214568 1131565339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33352 13073 16 0 209998 0 vsize: 840056 [startup+470.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 44812 60 0 0 25 0 11 0 481817380 860217344 33371 4294967295 134512640 134569956 3221224400 3221214696 1131623303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33371 13073 16 0 209998 0 vsize: 840056 [startup+480.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 45793 60 0 0 25 0 11 0 481817380 860217344 33388 4294967295 134512640 134569956 3221224400 3221214688 1131627616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33388 13073 16 0 209998 0 vsize: 840056 [startup+490.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 46772 60 0 0 25 0 11 0 481817380 860217344 33421 4294967295 134512640 134569956 3221224400 3221214696 1131623303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210014 33421 13073 16 0 209998 0 vsize: 840056 [startup+500.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 47753 60 0 0 25 0 11 0 481817380 859385856 33261 4294967295 134512640 134569956 3221224400 3221214584 1131564824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 33261 13073 16 0 209795 0 vsize: 839244 [startup+510.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 48730 61 0 0 25 0 11 0 481817380 859385856 33291 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33291 13073 16 0 209795 0 vsize: 839244 [startup+520.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 49703 61 0 0 25 0 11 0 481817380 859385856 33319 4294967295 134512640 134569956 3221224400 3221214584 1131297313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33319 13073 16 0 209795 0 vsize: 839244 [startup+530.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 50680 61 0 0 25 0 11 0 481817380 859385856 33355 4294967295 134512640 134569956 3221224400 3221214696 1131623180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33355 13073 16 0 209795 0 vsize: 839244 [startup+540.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 51651 62 0 0 25 0 11 0 481817380 859385856 33433 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33433 13073 16 0 209795 0 vsize: 839244 [startup+550.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 52623 62 0 0 25 0 11 0 481817380 859385856 33480 4294967295 134512640 134569956 3221224400 3221214696 1131623180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33480 13073 16 0 209795 0 vsize: 839244 [startup+560.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 53594 63 0 0 25 0 11 0 481817380 859385856 33563 4294967295 134512640 134569956 3221224400 3221214728 1131278848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33563 13073 16 0 209795 0 vsize: 839244 [startup+570.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 54572 63 0 0 25 0 11 0 481817380 859385856 33636 4294967295 134512640 134569956 3221224400 3221214696 1131623292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33636 13073 16 0 209795 0 vsize: 839244 [startup+580.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 55543 63 0 0 25 0 11 0 481817380 859385856 33718 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33718 13073 16 0 209795 0 vsize: 839244 [startup+590.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 56516 63 0 0 25 0 11 0 481817380 859385856 33801 4294967295 134512640 134569956 3221224400 3221214584 1131297313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33801 13073 16 0 209795 0 vsize: 839244 [startup+600.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 57488 64 0 0 24 0 11 0 481817380 859385856 33892 4294967295 134512640 134569956 3221224400 3221214544 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209811 33892 13073 16 0 209795 0 vsize: 839244 [startup+610.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 58467 64 0 0 25 0 11 0 481817380 859385856 33925 4294967295 134512640 134569956 3221224400 3221214584 1131566370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33925 13073 16 0 209795 0 vsize: 839244 [startup+620.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 59442 64 0 0 25 0 11 0 481817380 859385856 33978 4294967295 134512640 134569956 3221224400 3221214664 1131294511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 33978 13073 16 0 209795 0 vsize: 839244 [startup+630.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 60402 64 0 0 25 0 11 0 481817380 859385856 34143 4294967295 134512640 134569956 3221224400 3221214632 1131308445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34143 13073 16 0 209795 0 vsize: 839244 [startup+640.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 61372 65 0 0 25 0 11 0 481817380 859385856 34296 4294967295 134512640 134569956 3221224400 3221214776 1131387208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34296 13073 16 0 209795 0 vsize: 839244 [startup+650.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 62362 65 0 0 25 0 11 0 481817380 859385856 34354 4294967295 134512640 134569956 3221224400 3221214832 1131422499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34354 13073 16 0 209795 0 vsize: 839244 [startup+660.061 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 63348 65 0 0 25 0 11 0 481817380 859385856 34360 4294967295 134512640 134569956 3221224400 3221214772 1131294368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34360 13073 16 0 209795 0 vsize: 839244 [startup+670.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 64326 65 0 0 25 0 11 0 481817380 859385856 34375 4294967295 134512640 134569956 3221224400 3221214664 1131295113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34375 13073 16 0 209795 0 vsize: 839244 [startup+680.061 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 65303 65 0 0 25 0 11 0 481817380 859385856 34375 4294967295 134512640 134569956 3221224400 3221214776 1131387421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34375 13073 16 0 209795 0 vsize: 839244 [startup+690.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 66284 66 0 0 25 0 11 0 481817380 859385856 34445 4294967295 134512640 134569956 3221224400 3221214732 1080203670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209811 34445 13073 16 0 209795 0 vsize: 839244 [startup+700.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 67273 66 0 0 25 0 11 0 481817380 865677312 35908 4294967295 134512640 134569956 3221224400 3221214744 1131468717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211347 35908 13073 16 0 211331 0 vsize: 845388 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 68268 67 0 0 25 0 11 0 481817380 863580160 35622 4294967295 134512640 134569956 3221224400 3221214828 1131422735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35622 13073 16 0 210819 0 vsize: 843340 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 69265 67 0 0 25 0 11 0 481817380 863580160 35624 4294967295 134512640 134569956 3221224400 3221214712 1131610900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35624 13073 16 0 210819 0 vsize: 843340 [startup+730.064 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 70256 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214728 1131289042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35576 13073 16 0 210819 0 vsize: 843340 [startup+740.065 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 71236 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214720 1131418706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35576 13073 16 0 210819 0 vsize: 843340 [startup+750.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 72212 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214704 1131434579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35576 13073 16 0 210819 0 vsize: 843340 [startup+760.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 73197 67 0 0 25 0 11 0 481817380 863580160 35585 4294967295 134512640 134569956 3221224400 3221214568 1131297491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210835 35585 13073 16 0 210819 0 vsize: 843340 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 74194 68 0 0 25 0 11 0 481817380 863580160 35585 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210835 35585 13073 16 0 210819 0 vsize: 843340 [startup+780.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 75183 68 0 0 25 0 11 0 481817380 863580160 35586 4294967295 134512640 134569956 3221224400 3221214568 1131297070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35586 13073 16 0 210819 0 vsize: 843340 [startup+790.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 76174 68 0 0 25 0 11 0 481817380 863580160 35651 4294967295 134512640 134569956 3221224400 3221214680 1131623168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210835 35651 13073 16 0 210819 0 vsize: 843340 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 77163 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214568 1131567079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35670 13073 16 0 210819 0 vsize: 843340 [startup+810.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 78153 68 0 0 24 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214800 1131468503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35670 13073 16 0 210819 0 vsize: 843340 [startup+820.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 79143 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214680 1131623168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35670 13073 16 0 210819 0 vsize: 843340 [startup+830.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 80133 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214680 1131623292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35670 13073 16 0 210819 0 vsize: 843340 [startup+840.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 81117 68 0 0 25 0 11 0 481817380 863580160 35755 4294967295 134512640 134569956 3221224400 3221214800 1131468973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35755 13073 16 0 210819 0 vsize: 843340 [startup+850.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 82100 68 0 0 25 0 11 0 481817380 863580160 35814 4294967295 134512640 134569956 3221224400 3221214760 1131383292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35814 13073 16 0 210819 0 vsize: 843340 [startup+860.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 83096 68 0 0 25 0 11 0 481817380 863580160 35834 4294967295 134512640 134569956 3221224400 3221214680 1131623183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35834 13073 16 0 210819 0 vsize: 843340 [startup+870.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 84091 68 0 0 25 0 11 0 481817380 863580160 35844 4294967295 134512640 134569956 3221224400 3221214644 1131601571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35844 13073 16 0 210819 0 vsize: 843340 [startup+880.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 85082 68 0 0 25 0 11 0 481817380 863580160 35855 4294967295 134512640 134569956 3221224400 3221214832 1131610900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35855 13073 16 0 210819 0 vsize: 843340 [startup+890.083 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 86069 68 0 0 25 0 11 0 481817380 863580160 35884 4294967295 134512640 134569956 3221224400 3221214624 1131461789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35884 13073 16 0 210819 0 vsize: 843340 [startup+900.084 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 87061 68 0 0 25 0 11 0 481817380 863580160 35884 4294967295 134512640 134569956 3221224400 3221214664 1131294399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35884 13073 16 0 210819 0 vsize: 843340 [startup+910.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) S 10864 24215 24214 0 -1 0 18098 0 1 0 88043 68 0 0 25 0 11 0 481817380 863580160 35945 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35945 13073 16 0 210819 0 vsize: 843340 [startup+920.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 89030 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35965 13073 16 0 210819 0 vsize: 843340 [startup+930.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 90028 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210835 35965 13073 16 0 210819 0 vsize: 843340 [startup+940.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 91014 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35965 13073 16 0 210819 0 vsize: 843340 [startup+950.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 92010 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214568 1131565354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 35965 13073 16 0 210819 0 vsize: 843340 [startup+960.091 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 92997 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214568 1131564846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36015 13073 16 0 210819 0 vsize: 843340 [startup+970.092 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 93986 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36015 13073 16 0 210819 0 vsize: 843340 [startup+980.092 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 94973 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214624 1131289217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36015 13073 16 0 210819 0 vsize: 843340 [startup+990.092 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 95963 69 0 0 25 0 11 0 481817380 863580160 36071 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210835 36071 13073 16 0 210819 0 vsize: 843340 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 96955 69 0 0 25 0 11 0 481817380 863580160 36099 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36099 13073 16 0 210819 0 vsize: 843340 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 97951 69 0 0 25 0 11 0 481817380 863580160 36124 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36124 13073 16 0 210819 0 vsize: 843340 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 98949 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214668 1131298161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 99947 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214568 1131297172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 100937 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214656 1131377337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 101930 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 102922 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 103915 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214568 1131297471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36141 13073 16 0 210819 0 vsize: 843340 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 104910 69 0 0 25 0 11 0 481817380 863580160 36152 4294967295 134512640 134569956 3221224400 3221214676 1131372936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36152 13073 16 0 210819 0 vsize: 843340 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 105906 69 0 0 25 0 11 0 481817380 863580160 36152 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36152 13073 16 0 210819 0 vsize: 843340 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 106904 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 107902 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 108894 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214800 1131468275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 109886 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 110879 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214568 1131297029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 111873 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36170 13073 16 0 210819 0 vsize: 843340 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 112867 69 0 0 25 0 11 0 481817380 863580160 36178 4294967295 134512640 134569956 3221224400 3221214568 1131297625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36178 13073 16 0 210819 0 vsize: 843340 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 113864 69 0 0 25 0 11 0 481817380 863580160 36178 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36178 13073 16 0 210819 0 vsize: 843340 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 114862 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131297123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 115860 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131564833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 116855 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 117848 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214576 1131297002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 118841 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131566218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 119835 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214672 1131627619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 10875 Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 120829 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214680 1131623281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210835 36196 13073 16 0 210819 0 vsize: 843340 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.21 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 10877 Raw data (stat): 10865 (java) Z 10864 24215 24214 0 -1 1036 18098 15383 1 0 120833 70 2875 52 25 0 1 0 481817380 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): 1240.21 CPU time (s): 1238.32 CPU user time (s): 1237.09 CPU system time (s): 1.22481 CPU usage (%): 99.8472 Max. virtual memory (Kb): 845388 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####