Name | normalized-opb/submitted/een/normalized-p0201.opb |
MD5SUM | ff4eb45c2603a47e5b79b2649e926ba4 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01984 |
Number of variables | 195 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 65 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-14 21:24:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5157 boxname=wulflinc17 idbench=397 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ff4eb45c2603a47e5b79b2649e926ba4 /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb IDLAUNCH: 5157 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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: 742744 kB Buffers: 36896 kB Cached: 220148 kB SwapCached: 2376 kB Active: 64104 kB Inactive: 198284 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 742492 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23900 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-14 21:45:12 (client local time) WITH STATUS 143 IN 1226.82 SECONDS stats: 5157 7 1226.82 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb c reading problem c [nbvar=201] c [nbconstr=133] c time 1.133 c #vars 201 c #clauses 133 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=2230 c Current CPU time (ms) : 1.562 c starts : 1 c conflicts : 3 c decisions : 63 c propagations : 235 c inspects : 681 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 1 c c CURRENT OPTIMUM=1707 c Current CPU time (ms) : 3.727 c starts : 2 c conflicts : 6 c decisions : 164 c propagations : 585 c inspects : 1609 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6 c root simplifications : 2 c c CURRENT OPTIMUM=1583 c Current CPU time (ms) : 3.857 c starts : 3 c conflicts : 6 c decisions : 213 c propagations : 786 c inspects : 2281 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 6 c root simplifications : 3 c c CURRENT OPTIMUM=1555 c Current CPU time (ms) : 4.75 c starts : 4 c conflicts : 9 c decisions : 313 c propagations : 1188 c inspects : 3019 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 5 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.94 0.90 2/55 3502 Raw data (stat): 3502 (runsolver) R 3501 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487818013 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.0008 s] Raw data (loadavg): 1.18 1.01 0.92 2/65 3516 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18071 3 1 0 622 39 0 0 25 0 11 0 487818013 863019008 20867 4294967295 134512640 134569956 3221224416 3221214808 1131202812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210698 20867 13073 16 0 210682 0 vsize: 842792 [startup+20.001 s] Raw data (loadavg): 1.22 1.02 0.93 3/65 3516 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18073 3 1 0 1575 40 0 0 25 0 11 0 487818013 867786752 22131 4294967295 134512640 134569956 3221224416 3221214852 1130917326 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211862 22131 13073 16 0 211846 0 vsize: 847448 [startup+30.0386 s] Raw data (loadavg): 1.19 1.02 0.93 3/65 3516 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 2536 41 0 0 25 0 11 0 487818013 864980992 21787 4294967295 134512640 134569956 3221224416 3221214912 1131212252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211177 21787 13073 16 0 211161 0 vsize: 844708 [startup+40.0386 s] Raw data (loadavg): 1.16 1.02 0.93 2/65 3516 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 3499 41 0 0 25 0 11 0 487818013 862932992 21512 4294967295 134512640 134569956 3221224416 3221214864 1131169711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210677 21512 13073 16 0 210661 0 vsize: 842708 [startup+50.0398 s] Raw data (loadavg): 1.13 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 4474 41 0 0 25 0 11 0 487818013 862932992 21623 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21623 13073 16 0 210661 0 vsize: 842708 [startup+60.0398 s] Raw data (loadavg): 1.11 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 5451 41 0 0 25 0 11 0 487818013 862932992 21696 4294967295 134512640 134569956 3221224416 3221214808 1131203534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21696 13073 16 0 210661 0 vsize: 842708 [startup+70.0404 s] Raw data (loadavg): 1.10 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 6430 41 0 0 25 0 11 0 487818013 862932992 21758 4294967295 134512640 134569956 3221224416 3221214320 1085679358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21758 13073 16 0 210661 0 vsize: 842708 [startup+80.0406 s] Raw data (loadavg): 1.08 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 7407 41 0 0 25 0 11 0 487818013 862932992 21833 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21833 13073 16 0 210661 0 vsize: 842708 [startup+90.0406 s] Raw data (loadavg): 1.07 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 8384 41 0 0 25 0 11 0 487818013 862932992 21925 4294967295 134512640 134569956 3221224416 3221214864 1131169658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21925 13073 16 0 210661 0 vsize: 842708 [startup+100.045 s] Raw data (loadavg): 1.06 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 9362 41 0 0 25 0 11 0 487818013 862932992 21998 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 21998 13073 16 0 210661 0 vsize: 842708 [startup+110.045 s] Raw data (loadavg): 1.13 1.03 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 10341 41 0 0 25 0 11 0 487818013 862932992 22078 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22078 13073 16 0 210661 0 vsize: 842708 [startup+120.046 s] Raw data (loadavg): 1.11 1.03 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 11319 41 0 0 25 0 11 0 487818013 862932992 22157 4294967295 134512640 134569956 3221224416 3221214808 1131202828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22157 13073 16 0 210661 0 vsize: 842708 [startup+130.047 s] Raw data (loadavg): 1.09 1.03 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 12297 42 0 0 25 0 11 0 487818013 862932992 22231 4294967295 134512640 134569956 3221224416 3221214808 1131203511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22231 13073 16 0 210661 0 vsize: 842708 [startup+140.047 s] Raw data (loadavg): 1.08 1.03 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 13277 42 0 0 25 0 11 0 487818013 862932992 22293 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22293 13073 16 0 210661 0 vsize: 842708 [startup+150.048 s] Raw data (loadavg): 1.06 1.03 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 14252 42 0 0 25 0 11 0 487818013 862932992 22378 4294967295 134512640 134569956 3221224416 3221214864 1131169750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22378 13073 16 0 210661 0 vsize: 842708 [startup+160.049 s] Raw data (loadavg): 1.05 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 15227 42 0 0 25 0 11 0 487818013 862932992 22455 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22455 13073 16 0 210661 0 vsize: 842708 [startup+170.048 s] Raw data (loadavg): 1.04 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 16203 42 0 0 25 0 11 0 487818013 862932992 22541 4294967295 134512640 134569956 3221224416 3221214864 1131169605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22541 13073 16 0 210661 0 vsize: 842708 [startup+180.049 s] Raw data (loadavg): 1.04 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 17183 42 0 0 25 0 11 0 487818013 862932992 22652 4294967295 134512640 134569956 3221224416 3221214912 1131211461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22652 13073 16 0 210661 0 vsize: 842708 [startup+190.05 s] Raw data (loadavg): 1.03 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 18167 42 0 0 25 0 11 0 487818013 862932992 22712 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22712 13073 16 0 210661 0 vsize: 842708 [startup+200.05 s] Raw data (loadavg): 1.03 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 19148 42 0 0 25 0 11 0 487818013 862932992 22753 4294967295 134512640 134569956 3221224416 3221214808 1131202939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22753 13073 16 0 210661 0 vsize: 842708 [startup+210.05 s] Raw data (loadavg): 1.02 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 20128 42 0 0 25 0 11 0 487818013 862932992 22851 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22851 13073 16 0 210661 0 vsize: 842708 [startup+220.051 s] Raw data (loadavg): 1.02 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 21106 42 0 0 25 0 11 0 487818013 862932992 22914 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 22914 13073 16 0 210661 0 vsize: 842708 [startup+230.051 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 22086 42 0 0 25 0 11 0 487818013 862932992 23004 4294967295 134512640 134569956 3221224416 3221214736 1131241156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23004 13073 16 0 210661 0 vsize: 842708 [startup+240.051 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 23065 42 0 0 24 0 11 0 487818013 862932992 23077 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23077 13073 16 0 210661 0 vsize: 842708 [startup+250.05 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 24048 42 0 0 25 0 11 0 487818013 862932992 23154 4294967295 134512640 134569956 3221224416 3221214808 1131202530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23154 13073 16 0 210661 0 vsize: 842708 [startup+260.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 25031 42 0 0 25 0 11 0 487818013 862932992 23214 4294967295 134512640 134569956 3221224416 3221214864 1131169642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23214 13073 16 0 210661 0 vsize: 842708 [startup+270.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 26017 42 0 0 25 0 11 0 487818013 862932992 23274 4294967295 134512640 134569956 3221224416 3221214808 1131202755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23274 13073 16 0 210661 0 vsize: 842708 [startup+280.051 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 27002 42 0 0 25 0 11 0 487818013 862932992 23319 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23319 13073 16 0 210661 0 vsize: 842708 [startup+290.051 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 27987 42 0 0 25 0 11 0 487818013 862932992 23376 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23376 13073 16 0 210661 0 vsize: 842708 [startup+300.052 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 28972 42 0 0 25 0 11 0 487818013 862932992 23449 4294967295 134512640 134569956 3221224416 3221214864 1131169621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23449 13073 16 0 210661 0 vsize: 842708 [startup+310.052 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 29957 42 0 0 24 0 11 0 487818013 862932992 23503 4294967295 134512640 134569956 3221224416 3221214808 1131203496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23503 13073 16 0 210661 0 vsize: 842708 [startup+320.052 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 30942 42 0 0 25 0 11 0 487818013 862932992 23539 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23539 13073 16 0 210661 0 vsize: 842708 [startup+330.053 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 31925 42 0 0 24 0 11 0 487818013 862932992 23613 4294967295 134512640 134569956 3221224416 3221214808 1131203500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23613 13073 16 0 210661 0 vsize: 842708 [startup+340.054 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3518 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 32909 43 0 0 25 0 11 0 487818013 862932992 23662 4294967295 134512640 134569956 3221224416 3221214736 1131240102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23662 13073 16 0 210661 0 vsize: 842708 [startup+350.053 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 33887 43 0 0 24 0 11 0 487818013 862932992 23710 4294967295 134512640 134569956 3221224416 3221214808 1131202844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23710 13073 16 0 210661 0 vsize: 842708 [startup+360.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 34868 43 0 0 25 0 11 0 487818013 862932992 23774 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23774 13073 16 0 210661 0 vsize: 842708 [startup+370.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 35850 43 0 0 25 0 11 0 487818013 862932992 23850 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23850 13073 16 0 210661 0 vsize: 842708 [startup+380.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 36835 43 0 0 25 0 11 0 487818013 862932992 23909 4294967295 134512640 134569956 3221224416 3221214908 1131203703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23909 13073 16 0 210661 0 vsize: 842708 [startup+390.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 37816 43 0 0 25 0 11 0 487818013 862932992 23958 4294967295 134512640 134569956 3221224416 3221214888 1131253629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23958 13073 16 0 210661 0 vsize: 842708 [startup+400.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 38799 43 0 0 25 0 11 0 487818013 862932992 23994 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 23994 13073 16 0 210661 0 vsize: 842708 [startup+410.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 39781 43 0 0 25 0 11 0 487818013 862932992 24079 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24079 13073 16 0 210661 0 vsize: 842708 [startup+420.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 40765 43 0 0 25 0 11 0 487818013 862932992 24136 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24136 13073 16 0 210661 0 vsize: 842708 [startup+430.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 41748 43 0 0 24 0 11 0 487818013 862932992 24200 4294967295 134512640 134569956 3221224416 3221214808 1131202948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24200 13073 16 0 210661 0 vsize: 842708 [startup+440.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 42733 43 0 0 25 0 11 0 487818013 862932992 24259 4294967295 134512640 134569956 3221224416 3221214808 1131202773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24259 13073 16 0 210661 0 vsize: 842708 [startup+450.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 43718 43 0 0 25 0 11 0 487818013 862932992 24311 4294967295 134512640 134569956 3221224416 3221214864 1131169621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24311 13073 16 0 210661 0 vsize: 842708 [startup+460.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 44701 44 0 0 25 0 11 0 487818013 862932992 24368 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24368 13073 16 0 210661 0 vsize: 842708 [startup+470.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 45685 44 0 0 25 0 11 0 487818013 862932992 24407 4294967295 134512640 134569956 3221224416 3221214808 1131203159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24407 13073 16 0 210661 0 vsize: 842708 [startup+480.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 46667 44 0 0 25 0 11 0 487818013 862932992 24487 4294967295 134512640 134569956 3221224416 3221214808 1131202245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24487 13073 16 0 210661 0 vsize: 842708 [startup+490.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 47652 44 0 0 25 0 11 0 487818013 862932992 24544 4294967295 134512640 134569956 3221224416 3221214808 1131202237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24544 13073 16 0 210661 0 vsize: 842708 [startup+500.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 48635 44 0 0 25 0 11 0 487818013 862932992 24593 4294967295 134512640 134569956 3221224416 3221213956 1079753248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24593 13073 16 0 210661 0 vsize: 842708 [startup+510.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 49619 44 0 0 25 0 11 0 487818013 862932992 24657 4294967295 134512640 134569956 3221224416 3221214808 1131202681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24657 13073 16 0 210661 0 vsize: 842708 [startup+520.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 50602 44 0 0 25 0 11 0 487818013 862932992 24711 4294967295 134512640 134569956 3221224416 3221214808 1131203567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24711 13073 16 0 210661 0 vsize: 842708 [startup+530.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 51585 44 0 0 25 0 11 0 487818013 862932992 24779 4294967295 134512640 134569956 3221224416 3221214808 1131202832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24779 13073 16 0 210661 0 vsize: 842708 [startup+540.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 52571 44 0 0 25 0 11 0 487818013 862932992 24841 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24841 13073 16 0 210661 0 vsize: 842708 [startup+550.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 53558 44 0 0 25 0 11 0 487818013 862932992 24894 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24894 13073 16 0 210661 0 vsize: 842708 [startup+560.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 54544 44 0 0 25 0 11 0 487818013 862932992 24933 4294967295 134512640 134569956 3221224416 3221214952 1131258393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24933 13073 16 0 210661 0 vsize: 842708 [startup+570.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 55528 44 0 0 25 0 11 0 487818013 862932992 24958 4294967295 134512640 134569956 3221224416 3221214808 1131202233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 24958 13073 16 0 210661 0 vsize: 842708 [startup+580.064 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 56510 44 0 0 25 0 11 0 487818013 862932992 25012 4294967295 134512640 134569956 3221224416 3221214912 1131211285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25012 13073 16 0 210661 0 vsize: 842708 [startup+590.065 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 57490 44 0 0 25 0 11 0 487818013 862932992 25078 4294967295 134512640 134569956 3221224416 3221214808 1131202252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25078 13073 16 0 210661 0 vsize: 842708 [startup+600.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 58468 44 0 0 24 0 11 0 487818013 862932992 25155 4294967295 134512640 134569956 3221224416 3221214808 1131202241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25155 13073 16 0 210661 0 vsize: 842708 [startup+610.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 59450 44 0 0 25 0 11 0 487818013 862932992 25229 4294967295 134512640 134569956 3221224416 3221214808 1131202270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25229 13073 16 0 210661 0 vsize: 842708 [startup+620.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 60434 45 0 0 25 0 11 0 487818013 862932992 25286 4294967295 134512640 134569956 3221224416 3221214808 1131202237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25286 13073 16 0 210661 0 vsize: 842708 [startup+630.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 61417 45 0 0 25 0 11 0 487818013 862932992 25360 4294967295 134512640 134569956 3221224416 3221214808 1131202828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25360 13073 16 0 210661 0 vsize: 842708 [startup+640.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3520 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 62398 45 0 0 24 0 11 0 487818013 862932992 25416 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25416 13073 16 0 210661 0 vsize: 842708 [startup+650.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 63379 45 0 0 25 0 11 0 487818013 862932992 25464 4294967295 134512640 134569956 3221224416 3221214808 1131202905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25464 13073 16 0 210661 0 vsize: 842708 [startup+660.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 64358 45 0 0 24 0 11 0 487818013 862932992 25519 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25519 13073 16 0 210661 0 vsize: 842708 [startup+670.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 65339 45 0 0 25 0 11 0 487818013 862932992 25589 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25589 13073 16 0 210661 0 vsize: 842708 [startup+680.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 66321 45 0 0 25 0 11 0 487818013 862932992 25677 4294967295 134512640 134569956 3221224416 3221214864 1131169617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25677 13073 16 0 210661 0 vsize: 842708 [startup+690.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 67304 45 0 0 25 0 11 0 487818013 862932992 25737 4294967295 134512640 134569956 3221224416 3221214568 1131432547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25737 13073 16 0 210661 0 vsize: 842708 [startup+700.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 68288 45 0 0 25 0 11 0 487818013 862932992 25807 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25807 13073 16 0 210661 0 vsize: 842708 [startup+710.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 69273 45 0 0 25 0 11 0 487818013 862932992 25870 4294967295 134512640 134569956 3221224416 3221214808 1131202275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25870 13073 16 0 210661 0 vsize: 842708 [startup+720.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 70258 45 0 0 25 0 11 0 487818013 862932992 25929 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25929 13073 16 0 210661 0 vsize: 842708 [startup+730.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 71242 45 0 0 25 0 11 0 487818013 862932992 25956 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 25956 13073 16 0 210661 0 vsize: 842708 [startup+740.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 72224 45 0 0 17 0 11 0 487818013 862932992 26028 4294967295 134512640 134569956 3221224416 3221214912 1131211676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26028 13073 16 0 210661 0 vsize: 842708 [startup+750.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 73207 45 0 0 25 0 11 0 487818013 862932992 26080 4294967295 134512640 134569956 3221224416 3221214808 1131202252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26080 13073 16 0 210661 0 vsize: 842708 [startup+760.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 74190 45 0 0 25 0 11 0 487818013 862932992 26157 4294967295 134512640 134569956 3221224416 3221214568 1131262934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26157 13073 16 0 210661 0 vsize: 842708 [startup+770.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 75172 45 0 0 25 0 11 0 487818013 862932992 26222 4294967295 134512640 134569956 3221224416 3221214728 1131230124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26222 13073 16 0 210661 0 vsize: 842708 [startup+780.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 76153 45 0 0 25 0 11 0 487818013 862932992 26270 4294967295 134512640 134569956 3221224416 3221214808 1131202874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26270 13073 16 0 210661 0 vsize: 842708 [startup+790.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 77133 45 0 0 24 0 11 0 487818013 862932992 26353 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26353 13073 16 0 210661 0 vsize: 842708 [startup+800.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 78116 45 0 0 25 0 11 0 487818013 862932992 26415 4294967295 134512640 134569956 3221224416 3221214808 1131203159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26415 13073 16 0 210661 0 vsize: 842708 [startup+810.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 79099 45 0 0 24 0 11 0 487818013 862932992 26467 4294967295 134512640 134569956 3221224416 3221214908 1131202220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26467 13073 16 0 210661 0 vsize: 842708 [startup+820.072 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 80082 45 0 0 25 0 11 0 487818013 862932992 26517 4294967295 134512640 134569956 3221224416 3221214552 1131447112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26517 13073 16 0 210661 0 vsize: 842708 [startup+830.073 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 81064 45 0 0 24 0 11 0 487818013 862932992 26577 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26577 13073 16 0 210661 0 vsize: 842708 [startup+840.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 82046 45 0 0 25 0 11 0 487818013 862932992 26623 4294967295 134512640 134569956 3221224416 3221214864 1131169658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26623 13073 16 0 210661 0 vsize: 842708 [startup+850.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 83029 45 0 0 25 0 11 0 487818013 862932992 26692 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26692 13073 16 0 210661 0 vsize: 842708 [startup+860.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 84010 45 0 0 24 0 11 0 487818013 862932992 26753 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26753 13073 16 0 210661 0 vsize: 842708 [startup+870.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 84992 45 0 0 25 0 11 0 487818013 862932992 26812 4294967295 134512640 134569956 3221224416 3221214808 1131202870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26812 13073 16 0 210661 0 vsize: 842708 [startup+880.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 85976 45 0 0 25 0 11 0 487818013 862932992 26870 4294967295 134512640 134569956 3221224416 3221214808 1131202570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26870 13073 16 0 210661 0 vsize: 842708 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 86962 45 0 0 25 0 11 0 487818013 862932992 26937 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26937 13073 16 0 210661 0 vsize: 842708 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 87948 46 0 0 24 0 11 0 487818013 862932992 26969 4294967295 134512640 134569956 3221224416 3221214808 1131202800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 26969 13073 16 0 210661 0 vsize: 842708 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 88933 46 0 0 25 0 11 0 487818013 862932992 27006 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27006 13073 16 0 210661 0 vsize: 842708 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 89918 46 0 0 25 0 11 0 487818013 862932992 27031 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27031 13073 16 0 210661 0 vsize: 842708 [startup+930.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 90903 46 0 0 25 0 11 0 487818013 862932992 27062 4294967295 134512640 134569956 3221224416 3221214448 1131558392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27062 13073 16 0 210661 0 vsize: 842708 [startup+940.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3522 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 91887 46 0 0 25 0 11 0 487818013 862932992 27125 4294967295 134512640 134569956 3221224416 3221214808 1131202674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27125 13073 16 0 210661 0 vsize: 842708 [startup+950.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 92870 46 0 0 25 0 11 0 487818013 862932992 27162 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27162 13073 16 0 210661 0 vsize: 842708 [startup+960.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 93854 46 0 0 25 0 11 0 487818013 862932992 27225 4294967295 134512640 134569956 3221224416 3221214808 1131203402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27225 13073 16 0 210661 0 vsize: 842708 [startup+970.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 94834 46 0 0 25 0 11 0 487818013 862932992 27278 4294967295 134512640 134569956 3221224416 3221214808 1131202614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27278 13073 16 0 210661 0 vsize: 842708 [startup+980.084 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) S 3501 20838 20837 0 -1 0 18074 3 1 0 95816 46 0 0 25 0 11 0 487818013 862932992 27309 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27309 13073 16 0 210661 0 vsize: 842708 [startup+990.085 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 96795 46 0 0 25 0 11 0 487818013 862932992 27386 4294967295 134512640 134569956 3221224416 3221214864 1131169600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27386 13073 16 0 210661 0 vsize: 842708 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 97776 46 0 0 25 0 11 0 487818013 862932992 27453 4294967295 134512640 134569956 3221224416 3221214952 1131258393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27453 13073 16 0 210661 0 vsize: 842708 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 98760 46 0 0 25 0 11 0 487818013 862932992 27559 4294967295 134512640 134569956 3221224416 3221214808 1131202548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27559 13073 16 0 210661 0 vsize: 842708 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 99742 47 0 0 24 0 11 0 487818013 862932992 27600 4294967295 134512640 134569956 3221224416 3221214808 1131202249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27600 13073 16 0 210661 0 vsize: 842708 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 100725 47 0 0 25 0 11 0 487818013 862932992 27654 4294967295 134512640 134569956 3221224416 3221214808 1131202705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27654 13073 16 0 210661 0 vsize: 842708 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 101709 47 0 0 25 0 11 0 487818013 862932992 27689 4294967295 134512640 134569956 3221224416 3221214808 1131202840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27689 13073 16 0 210661 0 vsize: 842708 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 102691 47 0 0 25 0 11 0 487818013 862932992 27751 4294967295 134512640 134569956 3221224416 3221214864 1131169597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27751 13073 16 0 210661 0 vsize: 842708 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 103674 47 0 0 25 0 11 0 487818013 862932992 27808 4294967295 134512640 134569956 3221224416 3221214808 1131202674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27808 13073 16 0 210661 0 vsize: 842708 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 104655 47 0 0 25 0 11 0 487818013 862932992 27882 4294967295 134512640 134569956 3221224416 3221214808 1131202320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27882 13073 16 0 210661 0 vsize: 842708 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 105638 47 0 0 25 0 11 0 487818013 862932992 27914 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27914 13073 16 0 210661 0 vsize: 842708 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 106622 47 0 0 25 0 11 0 487818013 862932992 27975 4294967295 134512640 134569956 3221224416 3221214808 1131203527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 27975 13073 16 0 210661 0 vsize: 842708 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 107603 47 0 0 25 0 11 0 487818013 862932992 28052 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28052 13073 16 0 210661 0 vsize: 842708 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 108586 47 0 0 25 0 11 0 487818013 862932992 28101 4294967295 134512640 134569956 3221224416 3221214580 1131558416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28101 13073 16 0 210661 0 vsize: 842708 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 109569 47 0 0 25 0 11 0 487818013 862932992 28141 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28141 13073 16 0 210661 0 vsize: 842708 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 110552 47 0 0 25 0 11 0 487818013 862932992 28189 4294967295 134512640 134569956 3221224416 3221214908 1131202220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28189 13073 16 0 210661 0 vsize: 842708 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 111533 48 0 0 25 0 11 0 487818013 862932992 28265 4294967295 134512640 134569956 3221224416 3221214864 1131169624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28265 13073 16 0 210661 0 vsize: 842708 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 112518 48 0 0 25 0 11 0 487818013 862932992 28296 4294967295 134512640 134569956 3221224416 3221214808 1131202455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28296 13073 16 0 210661 0 vsize: 842708 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 113501 48 0 0 25 0 11 0 487818013 862932992 28346 4294967295 134512640 134569956 3221224416 3221214576 1079721461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28346 13073 16 0 210661 0 vsize: 842708 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 114490 48 0 0 25 0 11 0 487818013 862932992 28375 4294967295 134512640 134569956 3221224416 3221214808 1131202616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28375 13073 16 0 210661 0 vsize: 842708 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 115475 48 0 0 25 0 11 0 487818013 862932992 28433 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28433 13073 16 0 210661 0 vsize: 842708 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 116464 48 0 0 25 0 11 0 487818013 862932992 28460 4294967295 134512640 134569956 3221224416 3221214808 1131202804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28460 13073 16 0 210661 0 vsize: 842708 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 117451 48 0 0 25 0 11 0 487818013 862932992 28499 4294967295 134512640 134569956 3221224416 3221214608 1131304400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28499 13073 16 0 210661 0 vsize: 842708 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 118437 48 0 0 24 0 11 0 487818013 862932992 28513 4294967295 134512640 134569956 3221224416 3221214908 1131202227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28513 13073 16 0 210661 0 vsize: 842708 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 119425 48 0 0 25 0 11 0 487818013 862932992 28542 4294967295 134512640 134569956 3221224416 3221214808 1131202643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28542 13073 16 0 210661 0 vsize: 842708 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 3524 Raw data (stat): 3502 (java) R 3501 20838 20837 0 -1 0 18074 3 1 0 120415 48 0 0 24 0 11 0 487818013 862932992 28572 4294967295 134512640 134569956 3221224416 3221214592 1131304109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210677 28572 13073 16 0 210661 0 vsize: 842708 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 3526 Raw data (stat): 3502 (java) Z 3501 20838 20837 0 -1 1036 18074 8010 1 0 120418 48 2183 31 25 0 1 0 487818013 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): 1230.18 CPU time (s): 1226.82 CPU user time (s): 1226.01 CPU system time (s): 0.801878 CPU usage (%): 99.7269 Max. virtual memory (Kb): 847448 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####