Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | bf7f8537c6faa135d25c67c53576abb5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 49 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 608 |
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 | 608 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 608 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 607 |
Total number of constraints | 1053 |
Number of constraints which are clauses | 1022 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-04-13 16:05:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=594 boxname=wulflinc15 idbench=66 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: bf7f8537c6faa135d25c67c53576abb5 /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb IDLAUNCH: 594 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 936080 kB Buffers: 32944 kB Cached: 44472 kB SwapCached: 2144 kB Active: 50252 kB Inactive: 32124 kB HighTotal: 131008 kB HighFree: 82292 kB LowTotal: 903652 kB LowFree: 853788 kB SwapTotal: 2097136 kB SwapFree: 2094992 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 10728 kB Committed_AS: 63476 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:26:43 (client local time) WITH STATUS 143 IN SECONDS stats: 594 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb c reading problem c [nbvar=608] c [nbconstr=1053] c time 2.63 c #vars 608 c #clauses 1022 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=67 c Current CPU time (ms) : 4.264 c starts : 1 c conflicts : 5 c decisions : 513 c propagations : 618 c inspects : 4645 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5 c root simplifications : 1 c c CURRENT OPTIMUM=66 c Current CPU time (ms) : 37.358 c starts : 3 c conflicts : 108 c decisions : 2307 c propagations : 6464 c inspects : 15518 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 108 c root simplifications : 3 c c CURRENT OPTIMUM=65 c Current CPU time (ms) : 88.322 c starts : 6 c conflicts : 475 c decisions : 5917 c propagations : 16728 c inspects : 70080 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 475 c root simplifications : 6 c c CURRENT OPTIMUM=63 c Current CPU time (ms) : 125.35 c starts : 8 c conflicts : 608 c decisions : 7735 c propagations : 20370 c inspects : 116210 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 608 c root simplifications : 8 c c CURRENT OPTIMUM=62 c Current CPU time (ms) : 218.985 c starts : 10 c conflicts : 785 c decisions : 10820 c propagations : 26827 c inspects : 199750 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 785 c root simplifications : 10 #### 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.02 0.95 0.57 2/54 29454 Raw data (stat): 29454 (runsolver) R 29453 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419029985 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.0006 s] Raw data (loadavg): 1.25 1.00 0.59 2/64 29465 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18085 3 1 0 595 45 0 0 25 0 11 0 419029985 869855232 22490 4294967295 134512640 134569956 3221224416 3221214776 1131386701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212367 22490 13073 16 0 212351 0 vsize: 849468 [startup+20.0199 s] Raw data (loadavg): 1.21 1.00 0.60 2/64 29465 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18085 3 1 0 1479 45 0 0 25 0 11 0 419029985 869625856 22926 4294967295 134512640 134569956 3221224416 3221214636 1080203686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212311 22926 13073 16 0 212295 0 vsize: 849244 [startup+30.0216 s] Raw data (loadavg): 1.34 1.03 0.61 2/64 29465 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18086 3 1 0 2403 46 0 0 25 0 11 0 419029985 869298176 23588 4294967295 134512640 134569956 3221224416 3221214488 1131299353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 23588 13073 16 0 212215 0 vsize: 848924 [startup+40.022 s] Raw data (loadavg): 1.28 1.03 0.62 2/64 29468 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18087 3 1 0 3306 47 0 0 25 0 11 0 419029985 869298176 23975 4294967295 134512640 134569956 3221224416 3221214760 1080203753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 23975 13073 16 0 212215 0 vsize: 848924 [startup+50.0233 s] Raw data (loadavg): 1.24 1.03 0.62 2/64 29468 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18087 3 1 0 4213 47 0 0 25 0 11 0 419029985 869298176 24522 4294967295 134512640 134569956 3221224416 3221214656 1131445775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 24522 13073 16 0 212215 0 vsize: 848924 [startup+60.024 s] Raw data (loadavg): 1.20 1.03 0.62 2/64 29468 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 5117 47 0 0 25 0 11 0 419029985 869298176 25032 4294967295 134512640 134569956 3221224416 3221214784 1131321734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 25032 13073 16 0 212215 0 vsize: 848924 [startup+70.0243 s] Raw data (loadavg): 1.17 1.03 0.63 2/64 29468 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 6008 47 0 0 24 0 11 0 419029985 869298176 25734 4294967295 134512640 134569956 3221224416 3221214768 1131386797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 25734 13073 16 0 212215 0 vsize: 848924 [startup+80.0256 s] Raw data (loadavg): 1.14 1.03 0.63 2/64 29468 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 6922 48 0 0 25 0 11 0 419029985 869298176 26102 4294967295 134512640 134569956 3221224416 3221214784 1131319515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 26102 13073 16 0 212215 0 vsize: 848924 [startup+90.0264 s] Raw data (loadavg): 1.12 1.02 0.64 2/64 29469 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 7823 48 0 0 25 0 11 0 419029985 869298176 27110 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 27110 13073 16 0 212215 0 vsize: 848924 [startup+100.027 s] Raw data (loadavg): 1.10 1.02 0.64 2/64 29469 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 8724 49 0 0 24 0 11 0 419029985 869298176 27724 4294967295 134512640 134569956 3221224416 3221214600 1131299671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 27724 13073 16 0 212215 0 vsize: 848924 [startup+110.028 s] Raw data (loadavg): 1.09 1.02 0.64 2/64 29469 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 9670 49 0 0 25 0 11 0 419029985 869298176 27988 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 27988 13073 16 0 212215 0 vsize: 848924 [startup+120.029 s] Raw data (loadavg): 1.07 1.02 0.64 2/64 29469 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 10595 49 0 0 25 0 11 0 419029985 869298176 28115 4294967295 134512640 134569956 3221224416 3221214656 1131444206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 28115 13073 16 0 212215 0 vsize: 848924 [startup+130.029 s] Raw data (loadavg): 1.06 1.02 0.65 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 11530 50 0 0 25 0 11 0 419029985 869298176 28313 4294967295 134512640 134569956 3221224416 3221214688 1131227109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 28313 13073 16 0 212215 0 vsize: 848924 [startup+140.03 s] Raw data (loadavg): 1.05 1.02 0.65 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 12459 50 0 0 25 0 11 0 419029985 869298176 28409 4294967295 134512640 134569956 3221224416 3221214656 1131444762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 28409 13073 16 0 212215 0 vsize: 848924 [startup+150.031 s] Raw data (loadavg): 1.04 1.02 0.65 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 13392 50 0 0 25 0 11 0 419029985 869298176 28722 4294967295 134512640 134569956 3221224416 3221214688 1131227069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 28722 13073 16 0 212215 0 vsize: 848924 [startup+160.032 s] Raw data (loadavg): 1.04 1.02 0.66 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 14322 51 0 0 25 0 11 0 419029985 869298176 28985 4294967295 134512640 134569956 3221224416 3221214768 1131383564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 28985 13073 16 0 212215 0 vsize: 848924 [startup+170.032 s] Raw data (loadavg): 1.03 1.02 0.66 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 15248 51 0 0 25 0 11 0 419029985 869298176 29198 4294967295 134512640 134569956 3221224416 3221214768 1131384901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29198 13073 16 0 212215 0 vsize: 848924 [startup+180.033 s] Raw data (loadavg): 1.02 1.02 0.66 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 16187 51 0 0 25 0 11 0 419029985 869298176 29236 4294967295 134512640 134569956 3221224416 3221214704 1131647279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29236 13073 16 0 212215 0 vsize: 848924 [startup+190.033 s] Raw data (loadavg): 1.02 1.01 0.67 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 17135 52 0 0 25 0 11 0 419029985 869298176 29483 4294967295 134512640 134569956 3221224416 3221214600 1131623270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29483 13073 16 0 212215 0 vsize: 848924 [startup+200.034 s] Raw data (loadavg): 1.02 1.01 0.67 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 18106 52 0 0 25 0 11 0 419029985 869298176 29656 4294967295 134512640 134569956 3221224416 3221214784 1131319776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29656 13073 16 0 212215 0 vsize: 848924 [startup+210.035 s] Raw data (loadavg): 1.01 1.01 0.67 2/64 29470 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 19072 52 0 0 25 0 11 0 419029985 869298176 29812 4294967295 134512640 134569956 3221224416 3221214656 1131444065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29812 13073 16 0 212215 0 vsize: 848924 [startup+220.035 s] Raw data (loadavg): 1.01 1.01 0.67 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 20019 52 0 0 25 0 11 0 419029985 869298176 29861 4294967295 134512640 134569956 3221224416 3221214176 1131662417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 29861 13073 16 0 212215 0 vsize: 848924 [startup+230.036 s] Raw data (loadavg): 1.01 1.01 0.68 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 20972 53 0 0 25 0 11 0 419029985 869298176 29895 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 29895 13073 16 0 212215 0 vsize: 848924 [startup+240.036 s] Raw data (loadavg): 1.01 1.01 0.68 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 21900 53 0 0 25 0 11 0 419029985 869298176 30056 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30056 13073 16 0 212215 0 vsize: 848924 [startup+250.037 s] Raw data (loadavg): 1.01 1.01 0.68 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 22822 53 0 0 25 0 11 0 419029985 869298176 30300 4294967295 134512640 134569956 3221224416 3221214760 1131299416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30300 13073 16 0 212215 0 vsize: 848924 [startup+260.038 s] Raw data (loadavg): 1.00 1.01 0.69 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 23776 53 0 0 25 0 11 0 419029985 869298176 30638 4294967295 134512640 134569956 3221224416 3221214248 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30638 13073 16 0 212215 0 vsize: 848924 [startup+270.038 s] Raw data (loadavg): 1.00 1.01 0.69 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 24727 54 0 0 25 0 11 0 419029985 869298176 30638 4294967295 134512640 134569956 3221224416 3221214688 1131227497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30638 13073 16 0 212215 0 vsize: 848924 [startup+280.038 s] Raw data (loadavg): 1.00 1.01 0.69 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 25647 54 0 0 25 0 11 0 419029985 869298176 30657 4294967295 134512640 134569956 3221224416 3221214688 1131227109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30657 13073 16 0 212215 0 vsize: 848924 [startup+290.039 s] Raw data (loadavg): 1.00 1.00 0.69 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 26582 54 0 0 25 0 11 0 419029985 869298176 30935 4294967295 134512640 134569956 3221224416 3221214784 1131320790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 30935 13073 16 0 212215 0 vsize: 848924 [startup+300.04 s] Raw data (loadavg): 1.00 1.00 0.70 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 27512 55 0 0 25 0 11 0 419029985 869298176 31168 4294967295 134512640 134569956 3221224416 3221214560 1131662316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 31168 13073 16 0 212215 0 vsize: 848924 [startup+310.041 s] Raw data (loadavg): 1.00 1.00 0.70 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 28439 55 0 0 25 0 11 0 419029985 869298176 31735 4294967295 134512640 134569956 3221224416 3221214780 1131654979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 31735 13073 16 0 212215 0 vsize: 848924 [startup+320.041 s] Raw data (loadavg): 1.00 1.00 0.70 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 29377 55 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221214468 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 31950 13073 16 0 212215 0 vsize: 848924 [startup+330.042 s] Raw data (loadavg): 1.00 1.00 0.71 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 30325 56 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 31950 13073 16 0 212215 0 vsize: 848924 [startup+340.042 s] Raw data (loadavg): 1.00 1.00 0.71 2/64 29471 Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18088 3 1 0 31257 56 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 31950 13073 16 0 212215 0 vsize: 848924 [startup+350.043 s] Raw data (loadavg): 1.00 1.00 0.71 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 32174 56 0 0 25 0 11 0 419029985 869298176 32336 4294967295 134512640 134569956 3221224416 3221214352 1085679766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32336 13073 16 0 212215 0 vsize: 848924 [startup+360.044 s] Raw data (loadavg): 1.00 1.00 0.72 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 33143 57 0 0 24 0 11 0 419029985 869298176 32695 4294967295 134512640 134569956 3221224416 3221214784 1131320581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32695 13073 16 0 212215 0 vsize: 848924 [startup+370.044 s] Raw data (loadavg): 1.00 1.00 0.72 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 34122 57 0 0 25 0 11 0 419029985 869298176 32783 4294967295 134512640 134569956 3221224416 3221214064 1131662328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32783 13073 16 0 212215 0 vsize: 848924 [startup+380.045 s] Raw data (loadavg): 1.00 1.00 0.72 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 35095 57 0 0 25 0 11 0 419029985 869298176 32833 4294967295 134512640 134569956 3221224416 3221214688 1131227142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32833 13073 16 0 212215 0 vsize: 848924 [startup+390.045 s] Raw data (loadavg): 1.00 1.00 0.72 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 36061 57 0 0 25 0 11 0 419029985 869298176 32838 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32838 13073 16 0 212215 0 vsize: 848924 [startup+400.047 s] Raw data (loadavg): 1.00 1.00 0.73 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 36999 58 0 0 25 0 11 0 419029985 869298176 32892 4294967295 134512640 134569956 3221224416 3221214268 1131668064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32892 13073 16 0 212215 0 vsize: 848924 [startup+410.048 s] Raw data (loadavg): 1.00 1.00 0.73 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 37967 58 0 0 25 0 11 0 419029985 869298176 32947 4294967295 134512640 134569956 3221224416 3221214444 1131662352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 32947 13073 16 0 212215 0 vsize: 848924 [startup+420.047 s] Raw data (loadavg): 1.00 1.00 0.73 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 38886 59 0 0 25 0 11 0 419029985 869298176 33193 4294967295 134512640 134569956 3221224416 3221214688 1131227238 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 33193 13073 16 0 212215 0 vsize: 848924 [startup+430.049 s] Raw data (loadavg): 1.00 1.00 0.73 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 39808 59 0 0 25 0 11 0 419029985 869298176 33600 4294967295 134512640 134569956 3221224416 3221214600 1131609357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 33600 13073 16 0 212215 0 vsize: 848924 [startup+440.05 s] Raw data (loadavg): 1.00 1.00 0.74 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 40755 59 0 0 25 0 11 0 419029985 869298176 33674 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 33674 13073 16 0 212215 0 vsize: 848924 [startup+450.05 s] Raw data (loadavg): 1.00 1.00 0.74 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 41693 59 0 0 25 0 11 0 419029985 869298176 33735 4294967295 134512640 134569956 3221224416 3221214440 1131670313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 33735 13073 16 0 212215 0 vsize: 848924 [startup+460.05 s] Raw data (loadavg): 1.00 1.00 0.74 2/64 29471 Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18088 3 1 0 42618 60 0 0 25 0 11 0 419029985 869298176 33906 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 33906 13073 16 0 212215 0 vsize: 848924 [startup+470.051 s] Raw data (loadavg): 1.00 1.00 0.74 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 43577 60 0 0 25 0 11 0 419029985 869298176 34203 4294967295 134512640 134569956 3221224416 3221214688 1131227084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34203 13073 16 0 212215 0 vsize: 848924 [startup+480.051 s] Raw data (loadavg): 1.00 1.00 0.74 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 44541 60 0 0 25 0 11 0 419029985 869298176 34478 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34478 13073 16 0 212215 0 vsize: 848924 [startup+490.052 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 45494 61 0 0 25 0 11 0 419029985 869298176 34529 4294967295 134512640 134569956 3221224416 3221214704 1131647296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34529 13073 16 0 212215 0 vsize: 848924 [startup+500.053 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 46439 61 0 0 25 0 11 0 419029985 869298176 34533 4294967295 134512640 134569956 3221224416 3221214688 1131228322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34533 13073 16 0 212215 0 vsize: 848924 [startup+510.054 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 47360 61 0 0 25 0 11 0 419029985 869298176 34706 4294967295 134512640 134569956 3221224416 3221214756 1080204298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34706 13073 16 0 212215 0 vsize: 848924 [startup+520.054 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 48294 61 0 0 25 0 11 0 419029985 869298176 34858 4294967295 134512640 134569956 3221224416 3221214784 1131319673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34858 13073 16 0 212215 0 vsize: 848924 [startup+530.055 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 49219 62 0 0 25 0 11 0 419029985 869298176 34918 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 34918 13073 16 0 212215 0 vsize: 848924 [startup+540.055 s] Raw data (loadavg): 1.00 1.00 0.75 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 50153 62 0 0 25 0 11 0 419029985 869298176 35261 4294967295 134512640 134569956 3221224416 3221214472 1085679429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 35261 13073 16 0 212215 0 vsize: 848924 [startup+550.057 s] Raw data (loadavg): 1.00 1.00 0.76 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 51101 62 0 0 25 0 11 0 419029985 869298176 35525 4294967295 134512640 134569956 3221224416 3221214704 1131647395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 35525 13073 16 0 212215 0 vsize: 848924 [startup+560.057 s] Raw data (loadavg): 1.00 1.00 0.76 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 52058 63 0 0 25 0 11 0 419029985 869298176 35680 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 35680 13073 16 0 212215 0 vsize: 848924 [startup+570.058 s] Raw data (loadavg): 1.00 1.00 0.76 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 53024 63 0 0 25 0 11 0 419029985 869298176 35790 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 35790 13073 16 0 212215 0 vsize: 848924 [startup+580.059 s] Raw data (loadavg): 1.00 1.00 0.76 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 53987 63 0 0 25 0 11 0 419029985 869298176 35861 4294967295 134512640 134569956 3221224416 3221214688 1131227645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 35861 13073 16 0 212215 0 vsize: 848924 [startup+590.065 s] Raw data (loadavg): 1.00 1.00 0.76 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 54951 63 0 0 25 0 11 0 419029985 869298176 35941 4294967295 134512640 134569956 3221224416 3221214600 1131607154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 35941 13073 16 0 212215 0 vsize: 848924 [startup+600.065 s] Raw data (loadavg): 1.00 1.00 0.77 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 55915 64 0 0 25 0 11 0 419029985 869298176 36047 4294967295 134512640 134569956 3221224416 3221214704 1131647391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36047 13073 16 0 212215 0 vsize: 848924 [startup+610.067 s] Raw data (loadavg): 1.00 1.00 0.77 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 56879 64 0 0 25 0 11 0 419029985 869298176 36100 4294967295 134512640 134569956 3221224416 3221214592 1131299699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36100 13073 16 0 212215 0 vsize: 848924 [startup+620.067 s] Raw data (loadavg): 1.00 1.00 0.77 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 57850 64 0 0 25 0 11 0 419029985 869298176 36178 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36178 13073 16 0 212215 0 vsize: 848924 [startup+630.067 s] Raw data (loadavg): 1.00 1.00 0.77 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 58812 64 0 0 24 0 11 0 419029985 869298176 36239 4294967295 134512640 134569956 3221224416 3221214600 1131299627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36239 13073 16 0 212215 0 vsize: 848924 [startup+640.069 s] Raw data (loadavg): 1.00 1.00 0.77 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 59775 65 0 0 25 0 11 0 419029985 869298176 36334 4294967295 134512640 134569956 3221224416 3221214784 1131320656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36334 13073 16 0 212215 0 vsize: 848924 [startup+650.069 s] Raw data (loadavg): 1.00 1.00 0.78 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 60736 65 0 0 25 0 11 0 419029985 869298176 36386 4294967295 134512640 134569956 3221224416 3221214688 1131227069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36386 13073 16 0 212215 0 vsize: 848924 [startup+660.069 s] Raw data (loadavg): 1.00 1.00 0.78 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 61690 65 0 0 24 0 11 0 419029985 869298176 36471 4294967295 134512640 134569956 3221224416 3221214704 1131647276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36471 13073 16 0 212215 0 vsize: 848924 [startup+670.069 s] Raw data (loadavg): 1.00 1.00 0.78 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 62649 65 0 0 25 0 11 0 419029985 869298176 36587 4294967295 134512640 134569956 3221224416 3221214600 1131299699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36587 13073 16 0 212215 0 vsize: 848924 [startup+680.07 s] Raw data (loadavg): 1.00 1.00 0.78 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 63623 66 0 0 25 0 11 0 419029985 869298176 36670 4294967295 134512640 134569956 3221224416 3221214784 1131319704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36670 13073 16 0 212215 0 vsize: 848924 [startup+690.071 s] Raw data (loadavg): 1.00 1.00 0.78 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 64602 66 0 0 25 0 11 0 419029985 869298176 36749 4294967295 134512640 134569956 3221224416 3221214784 1131319537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36749 13073 16 0 212215 0 vsize: 848924 [startup+700.072 s] Raw data (loadavg): 1.00 1.00 0.79 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 65572 66 0 0 25 0 11 0 419029985 869298176 36783 4294967295 134512640 134569956 3221224416 3221214784 1131320748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36783 13073 16 0 212215 0 vsize: 848924 [startup+710.072 s] Raw data (loadavg): 1.00 1.00 0.79 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 66534 67 0 0 25 0 11 0 419029985 869298176 36850 4294967295 134512640 134569956 3221224416 3221214784 1131319776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36850 13073 16 0 212215 0 vsize: 848924 [startup+720.072 s] Raw data (loadavg): 1.00 1.00 0.79 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 67504 67 0 0 25 0 11 0 419029985 869298176 36920 4294967295 134512640 134569956 3221224416 3221214584 1131299699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36920 13073 16 0 212215 0 vsize: 848924 [startup+730.073 s] Raw data (loadavg): 1.00 1.00 0.79 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 68460 67 0 0 25 0 11 0 419029985 869298176 36942 4294967295 134512640 134569956 3221224416 3221214656 1131441498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 36942 13073 16 0 212215 0 vsize: 848924 [startup+740.074 s] Raw data (loadavg): 1.00 1.00 0.79 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 69410 67 0 0 25 0 11 0 419029985 869298176 37107 4294967295 134512640 134569956 3221224416 3221214412 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37107 13073 16 0 212215 0 vsize: 848924 [startup+750.074 s] Raw data (loadavg): 1.00 1.00 0.80 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 70361 68 0 0 25 0 11 0 419029985 869298176 37117 4294967295 134512640 134569956 3221224416 3221214264 1131668520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37117 13073 16 0 212215 0 vsize: 848924 [startup+760.075 s] Raw data (loadavg): 1.00 1.00 0.80 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 71320 68 0 0 25 0 11 0 419029985 869298176 37122 4294967295 134512640 134569956 3221224416 3221214784 1131319910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37122 13073 16 0 212215 0 vsize: 848924 [startup+770.075 s] Raw data (loadavg): 1.00 1.00 0.80 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 72256 68 0 0 25 0 11 0 419029985 869298176 37181 4294967295 134512640 134569956 3221224416 3221214784 1131321652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37181 13073 16 0 212215 0 vsize: 848924 [startup+780.076 s] Raw data (loadavg): 1.00 1.00 0.80 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 73188 69 0 0 25 0 11 0 419029985 869298176 37417 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37417 13073 16 0 212215 0 vsize: 848924 [startup+790.077 s] Raw data (loadavg): 1.00 1.00 0.80 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 74123 69 0 0 25 0 11 0 419029985 869298176 37684 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37684 13073 16 0 212215 0 vsize: 848924 [startup+800.079 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 75080 69 0 0 25 0 11 0 419029985 869298176 37730 4294967295 134512640 134569956 3221224416 3221214784 1131319521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37730 13073 16 0 212215 0 vsize: 848924 [startup+810.079 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 76029 69 0 0 25 0 11 0 419029985 869298176 37920 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 37920 13073 16 0 212215 0 vsize: 848924 [startup+820.08 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 29471 Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18089 3 1 0 76959 70 0 0 25 0 11 0 419029985 869298176 38223 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 38223 13073 16 0 212215 0 vsize: 848924 [startup+830.08 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 77889 70 0 0 25 0 11 0 419029985 869298176 38303 4294967295 134512640 134569956 3221224416 3221214380 1131670436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 38303 13073 16 0 212215 0 vsize: 848924 [startup+840.081 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 78822 71 0 0 25 0 11 0 419029985 869298176 38430 4294967295 134512640 134569956 3221224416 3221214480 1131664098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 38430 13073 16 0 212215 0 vsize: 848924 [startup+850.083 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 79748 71 0 0 25 0 11 0 419029985 869298176 38589 4294967295 134512640 134569956 3221224416 3221214784 1131320812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 38589 13073 16 0 212215 0 vsize: 848924 [startup+860.083 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 80676 71 0 0 25 0 11 0 419029985 869298176 38721 4294967295 134512640 134569956 3221224416 3221214608 1131670250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 38721 13073 16 0 212215 0 vsize: 848924 [startup+870.083 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 81632 71 0 0 25 0 11 0 419029985 869298176 39112 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39112 13073 16 0 212215 0 vsize: 848924 [startup+880.084 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 82580 72 0 0 25 0 11 0 419029985 869298176 39231 4294967295 134512640 134569956 3221224416 3221214600 1131607522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39231 13073 16 0 212215 0 vsize: 848924 [startup+890.085 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 83547 72 0 0 25 0 11 0 419029985 869298176 39399 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 39399 13073 16 0 212215 0 vsize: 848924 [startup+900.086 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 84512 72 0 0 25 0 11 0 419029985 869298176 39485 4294967295 134512640 134569956 3221224416 3221214608 1131227137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39485 13073 16 0 212215 0 vsize: 848924 [startup+910.087 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 85484 72 0 0 25 0 11 0 419029985 869298176 39528 4294967295 134512640 134569956 3221224416 3221214008 1131662304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39528 13073 16 0 212215 0 vsize: 848924 [startup+920.087 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 86454 73 0 0 25 0 11 0 419029985 869298176 39594 4294967295 134512640 134569956 3221224416 3221214784 1131319537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39594 13073 16 0 212215 0 vsize: 848924 [startup+930.088 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 87430 73 0 0 24 0 11 0 419029985 869298176 39640 4294967295 134512640 134569956 3221224416 3221214656 1131444762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39640 13073 16 0 212215 0 vsize: 848924 [startup+940.088 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 88399 73 0 0 25 0 11 0 419029985 869298176 39663 4294967295 134512640 134569956 3221224416 3221214688 1131227711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39663 13073 16 0 212215 0 vsize: 848924 [startup+950.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 89349 73 0 0 25 0 11 0 419029985 869298176 39726 4294967295 134512640 134569956 3221224416 3221214192 1085679290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39726 13073 16 0 212215 0 vsize: 848924 [startup+960.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 90296 73 0 0 25 0 11 0 419029985 869298176 39860 4294967295 134512640 134569956 3221224416 3221214688 1131227434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 39860 13073 16 0 212215 0 vsize: 848924 [startup+970.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 91235 74 0 0 25 0 11 0 419029985 869298176 40035 4294967295 134512640 134569956 3221224416 3221214784 1131320573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40035 13073 16 0 212215 0 vsize: 848924 [startup+980.091 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 92183 74 0 0 25 0 11 0 419029985 869298176 40096 4294967295 134512640 134569956 3221224416 3221214536 1131462497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40096 13073 16 0 212215 0 vsize: 848924 [startup+990.092 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 93128 75 0 0 25 0 11 0 419029985 869298176 40257 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40257 13073 16 0 212215 0 vsize: 848924 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 94077 75 0 0 25 0 11 0 419029985 869298176 40394 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40394 13073 16 0 212215 0 vsize: 848924 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 95037 76 0 0 25 0 11 0 419029985 869298176 40548 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40548 13073 16 0 212215 0 vsize: 848924 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18089 3 1 0 96002 76 0 0 25 0 11 0 419029985 869298176 40660 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40660 13073 16 0 212215 0 vsize: 848924 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 96967 76 0 0 25 0 11 0 419029985 869298176 40766 4294967295 134512640 134569956 3221224416 3221214784 1131328740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40766 13073 16 0 212215 0 vsize: 848924 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 97936 76 0 0 25 0 11 0 419029985 869298176 40808 4294967295 134512640 134569956 3221224416 3221214592 1131299671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40808 13073 16 0 212215 0 vsize: 848924 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 98902 77 0 0 25 0 11 0 419029985 869298176 40859 4294967295 134512640 134569956 3221224416 3221214784 1131328783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40859 13073 16 0 212215 0 vsize: 848924 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 99864 77 0 0 25 0 11 0 419029985 869298176 40936 4294967295 134512640 134569956 3221224416 3221214600 1131299699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40936 13073 16 0 212215 0 vsize: 848924 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 100839 77 0 0 25 0 11 0 419029985 869298176 40986 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 40986 13073 16 0 212215 0 vsize: 848924 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 101815 78 0 0 25 0 11 0 419029985 869298176 41051 4294967295 134512640 134569956 3221224416 3221214688 1131228037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41051 13073 16 0 212215 0 vsize: 848924 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 102790 78 0 0 25 0 11 0 419029985 869298176 41108 4294967295 134512640 134569956 3221224416 3221214688 1131227434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41108 13073 16 0 212215 0 vsize: 848924 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 103760 78 0 0 25 0 11 0 419029985 869298176 41190 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41190 13073 16 0 212215 0 vsize: 848924 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 104736 79 0 0 25 0 11 0 419029985 869298176 41259 4294967295 134512640 134569956 3221224416 3221214784 1131319700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41259 13073 16 0 212215 0 vsize: 848924 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 105720 79 0 0 25 0 11 0 419029985 869298176 41297 4294967295 134512640 134569956 3221224416 3221214784 1131319521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212231 41297 13073 16 0 212215 0 vsize: 848924 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 106700 79 0 0 25 0 11 0 419029985 869298176 41309 4294967295 134512640 134569956 3221224416 3221214308 1131670208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41309 13073 16 0 212215 0 vsize: 848924 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 107686 79 0 0 25 0 11 0 419029985 869298176 41316 4294967295 134512640 134569956 3221224416 3221214784 1131320815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41316 13073 16 0 212215 0 vsize: 848924 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 108676 80 0 0 25 0 11 0 419029985 869298176 41317 4294967295 134512640 134569956 3221224416 3221214280 1131662276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41317 13073 16 0 212215 0 vsize: 848924 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 109644 80 0 0 25 0 11 0 419029985 869298176 41322 4294967295 134512640 134569956 3221224416 3221214688 1131228112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41322 13073 16 0 212215 0 vsize: 848924 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 110607 80 0 0 25 0 11 0 419029985 869298176 41404 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41404 13073 16 0 212215 0 vsize: 848924 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 111575 80 0 0 25 0 11 0 419029985 869298176 41410 4294967295 134512640 134569956 3221224416 3221214768 1131383952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41410 13073 16 0 212215 0 vsize: 848924 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 112546 81 0 0 25 0 11 0 419029985 869298176 41451 4294967295 134512640 134569956 3221224416 3221214436 1131670436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41451 13073 16 0 212215 0 vsize: 848924 [startup+1200.11 s] Raw data (loadavg): 1.08 1.02 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 113494 81 0 0 25 0 11 0 419029985 869298176 41588 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41588 13073 16 0 212215 0 vsize: 848924 [startup+1210.11 s] Raw data (loadavg): 1.07 1.02 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 114441 81 0 0 25 0 11 0 419029985 869298176 41679 4294967295 134512640 134569956 3221224416 3221214592 1131300037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41679 13073 16 0 212215 0 vsize: 848924 [startup+1220.11 s] Raw data (loadavg): 1.06 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 115388 82 0 0 24 0 11 0 419029985 869298176 41831 4294967295 134512640 134569956 3221224416 3221214784 1131319507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41831 13073 16 0 212215 0 vsize: 848924 [startup+1230.11 s] Raw data (loadavg): 1.05 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 116343 82 0 0 24 0 11 0 419029985 869298176 41973 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 41973 13073 16 0 212215 0 vsize: 848924 [startup+1240.11 s] Raw data (loadavg): 1.04 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 117300 82 0 0 25 0 11 0 419029985 869298176 42101 4294967295 134512640 134569956 3221224416 3221214592 1131299671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 42101 13073 16 0 212215 0 vsize: 848924 [startup+1250.11 s] Raw data (loadavg): 1.03 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 118261 83 0 0 25 0 11 0 419029985 869298176 42183 4294967295 134512640 134569956 3221224416 3221214624 1131619861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 42183 13073 16 0 212215 0 vsize: 848924 [startup+1260.11 s] Raw data (loadavg): 1.03 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 119223 83 0 0 24 0 11 0 419029985 869298176 42247 4294967295 134512640 134569956 3221224416 3221214784 1131320768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 42247 13073 16 0 212215 0 vsize: 848924 [startup+1270.11 s] Raw data (loadavg): 1.02 1.01 0.86 2/64 29471 Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 120184 83 0 0 25 0 11 0 419029985 869298176 42355 4294967295 134512640 134569956 3221224416 3221214688 1131227530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212231 42355 13073 16 0 212215 0 vsize: 848924 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.25 s] Raw data (loadavg): 1.02 1.01 0.86 1/54 29473 Raw data (stat): 29454 (java) Z 29453 29151 29150 0 -1 1036 18089 30328 1 1 120188 91 7879 76 24 0 1 0 419029985 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): 1270.25 CPU time (s): 1282.37 CPU user time (s): 1280.68 CPU system time (s): 1.68774 CPU usage (%): 100.954 Max. virtual memory (Kb): 849468 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####