Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb |
MD5SUM | ffa3a55eb53181880328dd1b84f91e66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 201 |
Total number of constraints | 334 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 227 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-04-21 17:41:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17117 boxname=wulflinc7 idbench=1317 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ffa3a55eb53181880328dd1b84f91e66 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb IDLAUNCH: 17117 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 765228 kB Buffers: 14052 kB Cached: 234048 kB SwapCached: 304 kB Active: 22956 kB Inactive: 227680 kB HighTotal: 131008 kB HighFree: 68376 kB LowTotal: 903652 kB LowFree: 696852 kB SwapTotal: 2097136 kB SwapFree: 2096520 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6448 kB Slab: 13096 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:02:23 (client local time) WITH STATUS 143 IN 1248.18 SECONDS stats: 17117 7 1248.18 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb c reading problem c [nbvar=201] c [nbconstr=334] c time 1.942 c #vars 201 c #clauses 133 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=2222 c Current CPU time (ms) : 2.352 c starts : 1 c conflicts : 3 c decisions : 52 c propagations : 231 c inspects : 704 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 1 c c CURRENT OPTIMUM=1659 c Current CPU time (ms) : 31.997 c starts : 3 c conflicts : 176 c decisions : 950 c propagations : 3942 c inspects : 43058 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 176 c root simplifications : 3 c c CURRENT OPTIMUM=1635 c Current CPU time (ms) : 43.427 c starts : 4 c conflicts : 232 c decisions : 1297 c propagations : 5773 c inspects : 73305 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 232 c root simplifications : 8 c c CURRENT OPTIMUM=1623 c Current CPU time (ms) : 47.272 c starts : 5 c conflicts : 241 c decisions : 1482 c propagations : 6421 c inspects : 79468 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 241 c root simplifications : 11 #### 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.90 0.93 0.90 2/54 12442 Raw data (stat): 12442 (runsolver) R 12441 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488744361 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+9.99973 s] Raw data (loadavg): 1.07 0.96 0.91 4/64 12459 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 17995 3 78 0 363 49 0 0 25 0 11 0 488744361 865132544 21144 4294967295 134512640 134569956 3221224400 3221214656 1131259209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211214 21144 13073 16 0 211198 0 vsize: 844856 [startup+20.0009 s] Raw data (loadavg): 1.06 0.97 0.91 2/64 12459 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18000 3 78 0 1265 50 0 0 25 0 11 0 488744361 863137792 21290 4294967295 134512640 134569956 3221224400 3221214552 1131215669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 21290 13073 16 0 210711 0 vsize: 842908 [startup+30.0013 s] Raw data (loadavg): 1.05 0.97 0.91 2/64 12459 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 2221 50 0 0 25 0 11 0 488744361 863137792 21542 4294967295 134512640 134569956 3221224400 3221214520 1131491430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 21542 13073 16 0 210711 0 vsize: 842908 [startup+40.0004 s] Raw data (loadavg): 1.12 0.98 0.92 2/64 12460 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 3161 50 0 0 25 0 11 0 488744361 863137792 21792 4294967295 134512640 134569956 3221224400 3221214792 1131217840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 21792 13073 16 0 210711 0 vsize: 842908 [startup+50.002 s] Raw data (loadavg): 1.10 0.98 0.92 2/64 12461 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 4115 50 0 0 25 0 11 0 488744361 863137792 22126 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 22126 13073 16 0 210711 0 vsize: 842908 [startup+60.0023 s] Raw data (loadavg): 1.08 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 5080 50 0 0 25 0 11 0 488744361 863137792 22281 4294967295 134512640 134569956 3221224400 3221214792 1131217879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 22281 13073 16 0 210711 0 vsize: 842908 [startup+70.0034 s] Raw data (loadavg): 1.07 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 6048 51 0 0 25 0 11 0 488744361 863137792 22369 4294967295 134512640 134569956 3221224400 3221214896 1131226389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 22369 13073 16 0 210711 0 vsize: 842908 [startup+80.0045 s] Raw data (loadavg): 1.06 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 7022 51 0 0 25 0 11 0 488744361 863137792 22464 4294967295 134512640 134569956 3221224400 3221214792 1131218133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 22464 13073 16 0 210711 0 vsize: 842908 [startup+90.0042 s] Raw data (loadavg): 1.05 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 7995 51 0 0 25 0 11 0 488744361 863137792 22573 4294967295 134512640 134569956 3221224400 3221214896 1131226377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 22573 13073 16 0 210711 0 vsize: 842908 [startup+100.004 s] Raw data (loadavg): 1.04 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 8969 51 0 0 25 0 11 0 488744361 863137792 22645 4294967295 134512640 134569956 3221224400 3221214736 1131279946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 22645 13073 16 0 210711 0 vsize: 842908 [startup+110.006 s] Raw data (loadavg): 1.03 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 9942 52 0 0 24 0 11 0 488744361 863137792 22710 4294967295 134512640 134569956 3221224400 3221214896 1131226704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 22710 13073 16 0 210711 0 vsize: 842908 [startup+120.007 s] Raw data (loadavg): 1.03 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 10914 52 0 0 25 0 11 0 488744361 863137792 22788 4294967295 134512640 134569956 3221224400 3221214728 1131332657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 22788 13073 16 0 210711 0 vsize: 842908 [startup+130.007 s] Raw data (loadavg): 1.02 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 11882 53 0 0 25 0 11 0 488744361 863137792 22879 4294967295 134512640 134569956 3221224400 3221214736 1131283748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 22879 13073 16 0 210711 0 vsize: 842908 [startup+140.007 s] Raw data (loadavg): 1.02 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 12851 53 0 0 25 0 11 0 488744361 863137792 22980 4294967295 134512640 134569956 3221224400 3221214792 1131217588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 22980 13073 16 0 210711 0 vsize: 842908 [startup+150.008 s] Raw data (loadavg): 1.02 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 13819 54 0 0 25 0 11 0 488744361 863137792 23104 4294967295 134512640 134569956 3221224400 3221214316 1131525632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23104 13073 16 0 210711 0 vsize: 842908 [startup+160.008 s] Raw data (loadavg): 1.01 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 14791 54 0 0 25 0 11 0 488744361 863137792 23210 4294967295 134512640 134569956 3221224400 3221214896 1131226875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23210 13073 16 0 210711 0 vsize: 842908 [startup+170.01 s] Raw data (loadavg): 1.01 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 15767 54 0 0 24 0 11 0 488744361 863137792 23290 4294967295 134512640 134569956 3221224400 3221214792 1131217905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23290 13073 16 0 210711 0 vsize: 842908 [startup+180.01 s] Raw data (loadavg): 1.01 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 16739 55 0 0 25 0 11 0 488744361 863137792 23378 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23378 13073 16 0 210711 0 vsize: 842908 [startup+190.01 s] Raw data (loadavg): 1.01 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 17716 55 0 0 25 0 11 0 488744361 863137792 23459 4294967295 134512640 134569956 3221224400 3221214784 1131409065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23459 13073 16 0 210711 0 vsize: 842908 [startup+200.011 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 18690 55 0 0 25 0 11 0 488744361 863137792 23532 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23532 13073 16 0 210711 0 vsize: 842908 [startup+210.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 19665 55 0 0 25 0 11 0 488744361 863137792 23605 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23605 13073 16 0 210711 0 vsize: 842908 [startup+220.013 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 20638 56 0 0 25 0 11 0 488744361 863137792 23675 4294967295 134512640 134569956 3221224400 3221214792 1131217230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23675 13073 16 0 210711 0 vsize: 842908 [startup+230.013 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 21612 57 0 0 25 0 11 0 488744361 863137792 23768 4294967295 134512640 134569956 3221224400 3221214688 1131446059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23768 13073 16 0 210711 0 vsize: 842908 [startup+240.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 22588 57 0 0 25 0 11 0 488744361 863137792 23840 4294967295 134512640 134569956 3221224400 3221214792 1131217435 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23840 13073 16 0 210711 0 vsize: 842908 [startup+250.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 23565 58 0 0 24 0 11 0 488744361 863137792 23935 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 23935 13073 16 0 210711 0 vsize: 842908 [startup+260.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 24544 58 0 0 25 0 11 0 488744361 863137792 24004 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24004 13073 16 0 210711 0 vsize: 842908 [startup+270.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 25523 59 0 0 25 0 11 0 488744361 863137792 24061 4294967295 134512640 134569956 3221224400 3221214792 1131217358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24061 13073 16 0 210711 0 vsize: 842908 [startup+280.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 26502 59 0 0 25 0 11 0 488744361 863137792 24131 4294967295 134512640 134569956 3221224400 3221214536 1131480844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24131 13073 16 0 210711 0 vsize: 842908 [startup+290.017 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 27481 59 0 0 25 0 11 0 488744361 863137792 24180 4294967295 134512640 134569956 3221224400 3221214792 1131217217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24180 13073 16 0 210711 0 vsize: 842908 [startup+300.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 28458 60 0 0 25 0 11 0 488744361 863137792 24257 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24257 13073 16 0 210711 0 vsize: 842908 [startup+310.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 29436 61 0 0 25 0 11 0 488744361 863137792 24315 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24315 13073 16 0 210711 0 vsize: 842908 [startup+320.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 30413 61 0 0 25 0 11 0 488744361 863137792 24405 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24405 13073 16 0 210711 0 vsize: 842908 [startup+330.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 31390 62 0 0 25 0 11 0 488744361 863137792 24484 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24484 13073 16 0 210711 0 vsize: 842908 [startup+340.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 32367 63 0 0 25 0 11 0 488744361 863137792 24546 4294967295 134512640 134569956 3221224400 3221214848 1131173818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24546 13073 16 0 210711 0 vsize: 842908 [startup+350.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 33344 63 0 0 25 0 11 0 488744361 863137792 24620 4294967295 134512640 134569956 3221224400 3221214896 1131226688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24620 13073 16 0 210711 0 vsize: 842908 [startup+360.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 34321 64 0 0 25 0 11 0 488744361 863137792 24676 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24676 13073 16 0 210711 0 vsize: 842908 [startup+370.018 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 35296 64 0 0 25 0 11 0 488744361 863137792 24767 4294967295 134512640 134569956 3221224400 3221214848 1131409052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24767 13073 16 0 210711 0 vsize: 842908 [startup+380.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 36273 64 0 0 25 0 11 0 488744361 863137792 24844 4294967295 134512640 134569956 3221224400 3221214792 1131217616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24844 13073 16 0 210711 0 vsize: 842908 [startup+390.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 37251 65 0 0 25 0 11 0 488744361 863137792 24935 4294967295 134512640 134569956 3221224400 3221214544 1131267127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 24935 13073 16 0 210711 0 vsize: 842908 [startup+400.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 38226 65 0 0 25 0 11 0 488744361 863137792 25026 4294967295 134512640 134569956 3221224400 3221214792 1131218476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25026 13073 16 0 210711 0 vsize: 842908 [startup+410.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 39203 65 0 0 18 0 11 0 488744361 863137792 25124 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25124 13073 16 0 210711 0 vsize: 842908 [startup+420.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 40184 66 0 0 25 0 11 0 488744361 863137792 25215 4294967295 134512640 134569956 3221224400 3221214872 1131313457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25215 13073 16 0 210711 0 vsize: 842908 [startup+430.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 41162 66 0 0 25 0 11 0 488744361 863137792 25303 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25303 13073 16 0 210711 0 vsize: 842908 [startup+440.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 42139 66 0 0 25 0 11 0 488744361 863137792 25364 4294967295 134512640 134569956 3221224400 3221214792 1131217209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25364 13073 16 0 210711 0 vsize: 842908 [startup+450.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 43117 67 0 0 25 0 11 0 488744361 863137792 25445 4294967295 134512640 134569956 3221224400 3221214736 1131280422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25445 13073 16 0 210711 0 vsize: 842908 [startup+460.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 44096 67 0 0 25 0 11 0 488744361 863137792 25518 4294967295 134512640 134569956 3221224400 3221214792 1131217592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25518 13073 16 0 210711 0 vsize: 842908 [startup+470.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 45075 68 0 0 24 0 11 0 488744361 863137792 25585 4294967295 134512640 134569956 3221224400 3221214792 1131217480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25585 13073 16 0 210711 0 vsize: 842908 [startup+480.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 46056 68 0 0 24 0 11 0 488744361 863137792 25635 4294967295 134512640 134569956 3221224400 3221214688 1131456165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25635 13073 16 0 210711 0 vsize: 842908 [startup+490.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 47036 69 0 0 25 0 11 0 488744361 863137792 25711 4294967295 134512640 134569956 3221224400 3221214792 1131217347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25711 13073 16 0 210711 0 vsize: 842908 [startup+500.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 48017 69 0 0 25 0 11 0 488744361 863137792 25770 4294967295 134512640 134569956 3221224400 3221214648 1131418700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25770 13073 16 0 210711 0 vsize: 842908 [startup+510.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 48994 70 0 0 24 0 11 0 488744361 863137792 25831 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25831 13073 16 0 210711 0 vsize: 842908 [startup+520.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 49973 70 0 0 25 0 11 0 488744361 863137792 25908 4294967295 134512640 134569956 3221224400 3221214892 1131173740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25908 13073 16 0 210711 0 vsize: 842908 [startup+530.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 50951 71 0 0 25 0 11 0 488744361 863137792 25999 4294967295 134512640 134569956 3221224400 3221214792 1131217221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 25999 13073 16 0 210711 0 vsize: 842908 [startup+540.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 51930 71 0 0 25 0 11 0 488744361 863137792 26057 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26057 13073 16 0 210711 0 vsize: 842908 [startup+550.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 52908 71 0 0 25 0 11 0 488744361 863137792 26128 4294967295 134512640 134569956 3221224400 3221214896 1131226707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26128 13073 16 0 210711 0 vsize: 842908 [startup+560.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 53886 72 0 0 25 0 11 0 488744361 863137792 26195 4294967295 134512640 134569956 3221224400 3221214792 1131217289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26195 13073 16 0 210711 0 vsize: 842908 [startup+570.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 54863 72 0 0 25 0 11 0 488744361 863137792 26265 4294967295 134512640 134569956 3221224400 3221214848 1131173802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26265 13073 16 0 210711 0 vsize: 842908 [startup+580.026 s] Raw data (loadavg): 1.07 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 55841 72 0 0 25 0 11 0 488744361 863137792 26333 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26333 13073 16 0 210711 0 vsize: 842908 [startup+590.026 s] Raw data (loadavg): 1.06 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 56818 73 0 0 24 0 11 0 488744361 863137792 26409 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26409 13073 16 0 210711 0 vsize: 842908 [startup+600.026 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 57796 73 0 0 25 0 11 0 488744361 863137792 26475 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26475 13073 16 0 210711 0 vsize: 842908 [startup+610.027 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 58775 74 0 0 25 0 11 0 488744361 863137792 26558 4294967295 134512640 134569956 3221224400 3221214792 1131218457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26558 13073 16 0 210711 0 vsize: 842908 [startup+620.027 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 59753 74 0 0 25 0 11 0 488744361 863137792 26638 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26638 13073 16 0 210711 0 vsize: 842908 [startup+630.027 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 60732 74 0 0 25 0 11 0 488744361 863137792 26692 4294967295 134512640 134569956 3221224400 3221214792 1131217385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26692 13073 16 0 210711 0 vsize: 842908 [startup+640.028 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 61712 74 0 0 24 0 11 0 488744361 863137792 26773 4294967295 134512640 134569956 3221224400 3221214848 1131173784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26773 13073 16 0 210711 0 vsize: 842908 [startup+650.029 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 62690 75 0 0 25 0 11 0 488744361 863137792 26841 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26841 13073 16 0 210711 0 vsize: 842908 [startup+660.029 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 63667 75 0 0 25 0 11 0 488744361 863137792 26907 4294967295 134512640 134569956 3221224400 3221214792 1131217836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26907 13073 16 0 210711 0 vsize: 842908 [startup+670.029 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 64648 75 0 0 25 0 11 0 488744361 863137792 26972 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 26972 13073 16 0 210711 0 vsize: 842908 [startup+680.03 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 65626 76 0 0 25 0 11 0 488744361 863137792 27052 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27052 13073 16 0 210711 0 vsize: 842908 [startup+690.03 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 66606 76 0 0 25 0 11 0 488744361 863137792 27146 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27146 13073 16 0 210711 0 vsize: 842908 [startup+700.031 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 67585 77 0 0 25 0 11 0 488744361 863137792 27199 4294967295 134512640 134569956 3221224400 3221214792 1131217239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27199 13073 16 0 210711 0 vsize: 842908 [startup+710.032 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 68562 77 0 0 25 0 11 0 488744361 863137792 27247 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27247 13073 16 0 210711 0 vsize: 842908 [startup+720.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 69541 78 0 0 25 0 11 0 488744361 863137792 27330 4294967295 134512640 134569956 3221224400 3221214848 1131173875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27330 13073 16 0 210711 0 vsize: 842908 [startup+730.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 70521 78 0 0 25 0 11 0 488744361 863137792 27373 4294967295 134512640 134569956 3221224400 3221214792 1131217735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27373 13073 16 0 210711 0 vsize: 842908 [startup+740.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 71497 78 0 0 25 0 11 0 488744361 863137792 27439 4294967295 134512640 134569956 3221224400 3221214792 1131217716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 27439 13073 16 0 210711 0 vsize: 842908 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 72475 79 0 0 25 0 11 0 488744361 863137792 27483 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27483 13073 16 0 210711 0 vsize: 842908 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 73455 79 0 0 25 0 11 0 488744361 863137792 27547 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27547 13073 16 0 210711 0 vsize: 842908 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 74433 79 0 0 25 0 11 0 488744361 863137792 27622 4294967295 134512640 134569956 3221224400 3221214792 1131218135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27622 13073 16 0 210711 0 vsize: 842908 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 75413 79 0 0 25 0 11 0 488744361 863137792 27685 4294967295 134512640 134569956 3221224400 3221214696 1131267127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27685 13073 16 0 210711 0 vsize: 842908 [startup+790.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 76395 79 0 0 25 0 11 0 488744361 863137792 27731 4294967295 134512640 134569956 3221224400 3221214792 1131217209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27731 13073 16 0 210711 0 vsize: 842908 [startup+800.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 77370 79 0 0 25 0 11 0 488744361 863137792 27780 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27780 13073 16 0 210711 0 vsize: 842908 [startup+810.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 78348 79 0 0 25 0 11 0 488744361 863137792 27835 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27835 13073 16 0 210711 0 vsize: 842908 [startup+820.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 79326 79 0 0 25 0 11 0 488744361 863137792 27925 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 27925 13073 16 0 210711 0 vsize: 842908 [startup+830.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 80304 79 0 0 25 0 11 0 488744361 863137792 28003 4294967295 134512640 134569956 3221224400 3221214896 1131226660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28003 13073 16 0 210711 0 vsize: 842908 [startup+840.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 81283 79 0 0 25 0 11 0 488744361 863137792 28054 4294967295 134512640 134569956 3221224400 3221214936 1131342041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28054 13073 16 0 210711 0 vsize: 842908 [startup+850.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 82260 79 0 0 24 0 11 0 488744361 863137792 28131 4294967295 134512640 134569956 3221224400 3221214792 1131217524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28131 13073 16 0 210711 0 vsize: 842908 [startup+860.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 83239 79 0 0 25 0 11 0 488744361 863137792 28214 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28214 13073 16 0 210711 0 vsize: 842908 [startup+870.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 84217 80 0 0 25 0 11 0 488744361 863137792 28276 4294967295 134512640 134569956 3221224400 3221214688 1131455341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28276 13073 16 0 210711 0 vsize: 842908 [startup+880.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 85195 80 0 0 25 0 11 0 488744361 863137792 28334 4294967295 134512640 134569956 3221224400 3221214792 1131218135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28334 13073 16 0 210711 0 vsize: 842908 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 86173 80 0 0 25 0 11 0 488744361 863137792 28420 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28420 13073 16 0 210711 0 vsize: 842908 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 87152 80 0 0 25 0 11 0 488744361 863137792 28478 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28478 13073 16 0 210711 0 vsize: 842908 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 88131 80 0 0 25 0 11 0 488744361 863137792 28546 4294967295 134512640 134569956 3221224400 3221214896 1131226695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210727 28546 13073 16 0 210711 0 vsize: 842908 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 89111 80 0 0 25 0 11 0 488744361 863137792 28598 4294967295 134512640 134569956 3221224400 3221214792 1131217592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28598 13073 16 0 210711 0 vsize: 842908 [startup+930.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 90091 80 0 0 25 0 11 0 488744361 863137792 28693 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28693 13073 16 0 210711 0 vsize: 842908 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 91073 80 0 0 25 0 11 0 488744361 863137792 28737 4294967295 134512640 134569956 3221224400 3221214384 1080217185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28737 13073 16 0 210711 0 vsize: 842908 [startup+950.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 92054 80 0 0 25 0 11 0 488744361 863137792 28791 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28791 13073 16 0 210711 0 vsize: 842908 [startup+960.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 93033 80 0 0 24 0 11 0 488744361 863137792 28851 4294967295 134512640 134569956 3221224400 3221214592 1131216230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28851 13073 16 0 210711 0 vsize: 842908 [startup+970.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 94014 81 0 0 25 0 11 0 488744361 863137792 28905 4294967295 134512640 134569956 3221224400 3221214592 1131523210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28905 13073 16 0 210711 0 vsize: 842908 [startup+980.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 94996 81 0 0 25 0 11 0 488744361 863137792 28965 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 28965 13073 16 0 210711 0 vsize: 842908 [startup+990.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 95976 82 0 0 25 0 11 0 488744361 863137792 29015 4294967295 134512640 134569956 3221224400 3221214792 1131217277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29015 13073 16 0 210711 0 vsize: 842908 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 96956 82 0 0 25 0 11 0 488744361 863137792 29077 4294967295 134512640 134569956 3221224400 3221214848 1131335727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29077 13073 16 0 210711 0 vsize: 842908 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 97936 82 0 0 25 0 11 0 488744361 863137792 29133 4294967295 134512640 134569956 3221224400 3221214648 1131420646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29133 13073 16 0 210711 0 vsize: 842908 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 98914 83 0 0 25 0 11 0 488744361 863137792 29208 4294967295 134512640 134569956 3221224400 3221214792 1131217625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29208 13073 16 0 210711 0 vsize: 842908 [startup+1030.04 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 99894 83 0 0 25 0 11 0 488744361 863137792 29258 4294967295 134512640 134569956 3221224400 3221214792 1131218399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29258 13073 16 0 210711 0 vsize: 842908 [startup+1040.05 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 100872 84 0 0 25 0 11 0 488744361 863137792 29335 4294967295 134512640 134569956 3221224400 3221214544 1131267297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29335 13073 16 0 210711 0 vsize: 842908 [startup+1050.05 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 101850 84 0 0 25 0 11 0 488744361 863137792 29411 4294967295 134512640 134569956 3221224400 3221214896 1131227433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29411 13073 16 0 210711 0 vsize: 842908 [startup+1060.05 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 102827 84 0 0 25 0 11 0 488744361 863137792 29462 4294967295 134512640 134569956 3221224400 3221214792 1131218133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29462 13073 16 0 210711 0 vsize: 842908 [startup+1070.05 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 103806 85 0 0 25 0 11 0 488744361 863137792 29560 4294967295 134512640 134569956 3221224400 3221214792 1131217808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29560 13073 16 0 210711 0 vsize: 842908 [startup+1080.05 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 104783 86 0 0 25 0 11 0 488744361 863137792 29607 4294967295 134512640 134569956 3221224400 3221214792 1131217897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29607 13073 16 0 210711 0 vsize: 842908 [startup+1090.05 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 105760 86 0 0 25 0 11 0 488744361 863137792 29667 4294967295 134512640 134569956 3221224400 3221214896 1131227389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29667 13073 16 0 210711 0 vsize: 842908 [startup+1100.05 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 12462 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 106736 87 0 0 25 0 11 0 488744361 863137792 29736 4294967295 134512640 134569956 3221224400 3221214792 1131217696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29736 13073 16 0 210711 0 vsize: 842908 [startup+1110.05 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 107709 91 0 0 25 0 11 0 488744361 863137792 29809 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29809 13073 16 0 210711 0 vsize: 842908 [startup+1120.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 108686 91 0 0 25 0 11 0 488744361 863137792 29858 4294967295 134512640 134569956 3221224400 3221214792 1131218442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29858 13073 16 0 210711 0 vsize: 842908 [startup+1130.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 109662 91 0 0 25 0 11 0 488744361 863137792 29922 4294967295 134512640 134569956 3221224400 3221214536 1131482508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 29922 13073 16 0 210711 0 vsize: 842908 [startup+1140.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 110635 91 0 0 25 0 11 0 488744361 863137792 30004 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30004 13073 16 0 210711 0 vsize: 842908 [startup+1150.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 111613 92 0 0 25 0 11 0 488744361 863137792 30057 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30057 13073 16 0 210711 0 vsize: 842908 [startup+1160.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 112592 92 0 0 25 0 11 0 488744361 863137792 30131 4294967295 134512640 134569956 3221224400 3221214648 1131522986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30131 13073 16 0 210711 0 vsize: 842908 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12519 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 113571 92 0 0 25 0 11 0 488744361 863137792 30200 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30200 13073 16 0 210711 0 vsize: 842908 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 114546 92 0 0 24 0 11 0 488744361 863137792 30258 4294967295 134512640 134569956 3221224400 3221214848 1131173765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30258 13073 16 0 210711 0 vsize: 842908 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 115525 92 0 0 23 0 11 0 488744361 863137792 30292 4294967295 134512640 134569956 3221224400 3221214792 1131218503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30292 13073 16 0 210711 0 vsize: 842908 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 116500 92 0 0 25 0 11 0 488744361 863137792 30361 4294967295 134512640 134569956 3221224400 3221214896 1131226405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30361 13073 16 0 210711 0 vsize: 842908 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 117475 93 0 0 25 0 11 0 488744361 863137792 30437 4294967295 134512640 134569956 3221224400 3221214792 1131217816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30437 13073 16 0 210711 0 vsize: 842908 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 118447 93 0 0 25 0 11 0 488744361 863137792 30493 4294967295 134512640 134569956 3221224400 3221214792 1131217850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30493 13073 16 0 210711 0 vsize: 842908 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 119418 93 0 0 25 0 11 0 488744361 863137792 30585 4294967295 134512640 134569956 3221224400 3221214896 1131226389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30585 13073 16 0 210711 0 vsize: 842908 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 12521 Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 120390 94 0 0 25 0 11 0 488744361 863137792 30683 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210727 30683 13073 16 0 210711 0 vsize: 842908 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.18 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 12523 Raw data (stat): 12442 (java) Z 12441 22932 22931 0 -1 1036 18002 18882 78 1 120395 100 4256 65 25 0 1 0 488744361 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.18 CPU time (s): 1248.18 CPU user time (s): 1246.53 CPU system time (s): 1.65675 CPU usage (%): 100.645 Max. virtual memory (Kb): 844856 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####