Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb |
MD5SUM | 8c1b8634a2f99e9f8e579ef031d10353 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2630 |
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 | 2630 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2630 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2630 |
Total number of constraints | 6569 |
Number of constraints which are clauses | 6569 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-13 16:56:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1827 boxname=wulflinc23 idbench=203 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 8c1b8634a2f99e9f8e579ef031d10353 /oldhome/oroussel/tmp/wulflinc23/normalized-par32-1-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-par32-1-c.opb IDLAUNCH: 1827 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 918916 kB Buffers: 32296 kB Cached: 40816 kB SwapCached: 192 kB Active: 39936 kB Inactive: 36236 kB HighTotal: 131008 kB HighFree: 86352 kB LowTotal: 903652 kB LowFree: 832564 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6908 kB Slab: 34088 kB Committed_AS: 63448 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:17:15 (client local time) WITH STATUS 143 IN SECONDS stats: 1827 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-par32-1-c.opb c reading problem c [nbvar=2630] c [nbconstr=6569] c time 6.923 c #vars 2630 c #clauses 6569 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.93 2/54 3774 Raw data (stat): 3774 (runsolver) R 3773 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477561431 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 1.24 1.05 0.95 4/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18094 0 1 0 764 43 0 0 25 0 11 0 477561431 861528064 20611 4294967295 134512640 134569956 3221224416 3221214708 1130893499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210334 20611 13073 16 0 210318 0 vsize: 841336 [startup+20.002 s] Raw data (loadavg): 1.21 1.05 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18099 0 1 0 1729 44 0 0 25 0 11 0 477561431 865640448 22428 4294967295 134512640 134569956 3221224416 3221214872 1131344825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211338 22428 13073 16 0 211322 0 vsize: 845352 [startup+30.0026 s] Raw data (loadavg): 1.17 1.05 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 2703 44 0 0 25 0 11 0 477561431 863391744 22379 4294967295 134512640 134569956 3221224416 3221214880 1131370890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 22379 13073 16 0 210773 0 vsize: 843156 [startup+40.0027 s] Raw data (loadavg): 1.15 1.04 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 3674 44 0 0 25 0 11 0 477561431 863391744 22601 4294967295 134512640 134569956 3221224416 3221214816 1131473944 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 22601 13073 16 0 210773 0 vsize: 843156 [startup+50.0028 s] Raw data (loadavg): 1.12 1.04 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 4653 44 0 0 25 0 11 0 477561431 863391744 22699 4294967295 134512640 134569956 3221224416 3221214872 1131344835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 22699 13073 16 0 210773 0 vsize: 843156 [startup+60.0068 s] Raw data (loadavg): 1.10 1.04 0.95 2/64 3784 Raw data (stat): 3774 (java) S 3773 3260 3259 0 -1 0 18100 0 1 0 5632 44 0 0 25 0 11 0 477561431 863391744 23235 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23235 13073 16 0 210773 0 vsize: 843156 [startup+70.0068 s] Raw data (loadavg): 1.09 1.04 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 6625 44 0 0 25 0 11 0 477561431 863391744 23235 4294967295 134512640 134569956 3221224416 3221214872 1131344320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23235 13073 16 0 210773 0 vsize: 843156 [startup+80.0079 s] Raw data (loadavg): 1.07 1.04 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 7612 44 0 0 25 0 11 0 477561431 863391744 23235 4294967295 134512640 134569956 3221224416 3221214872 1131344320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 23235 13073 16 0 210773 0 vsize: 843156 [startup+90.0085 s] Raw data (loadavg): 1.06 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 8598 45 0 0 25 0 11 0 477561431 863391744 23235 4294967295 134512640 134569956 3221224416 3221214760 1131356490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 23235 13073 16 0 210773 0 vsize: 843156 [startup+100.009 s] Raw data (loadavg): 1.05 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 9583 45 0 0 25 0 11 0 477561431 863391744 23237 4294967295 134512640 134569956 3221224416 3221214872 1131344835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23237 13073 16 0 210773 0 vsize: 843156 [startup+110.01 s] Raw data (loadavg): 1.04 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 10567 45 0 0 25 0 11 0 477561431 863391744 23270 4294967295 134512640 134569956 3221224416 3221214736 1131436649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23270 13073 16 0 210773 0 vsize: 843156 [startup+120.01 s] Raw data (loadavg): 1.04 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 11551 45 0 0 25 0 11 0 477561431 863391744 23382 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23382 13073 16 0 210773 0 vsize: 843156 [startup+130.009 s] Raw data (loadavg): 1.03 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 12536 45 0 0 25 0 11 0 477561431 863391744 23515 4294967295 134512640 134569956 3221224416 3221214624 1131208609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23515 13073 16 0 210773 0 vsize: 843156 [startup+140.01 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 13521 45 0 0 25 0 11 0 477561431 863391744 23627 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23627 13073 16 0 210773 0 vsize: 843156 [startup+150.01 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 14514 45 0 0 25 0 11 0 477561431 863391744 23689 4294967295 134512640 134569956 3221224416 3221214888 1131428682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 23689 13073 16 0 210773 0 vsize: 843156 [startup+160.01 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 15499 45 0 0 25 0 11 0 477561431 863391744 23807 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 23807 13073 16 0 210773 0 vsize: 843156 [startup+170.01 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 16485 45 0 0 25 0 11 0 477561431 863391744 24020 4294967295 134512640 134569956 3221224416 3221214760 1131356417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 24020 13073 16 0 210773 0 vsize: 843156 [startup+180.01 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 17472 46 0 0 25 0 11 0 477561431 863391744 24020 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 24020 13073 16 0 210773 0 vsize: 843156 [startup+190.01 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 3784 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 18458 46 0 0 25 0 11 0 477561431 863391744 24120 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 24120 13073 16 0 210773 0 vsize: 843156 [startup+200.011 s] Raw data (loadavg): 1.08 1.04 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 19436 46 0 0 25 0 11 0 477561431 863391744 24293 4294967295 134512640 134569956 3221224416 3221214872 1131344639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 24293 13073 16 0 210773 0 vsize: 843156 [startup+210.011 s] Raw data (loadavg): 1.07 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 20420 46 0 0 25 0 11 0 477561431 863391744 24508 4294967295 134512640 134569956 3221224416 3221214760 1131356500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 24508 13073 16 0 210773 0 vsize: 843156 [startup+220.012 s] Raw data (loadavg): 1.06 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 21405 47 0 0 25 0 11 0 477561431 863391744 24639 4294967295 134512640 134569956 3221224416 3221214872 1131448684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 24639 13073 16 0 210773 0 vsize: 843156 [startup+230.011 s] Raw data (loadavg): 1.05 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 22398 47 0 0 25 0 11 0 477561431 863391744 24787 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 24787 13073 16 0 210773 0 vsize: 843156 [startup+240.012 s] Raw data (loadavg): 1.04 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 23383 47 0 0 25 0 11 0 477561431 863391744 24919 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 24919 13073 16 0 210773 0 vsize: 843156 [startup+250.012 s] Raw data (loadavg): 1.03 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 24367 47 0 0 25 0 11 0 477561431 863391744 25071 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25071 13073 16 0 210773 0 vsize: 843156 [startup+260.013 s] Raw data (loadavg): 1.03 1.03 0.96 2/64 3837 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 25352 47 0 0 25 0 11 0 477561431 863391744 25334 4294967295 134512640 134569956 3221224416 3221214768 1131218645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 25334 13073 16 0 210773 0 vsize: 843156 [startup+270.014 s] Raw data (loadavg): 1.02 1.03 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 26336 47 0 0 25 0 11 0 477561431 863391744 25407 4294967295 134512640 134569956 3221224416 3221214872 1131344639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25407 13073 16 0 210773 0 vsize: 843156 [startup+280.013 s] Raw data (loadavg): 1.02 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 27328 47 0 0 25 0 11 0 477561431 863391744 25536 4294967295 134512640 134569956 3221224416 3221214760 1131356519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25536 13073 16 0 210773 0 vsize: 843156 [startup+290.014 s] Raw data (loadavg): 1.02 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 28313 47 0 0 25 0 11 0 477561431 863391744 25666 4294967295 134512640 134569956 3221224416 3221214872 1131344553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25666 13073 16 0 210773 0 vsize: 843156 [startup+300.014 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 29297 47 0 0 25 0 11 0 477561431 863391744 25768 4294967295 134512640 134569956 3221224416 3221214856 1131392504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25768 13073 16 0 210773 0 vsize: 843156 [startup+310.014 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 30282 47 0 0 25 0 11 0 477561431 863391744 25944 4294967295 134512640 134569956 3221224416 3221214868 1131391532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 25944 13073 16 0 210773 0 vsize: 843156 [startup+320.015 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 31266 47 0 0 25 0 11 0 477561431 863391744 26106 4294967295 134512640 134569956 3221224416 3221214896 1131173721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26106 13073 16 0 210773 0 vsize: 843156 [startup+330.014 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 32251 47 0 0 25 0 11 0 477561431 863391744 26249 4294967295 134512640 134569956 3221224416 3221214872 1131344553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26249 13073 16 0 210773 0 vsize: 843156 [startup+340.015 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 33236 48 0 0 25 0 11 0 477561431 863391744 26391 4294967295 134512640 134569956 3221224416 3221214872 1131344565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26391 13073 16 0 210773 0 vsize: 843156 [startup+350.015 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18100 0 1 0 34220 48 0 0 25 0 11 0 477561431 863391744 26601 4294967295 134512640 134569956 3221224416 3221214768 1131218519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26601 13073 16 0 210773 0 vsize: 843156 [startup+360.017 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 35205 48 0 0 25 0 11 0 477561431 863391744 26764 4294967295 134512640 134569956 3221224416 3221214720 1131566124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26764 13073 16 0 210773 0 vsize: 843156 [startup+370.017 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 36198 48 0 0 25 0 11 0 477561431 863391744 26838 4294967295 134512640 134569956 3221224416 3221214920 1131378593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 26838 13073 16 0 210773 0 vsize: 843156 [startup+380.017 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 37182 48 0 0 25 0 11 0 477561431 863391744 27017 4294967295 134512640 134569956 3221224416 3221214752 1131392054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27017 13073 16 0 210773 0 vsize: 843156 [startup+390.017 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 38167 48 0 0 25 0 11 0 477561431 863391744 27184 4294967295 134512640 134569956 3221224416 3221214848 1131457847 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27184 13073 16 0 210773 0 vsize: 843156 [startup+400.017 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 39152 48 0 0 25 0 11 0 477561431 863391744 27364 4294967295 134512640 134569956 3221224416 3221214760 1131355568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27364 13073 16 0 210773 0 vsize: 843156 [startup+410.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 40138 48 0 0 25 0 11 0 477561431 863391744 27456 4294967295 134512640 134569956 3221224416 3221214856 1131392372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27456 13073 16 0 210773 0 vsize: 843156 [startup+420.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 41123 48 0 0 25 0 11 0 477561431 863391744 27628 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27628 13073 16 0 210773 0 vsize: 843156 [startup+430.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 42108 48 0 0 25 0 11 0 477561431 863391744 27795 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27795 13073 16 0 210773 0 vsize: 843156 [startup+440.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 43094 48 0 0 25 0 11 0 477561431 863391744 27953 4294967295 134512640 134569956 3221224416 3221214656 1131536665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 27953 13073 16 0 210773 0 vsize: 843156 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 44079 48 0 0 25 0 11 0 477561431 863391744 28123 4294967295 134512640 134569956 3221224416 3221214872 1131344571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28123 13073 16 0 210773 0 vsize: 843156 [startup+460.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 45065 48 0 0 25 0 11 0 477561431 863391744 28275 4294967295 134512640 134569956 3221224416 3221214696 1131208609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28275 13073 16 0 210773 0 vsize: 843156 [startup+470.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 46051 48 0 0 25 0 11 0 477561431 863391744 28409 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28409 13073 16 0 210773 0 vsize: 843156 [startup+480.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 47036 48 0 0 25 0 11 0 477561431 863391744 28588 4294967295 134512640 134569956 3221224416 3221214688 1131400129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28588 13073 16 0 210773 0 vsize: 843156 [startup+490.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 48021 48 0 0 24 0 11 0 477561431 863391744 28768 4294967295 134512640 134569956 3221224416 3221214872 1131344835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28768 13073 16 0 210773 0 vsize: 843156 [startup+500.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 49014 48 0 0 25 0 11 0 477561431 863391744 28839 4294967295 134512640 134569956 3221224416 3221214760 1131356519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 28839 13073 16 0 210773 0 vsize: 843156 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3839 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 49999 48 0 0 25 0 11 0 477561431 863391744 29008 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 29008 13073 16 0 210773 0 vsize: 843156 [startup+520.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 50983 49 0 0 25 0 11 0 477561431 863391744 29156 4294967295 134512640 134569956 3221224416 3221214872 1131344346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 29156 13073 16 0 210773 0 vsize: 843156 [startup+530.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 51969 49 0 0 25 0 11 0 477561431 863391744 29316 4294967295 134512640 134569956 3221224416 3221214720 1131566243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 29316 13073 16 0 210773 0 vsize: 843156 [startup+540.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 52954 49 0 0 25 0 11 0 477561431 863391744 29473 4294967295 134512640 134569956 3221224416 3221214872 1131344565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 29473 13073 16 0 210773 0 vsize: 843156 [startup+550.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 53939 49 0 0 25 0 11 0 477561431 863391744 29545 4294967295 134512640 134569956 3221224416 3221214720 1131566124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 29545 13073 16 0 210773 0 vsize: 843156 [startup+560.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 54925 49 0 0 25 0 11 0 477561431 863391744 29701 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 29701 13073 16 0 210773 0 vsize: 843156 [startup+570.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 55910 49 0 0 25 0 11 0 477561431 863391744 29859 4294967295 134512640 134569956 3221224416 3221214848 1131457234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 29859 13073 16 0 210773 0 vsize: 843156 [startup+580.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 56896 49 0 0 25 0 11 0 477561431 863391744 30020 4294967295 134512640 134569956 3221224416 3221214872 1131344388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30020 13073 16 0 210773 0 vsize: 843156 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 57881 49 0 0 25 0 11 0 477561431 863391744 30162 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30162 13073 16 0 210773 0 vsize: 843156 [startup+600.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 58867 49 0 0 24 0 11 0 477561431 863391744 30286 4294967295 134512640 134569956 3221224416 3221214760 1131356383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30286 13073 16 0 210773 0 vsize: 843156 [startup+610.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 59852 50 0 0 24 0 11 0 477561431 863391744 30427 4294967295 134512640 134569956 3221224416 3221214736 1131434656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30427 13073 16 0 210773 0 vsize: 843156 [startup+620.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 60845 50 0 0 25 0 11 0 477561431 863391744 30510 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30510 13073 16 0 210773 0 vsize: 843156 [startup+630.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 61830 50 0 0 25 0 11 0 477561431 863391744 30659 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30659 13073 16 0 210773 0 vsize: 843156 [startup+640.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 62807 50 0 0 25 0 11 0 477561431 863391744 30863 4294967295 134512640 134569956 3221224416 3221214872 1131344571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30863 13073 16 0 210773 0 vsize: 843156 [startup+650.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 63799 50 0 0 25 0 11 0 477561431 863391744 30953 4294967295 134512640 134569956 3221224416 3221214872 1131344320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 30953 13073 16 0 210773 0 vsize: 843156 [startup+660.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 64784 50 0 0 25 0 11 0 477561431 863391744 31161 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 31161 13073 16 0 210773 0 vsize: 843156 [startup+670.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 65768 50 0 0 25 0 11 0 477561431 863391744 31275 4294967295 134512640 134569956 3221224416 3221214872 1131344346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 31275 13073 16 0 210773 0 vsize: 843156 [startup+680.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 66753 50 0 0 25 0 11 0 477561431 863391744 31435 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 31435 13073 16 0 210773 0 vsize: 843156 [startup+690.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 67738 50 0 0 25 0 11 0 477561431 863391744 31581 4294967295 134512640 134569956 3221224416 3221214872 1131344559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 31581 13073 16 0 210773 0 vsize: 843156 [startup+700.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 68723 50 0 0 25 0 11 0 477561431 863391744 31739 4294967295 134512640 134569956 3221224416 3221214760 1131356403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 31739 13073 16 0 210773 0 vsize: 843156 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 69709 50 0 0 25 0 11 0 477561431 863391744 31895 4294967295 134512640 134569956 3221224416 3221214544 1131186438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 31895 13073 16 0 210773 0 vsize: 843156 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 70693 50 0 0 25 0 11 0 477561431 863391744 32109 4294967295 134512640 134569956 3221224416 3221214872 1131344571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32109 13073 16 0 210773 0 vsize: 843156 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 71678 51 0 0 25 0 11 0 477561431 863391744 32357 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32357 13073 16 0 210773 0 vsize: 843156 [startup+740.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 72663 51 0 0 25 0 11 0 477561431 863391744 32516 4294967295 134512640 134569956 3221224416 3221214872 1131344565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32516 13073 16 0 210773 0 vsize: 843156 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 73649 51 0 0 25 0 11 0 477561431 863391744 32589 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32589 13073 16 0 210773 0 vsize: 843156 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 74634 51 0 0 25 0 11 0 477561431 863391744 32760 4294967295 134512640 134569956 3221224416 3221214872 1131344641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32760 13073 16 0 210773 0 vsize: 843156 [startup+770.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 75619 51 0 0 25 0 11 0 477561431 863391744 32996 4294967295 134512640 134569956 3221224416 3221214792 1131402520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 32996 13073 16 0 210773 0 vsize: 843156 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 76603 51 0 0 25 0 11 0 477561431 863391744 33084 4294967295 134512640 134569956 3221224416 3221214872 1131344320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33084 13073 16 0 210773 0 vsize: 843156 [startup+790.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 77588 51 0 0 24 0 11 0 477561431 863391744 33255 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33255 13073 16 0 210773 0 vsize: 843156 [startup+800.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 78581 51 0 0 25 0 11 0 477561431 863391744 33325 4294967295 134512640 134569956 3221224416 3221214872 1131344344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 33325 13073 16 0 210773 0 vsize: 843156 [startup+810.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 79567 51 0 0 25 0 11 0 477561431 863391744 33483 4294967295 134512640 134569956 3221224416 3221214872 1131344589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33483 13073 16 0 210773 0 vsize: 843156 [startup+820.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 80552 51 0 0 25 0 11 0 477561431 863391744 33627 4294967295 134512640 134569956 3221224416 3221214872 1131344641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33627 13073 16 0 210773 0 vsize: 843156 [startup+830.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 81537 51 0 0 25 0 11 0 477561431 863391744 33787 4294967295 134512640 134569956 3221224416 3221214872 1131344445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33787 13073 16 0 210773 0 vsize: 843156 [startup+840.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 82522 51 0 0 25 0 11 0 477561431 863391744 33861 4294967295 134512640 134569956 3221224416 3221214776 1131208657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 33861 13073 16 0 210773 0 vsize: 843156 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 83506 51 0 0 25 0 11 0 477561431 863391744 34012 4294967295 134512640 134569956 3221224416 3221214752 1131392100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34012 13073 16 0 210773 0 vsize: 843156 [startup+860.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 84491 51 0 0 25 0 11 0 477561431 863391744 34157 4294967295 134512640 134569956 3221224416 3221214760 1131355550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34157 13073 16 0 210773 0 vsize: 843156 [startup+870.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 85475 51 0 0 25 0 11 0 477561431 863391744 34375 4294967295 134512640 134569956 3221224416 3221214760 1131356271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34375 13073 16 0 210773 0 vsize: 843156 [startup+880.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 86460 51 0 0 25 0 11 0 477561431 863391744 34514 4294967295 134512640 134569956 3221224416 3221214872 1131344565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34514 13073 16 0 210773 0 vsize: 843156 [startup+890.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 87445 51 0 0 25 0 11 0 477561431 863391744 34654 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34654 13073 16 0 210773 0 vsize: 843156 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 88429 51 0 0 25 0 11 0 477561431 863391744 34788 4294967295 134512640 134569956 3221224416 3221214872 1131448684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 34788 13073 16 0 210773 0 vsize: 843156 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 89414 51 0 0 25 0 11 0 477561431 863391744 35032 4294967295 134512640 134569956 3221224416 3221214624 1131209785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35032 13073 16 0 210773 0 vsize: 843156 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 90406 51 0 0 25 0 11 0 477561431 863391744 35107 4294967295 134512640 134569956 3221224416 3221214768 1131218645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35107 13073 16 0 210773 0 vsize: 843156 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 91391 51 0 0 25 0 11 0 477561431 863391744 35269 4294967295 134512640 134569956 3221224416 3221214760 1131356403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35269 13073 16 0 210773 0 vsize: 843156 [startup+940.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 92375 52 0 0 25 0 11 0 477561431 863391744 35441 4294967295 134512640 134569956 3221224416 3221214872 1131344639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35441 13073 16 0 210773 0 vsize: 843156 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 93360 52 0 0 25 0 11 0 477561431 863391744 35595 4294967295 134512640 134569956 3221224416 3221214760 1131356383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35595 13073 16 0 210773 0 vsize: 843156 [startup+960.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 94345 52 0 0 25 0 11 0 477561431 863391744 35773 4294967295 134512640 134569956 3221224416 3221214720 1131566112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35773 13073 16 0 210773 0 vsize: 843156 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 95330 52 0 0 25 0 11 0 477561431 863391744 35956 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 35956 13073 16 0 210773 0 vsize: 843156 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 96314 52 0 0 25 0 11 0 477561431 863391744 36040 4294967295 134512640 134569956 3221224416 3221214768 1131218645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36040 13073 16 0 210773 0 vsize: 843156 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 97297 52 0 0 25 0 11 0 477561431 863391744 36207 4294967295 134512640 134569956 3221224416 3221214760 1131356433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36207 13073 16 0 210773 0 vsize: 843156 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 98288 52 0 0 25 0 11 0 477561431 863391744 36282 4294967295 134512640 134569956 3221224416 3221214816 1131474100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36282 13073 16 0 210773 0 vsize: 843156 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 99273 52 0 0 25 0 11 0 477561431 863391744 36440 4294967295 134512640 134569956 3221224416 3221214872 1131344342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 36440 13073 16 0 210773 0 vsize: 843156 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 100257 52 0 0 25 0 11 0 477561431 863391744 36615 4294967295 134512640 134569956 3221224416 3221214696 1131208969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36615 13073 16 0 210773 0 vsize: 843156 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 101241 52 0 0 25 0 11 0 477561431 863391744 36759 4294967295 134512640 134569956 3221224416 3221214872 1131344636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36759 13073 16 0 210773 0 vsize: 843156 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 102224 53 0 0 25 0 11 0 477561431 863391744 36966 4294967295 134512640 134569956 3221224416 3221214760 1131355607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 36966 13073 16 0 210773 0 vsize: 843156 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 103209 53 0 0 25 0 11 0 477561431 863391744 37141 4294967295 134512640 134569956 3221224416 3221214872 1131344825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37141 13073 16 0 210773 0 vsize: 843156 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 104194 53 0 0 25 0 11 0 477561431 863391744 37308 4294967295 134512640 134569956 3221224416 3221214408 1078022145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37308 13073 16 0 210773 0 vsize: 843156 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 105179 53 0 0 25 0 11 0 477561431 863391744 37464 4294967295 134512640 134569956 3221224416 3221214872 1131344639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37464 13073 16 0 210773 0 vsize: 843156 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 106171 53 0 0 25 0 11 0 477561431 863391744 37547 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37547 13073 16 0 210773 0 vsize: 843156 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 107156 53 0 0 25 0 11 0 477561431 863391744 37686 4294967295 134512640 134569956 3221224416 3221214816 1131478048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 37686 13073 16 0 210773 0 vsize: 843156 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 108141 53 0 0 25 0 11 0 477561431 863391744 37832 4294967295 134512640 134569956 3221224416 3221214872 1131344835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37832 13073 16 0 210773 0 vsize: 843156 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 109126 53 0 0 25 0 11 0 477561431 863391744 37941 4294967295 134512640 134569956 3221224416 3221214872 1131344342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 37941 13073 16 0 210773 0 vsize: 843156 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 110109 53 0 0 25 0 11 0 477561431 863391744 38100 4294967295 134512640 134569956 3221224416 3221214872 1131344544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38100 13073 16 0 210773 0 vsize: 843156 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 111093 53 0 0 25 0 11 0 477561431 863391744 38243 4294967295 134512640 134569956 3221224416 3221214752 1131392517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38243 13073 16 0 210773 0 vsize: 843156 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 112078 53 0 0 25 0 11 0 477561431 863391744 38390 4294967295 134512640 134569956 3221224416 3221214760 1131356429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38390 13073 16 0 210773 0 vsize: 843156 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 113062 53 0 0 25 0 11 0 477561431 863391744 38532 4294967295 134512640 134569956 3221224416 3221214872 1131344553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38532 13073 16 0 210773 0 vsize: 843156 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 114046 53 0 0 25 0 11 0 477561431 863391744 38731 4294967295 134512640 134569956 3221224416 3221214720 1131566127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38731 13073 16 0 210773 0 vsize: 843156 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 115031 53 0 0 25 0 11 0 477561431 863391744 38867 4294967295 134512640 134569956 3221224416 3221214872 1131344335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38867 13073 16 0 210773 0 vsize: 843156 [startup+1180.04 s] Raw data (loadavg): 1.15 1.03 0.97 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 116024 53 0 0 25 0 11 0 477561431 863391744 38952 4294967295 134512640 134569956 3221224416 3221214872 1131344332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 38952 13073 16 0 210773 0 vsize: 843156 [startup+1190.04 s] Raw data (loadavg): 1.13 1.03 0.97 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 117008 53 0 0 25 0 11 0 477561431 863391744 39101 4294967295 134512640 134569956 3221224416 3221214872 1131344320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 39101 13073 16 0 210773 0 vsize: 843156 [startup+1200.04 s] Raw data (loadavg): 1.11 1.03 0.97 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 117993 53 0 0 25 0 11 0 477561431 863391744 39260 4294967295 134512640 134569956 3221224416 3221214720 1131566127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 39260 13073 16 0 210773 0 vsize: 843156 [startup+1210.04 s] Raw data (loadavg): 1.09 1.03 0.97 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 118978 53 0 0 25 0 11 0 477561431 863391744 39398 4294967295 134512640 134569956 3221224416 3221214872 1131344571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210789 39398 13073 16 0 210773 0 vsize: 843156 [startup+1220.04 s] Raw data (loadavg): 1.08 1.03 0.97 2/64 3841 Raw data (stat): 3774 (java) R 3773 3260 3259 0 -1 0 18101 0 1 0 119962 53 0 0 25 0 11 0 477561431 863391744 39572 4294967295 134512640 134569956 3221224416 3221214696 1131208609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210789 39572 13073 16 0 210773 0 vsize: 843156 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.13 s] Raw data (loadavg): 1.08 1.03 0.97 1/54 3843 Raw data (stat): 3774 (java) Z 3773 3260 3259 0 -1 1036 18101 26698 1 0 119964 61 2877 61 25 0 1 0 477561431 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): 1220.13 CPU time (s): 1229.65 CPU user time (s): 1228.42 CPU system time (s): 1.23181 CPU usage (%): 100.781 Max. virtual memory (Kb): 845352 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####