Name | normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb |
MD5SUM | 26c59dfe10b55aab1823ecc63146c9e4 |
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 | 1640 |
Biggest coefficient in the objective function | 86769664000 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 3602973954525 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 351272960000 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 5928173491850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.230964 |
Number of variables | 1940 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 56 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-20 21:56:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20354 boxname=wulflinc20 idbench=1566 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 26c59dfe10b55aab1823ecc63146c9e4 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-adlittle.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-adlittle.opb IDLAUNCH: 20354 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 713408 kB Buffers: 33840 kB Cached: 262044 kB SwapCached: 528 kB Active: 178128 kB Inactive: 119740 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 713156 kB SwapTotal: 2097892 kB SwapFree: 2096468 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5112 kB Slab: 17764 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-20 22:17:40 (client local time) WITH STATUS 143 IN 1237.29 SECONDS stats: 20354 7 1237.29 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-adlittle.opb c reading problem c [nbvar=1940] c [nbconstr=56] c time 4.154 c #vars 1940 c #clauses 71 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.74 0.91 0.89 2/54 23837 Raw data (stat): 23837 (runsolver) R 23836 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539850718 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.0001 s] Raw data (loadavg): 0.86 0.93 0.90 3/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18105 0 1 0 690 43 0 0 25 0 11 0 539850718 862179328 21409 4294967295 134512640 134569956 3221224400 3221214568 1131343905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210493 21409 13073 16 0 210477 0 vsize: 841972 [startup+20.0003 s] Raw data (loadavg): 0.96 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18106 0 1 0 1620 43 0 0 25 0 11 0 539850718 862048256 21564 4294967295 134512640 134569956 3221224400 3221214784 1131308623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 21564 13073 16 0 210445 0 vsize: 841844 [startup+30.0002 s] Raw data (loadavg): 0.96 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18106 0 1 0 2573 44 0 0 25 0 11 0 539850718 862048256 21856 4294967295 134512640 134569956 3221224400 3221214672 1131328499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 21856 13073 16 0 210445 0 vsize: 841844 [startup+40.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 3517 44 0 0 25 0 11 0 539850718 862048256 22090 4294967295 134512640 134569956 3221224400 3221214416 1078033055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 22090 13073 16 0 210445 0 vsize: 841844 [startup+50.0018 s] Raw data (loadavg): 0.97 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 4451 45 0 0 25 0 11 0 539850718 862048256 22397 4294967295 134512640 134569956 3221224400 3221214688 1131271739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 22397 13073 16 0 210445 0 vsize: 841844 [startup+60.0016 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 5402 45 0 0 25 0 11 0 539850718 862048256 22804 4294967295 134512640 134569956 3221224400 3221214688 1131272849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 22804 13073 16 0 210445 0 vsize: 841844 [startup+70.0185 s] Raw data (loadavg): 0.98 0.95 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 6364 46 0 0 25 0 11 0 539850718 862048256 22938 4294967295 134512640 134569956 3221224400 3221214688 1131272569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 22938 13073 16 0 210445 0 vsize: 841844 [startup+80.022 s] Raw data (loadavg): 0.98 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 7331 46 0 0 25 0 11 0 539850718 862048256 23042 4294967295 134512640 134569956 3221224400 3221214668 1131202726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23042 13073 16 0 210445 0 vsize: 841844 [startup+90.023 s] Raw data (loadavg): 0.98 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) S 23836 27565 27564 0 -1 0 18107 0 1 0 8297 46 0 0 25 0 11 0 539850718 862048256 23229 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23229 13073 16 0 210445 0 vsize: 841844 [startup+100.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) S 23836 27565 27564 0 -1 0 18107 0 1 0 9262 47 0 0 25 0 11 0 539850718 862048256 23318 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23318 13073 16 0 210445 0 vsize: 841844 [startup+110.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 10226 48 0 0 25 0 11 0 539850718 862048256 23446 4294967295 134512640 134569956 3221224400 3221214688 1131271696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23446 13073 16 0 210445 0 vsize: 841844 [startup+120.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 11191 48 0 0 24 0 11 0 539850718 862048256 23637 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23637 13073 16 0 210445 0 vsize: 841844 [startup+130.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 12158 48 0 0 25 0 11 0 539850718 862048256 23734 4294967295 134512640 134569956 3221224400 3221214960 1131457422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23734 13073 16 0 210445 0 vsize: 841844 [startup+140.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 13125 49 0 0 25 0 11 0 539850718 862048256 23931 4294967295 134512640 134569956 3221224400 3221214688 1131272029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23931 13073 16 0 210445 0 vsize: 841844 [startup+150.04 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 14094 49 0 0 25 0 11 0 539850718 862048256 23997 4294967295 134512640 134569956 3221224400 3221214784 1131308551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 23997 13073 16 0 210445 0 vsize: 841844 [startup+160.039 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 15063 50 0 0 25 0 11 0 539850718 862048256 24251 4294967295 134512640 134569956 3221224400 3221214972 1130921050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24251 13073 16 0 210445 0 vsize: 841844 [startup+170.041 s] Raw data (loadavg): 0.99 0.96 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 16035 50 0 0 24 0 11 0 539850718 862048256 24349 4294967295 134512640 134569956 3221224400 3221214784 1131308623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24349 13073 16 0 210445 0 vsize: 841844 [startup+180.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 17011 50 0 0 25 0 11 0 539850718 862048256 24451 4294967295 134512640 134569956 3221224400 3221214688 1131272919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24451 13073 16 0 210445 0 vsize: 841844 [startup+190.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/64 23847 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 17987 51 0 0 25 0 11 0 539850718 862048256 24561 4294967295 134512640 134569956 3221224400 3221214688 1131272829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24561 13073 16 0 210445 0 vsize: 841844 [startup+200.084 s] Raw data (loadavg): 1.07 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 18957 54 0 0 25 0 11 0 539850718 862048256 24743 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24743 13073 16 0 210445 0 vsize: 841844 [startup+210.085 s] Raw data (loadavg): 1.06 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 19936 55 0 0 25 0 11 0 539850718 862048256 24821 4294967295 134512640 134569956 3221224400 3221214688 1131272947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 24821 13073 16 0 210445 0 vsize: 841844 [startup+220.102 s] Raw data (loadavg): 1.05 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 20919 55 0 0 25 0 11 0 539850718 862048256 25035 4294967295 134512640 134569956 3221224400 3221214688 1131271645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25035 13073 16 0 210445 0 vsize: 841844 [startup+230.102 s] Raw data (loadavg): 1.04 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 21904 55 0 0 24 0 11 0 539850718 862048256 25089 4294967295 134512640 134569956 3221224400 3221214688 1131272084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25089 13073 16 0 210445 0 vsize: 841844 [startup+240.102 s] Raw data (loadavg): 1.04 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 22888 56 0 0 25 0 11 0 539850718 862048256 25159 4294967295 134512640 134569956 3221224400 3221214784 1131311638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25159 13073 16 0 210445 0 vsize: 841844 [startup+250.103 s] Raw data (loadavg): 1.03 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 23865 56 0 0 25 0 11 0 539850718 862048256 25233 4294967295 134512640 134569956 3221224400 3221214784 1131309794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25233 13073 16 0 210445 0 vsize: 841844 [startup+260.104 s] Raw data (loadavg): 1.03 0.98 0.91 2/64 23900 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 24841 56 0 0 25 0 11 0 539850718 862048256 25260 4294967295 134512640 134569956 3221224400 3221214784 1131310820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25260 13073 16 0 210445 0 vsize: 841844 [startup+270.104 s] Raw data (loadavg): 1.02 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 25812 56 0 0 25 0 11 0 539850718 862048256 25416 4294967295 134512640 134569956 3221224400 3221214400 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25416 13073 16 0 210445 0 vsize: 841844 [startup+280.105 s] Raw data (loadavg): 1.02 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 26789 57 0 0 25 0 11 0 539850718 862048256 25713 4294967295 134512640 134569956 3221224400 3221214784 1131310793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25713 13073 16 0 210445 0 vsize: 841844 [startup+290.107 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 27766 57 0 0 24 0 11 0 539850718 862048256 25899 4294967295 134512640 134569956 3221224400 3221214472 1131541832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25899 13073 16 0 210445 0 vsize: 841844 [startup+300.108 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 28747 57 0 0 25 0 11 0 539850718 862048256 25945 4294967295 134512640 134569956 3221224400 3221214688 1131272834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 25945 13073 16 0 210445 0 vsize: 841844 [startup+310.108 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 29727 57 0 0 25 0 11 0 539850718 862048256 26022 4294967295 134512640 134569956 3221224400 3221214784 1131309925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26022 13073 16 0 210445 0 vsize: 841844 [startup+320.108 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 30710 57 0 0 25 0 11 0 539850718 862048256 26226 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26226 13073 16 0 210445 0 vsize: 841844 [startup+330.109 s] Raw data (loadavg): 1.01 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 31696 57 0 0 25 0 11 0 539850718 862048256 26296 4294967295 134512640 134569956 3221224400 3221214784 1131310899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26296 13073 16 0 210445 0 vsize: 841844 [startup+340.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) S 23836 27565 27564 0 -1 0 18107 0 1 0 32681 58 0 0 25 0 11 0 539850718 862048256 26330 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26330 13073 16 0 210445 0 vsize: 841844 [startup+350.11 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 33658 58 0 0 25 0 11 0 539850718 862048256 26389 4294967295 134512640 134569956 3221224400 3221214688 1131272101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26389 13073 16 0 210445 0 vsize: 841844 [startup+360.111 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 34633 58 0 0 25 0 11 0 539850718 862048256 26433 4294967295 134512640 134569956 3221224400 3221214784 1131309758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26433 13073 16 0 210445 0 vsize: 841844 [startup+370.112 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 35609 58 0 0 25 0 11 0 539850718 862048256 26527 4294967295 134512640 134569956 3221224400 3221214784 1131308551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26527 13073 16 0 210445 0 vsize: 841844 [startup+380.113 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 36591 58 0 0 25 0 11 0 539850718 862048256 26900 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26900 13073 16 0 210445 0 vsize: 841844 [startup+390.114 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 37573 59 0 0 25 0 11 0 539850718 862048256 26955 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 26955 13073 16 0 210445 0 vsize: 841844 [startup+400.115 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 38554 59 0 0 25 0 11 0 539850718 862048256 27002 4294967295 134512640 134569956 3221224400 3221214672 1131328501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27002 13073 16 0 210445 0 vsize: 841844 [startup+410.115 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 39532 59 0 0 25 0 11 0 539850718 862048256 27046 4294967295 134512640 134569956 3221224400 3221214688 1131272515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27046 13073 16 0 210445 0 vsize: 841844 [startup+420.115 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 40503 59 0 0 25 0 11 0 539850718 862048256 27220 4294967295 134512640 134569956 3221224400 3221214688 1131272808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27220 13073 16 0 210445 0 vsize: 841844 [startup+430.116 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 41470 59 0 0 25 0 11 0 539850718 862048256 27297 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27297 13073 16 0 210445 0 vsize: 841844 [startup+440.118 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 42436 59 0 0 24 0 11 0 539850718 862048256 27370 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27370 13073 16 0 210445 0 vsize: 841844 [startup+450.119 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 43409 59 0 0 25 0 11 0 539850718 862048256 27826 4294967295 134512640 134569956 3221224400 3221214712 1131417946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27826 13073 16 0 210445 0 vsize: 841844 [startup+460.119 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 44381 59 0 0 25 0 11 0 539850718 862048256 27907 4294967295 134512640 134569956 3221224400 3221214072 1131547274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27907 13073 16 0 210445 0 vsize: 841844 [startup+470.12 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 45352 60 0 0 25 0 11 0 539850718 862048256 27996 4294967295 134512640 134569956 3221224400 3221214784 1131309946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 27996 13073 16 0 210445 0 vsize: 841844 [startup+480.121 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 46326 60 0 0 25 0 11 0 539850718 862048256 28231 4294967295 134512640 134569956 3221224400 3221214780 1131271571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28231 13073 16 0 210445 0 vsize: 841844 [startup+490.122 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 47300 60 0 0 25 0 11 0 539850718 862048256 28311 4294967295 134512640 134569956 3221224400 3221214672 1131328617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28311 13073 16 0 210445 0 vsize: 841844 [startup+500.122 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 48274 60 0 0 25 0 11 0 539850718 862048256 28415 4294967295 134512640 134569956 3221224400 3221214720 1131214855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28415 13073 16 0 210445 0 vsize: 841844 [startup+510.122 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23902 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 49253 61 0 0 25 0 11 0 539850718 862048256 28528 4294967295 134512640 134569956 3221224400 3221214688 1131271621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28528 13073 16 0 210445 0 vsize: 841844 [startup+520.122 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 50229 61 0 0 25 0 11 0 539850718 862048256 28640 4294967295 134512640 134569956 3221224400 3221214672 1131328499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28640 13073 16 0 210445 0 vsize: 841844 [startup+530.123 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 51204 62 0 0 25 0 11 0 539850718 862048256 28710 4294967295 134512640 134569956 3221224400 3221214688 1131271979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28710 13073 16 0 210445 0 vsize: 841844 [startup+540.124 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 52181 62 0 0 25 0 11 0 539850718 862048256 28774 4294967295 134512640 134569956 3221224400 3221214672 1131328492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28774 13073 16 0 210445 0 vsize: 841844 [startup+550.125 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 53157 62 0 0 25 0 11 0 539850718 862048256 28838 4294967295 134512640 134569956 3221224400 3221214616 1131512163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28838 13073 16 0 210445 0 vsize: 841844 [startup+560.127 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 54131 63 0 0 25 0 11 0 539850718 862048256 28939 4294967295 134512640 134569956 3221224400 3221214688 1131272926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28939 13073 16 0 210445 0 vsize: 841844 [startup+570.26 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 55117 63 0 0 25 0 11 0 539850718 862048256 28989 4294967295 134512640 134569956 3221224400 3221214784 1131309769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 28989 13073 16 0 210445 0 vsize: 841844 [startup+580.26 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 56091 63 0 0 24 0 11 0 539850718 862048256 29126 4294967295 134512640 134569956 3221224400 3221214784 1131309946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29126 13073 16 0 210445 0 vsize: 841844 [startup+590.262 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 57068 64 0 0 25 0 11 0 539850718 862048256 29263 4294967295 134512640 134569956 3221224400 3221214816 1131297889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29263 13073 16 0 210445 0 vsize: 841844 [startup+600.263 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 58046 64 0 0 25 0 11 0 539850718 862048256 29353 4294967295 134512640 134569956 3221224400 3221214688 1131272290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29353 13073 16 0 210445 0 vsize: 841844 [startup+610.263 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 59023 65 0 0 25 0 11 0 539850718 862048256 29416 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29416 13073 16 0 210445 0 vsize: 841844 [startup+620.271 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 60004 65 0 0 25 0 11 0 539850718 862048256 29460 4294967295 134512640 134569956 3221224400 3221214688 1131272476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29460 13073 16 0 210445 0 vsize: 841844 [startup+630.271 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 60979 65 0 0 25 0 11 0 539850718 862048256 29593 4294967295 134512640 134569956 3221224400 3221214688 1131272114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29593 13073 16 0 210445 0 vsize: 841844 [startup+640.272 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 61952 65 0 0 25 0 11 0 539850718 862048256 29639 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29639 13073 16 0 210445 0 vsize: 841844 [startup+650.272 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 62920 66 0 0 24 0 11 0 539850718 862048256 29746 4294967295 134512640 134569956 3221224400 3221214784 1131309932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 29746 13073 16 0 210445 0 vsize: 841844 [startup+660.272 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 63888 66 0 0 25 0 11 0 539850718 862048256 30090 4294967295 134512640 134569956 3221224400 3221214784 1131311678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30090 13073 16 0 210445 0 vsize: 841844 [startup+670.28 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 64860 66 0 0 25 0 11 0 539850718 862048256 30215 4294967295 134512640 134569956 3221224400 3221214688 1131272181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 30215 13073 16 0 210445 0 vsize: 841844 [startup+680.286 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 65830 66 0 0 25 0 11 0 539850718 862048256 30379 4294967295 134512640 134569956 3221224400 3221214688 1131272515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30379 13073 16 0 210445 0 vsize: 841844 [startup+690.285 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 66807 67 0 0 25 0 11 0 539850718 862048256 30626 4294967295 134512640 134569956 3221224400 3221214688 1131272239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30626 13073 16 0 210445 0 vsize: 841844 [startup+700.285 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 67788 67 0 0 25 0 11 0 539850718 862048256 30767 4294967295 134512640 134569956 3221224400 3221214784 1131308892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30767 13073 16 0 210445 0 vsize: 841844 [startup+710.388 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 68776 67 0 0 25 0 11 0 539850718 862048256 30809 4294967295 134512640 134569956 3221224400 3221214688 1131271593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30809 13073 16 0 210445 0 vsize: 841844 [startup+720.492 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 69758 67 0 0 25 0 11 0 539850718 862048256 30901 4294967295 134512640 134569956 3221224400 3221214688 1131272272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30901 13073 16 0 210445 0 vsize: 841844 [startup+730.493 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 70729 68 0 0 25 0 11 0 539850718 862048256 30976 4294967295 134512640 134569956 3221224400 3221214688 1131272074 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 30976 13073 16 0 210445 0 vsize: 841844 [startup+740.514 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 71706 68 0 0 25 0 11 0 539850718 862048256 31350 4294967295 134512640 134569956 3221224400 3221214688 1131271633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31350 13073 16 0 210445 0 vsize: 841844 [startup+750.524 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 72684 68 0 0 25 0 11 0 539850718 862048256 31408 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31408 13073 16 0 210445 0 vsize: 841844 [startup+760.523 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 73663 69 0 0 25 0 11 0 539850718 862048256 31560 4294967295 134512640 134569956 3221224400 3221214688 1131272548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31560 13073 16 0 210445 0 vsize: 841844 [startup+770.525 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 74646 69 0 0 25 0 11 0 539850718 862048256 31645 4294967295 134512640 134569956 3221224400 3221213984 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31645 13073 16 0 210445 0 vsize: 841844 [startup+780.526 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) S 23836 27565 27564 0 -1 0 18107 0 1 0 75628 69 0 0 25 0 11 0 539850718 862048256 31699 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31699 13073 16 0 210445 0 vsize: 841844 [startup+790.526 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 76606 69 0 0 25 0 11 0 539850718 862048256 31761 4294967295 134512640 134569956 3221224400 3221214784 1131311862 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31761 13073 16 0 210445 0 vsize: 841844 [startup+800.527 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 77582 70 0 0 24 0 11 0 539850718 862048256 31846 4294967295 134512640 134569956 3221224400 3221214688 1131272189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31846 13073 16 0 210445 0 vsize: 841844 [startup+810.528 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 78557 70 0 0 25 0 11 0 539850718 862048256 31905 4294967295 134512640 134569956 3221224400 3221214784 1131309902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 31905 13073 16 0 210445 0 vsize: 841844 [startup+820.528 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 79524 70 0 0 25 0 11 0 539850718 862048256 32162 4294967295 134512640 134569956 3221224400 3221214688 1131271585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 32162 13073 16 0 210445 0 vsize: 841844 [startup+830.528 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 80484 71 0 0 25 0 11 0 539850718 862048256 32289 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 32289 13073 16 0 210445 0 vsize: 841844 [startup+840.528 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 81450 71 0 0 25 0 11 0 539850718 862048256 32672 4294967295 134512640 134569956 3221224400 3221214688 1131271970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 32672 13073 16 0 210445 0 vsize: 841844 [startup+850.534 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 82424 71 0 0 25 0 11 0 539850718 862048256 33094 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33094 13073 16 0 210445 0 vsize: 841844 [startup+860.534 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 83405 71 0 0 25 0 11 0 539850718 862048256 33146 4294967295 134512640 134569956 3221224400 3221214688 1131271664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33146 13073 16 0 210445 0 vsize: 841844 [startup+870.538 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 84386 71 0 0 25 0 11 0 539850718 862048256 33217 4294967295 134512640 134569956 3221224400 3221214784 1131309946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33217 13073 16 0 210445 0 vsize: 841844 [startup+880.538 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 85361 72 0 0 25 0 11 0 539850718 862048256 33306 4294967295 134512640 134569956 3221224400 3221214688 1131272089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33306 13073 16 0 210445 0 vsize: 841844 [startup+890.538 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 86338 73 0 0 25 0 11 0 539850718 862048256 33341 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33341 13073 16 0 210445 0 vsize: 841844 [startup+900.539 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 87313 73 0 0 25 0 11 0 539850718 862048256 33473 4294967295 134512640 134569956 3221224400 3221214784 1131309853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33473 13073 16 0 210445 0 vsize: 841844 [startup+910.539 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 88290 73 0 0 24 0 11 0 539850718 862048256 33643 4294967295 134512640 134569956 3221224400 3221214688 1131271607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33643 13073 16 0 210445 0 vsize: 841844 [startup+920.548 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 89273 74 0 0 25 0 11 0 539850718 862048256 33669 4294967295 134512640 134569956 3221224400 3221214688 1131272919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33669 13073 16 0 210445 0 vsize: 841844 [startup+930.654 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 90253 74 0 0 25 0 11 0 539850718 862048256 33797 4294967295 134512640 134569956 3221224400 3221214784 1131310820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 33797 13073 16 0 210445 0 vsize: 841844 [startup+940.654 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 91220 75 0 0 25 0 11 0 539850718 862048256 34352 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 34352 13073 16 0 210445 0 vsize: 841844 [startup+950.654 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 92187 75 0 0 25 0 11 0 539850718 862048256 34352 4294967295 134512640 134569956 3221224400 3221214688 1131271878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 34352 13073 16 0 210445 0 vsize: 841844 [startup+960.654 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 93148 75 0 0 25 0 11 0 539850718 862048256 34933 4294967295 134512640 134569956 3221224400 3221214784 1131308827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 34933 13073 16 0 210445 0 vsize: 841844 [startup+970.655 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 94118 76 0 0 25 0 11 0 539850718 862048256 35052 4294967295 134512640 134569956 3221224400 3221214688 1131271905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35052 13073 16 0 210445 0 vsize: 841844 [startup+980.656 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 95088 76 0 0 25 0 11 0 539850718 862048256 35107 4294967295 134512640 134569956 3221224400 3221214784 1131308827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35107 13073 16 0 210445 0 vsize: 841844 [startup+990.657 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 96059 76 0 0 25 0 11 0 539850718 862048256 35374 4294967295 134512640 134569956 3221224400 3221214688 1131271589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35374 13073 16 0 210445 0 vsize: 841844 [startup+1000.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 97033 77 0 0 25 0 11 0 539850718 862048256 35482 4294967295 134512640 134569956 3221224400 3221214688 1131272476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35482 13073 16 0 210445 0 vsize: 841844 [startup+1010.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 98011 77 0 0 25 0 11 0 539850718 862048256 35577 4294967295 134512640 134569956 3221224400 3221214672 1131328617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35577 13073 16 0 210445 0 vsize: 841844 [startup+1020.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 98987 77 0 0 25 0 11 0 539850718 862048256 35689 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35689 13073 16 0 210445 0 vsize: 841844 [startup+1030.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 99956 77 0 0 25 0 11 0 539850718 862048256 35729 4294967295 134512640 134569956 3221224400 3221214784 1131311570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35729 13073 16 0 210445 0 vsize: 841844 [startup+1040.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 100921 78 0 0 25 0 11 0 539850718 862048256 35822 4294967295 134512640 134569956 3221224400 3221214688 1131272849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35822 13073 16 0 210445 0 vsize: 841844 [startup+1050.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 101884 78 0 0 25 0 11 0 539850718 862048256 35955 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 35955 13073 16 0 210445 0 vsize: 841844 [startup+1060.66 s] Raw data (loadavg): 1.00 0.98 0.91 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 102850 78 0 0 25 0 11 0 539850718 862048256 36144 4294967295 134512640 134569956 3221224400 3221214688 1131271589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 36144 13073 16 0 210445 0 vsize: 841844 [startup+1070.66 s] Raw data (loadavg): 1.08 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 103815 78 0 0 25 0 11 0 539850718 862048256 36338 4294967295 134512640 134569956 3221224400 3221214804 1131404140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 36338 13073 16 0 210445 0 vsize: 841844 [startup+1080.66 s] Raw data (loadavg): 1.07 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 104780 78 0 0 25 0 11 0 539850718 862048256 36571 4294967295 134512640 134569956 3221224400 3221214688 1131271940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210461 36571 13073 16 0 210445 0 vsize: 841844 [startup+1090.66 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 105746 78 0 0 25 0 11 0 539850718 862048256 36646 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 36646 13073 16 0 210445 0 vsize: 841844 [startup+1100.67 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 106718 78 0 0 25 0 11 0 539850718 862048256 36890 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 36890 13073 16 0 210445 0 vsize: 841844 [startup+1110.68 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 107694 78 0 0 25 0 11 0 539850718 862048256 37109 4294967295 134512640 134569956 3221224400 3221214688 1131271585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37109 13073 16 0 210445 0 vsize: 841844 [startup+1120.69 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 108671 78 0 0 25 0 11 0 539850718 862048256 37156 4294967295 134512640 134569956 3221224400 3221214688 1131272884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37156 13073 16 0 210445 0 vsize: 841844 [startup+1130.69 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 109645 78 0 0 25 0 11 0 539850718 862048256 37263 4294967295 134512640 134569956 3221224400 3221214688 1131272189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37263 13073 16 0 210445 0 vsize: 841844 [startup+1140.69 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 110617 78 0 0 25 0 11 0 539850718 862048256 37324 4294967295 134512640 134569956 3221224400 3221214784 1131308892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37324 13073 16 0 210445 0 vsize: 841844 [startup+1150.69 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 111585 78 0 0 25 0 11 0 539850718 862048256 37414 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37414 13073 16 0 210445 0 vsize: 841844 [startup+1160.69 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 112553 78 0 0 25 0 11 0 539850718 862048256 37617 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37617 13073 16 0 210445 0 vsize: 841844 [startup+1170.69 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 113520 79 0 0 25 0 11 0 539850718 862048256 37742 4294967295 134512640 134569956 3221224400 3221214688 1131271621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37742 13073 16 0 210445 0 vsize: 841844 [startup+1180.69 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 114490 79 0 0 25 0 11 0 539850718 862048256 37927 4294967295 134512640 134569956 3221224400 3221214784 1131310910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 37927 13073 16 0 210445 0 vsize: 841844 [startup+1190.69 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 115461 79 0 0 25 0 11 0 539850718 862048256 38210 4294967295 134512640 134569956 3221224400 3221214784 1131308944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38210 13073 16 0 210445 0 vsize: 841844 [startup+1200.69 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 116433 79 0 0 24 0 11 0 539850718 862048256 38302 4294967295 134512640 134569956 3221224400 3221214688 1131272530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38302 13073 16 0 210445 0 vsize: 841844 [startup+1210.69 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 117406 79 0 0 25 0 11 0 539850718 862048256 38390 4294967295 134512640 134569956 3221224400 3221214476 1131541796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38390 13073 16 0 210445 0 vsize: 841844 [startup+1220.69 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 118379 79 0 0 24 0 11 0 539850718 862048256 38439 4294967295 134512640 134569956 3221224400 3221214688 1131272869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38439 13073 16 0 210445 0 vsize: 841844 [startup+1230.69 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 119354 79 0 0 25 0 11 0 539850718 862048256 38659 4294967295 134512640 134569956 3221224400 3221214688 1131272021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38659 13073 16 0 210445 0 vsize: 841844 [startup+1240.69 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 23904 Raw data (stat): 23837 (java) R 23836 27565 27564 0 -1 0 18107 0 1 0 120333 79 0 0 25 0 11 0 539850718 862048256 38745 4294967295 134512640 134569956 3221224400 3221214784 1131309886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210461 38745 13073 16 0 210445 0 vsize: 841844 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.8 s] Raw data (loadavg): 1.06 1.01 0.93 1/54 23906 Raw data (stat): 23837 (java) Z 23836 27565 27564 0 -1 1036 18107 18357 1 0 120336 79 3264 48 25 0 1 0 539850718 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.8 CPU time (s): 1237.29 CPU user time (s): 1236.01 CPU system time (s): 1.2828 CPU usage (%): 99.7177 Max. virtual memory (Kb): 841972 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####