Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb |
MD5SUM | ad40fa9446ec809d050488ebdd2a269a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 770 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1144575 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268466430 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 20.1699 |
Number of variables | 128716 |
Total number of constraints | 28077 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 7196 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-04-20 22:25:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20016 boxname=wulflinc28 idbench=1540 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ad40fa9446ec809d050488ebdd2a269a /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb IDLAUNCH: 20016 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 610524 kB Buffers: 33480 kB Cached: 356608 kB SwapCached: 164 kB Active: 96288 kB Inactive: 296264 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 610244 kB SwapTotal: 2097640 kB SwapFree: 2097068 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6088 kB Slab: 26040 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-20 22:47:53 (client local time) WITH STATUS 143 IN 1334.34 SECONDS stats: 20016 7 1334.34 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb c reading problem c [nbvar=128716] c [nbconstr=28077] #### 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.86 0.95 0.90 2/54 9523 Raw data (stat): 9523 (runsolver) R 9522 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540028592 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0005 s] Raw data (loadavg): 0.88 0.96 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 880 41 0 0 25 0 10 0 540028592 854011904 19155 4294967295 134512640 134569956 3221224400 3221214556 1076461342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208499 19155 13073 16 0 208483 0 vsize: 833996 [startup+20.0041 s] Raw data (loadavg): 0.90 0.96 0.91 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 1804 41 0 0 25 0 10 0 540028592 853393408 19406 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208348 19406 13073 16 0 208332 0 vsize: 833392 [startup+30.0048 s] Raw data (loadavg): 0.91 0.96 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 2712 41 0 0 25 0 10 0 540028592 853524480 19858 4294967295 134512640 134569956 3221224400 3221214812 1130920740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208380 19858 13073 16 0 208364 0 vsize: 833520 [startup+40.0056 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 3635 41 0 0 25 0 10 0 540028592 855564288 20499 4294967295 134512640 134569956 3221224400 3221214504 1076461342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208878 20499 13073 16 0 208862 0 vsize: 835512 [startup+50.0063 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 4561 41 0 0 25 0 10 0 540028592 855183360 20596 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208785 20596 13073 16 0 208769 0 vsize: 835140 [startup+60.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 5487 42 0 0 24 0 10 0 540028592 855183360 20735 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208785 20735 13073 16 0 208769 0 vsize: 835140 [startup+70.0057 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 6413 42 0 0 25 0 10 0 540028592 854315008 20642 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 20642 13073 16 0 208557 0 vsize: 834292 [startup+80.0084 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 7343 42 0 0 25 0 10 0 540028592 854315008 20834 4294967295 134512640 134569956 3221224400 3221214088 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 20834 13073 16 0 208557 0 vsize: 834292 [startup+90.0079 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 8278 42 0 0 25 0 10 0 540028592 854315008 20933 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 20933 13073 16 0 208557 0 vsize: 834292 [startup+100.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 9214 42 0 0 25 0 10 0 540028592 854315008 21025 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21025 13073 16 0 208557 0 vsize: 834292 [startup+110.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 10152 42 0 0 25 0 10 0 540028592 854315008 21110 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21110 13073 16 0 208557 0 vsize: 834292 [startup+120.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 11085 42 0 0 24 0 10 0 540028592 854315008 21195 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21195 13073 16 0 208557 0 vsize: 834292 [startup+130.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 12022 42 0 0 25 0 10 0 540028592 854315008 21270 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21270 13073 16 0 208557 0 vsize: 834292 [startup+140.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 12958 42 0 0 25 0 10 0 540028592 854315008 21341 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21341 13073 16 0 208557 0 vsize: 834292 [startup+150.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 13896 42 0 0 25 0 10 0 540028592 854315008 21410 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21410 13073 16 0 208557 0 vsize: 834292 [startup+160.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 14829 42 0 0 25 0 10 0 540028592 854315008 21479 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21479 13073 16 0 208557 0 vsize: 834292 [startup+170.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 15765 42 0 0 25 0 10 0 540028592 854315008 21541 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21541 13073 16 0 208557 0 vsize: 834292 [startup+180.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 16700 43 0 0 25 0 10 0 540028592 854315008 21601 4294967295 134512640 134569956 3221224400 3221214472 1131181932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21601 13073 16 0 208557 0 vsize: 834292 [startup+190.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 17617 43 0 0 25 0 10 0 540028592 854315008 21659 4294967295 134512640 134569956 3221224400 3221214828 1080204160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21659 13073 16 0 208557 0 vsize: 834292 [startup+200.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 18535 43 0 0 25 0 10 0 540028592 854315008 21716 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21716 13073 16 0 208557 0 vsize: 834292 [startup+210.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 19465 43 0 0 25 0 10 0 540028592 854315008 21936 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21936 13073 16 0 208557 0 vsize: 834292 [startup+220.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 20392 43 0 0 25 0 10 0 540028592 854315008 21992 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 21992 13073 16 0 208557 0 vsize: 834292 [startup+230.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 21323 43 0 0 25 0 10 0 540028592 854315008 22044 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22044 13073 16 0 208557 0 vsize: 834292 [startup+240.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 22253 43 0 0 25 0 10 0 540028592 854315008 22095 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22095 13073 16 0 208557 0 vsize: 834292 [startup+250.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 23183 43 0 0 25 0 10 0 540028592 854315008 22144 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22144 13073 16 0 208557 0 vsize: 834292 [startup+260.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 24112 43 0 0 25 0 10 0 540028592 854315008 22193 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22193 13073 16 0 208557 0 vsize: 834292 [startup+270.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 25036 43 0 0 24 0 10 0 540028592 854315008 22244 4294967295 134512640 134569956 3221224400 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22244 13073 16 0 208557 0 vsize: 834292 [startup+280.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 25965 43 0 0 25 0 10 0 540028592 854315008 22290 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22290 13073 16 0 208557 0 vsize: 834292 [startup+290.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 26892 43 0 0 25 0 10 0 540028592 854315008 22335 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22335 13073 16 0 208557 0 vsize: 834292 [startup+300.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 27818 43 0 0 25 0 10 0 540028592 854315008 22380 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22380 13073 16 0 208557 0 vsize: 834292 [startup+310.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 28744 43 0 0 25 0 10 0 540028592 854315008 22424 4294967295 134512640 134569956 3221224400 3221214872 1131267891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22424 13073 16 0 208557 0 vsize: 834292 [startup+320.043 s] Raw data (loadavg): 1.08 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 29669 44 0 0 25 0 10 0 540028592 854315008 22467 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22467 13073 16 0 208557 0 vsize: 834292 [startup+330.044 s] Raw data (loadavg): 1.07 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 30594 44 0 0 25 0 10 0 540028592 854315008 22509 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22509 13073 16 0 208557 0 vsize: 834292 [startup+340.043 s] Raw data (loadavg): 1.06 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 31518 44 0 0 25 0 10 0 540028592 854315008 22550 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22550 13073 16 0 208557 0 vsize: 834292 [startup+350.044 s] Raw data (loadavg): 1.05 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 32442 44 0 0 25 0 10 0 540028592 854315008 22591 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22591 13073 16 0 208557 0 vsize: 834292 [startup+360.044 s] Raw data (loadavg): 1.04 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 33365 44 0 0 25 0 10 0 540028592 854315008 22631 4294967295 134512640 134569956 3221224400 3221214472 1131182028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22631 13073 16 0 208557 0 vsize: 834292 [startup+370.044 s] Raw data (loadavg): 1.03 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 34287 44 0 0 25 0 10 0 540028592 854315008 22670 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22670 13073 16 0 208557 0 vsize: 834292 [startup+380.044 s] Raw data (loadavg): 1.03 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 35209 44 0 0 25 0 10 0 540028592 854315008 22709 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22709 13073 16 0 208557 0 vsize: 834292 [startup+390.044 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 36130 45 0 0 25 0 10 0 540028592 854315008 22747 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22747 13073 16 0 208557 0 vsize: 834292 [startup+400.045 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 37050 45 0 0 25 0 10 0 540028592 854315008 22785 4294967295 134512640 134569956 3221224400 3221214352 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22785 13073 16 0 208557 0 vsize: 834292 [startup+410.045 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 37970 45 0 0 25 0 10 0 540028592 854315008 22823 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22823 13073 16 0 208557 0 vsize: 834292 [startup+420.045 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 38889 45 0 0 25 0 10 0 540028592 854315008 22859 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22859 13073 16 0 208557 0 vsize: 834292 [startup+430.046 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 39807 45 0 0 25 0 10 0 540028592 854315008 22897 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22897 13073 16 0 208557 0 vsize: 834292 [startup+440.047 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 40725 45 0 0 25 0 10 0 540028592 854315008 22935 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22935 13073 16 0 208557 0 vsize: 834292 [startup+450.047 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 41644 45 0 0 25 0 10 0 540028592 854315008 22976 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 22976 13073 16 0 208557 0 vsize: 834292 [startup+460.047 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 42561 45 0 0 25 0 10 0 540028592 854315008 23016 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23016 13073 16 0 208557 0 vsize: 834292 [startup+470.048 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 43477 45 0 0 25 0 10 0 540028592 854315008 23063 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23063 13073 16 0 208557 0 vsize: 834292 [startup+480.048 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 44393 45 0 0 24 0 10 0 540028592 854315008 23112 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23112 13073 16 0 208557 0 vsize: 834292 [startup+490.052 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 45311 45 0 0 25 0 10 0 540028592 854315008 23147 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23147 13073 16 0 208557 0 vsize: 834292 [startup+500.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 46229 45 0 0 25 0 10 0 540028592 854315008 23203 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23203 13073 16 0 208557 0 vsize: 834292 [startup+510.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 47143 45 0 0 25 0 10 0 540028592 854315008 23242 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23242 13073 16 0 208557 0 vsize: 834292 [startup+520.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 48057 45 0 0 21 0 10 0 540028592 854315008 23282 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23282 13073 16 0 208557 0 vsize: 834292 [startup+530.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 48970 46 0 0 25 0 10 0 540028592 854315008 23320 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23320 13073 16 0 208557 0 vsize: 834292 [startup+540.054 s] Raw data (loadavg): 1.07 1.01 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 49883 46 0 0 20 0 10 0 540028592 854315008 23357 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23357 13073 16 0 208557 0 vsize: 834292 [startup+550.058 s] Raw data (loadavg): 1.06 1.01 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 50798 46 0 0 25 0 10 0 540028592 854315008 23393 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23393 13073 16 0 208557 0 vsize: 834292 [startup+560.061 s] Raw data (loadavg): 1.05 1.01 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 51712 46 0 0 25 0 10 0 540028592 854315008 23428 4294967295 134512640 134569956 3221224400 3221214656 1130887239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23428 13073 16 0 208557 0 vsize: 834292 [startup+570.061 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 52623 46 0 0 25 0 10 0 540028592 854315008 23501 4294967295 134512640 134569956 3221224400 3221214356 1079300785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23501 13073 16 0 208557 0 vsize: 834292 [startup+580.062 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 53534 46 0 0 25 0 10 0 540028592 854315008 23541 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23541 13073 16 0 208557 0 vsize: 834292 [startup+590.063 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 54444 46 0 0 25 0 10 0 540028592 854315008 23589 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23589 13073 16 0 208557 0 vsize: 834292 [startup+600.064 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 55359 46 0 0 25 0 10 0 540028592 854315008 23618 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23618 13073 16 0 208557 0 vsize: 834292 [startup+610.064 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 56268 46 0 0 25 0 10 0 540028592 854315008 23661 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 23661 13073 16 0 208557 0 vsize: 834292 [startup+620.065 s] Raw data (loadavg): 1.02 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 57177 47 0 0 25 0 10 0 540028592 854315008 23691 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23691 13073 16 0 208557 0 vsize: 834292 [startup+630.065 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 58085 48 0 0 24 0 10 0 540028592 854315008 23746 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23746 13073 16 0 208557 0 vsize: 834292 [startup+640.065 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 59000 48 0 0 25 0 10 0 540028592 854315008 23776 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23776 13073 16 0 208557 0 vsize: 834292 [startup+650.066 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 59908 48 0 0 25 0 10 0 540028592 854315008 23814 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23814 13073 16 0 208557 0 vsize: 834292 [startup+660.066 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 60815 49 0 0 25 0 10 0 540028592 854315008 23857 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23857 13073 16 0 208557 0 vsize: 834292 [startup+670.066 s] Raw data (loadavg): 1.01 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 61728 49 0 0 25 0 10 0 540028592 854315008 23893 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23893 13073 16 0 208557 0 vsize: 834292 [startup+680.067 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 62635 50 0 0 25 0 10 0 540028592 854315008 23927 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23927 13073 16 0 208557 0 vsize: 834292 [startup+690.067 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 63544 50 0 0 25 0 10 0 540028592 854315008 23980 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 23980 13073 16 0 208557 0 vsize: 834292 [startup+700.068 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 64449 50 0 0 25 0 10 0 540028592 854315008 24638 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24638 13073 16 0 208557 0 vsize: 834292 [startup+710.068 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 65350 51 0 0 24 0 10 0 540028592 854315008 24643 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24643 13073 16 0 208557 0 vsize: 834292 [startup+720.068 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 66251 51 0 0 25 0 10 0 540028592 854315008 24672 4294967295 134512640 134569956 3221224400 3221214744 1130890616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24672 13073 16 0 208557 0 vsize: 834292 [startup+730.069 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 67146 52 0 0 24 0 10 0 540028592 854315008 24706 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24706 13073 16 0 208557 0 vsize: 834292 [startup+740.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 68047 52 0 0 25 0 10 0 540028592 854315008 24732 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24732 13073 16 0 208557 0 vsize: 834292 [startup+750.071 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 68943 52 0 0 25 0 10 0 540028592 854315008 24770 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24770 13073 16 0 208557 0 vsize: 834292 [startup+760.071 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 69841 53 0 0 25 0 10 0 540028592 854315008 24797 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 24797 13073 16 0 208557 0 vsize: 834292 [startup+770.071 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 70741 53 0 0 25 0 10 0 540028592 854315008 24830 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24830 13073 16 0 208557 0 vsize: 834292 [startup+780.072 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 71633 53 0 0 25 0 10 0 540028592 854315008 24861 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24861 13073 16 0 208557 0 vsize: 834292 [startup+790.072 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 72531 53 0 0 25 0 10 0 540028592 854315008 24888 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24888 13073 16 0 208557 0 vsize: 834292 [startup+800.073 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 73423 53 0 0 25 0 10 0 540028592 854315008 24921 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24921 13073 16 0 208557 0 vsize: 834292 [startup+810.073 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 74320 53 0 0 25 0 10 0 540028592 854315008 24951 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24951 13073 16 0 208557 0 vsize: 834292 [startup+820.076 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 75215 54 0 0 25 0 10 0 540028592 854315008 24979 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 24979 13073 16 0 208557 0 vsize: 834292 [startup+830.077 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 76106 54 0 0 25 0 10 0 540028592 854315008 25009 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25009 13073 16 0 208557 0 vsize: 834292 [startup+840.077 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 77002 54 0 0 25 0 10 0 540028592 854315008 25035 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25035 13073 16 0 208557 0 vsize: 834292 [startup+850.078 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 77891 54 0 0 24 0 10 0 540028592 854315008 25060 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25060 13073 16 0 208557 0 vsize: 834292 [startup+860.079 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 78787 54 0 0 25 0 10 0 540028592 854315008 25098 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25098 13073 16 0 208557 0 vsize: 834292 [startup+870.078 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 79682 54 0 0 25 0 10 0 540028592 854315008 25126 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25126 13073 16 0 208557 0 vsize: 834292 [startup+880.079 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 80570 54 0 0 24 0 10 0 540028592 854315008 25155 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25155 13073 16 0 208557 0 vsize: 834292 [startup+890.079 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 81465 54 0 0 19 0 10 0 540028592 854315008 25178 4294967295 134512640 134569956 3221224400 3221214352 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25178 13073 16 0 208557 0 vsize: 834292 [startup+900.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 82359 54 0 0 22 0 10 0 540028592 854315008 25201 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25201 13073 16 0 208557 0 vsize: 834292 [startup+910.081 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 83247 54 0 0 18 0 10 0 540028592 854315008 25226 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25226 13073 16 0 208557 0 vsize: 834292 [startup+920.081 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 84140 54 0 0 20 0 10 0 540028592 854315008 25265 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25265 13073 16 0 208557 0 vsize: 834292 [startup+930.082 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 85033 54 0 0 21 0 10 0 540028592 854315008 25287 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25287 13073 16 0 208557 0 vsize: 834292 [startup+940.086 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 85918 54 0 0 17 0 10 0 540028592 854315008 25318 4294967295 134512640 134569956 3221224400 3221213856 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25318 13073 16 0 208557 0 vsize: 834292 [startup+950.087 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 86810 54 0 0 18 0 10 0 540028592 854315008 25347 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25347 13073 16 0 208557 0 vsize: 834292 [startup+960.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 87702 54 0 0 20 0 10 0 540028592 854315008 25370 4294967295 134512640 134569956 3221224400 3221214620 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25370 13073 16 0 208557 0 vsize: 834292 [startup+970.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 88593 54 0 0 22 0 10 0 540028592 854315008 25401 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25401 13073 16 0 208557 0 vsize: 834292 [startup+980.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 89477 55 0 0 17 0 10 0 540028592 854315008 25430 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25430 13073 16 0 208557 0 vsize: 834292 [startup+990.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 90369 55 0 0 18 0 10 0 540028592 854315008 25452 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25452 13073 16 0 208557 0 vsize: 834292 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 91259 55 0 0 21 0 10 0 540028592 854315008 25483 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25483 13073 16 0 208557 0 vsize: 834292 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 92153 55 0 0 22 0 10 0 540028592 854315008 25515 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25515 13073 16 0 208557 0 vsize: 834292 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 93039 55 0 0 18 0 10 0 540028592 854315008 25551 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25551 13073 16 0 208557 0 vsize: 834292 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 93937 55 0 0 20 0 10 0 540028592 854315008 25566 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25566 13073 16 0 208557 0 vsize: 834292 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 94833 55 0 0 22 0 10 0 540028592 854315008 25599 4294967295 134512640 134569956 3221224400 3221213860 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25599 13073 16 0 208557 0 vsize: 834292 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 95722 56 0 0 17 0 10 0 540028592 854315008 25599 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25599 13073 16 0 208557 0 vsize: 834292 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 96619 56 0 0 20 0 10 0 540028592 854315008 25634 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25634 13073 16 0 208557 0 vsize: 834292 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 97518 56 0 0 23 0 10 0 540028592 854315008 25680 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25680 13073 16 0 208557 0 vsize: 834292 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 98416 56 0 0 20 0 10 0 540028592 854315008 25827 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25827 13073 16 0 208557 0 vsize: 834292 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 99316 56 0 0 22 0 10 0 540028592 854315008 25836 4294967295 134512640 134569956 3221224400 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25836 13073 16 0 208557 0 vsize: 834292 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 100209 56 0 0 18 0 10 0 540028592 854315008 25998 4294967295 134512640 134569956 3221224400 3221214656 1130887239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 25998 13073 16 0 208557 0 vsize: 834292 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 101111 56 0 0 20 0 10 0 540028592 854315008 26254 4294967295 134512640 134569956 3221224400 3221214620 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26254 13073 16 0 208557 0 vsize: 834292 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 102008 56 0 0 23 0 10 0 540028592 854315008 26292 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26292 13073 16 0 208557 0 vsize: 834292 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 102901 57 0 0 18 0 10 0 540028592 854315008 26311 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26311 13073 16 0 208557 0 vsize: 834292 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 103800 57 0 0 21 0 10 0 540028592 854315008 26451 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26451 13073 16 0 208557 0 vsize: 834292 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 104700 57 0 0 23 0 10 0 540028592 854315008 26478 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26478 13073 16 0 208557 0 vsize: 834292 [startup+1160.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 105594 57 0 0 18 0 10 0 540028592 854315008 26621 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26621 13073 16 0 208557 0 vsize: 834292 [startup+1170.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 106491 57 0 0 19 0 10 0 540028592 854315008 26628 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26628 13073 16 0 208557 0 vsize: 834292 [startup+1180.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 107386 57 0 0 22 0 10 0 540028592 854315008 26803 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26803 13073 16 0 208557 0 vsize: 834292 [startup+1190.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 108273 57 0 0 18 0 10 0 540028592 854315008 26820 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26820 13073 16 0 208557 0 vsize: 834292 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 109170 57 0 0 19 0 10 0 540028592 854315008 26844 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 26844 13073 16 0 208557 0 vsize: 834292 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 110069 57 0 0 21 0 10 0 540028592 854315008 27250 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 27250 13073 16 0 208557 0 vsize: 834292 [startup+1220.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 110961 58 0 0 18 0 10 0 540028592 854315008 27652 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 27652 13073 16 0 208557 0 vsize: 834292 [startup+1230.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 111860 58 0 0 20 0 10 0 540028592 854315008 28312 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 28312 13073 16 0 208557 0 vsize: 834292 [startup+1240.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 112759 58 0 0 22 0 10 0 540028592 854315008 29100 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 29100 13073 16 0 208557 0 vsize: 834292 [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 113650 58 0 0 18 0 10 0 540028592 854315008 29892 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 29892 13073 16 0 208557 0 vsize: 834292 [startup+1260.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 114547 58 0 0 19 0 10 0 540028592 854315008 30570 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 30570 13073 16 0 208557 0 vsize: 834292 [startup+1270.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 115444 59 0 0 21 0 10 0 540028592 854315008 31370 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208573 31370 13073 16 0 208557 0 vsize: 834292 [startup+1280.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 116341 59 0 0 22 0 10 0 540028592 854315008 32170 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 32170 13073 16 0 208557 0 vsize: 834292 [startup+1290.14 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 117231 59 0 0 18 0 10 0 540028592 854315008 32974 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 32974 13073 16 0 208557 0 vsize: 834292 [startup+1300.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 118127 59 0 0 20 0 10 0 540028592 854315008 33778 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 33778 13073 16 0 208557 0 vsize: 834292 [startup+1310.14 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 119022 60 0 0 20 0 10 0 540028592 854315008 34468 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 34468 13073 16 0 208557 0 vsize: 834292 [startup+1320.13 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 119916 60 0 0 23 0 10 0 540028592 854315008 35305 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 35311 13073 16 0 208557 0 vsize: 834292 [startup+1330.14 s] Raw data (loadavg): 1.00 1.00 0.92 2/63 9532 Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 120804 61 0 0 18 0 10 0 540028592 854315008 36093 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208573 36093 13073 16 0 208557 0 vsize: 834292 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.23 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 9533 Raw data (stat): 9523 (java) Z 9522 10614 10613 0 -1 1036 18002 20042 1 0 120806 67 12492 67 19 0 1 0 540028592 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): 1330.23 CPU time (s): 1334.34 CPU user time (s): 1332.99 CPU system time (s): 1.35479 CPU usage (%): 100.309 Max. virtual memory (Kb): 835512 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####