Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 7cb58e3aea22e107ecbc4e74969c24f1 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1074509823 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147731454 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 22.6916 |
Number of variables | 142226 |
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 | 61 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-21 20:52:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15011 boxname=wulflinc11 idbench=1155 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7cb58e3aea22e107ecbc4e74969c24f1 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-CMS750_4.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-CMS750_4.opb IDLAUNCH: 15011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 458384 kB Buffers: 35404 kB Cached: 518796 kB SwapCached: 0 kB Active: 222676 kB Inactive: 334284 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 458132 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6820 kB Slab: 13752 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:14:56 (client local time) WITH STATUS 143 IN 1332.16 SECONDS stats: 15011 7 1332.16 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-CMS750_4.opb c reading problem c [nbvar=142226] 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.83 0.97 0.96 2/54 10175 Raw data (stat): 10175 (runsolver) R 10174 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489883300 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.85 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 875 40 0 0 25 0 10 0 489883300 853790720 19096 4294967295 134512640 134569956 3221224400 3221214524 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208445 19096 13073 16 0 208429 0 vsize: 833780 [startup+20.0012 s] Raw data (loadavg): 0.88 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 1804 40 0 0 25 0 10 0 489883300 853495808 19389 4294967295 134512640 134569956 3221224400 3221214724 1130912065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208373 19389 13073 16 0 208357 0 vsize: 833492 [startup+30.0017 s] Raw data (loadavg): 0.89 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 2697 40 0 0 25 0 10 0 489883300 854568960 20084 4294967295 134512640 134569956 3221224400 3221214496 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 20084 13073 16 0 208619 0 vsize: 834540 [startup+40.0024 s] Raw data (loadavg): 0.91 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 3620 40 0 0 25 0 10 0 489883300 855650304 20557 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208899 20557 13073 16 0 208883 0 vsize: 835596 [startup+50.003 s] Raw data (loadavg): 0.92 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 4545 41 0 0 25 0 10 0 489883300 854568960 20482 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 20482 13073 16 0 208619 0 vsize: 834540 [startup+60.003 s] Raw data (loadavg): 0.93 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 5470 42 0 0 25 0 10 0 489883300 854568960 20621 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 20621 13073 16 0 208619 0 vsize: 834540 [startup+70.0028 s] Raw data (loadavg): 0.94 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 6392 42 0 0 25 0 10 0 489883300 854568960 20741 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 20741 13073 16 0 208619 0 vsize: 834540 [startup+80.0041 s] Raw data (loadavg): 0.95 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 7321 42 0 0 25 0 10 0 489883300 854568960 20937 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 20937 13073 16 0 208619 0 vsize: 834540 [startup+90.0044 s] Raw data (loadavg): 0.96 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 8256 43 0 0 25 0 10 0 489883300 854568960 21037 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21037 13073 16 0 208619 0 vsize: 834540 [startup+100.004 s] Raw data (loadavg): 0.96 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 9187 43 0 0 24 0 10 0 489883300 854568960 21134 4294967295 134512640 134569956 3221224400 3221214448 1076874558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21134 13073 16 0 208619 0 vsize: 834540 [startup+110.005 s] Raw data (loadavg): 0.97 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 10123 44 0 0 25 0 10 0 489883300 854568960 21218 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21218 13073 16 0 208619 0 vsize: 834540 [startup+120.006 s] Raw data (loadavg): 0.97 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 11060 44 0 0 25 0 10 0 489883300 854568960 21297 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21297 13073 16 0 208619 0 vsize: 834540 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 11992 45 0 0 25 0 10 0 489883300 854568960 21377 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21377 13073 16 0 208619 0 vsize: 834540 [startup+140.015 s] Raw data (loadavg): 0.98 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 12929 45 0 0 25 0 10 0 489883300 854568960 21449 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21449 13073 16 0 208619 0 vsize: 834540 [startup+150.017 s] Raw data (loadavg): 0.98 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 13862 46 0 0 25 0 10 0 489883300 854568960 21521 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21521 13073 16 0 208619 0 vsize: 834540 [startup+160.017 s] Raw data (loadavg): 0.98 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 14797 46 0 0 25 0 10 0 489883300 854568960 21586 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21586 13073 16 0 208619 0 vsize: 834540 [startup+170.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 15730 46 0 0 24 0 10 0 489883300 854568960 21652 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21652 13073 16 0 208619 0 vsize: 834540 [startup+180.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 16662 46 0 0 25 0 10 0 489883300 854568960 21712 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21712 13073 16 0 208619 0 vsize: 834540 [startup+190.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 17577 47 0 0 25 0 10 0 489883300 854568960 21771 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21771 13073 16 0 208619 0 vsize: 834540 [startup+200.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 18493 48 0 0 25 0 10 0 489883300 854568960 21989 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 21989 13073 16 0 208619 0 vsize: 834540 [startup+210.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 19425 48 0 0 25 0 10 0 489883300 854568960 22046 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 22046 13073 16 0 208619 0 vsize: 834540 [startup+220.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 20357 48 0 0 21 0 10 0 489883300 854568960 22099 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22099 13073 16 0 208619 0 vsize: 834540 [startup+230.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 21283 49 0 0 25 0 10 0 489883300 854568960 22154 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22154 13073 16 0 208619 0 vsize: 834540 [startup+240.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 22213 49 0 0 25 0 10 0 489883300 854568960 22204 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22204 13073 16 0 208619 0 vsize: 834540 [startup+250.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 23137 49 0 0 25 0 10 0 489883300 854568960 22256 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22256 13073 16 0 208619 0 vsize: 834540 [startup+260.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 24066 50 0 0 25 0 10 0 489883300 854568960 22305 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22305 13073 16 0 208619 0 vsize: 834540 [startup+270.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 24991 50 0 0 25 0 10 0 489883300 854568960 22352 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22352 13073 16 0 208619 0 vsize: 834540 [startup+280.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 25916 51 0 0 25 0 10 0 489883300 854568960 22400 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22400 13073 16 0 208619 0 vsize: 834540 [startup+290.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 26843 51 0 0 25 0 10 0 489883300 854568960 22447 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22447 13073 16 0 208619 0 vsize: 834540 [startup+300.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 27765 52 0 0 25 0 10 0 489883300 854568960 22495 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22495 13073 16 0 208619 0 vsize: 834540 [startup+310.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 28690 52 0 0 25 0 10 0 489883300 854568960 22538 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22538 13073 16 0 208619 0 vsize: 834540 [startup+320.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 29615 53 0 0 25 0 10 0 489883300 854568960 22581 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22581 13073 16 0 208619 0 vsize: 834540 [startup+330.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 30535 53 0 0 24 0 10 0 489883300 854568960 22625 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22625 13073 16 0 208619 0 vsize: 834540 [startup+340.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 31459 54 0 0 25 0 10 0 489883300 854568960 22667 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22667 13073 16 0 208619 0 vsize: 834540 [startup+350.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 32382 54 0 0 25 0 10 0 489883300 854568960 22707 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22707 13073 16 0 208619 0 vsize: 834540 [startup+360.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 33300 54 0 0 25 0 10 0 489883300 854568960 22749 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22749 13073 16 0 208619 0 vsize: 834540 [startup+370.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 34221 55 0 0 25 0 10 0 489883300 854568960 22789 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22789 13073 16 0 208619 0 vsize: 834540 [startup+380.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 35143 56 0 0 24 0 10 0 489883300 854568960 22827 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 22827 13073 16 0 208619 0 vsize: 834540 [startup+390.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 36059 56 0 0 24 0 10 0 489883300 854568960 22868 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22868 13073 16 0 208619 0 vsize: 834540 [startup+400.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 36979 57 0 0 25 0 10 0 489883300 854568960 22906 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22906 13073 16 0 208619 0 vsize: 834540 [startup+410.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 37899 57 0 0 25 0 10 0 489883300 854568960 22943 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22943 13073 16 0 208619 0 vsize: 834540 [startup+420.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 38817 58 0 0 25 0 10 0 489883300 854568960 22980 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 22980 13073 16 0 208619 0 vsize: 834540 [startup+430.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/63 10184 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 39731 58 0 0 25 0 10 0 489883300 854568960 23023 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23023 13073 16 0 208619 0 vsize: 834540 [startup+440.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/65 10192 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 40648 59 0 0 25 0 10 0 489883300 854568960 23058 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 23058 13073 16 0 208619 0 vsize: 834540 [startup+450.045 s] Raw data (loadavg): 1.07 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 41561 59 0 0 25 0 10 0 489883300 854568960 23107 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23107 13073 16 0 208619 0 vsize: 834540 [startup+460.046 s] Raw data (loadavg): 1.06 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 42477 60 0 0 25 0 10 0 489883300 854568960 23142 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23142 13073 16 0 208619 0 vsize: 834540 [startup+470.047 s] Raw data (loadavg): 1.05 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 43393 60 0 0 25 0 10 0 489883300 854568960 23195 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23195 13073 16 0 208619 0 vsize: 834540 [startup+480.048 s] Raw data (loadavg): 1.04 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 44303 61 0 0 24 0 10 0 489883300 854568960 23240 4294967295 134512640 134569956 3221224400 3221214820 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23240 13073 16 0 208619 0 vsize: 834540 [startup+490.048 s] Raw data (loadavg): 1.03 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 45217 61 0 0 25 0 10 0 489883300 854568960 23280 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23280 13073 16 0 208619 0 vsize: 834540 [startup+500.049 s] Raw data (loadavg): 1.03 0.99 0.97 2/63 10237 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 46131 62 0 0 25 0 10 0 489883300 854568960 23332 4294967295 134512640 134569956 3221224400 3221214288 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23332 13073 16 0 208619 0 vsize: 834540 [startup+510.05 s] Raw data (loadavg): 1.02 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 47044 62 0 0 25 0 10 0 489883300 854568960 23370 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23370 13073 16 0 208619 0 vsize: 834540 [startup+520.05 s] Raw data (loadavg): 1.02 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 47956 63 0 0 25 0 10 0 489883300 854568960 23424 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23424 13073 16 0 208619 0 vsize: 834540 [startup+530.052 s] Raw data (loadavg): 1.02 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 48869 63 0 0 22 0 10 0 489883300 854568960 23466 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23466 13073 16 0 208619 0 vsize: 834540 [startup+540.052 s] Raw data (loadavg): 1.01 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 49781 63 0 0 25 0 10 0 489883300 854568960 23504 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23504 13073 16 0 208619 0 vsize: 834540 [startup+550.052 s] Raw data (loadavg): 1.01 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 50691 64 0 0 25 0 10 0 489883300 854568960 23542 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23542 13073 16 0 208619 0 vsize: 834540 [startup+560.053 s] Raw data (loadavg): 1.01 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 51601 64 0 0 25 0 10 0 489883300 854568960 23596 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 23596 13073 16 0 208619 0 vsize: 834540 [startup+570.054 s] Raw data (loadavg): 1.01 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 52511 64 0 0 25 0 10 0 489883300 854568960 23632 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23632 13073 16 0 208619 0 vsize: 834540 [startup+580.057 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 53418 65 0 0 25 0 10 0 489883300 854568960 23669 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23669 13073 16 0 208619 0 vsize: 834540 [startup+590.057 s] Raw data (loadavg): 1.00 0.99 0.97 3/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 54329 65 0 0 25 0 10 0 489883300 854568960 23720 4294967295 134512640 134569956 3221224400 3221213712 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 23720 13073 16 0 208619 0 vsize: 834540 [startup+600.059 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 55238 65 0 0 25 0 10 0 489883300 854568960 23756 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23756 13073 16 0 208619 0 vsize: 834540 [startup+610.06 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 56143 66 0 0 25 0 10 0 489883300 854568960 23793 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23793 13073 16 0 208619 0 vsize: 834540 [startup+620.06 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 57050 66 0 0 25 0 10 0 489883300 854568960 23831 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23831 13073 16 0 208619 0 vsize: 834540 [startup+630.062 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 57958 66 0 0 25 0 10 0 489883300 854568960 23863 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23863 13073 16 0 208619 0 vsize: 834540 [startup+640.062 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 58867 66 0 0 25 0 10 0 489883300 854568960 23923 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23923 13073 16 0 208619 0 vsize: 834540 [startup+650.062 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 59772 67 0 0 25 0 10 0 489883300 854568960 23952 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23952 13073 16 0 208619 0 vsize: 834540 [startup+660.063 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 60678 67 0 0 25 0 10 0 489883300 854568960 23992 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 23992 13073 16 0 208619 0 vsize: 834540 [startup+670.064 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 61583 67 0 0 22 0 10 0 489883300 854568960 24027 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24027 13073 16 0 208619 0 vsize: 834540 [startup+680.064 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 62487 68 0 0 22 0 10 0 489883300 854568960 24076 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24076 13073 16 0 208619 0 vsize: 834540 [startup+690.064 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 63389 68 0 0 25 0 10 0 489883300 854568960 24733 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24733 13073 16 0 208619 0 vsize: 834540 [startup+700.065 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 64287 69 0 0 25 0 10 0 489883300 854568960 24733 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24733 13073 16 0 208619 0 vsize: 834540 [startup+710.066 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 65181 69 0 0 24 0 10 0 489883300 854568960 24774 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24774 13073 16 0 208619 0 vsize: 834540 [startup+720.07 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 66082 69 0 0 25 0 10 0 489883300 854568960 24804 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24804 13073 16 0 208619 0 vsize: 834540 [startup+730.07 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 66973 70 0 0 25 0 10 0 489883300 854568960 24832 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24832 13073 16 0 208619 0 vsize: 834540 [startup+740.071 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 67865 70 0 0 24 0 10 0 489883300 854568960 24869 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24869 13073 16 0 208619 0 vsize: 834540 [startup+750.071 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 68764 70 0 0 25 0 10 0 489883300 854568960 24897 4294967295 134512640 134569956 3221224400 3221214448 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24897 13073 16 0 208619 0 vsize: 834540 [startup+760.072 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 69656 70 0 0 21 0 10 0 489883300 854568960 24927 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24927 13073 16 0 208619 0 vsize: 834540 [startup+770.073 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10239 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 70545 71 0 0 18 0 10 0 489883300 854568960 24960 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24960 13073 16 0 208619 0 vsize: 834540 [startup+780.073 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 71443 71 0 0 22 0 10 0 489883300 854568960 24990 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 24990 13073 16 0 208619 0 vsize: 834540 [startup+790.081 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 72334 72 0 0 20 0 10 0 489883300 854568960 25022 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25022 13073 16 0 208619 0 vsize: 834540 [startup+800.081 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 73224 73 0 0 18 0 10 0 489883300 854568960 25052 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25052 13073 16 0 208619 0 vsize: 834540 [startup+810.083 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 74120 73 0 0 22 0 10 0 489883300 854568960 25085 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25085 13073 16 0 208619 0 vsize: 834540 [startup+820.083 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 75010 74 0 0 19 0 10 0 489883300 854568960 25113 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25113 13073 16 0 208619 0 vsize: 834540 [startup+830.084 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 75900 74 0 0 22 0 10 0 489883300 854568960 25142 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25142 13073 16 0 208619 0 vsize: 834540 [startup+840.085 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 76794 74 0 0 20 0 10 0 489883300 854568960 25167 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25167 13073 16 0 208619 0 vsize: 834540 [startup+850.085 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 77681 75 0 0 18 0 10 0 489883300 854568960 25205 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25205 13073 16 0 208619 0 vsize: 834540 [startup+860.086 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 78576 76 0 0 22 0 10 0 489883300 854568960 25228 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25228 13073 16 0 208619 0 vsize: 834540 [startup+870.086 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18006 0 1 0 79463 76 0 0 19 0 10 0 489883300 854568960 25262 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25262 13073 16 0 208619 0 vsize: 834540 [startup+880.095 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18006 0 1 0 80354 76 0 0 23 0 10 0 489883300 854568960 25286 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25286 13073 16 0 208619 0 vsize: 834540 [startup+890.095 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 81245 77 0 0 20 0 10 0 489883300 854568960 25318 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 25318 13073 16 0 208619 0 vsize: 834540 [startup+900.096 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 82131 77 0 0 18 0 10 0 489883300 854568960 25342 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25342 13073 16 0 208619 0 vsize: 834540 [startup+910.097 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 83024 78 0 0 22 0 10 0 489883300 854568960 25374 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25374 13073 16 0 208619 0 vsize: 834540 [startup+920.1 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 83909 79 0 0 18 0 10 0 489883300 854568960 25402 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25402 13073 16 0 208619 0 vsize: 834540 [startup+930.101 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 84801 79 0 0 21 0 10 0 489883300 854568960 25425 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25425 13073 16 0 208619 0 vsize: 834540 [startup+940.102 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 85685 80 0 0 19 0 10 0 489883300 854568960 25459 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25459 13073 16 0 208619 0 vsize: 834540 [startup+950.103 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 86577 80 0 0 21 0 10 0 489883300 854568960 25484 4294967295 134512640 134569956 3221224400 3221214404 1076614592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 25484 13073 16 0 208619 0 vsize: 834540 [startup+960.104 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 87463 80 0 0 18 0 10 0 489883300 854568960 25521 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 25521 13073 16 0 208619 0 vsize: 834540 [startup+970.111 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 88354 80 0 0 21 0 10 0 489883300 854568960 25544 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25544 13073 16 0 208619 0 vsize: 834540 [startup+980.121 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 89237 81 0 0 18 0 10 0 489883300 854568960 25560 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25560 13073 16 0 208619 0 vsize: 834540 [startup+990.122 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 90128 81 0 0 22 0 10 0 489883300 854568960 25601 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25601 13073 16 0 208619 0 vsize: 834540 [startup+1000.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 91015 81 0 0 20 0 10 0 489883300 854568960 25628 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25628 13073 16 0 208619 0 vsize: 834540 [startup+1010.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18007 0 1 0 91903 82 0 0 23 0 10 0 489883300 854568960 25657 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25657 13073 16 0 208619 0 vsize: 834540 [startup+1020.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 92800 82 0 0 21 0 10 0 489883300 854568960 25683 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25683 13073 16 0 208619 0 vsize: 834540 [startup+1030.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 93690 82 0 0 18 0 10 0 489883300 854568960 25691 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25691 13073 16 0 208619 0 vsize: 834540 [startup+1040.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 94586 82 0 0 22 0 10 0 489883300 854568960 25761 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 25761 13073 16 0 208619 0 vsize: 834540 [startup+1050.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 95483 83 0 0 21 0 10 0 489883300 854568960 26025 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26025 13073 16 0 208619 0 vsize: 834540 [startup+1060.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 96380 83 0 0 19 0 10 0 489883300 854568960 26044 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26044 13073 16 0 208619 0 vsize: 834540 [startup+1070.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 97278 83 0 0 22 0 10 0 489883300 854568960 26044 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208635 26044 13073 16 0 208619 0 vsize: 834540 [startup+1080.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 98169 84 0 0 21 0 10 0 489883300 854568960 26340 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26340 13073 16 0 208619 0 vsize: 834540 [startup+1090.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 99060 84 0 0 17 0 10 0 489883300 854568960 26340 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26340 13073 16 0 208619 0 vsize: 834540 [startup+1100.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 99949 85 0 0 21 0 10 0 489883300 854568960 26522 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26522 13073 16 0 208619 0 vsize: 834540 [startup+1110.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 100842 86 0 0 19 0 10 0 489883300 854568960 26658 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26658 13073 16 0 208619 0 vsize: 834540 [startup+1120.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 101741 86 0 0 23 0 10 0 489883300 854568960 26932 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26932 13073 16 0 208619 0 vsize: 834540 [startup+1130.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 102633 86 0 0 20 0 10 0 489883300 854568960 26950 4294967295 134512640 134569956 3221224400 3221214544 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26950 13073 16 0 208619 0 vsize: 834540 [startup+1140.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 103523 86 0 0 18 0 10 0 489883300 854568960 26966 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26966 13073 16 0 208619 0 vsize: 834540 [startup+1150.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 104415 86 0 0 20 0 10 0 489883300 854568960 26980 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 26980 13073 16 0 208619 0 vsize: 834540 [startup+1160.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 105301 87 0 0 18 0 10 0 489883300 854568960 27005 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 27005 13073 16 0 208619 0 vsize: 834540 [startup+1170.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 106197 87 0 0 22 0 10 0 489883300 854568960 27156 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 27156 13073 16 0 208619 0 vsize: 834540 [startup+1180.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 107088 87 0 0 19 0 10 0 489883300 854568960 27438 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 27438 13073 16 0 208619 0 vsize: 834540 [startup+1190.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18007 0 1 0 107983 88 0 0 23 0 10 0 489883300 854568960 27459 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 27459 13073 16 0 208619 0 vsize: 834540 [startup+1200.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 108879 88 0 0 21 0 10 0 489883300 854568960 27864 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 27864 13073 16 0 208619 0 vsize: 834540 [startup+1210.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 109771 88 0 0 18 0 10 0 489883300 854568960 28654 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 28654 13073 16 0 208619 0 vsize: 834540 [startup+1220.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 110670 88 0 0 21 0 10 0 489883300 854568960 29568 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 29568 13073 16 0 208619 0 vsize: 834540 [startup+1230.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 111561 89 0 0 19 0 10 0 489883300 854568960 30490 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 30490 13073 16 0 208619 0 vsize: 834540 [startup+1240.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) S 10174 32461 32460 0 -1 0 18007 0 1 0 112455 89 0 0 23 0 10 0 489883300 854568960 31413 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 31413 13073 16 0 208619 0 vsize: 834540 [startup+1250.14 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 113347 89 0 0 20 0 10 0 489883300 854568960 32225 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 32225 13073 16 0 208619 0 vsize: 834540 [startup+1260.15 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 114237 90 0 0 18 0 10 0 489883300 854568960 33290 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 33290 13073 16 0 208619 0 vsize: 834540 [startup+1270.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 115133 90 0 0 21 0 10 0 489883300 854568960 34093 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 34093 13073 16 0 208619 0 vsize: 834540 [startup+1280.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 116022 91 0 0 18 0 10 0 489883300 854568960 35031 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 35031 13073 16 0 208619 0 vsize: 834540 [startup+1290.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 116916 91 0 0 21 0 10 0 489883300 854568960 35978 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 35978 13073 16 0 208619 0 vsize: 834540 [startup+1300.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 117803 91 0 0 18 0 10 0 489883300 854568960 36923 4294967295 134512640 134569956 3221224400 3221214416 1079300753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 36923 13073 16 0 208619 0 vsize: 834540 [startup+1310.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 118696 91 0 0 22 0 10 0 489883300 854568960 37879 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 37879 13073 16 0 208619 0 vsize: 834540 [startup+1320.16 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 119582 91 0 0 18 0 10 0 489883300 854568960 38835 4294967295 134512640 134569956 3221224400 3221214544 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 38835 13073 16 0 208619 0 vsize: 834540 [startup+1330.17 s] Raw data (loadavg): 1.00 0.99 0.97 2/63 10241 Raw data (stat): 10175 (java) R 10174 32461 32460 0 -1 0 18007 0 1 0 120474 92 0 0 21 0 10 0 489883300 854568960 39790 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208635 39790 13073 16 0 208619 0 vsize: 834540 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.25 s] Raw data (loadavg): 1.00 0.99 0.97 1/54 10242 Raw data (stat): 10175 (java) Z 10174 32461 32460 0 -1 1036 18007 22955 1 0 120475 92 12574 73 22 0 1 0 489883300 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.25 CPU time (s): 1332.16 CPU user time (s): 1330.5 CPU system time (s): 1.65575 CPU usage (%): 100.143 Max. virtual memory (Kb): 835596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####