Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb |
MD5SUM | 9ca02e5a1540510bce8e96ecb8f82d9c |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 83886080000000 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 783292842349555 |
Number of bits of the biggest sum of numbers | 50 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.00185 |
Number of variables | 15501 |
Total number of constraints | 14313 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14177 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13581 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-04-21 20:55:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14985 boxname=wulflinc1 idbench=1153 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 9ca02e5a1540510bce8e96ecb8f82d9c /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb IDLAUNCH: 14985 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 601984 kB Buffers: 1392 kB Cached: 405860 kB SwapCached: 0 kB Active: 61476 kB Inactive: 348884 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 601732 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7224 kB Slab: 16540 kB Committed_AS: 92820 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:15:37 (client local time) WITH STATUS 143 IN 1233.41 SECONDS stats: 14985 7 1233.41 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb c reading problem c [nbvar=15501] c [nbconstr=14313] c time 104.165 c #vars 15501 c #clauses 853 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.78 0.91 0.89 2/56 3704 Raw data (stat): 3704 (runsolver) R 3703 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 433044944 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.9999 s] Raw data (loadavg): 0.81 0.91 0.89 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 875 38 0 0 25 0 10 0 433044944 854601728 19420 4294967295 134512640 134569956 3221224400 3221214624 1131244712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208643 19420 13073 16 0 208627 0 vsize: 834572 [startup+20.0007 s] Raw data (loadavg): 0.84 0.91 0.89 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 1796 38 0 0 25 0 10 0 433044944 854552576 19906 4294967295 134512640 134569956 3221224400 3221214464 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208631 19906 13073 16 0 208615 0 vsize: 834524 [startup+30.0015 s] Raw data (loadavg): 0.86 0.91 0.90 2/65 3713 Raw data (stat): 3704 (java) S 3703 12452 12451 0 -1 0 17993 0 1 0 2698 38 0 0 25 0 10 0 433044944 854552576 20397 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 20397 13073 16 0 208615 0 vsize: 834524 [startup+40.0013 s] Raw data (loadavg): 0.89 0.92 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 3626 39 0 0 25 0 10 0 433044944 854552576 20641 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 20641 13073 16 0 208615 0 vsize: 834524 [startup+50.0021 s] Raw data (loadavg): 0.90 0.92 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 4566 39 0 0 25 0 10 0 433044944 854552576 20836 4294967295 134512640 134569956 3221224400 3221214692 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 20836 13073 16 0 208615 0 vsize: 834524 [startup+60.0023 s] Raw data (loadavg): 0.92 0.92 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 5511 39 0 0 25 0 10 0 433044944 854552576 20962 4294967295 134512640 134569956 3221224400 3221214692 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 20962 13073 16 0 208615 0 vsize: 834524 [startup+70.0026 s] Raw data (loadavg): 0.93 0.92 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 6449 40 0 0 25 0 10 0 433044944 854552576 21069 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208631 21069 13073 16 0 208615 0 vsize: 834524 [startup+80.0034 s] Raw data (loadavg): 0.94 0.92 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 7350 40 0 0 25 0 10 0 433044944 856428544 21640 4294967295 134512640 134569956 3221224400 3221214860 1131282727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209089 21640 13073 16 0 209073 0 vsize: 836356 [startup+90.0032 s] Raw data (loadavg): 0.95 0.93 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 8229 44 0 0 25 0 10 0 433044944 856051712 27472 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208997 27472 13073 16 0 208981 0 vsize: 835988 [startup+100.003 s] Raw data (loadavg): 0.96 0.93 0.90 2/65 3713 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 9101 46 0 0 25 0 10 0 433044944 856051712 28995 4294967295 134512640 134569956 3221224400 3221214512 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208997 28995 13073 16 0 208981 0 vsize: 835988 [startup+110.007 s] Raw data (loadavg): 0.96 0.93 0.90 2/66 3714 Raw data (stat): 3704 (java) S 3703 12452 12451 0 -1 0 18021 0 1 0 9985 48 0 0 25 0 11 0 433044944 857628672 30562 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209382 30562 13073 16 0 209366 0 vsize: 837528 [startup+120.008 s] Raw data (loadavg): 0.97 0.93 0.90 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 10898 48 0 0 25 0 11 0 433044944 857628672 30563 4294967295 134512640 134569956 3221224400 3221214824 1131238659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209382 30563 13073 16 0 209366 0 vsize: 837528 [startup+130.008 s] Raw data (loadavg): 0.97 0.93 0.91 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 11809 48 0 0 25 0 11 0 433044944 857628672 30493 4294967295 134512640 134569956 3221224400 3221214728 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209382 30493 13073 16 0 209366 0 vsize: 837528 [startup+140.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 12720 48 0 0 25 0 11 0 433044944 857628672 30493 4294967295 134512640 134569956 3221224400 3221214872 1131364361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209382 30493 13073 16 0 209366 0 vsize: 837528 [startup+150.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 13700 48 0 0 25 0 11 0 433044944 857628672 31270 4294967295 134512640 134569956 3221224400 3221214896 1131364874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209382 31270 13073 16 0 209366 0 vsize: 837528 [startup+160.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 14690 48 0 0 25 0 11 0 433044944 857628672 31275 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209382 31275 13073 16 0 209366 0 vsize: 837528 [startup+170.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 15683 49 0 0 25 0 11 0 433044944 857628672 31284 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209382 31284 13073 16 0 209366 0 vsize: 837528 [startup+180.01 s] Raw data (loadavg): 1.13 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 16594 49 0 0 25 0 11 0 433044944 859725824 31862 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31862 13073 16 0 209878 0 vsize: 839576 [startup+190.009 s] Raw data (loadavg): 1.11 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 17585 49 0 0 25 0 11 0 433044944 859725824 31872 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31872 13073 16 0 209878 0 vsize: 839576 [startup+200.009 s] Raw data (loadavg): 1.09 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 18576 49 0 0 25 0 11 0 433044944 859725824 31881 4294967295 134512640 134569956 3221224400 3221214752 1131301771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31881 13073 16 0 209878 0 vsize: 839576 [startup+210.01 s] Raw data (loadavg): 1.08 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 19568 50 0 0 25 0 11 0 433044944 859725824 31912 4294967295 134512640 134569956 3221224400 3221214752 1131302087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31912 13073 16 0 209878 0 vsize: 839576 [startup+220.011 s] Raw data (loadavg): 1.07 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 20564 50 0 0 25 0 11 0 433044944 859725824 31914 4294967295 134512640 134569956 3221224400 3221214752 1131301709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31914 13073 16 0 209878 0 vsize: 839576 [startup+230.01 s] Raw data (loadavg): 1.06 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 21560 50 0 0 25 0 11 0 433044944 859725824 31920 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31920 13073 16 0 209878 0 vsize: 839576 [startup+240.011 s] Raw data (loadavg): 1.05 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 22557 50 0 0 25 0 11 0 433044944 859725824 31924 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31924 13073 16 0 209878 0 vsize: 839576 [startup+250.011 s] Raw data (loadavg): 1.04 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 23552 50 0 0 25 0 11 0 433044944 859725824 31928 4294967295 134512640 134569956 3221224400 3221214848 1131224845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31928 13073 16 0 209878 0 vsize: 839576 [startup+260.011 s] Raw data (loadavg): 1.03 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 24546 50 0 0 25 0 11 0 433044944 859725824 31930 4294967295 134512640 134569956 3221224400 3221214752 1131301967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31930 13073 16 0 209878 0 vsize: 839576 [startup+270.011 s] Raw data (loadavg): 1.03 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 25540 51 0 0 25 0 11 0 433044944 859725824 31934 4294967295 134512640 134569956 3221224400 3221214752 1131301911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31934 13073 16 0 209878 0 vsize: 839576 [startup+280.012 s] Raw data (loadavg): 1.02 0.97 0.92 2/66 3714 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 26533 51 0 0 25 0 11 0 433044944 859725824 31938 4294967295 134512640 134569956 3221224400 3221214848 1131224905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31938 13073 16 0 209878 0 vsize: 839576 [startup+290.012 s] Raw data (loadavg): 1.02 0.97 0.92 2/66 3716 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 27527 51 0 0 25 0 11 0 433044944 859725824 31948 4294967295 134512640 134569956 3221224400 3221214752 1131302045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31948 13073 16 0 209878 0 vsize: 839576 [startup+300.012 s] Raw data (loadavg): 1.02 0.97 0.92 3/70 3768 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 28519 54 0 0 25 0 11 0 433044944 859725824 31954 4294967295 134512640 134569956 3221224400 3221214752 1131301876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 31954 13073 16 0 209878 0 vsize: 839576 [startup+310.013 s] Raw data (loadavg): 1.01 0.97 0.92 2/66 3769 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 29513 54 0 0 25 0 11 0 433044944 859725824 31962 4294967295 134512640 134569956 3221224400 3221214752 1131301759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31962 13073 16 0 209878 0 vsize: 839576 [startup+320.013 s] Raw data (loadavg): 1.01 0.97 0.92 2/66 3769 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 30508 55 0 0 25 0 11 0 433044944 859725824 31970 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31970 13073 16 0 209878 0 vsize: 839576 [startup+330.013 s] Raw data (loadavg): 1.01 0.97 0.92 2/66 3769 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 31503 55 0 0 25 0 11 0 433044944 859725824 31976 4294967295 134512640 134569956 3221224400 3221214848 1131224845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31976 13073 16 0 209878 0 vsize: 839576 [startup+340.013 s] Raw data (loadavg): 1.01 0.97 0.92 2/66 3769 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 32497 55 0 0 25 0 11 0 433044944 859725824 31985 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31985 13073 16 0 209878 0 vsize: 839576 [startup+350.014 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3769 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 33492 55 0 0 25 0 11 0 433044944 859725824 31987 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31987 13073 16 0 209878 0 vsize: 839576 [startup+360.014 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3771 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 34486 55 0 0 25 0 11 0 433044944 859725824 31993 4294967295 134512640 134569956 3221224400 3221214896 1131364642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 31993 13073 16 0 209878 0 vsize: 839576 [startup+370.014 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 35479 55 0 0 25 0 11 0 433044944 859725824 32002 4294967295 134512640 134569956 3221224400 3221214848 1131238726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32002 13073 16 0 209878 0 vsize: 839576 [startup+380.015 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 36473 56 0 0 25 0 11 0 433044944 859725824 32006 4294967295 134512640 134569956 3221224400 3221214848 1131238704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32006 13073 16 0 209878 0 vsize: 839576 [startup+390.015 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 37465 56 0 0 25 0 11 0 433044944 859725824 32016 4294967295 134512640 134569956 3221224400 3221214752 1131302037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32016 13073 16 0 209878 0 vsize: 839576 [startup+400.016 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 38458 56 0 0 25 0 11 0 433044944 859725824 32025 4294967295 134512640 134569956 3221224400 3221214848 1131238698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32025 13073 16 0 209878 0 vsize: 839576 [startup+410.015 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 39451 56 0 0 25 0 11 0 433044944 859725824 32031 4294967295 134512640 134569956 3221224400 3221214744 1131312346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32031 13073 16 0 209878 0 vsize: 839576 [startup+420.031 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 40442 56 0 0 25 0 11 0 433044944 859725824 32040 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32040 13073 16 0 209878 0 vsize: 839576 [startup+430.031 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 41433 57 0 0 25 0 11 0 433044944 859725824 32056 4294967295 134512640 134569956 3221224400 3221214752 1131301911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32056 13073 16 0 209878 0 vsize: 839576 [startup+440.031 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 42422 57 0 0 25 0 11 0 433044944 859725824 32063 4294967295 134512640 134569956 3221224400 3221214840 1131274439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32063 13073 16 0 209878 0 vsize: 839576 [startup+450.031 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 43414 57 0 0 25 0 11 0 433044944 859725824 32080 4294967295 134512640 134569956 3221224400 3221214800 1131282758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32080 13073 16 0 209878 0 vsize: 839576 [startup+460.031 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 44407 57 0 0 25 0 11 0 433044944 859725824 32093 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32093 13073 16 0 209878 0 vsize: 839576 [startup+470.032 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 45402 57 0 0 25 0 11 0 433044944 859725824 32101 4294967295 134512640 134569956 3221224400 3221214752 1131301805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32101 13073 16 0 209878 0 vsize: 839576 [startup+480.037 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 46396 57 0 0 25 0 11 0 433044944 859725824 32104 4294967295 134512640 134569956 3221224400 3221214872 1131304890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32104 13073 16 0 209878 0 vsize: 839576 [startup+490.037 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 47390 57 0 0 25 0 11 0 433044944 859725824 32107 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32107 13073 16 0 209878 0 vsize: 839576 [startup+500.036 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 48382 57 0 0 25 0 11 0 433044944 859725824 32113 4294967295 134512640 134569956 3221224400 3221214848 1131238740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32113 13073 16 0 209878 0 vsize: 839576 [startup+510.036 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 49374 58 0 0 25 0 11 0 433044944 859725824 32122 4294967295 134512640 134569956 3221224400 3221214872 1131304873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32122 13073 16 0 209878 0 vsize: 839576 [startup+520.037 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 50366 58 0 0 25 0 11 0 433044944 859725824 32133 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32133 13073 16 0 209878 0 vsize: 839576 [startup+530.037 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 51356 58 0 0 24 0 11 0 433044944 859725824 32147 4294967295 134512640 134569956 3221224400 3221214848 1131238619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32147 13073 16 0 209878 0 vsize: 839576 [startup+540.038 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 52348 58 0 0 25 0 11 0 433044944 859725824 32163 4294967295 134512640 134569956 3221224400 3221214872 1131304846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32163 13073 16 0 209878 0 vsize: 839576 [startup+550.038 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 53340 58 0 0 25 0 11 0 433044944 859725824 32169 4294967295 134512640 134569956 3221224400 3221214752 1131302069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32169 13073 16 0 209878 0 vsize: 839576 [startup+560.038 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 54333 58 0 0 25 0 11 0 433044944 859725824 32176 4294967295 134512640 134569956 3221224400 3221214236 1077378224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32176 13073 16 0 209878 0 vsize: 839576 [startup+570.039 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 55327 59 0 0 25 0 11 0 433044944 859725824 32184 4294967295 134512640 134569956 3221224400 3221214064 1077371617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32184 13073 16 0 209878 0 vsize: 839576 [startup+580.039 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3773 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 56319 59 0 0 25 0 11 0 433044944 859725824 32190 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32190 13073 16 0 209878 0 vsize: 839576 [startup+590.039 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 57310 59 0 0 25 0 11 0 433044944 859725824 32195 4294967295 134512640 134569956 3221224400 3221214872 1131304890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32195 13073 16 0 209878 0 vsize: 839576 [startup+600.04 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 58300 60 0 0 25 0 11 0 433044944 859725824 32201 4294967295 134512640 134569956 3221224400 3221214896 1131364373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32201 13073 16 0 209878 0 vsize: 839576 [startup+610.04 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 59290 60 0 0 25 0 11 0 433044944 859725824 32213 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32213 13073 16 0 209878 0 vsize: 839576 [startup+620.041 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 60247 60 0 0 25 0 11 0 433044944 859725824 32235 4294967295 134512640 134569956 3221224400 3221214624 1131301869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32235 13073 16 0 209878 0 vsize: 839576 [startup+630.041 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 61218 60 0 0 25 0 11 0 433044944 859725824 32244 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32244 13073 16 0 209878 0 vsize: 839576 [startup+640.04 s] Raw data (loadavg): 1.00 0.97 0.92 3/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 62175 60 0 0 25 0 11 0 433044944 859725824 32258 4294967295 134512640 134569956 3221224400 3221214896 1131364549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32258 13073 16 0 209878 0 vsize: 839576 [startup+650.041 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 63135 60 0 0 25 0 11 0 433044944 859725824 32266 4294967295 134512640 134569956 3221224400 3221214896 1131364859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32266 13073 16 0 209878 0 vsize: 839576 [startup+660.043 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 64102 60 0 0 25 0 11 0 433044944 859725824 32584 4294967295 134512640 134569956 3221224400 3221214752 1131302134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32584 13073 16 0 209878 0 vsize: 839576 [startup+670.044 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 65097 60 0 0 25 0 11 0 433044944 859725824 32614 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32614 13073 16 0 209878 0 vsize: 839576 [startup+680.043 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 66095 60 0 0 25 0 11 0 433044944 859725824 32615 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32615 13073 16 0 209878 0 vsize: 839576 [startup+690.043 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 67093 61 0 0 25 0 11 0 433044944 859725824 32615 4294967295 134512640 134569956 3221224400 3221214896 1131364534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32615 13073 16 0 209878 0 vsize: 839576 [startup+700.043 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 68090 61 0 0 25 0 11 0 433044944 859725824 32616 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32616 13073 16 0 209878 0 vsize: 839576 [startup+710.043 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 69088 61 0 0 25 0 11 0 433044944 859725824 32617 4294967295 134512640 134569956 3221224400 3221214892 1131304800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32617 13073 16 0 209878 0 vsize: 839576 [startup+720.044 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 70085 61 0 0 25 0 11 0 433044944 859725824 32617 4294967295 134512640 134569956 3221224400 3221214752 1131302050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32617 13073 16 0 209878 0 vsize: 839576 [startup+730.045 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 71083 61 0 0 25 0 11 0 433044944 859725824 32625 4294967295 134512640 134569956 3221224400 3221214752 1131301906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32625 13073 16 0 209878 0 vsize: 839576 [startup+740.045 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 72080 61 0 0 25 0 11 0 433044944 859725824 32626 4294967295 134512640 134569956 3221224400 3221214892 1131304812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32626 13073 16 0 209878 0 vsize: 839576 [startup+750.045 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 73077 61 0 0 25 0 11 0 433044944 859725824 32640 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32640 13073 16 0 209878 0 vsize: 839576 [startup+760.047 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 74075 61 0 0 25 0 11 0 433044944 859725824 32640 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32640 13073 16 0 209878 0 vsize: 839576 [startup+770.048 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 75073 61 0 0 25 0 11 0 433044944 859725824 32647 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32647 13073 16 0 209878 0 vsize: 839576 [startup+780.048 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 76070 61 0 0 25 0 11 0 433044944 859725824 32650 4294967295 134512640 134569956 3221224400 3221214872 1131304881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32650 13073 16 0 209878 0 vsize: 839576 [startup+790.048 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 77068 61 0 0 25 0 11 0 433044944 859725824 32650 4294967295 134512640 134569956 3221224400 3221214752 1131301727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32650 13073 16 0 209878 0 vsize: 839576 [startup+800.049 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 78065 61 0 0 25 0 11 0 433044944 859725824 32651 4294967295 134512640 134569956 3221224400 3221214848 1131238704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32651 13073 16 0 209878 0 vsize: 839576 [startup+810.049 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 79063 61 0 0 25 0 11 0 433044944 859725824 32652 4294967295 134512640 134569956 3221224400 3221214752 1131301822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32652 13073 16 0 209878 0 vsize: 839576 [startup+820.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 80061 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32660 13073 16 0 209878 0 vsize: 839576 [startup+830.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 81059 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214752 1131301769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32660 13073 16 0 209878 0 vsize: 839576 [startup+840.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 82056 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32660 13073 16 0 209878 0 vsize: 839576 [startup+850.051 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 83054 62 0 0 25 0 11 0 433044944 859725824 32661 4294967295 134512640 134569956 3221224400 3221214848 1131238740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32661 13073 16 0 209878 0 vsize: 839576 [startup+860.051 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 84052 62 0 0 25 0 11 0 433044944 859725824 32661 4294967295 134512640 134569956 3221224400 3221214752 1131301733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32661 13073 16 0 209878 0 vsize: 839576 [startup+870.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 85049 62 0 0 25 0 11 0 433044944 859725824 32662 4294967295 134512640 134569956 3221224400 3221214848 1131238338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32662 13073 16 0 209878 0 vsize: 839576 [startup+880.051 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3775 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 86046 63 0 0 25 0 11 0 433044944 859725824 32662 4294967295 134512640 134569956 3221224400 3221214800 1131282746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32662 13073 16 0 209878 0 vsize: 839576 [startup+890.051 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 87043 63 0 0 25 0 11 0 433044944 859725824 32663 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32663 13073 16 0 209878 0 vsize: 839576 [startup+900.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 88041 63 0 0 25 0 11 0 433044944 859725824 32664 4294967295 134512640 134569956 3221224400 3221214752 1131302121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32664 13073 16 0 209878 0 vsize: 839576 [startup+910.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 89038 63 0 0 25 0 11 0 433044944 859725824 32664 4294967295 134512640 134569956 3221224400 3221214752 1131302087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32664 13073 16 0 209878 0 vsize: 839576 [startup+920.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 90035 63 0 0 25 0 11 0 433044944 859725824 32670 4294967295 134512640 134569956 3221224400 3221214840 1131274482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32670 13073 16 0 209878 0 vsize: 839576 [startup+930.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 91032 63 0 0 25 0 11 0 433044944 859725824 32679 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32679 13073 16 0 209878 0 vsize: 839576 [startup+940.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 92030 63 0 0 25 0 11 0 433044944 859725824 32687 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32687 13073 16 0 209878 0 vsize: 839576 [startup+950.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 93027 63 0 0 25 0 11 0 433044944 859725824 32688 4294967295 134512640 134569956 3221224400 3221214752 1131302694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32688 13073 16 0 209878 0 vsize: 839576 [startup+960.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 94024 63 0 0 25 0 11 0 433044944 859725824 32701 4294967295 134512640 134569956 3221224400 3221214840 1131274439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32701 13073 16 0 209878 0 vsize: 839576 [startup+970.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 95022 64 0 0 25 0 11 0 433044944 859725824 32701 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32701 13073 16 0 209878 0 vsize: 839576 [startup+980.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 96019 64 0 0 25 0 11 0 433044944 859725824 32705 4294967295 134512640 134569956 3221224400 3221214744 1131312429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32705 13073 16 0 209878 0 vsize: 839576 [startup+990.052 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 97017 64 0 0 25 0 11 0 433044944 859725824 32706 4294967295 134512640 134569956 3221224400 3221214752 1131302095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32706 13073 16 0 209878 0 vsize: 839576 [startup+1000.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 98014 64 0 0 25 0 11 0 433044944 859725824 32706 4294967295 134512640 134569956 3221224400 3221214848 1131238345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32706 13073 16 0 209878 0 vsize: 839576 [startup+1010.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 99012 64 0 0 25 0 11 0 433044944 859725824 32713 4294967295 134512640 134569956 3221224400 3221214840 1131274482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32713 13073 16 0 209878 0 vsize: 839576 [startup+1020.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 100010 64 0 0 25 0 11 0 433044944 859725824 32722 4294967295 134512640 134569956 3221224400 3221214848 1131238478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32722 13073 16 0 209878 0 vsize: 839576 [startup+1030.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 101008 64 0 0 25 0 11 0 433044944 859725824 32723 4294967295 134512640 134569956 3221224400 3221214844 1131312288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32723 13073 16 0 209878 0 vsize: 839576 [startup+1040.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 102005 64 0 0 25 0 11 0 433044944 859725824 32723 4294967295 134512640 134569956 3221224400 3221214744 1131312408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32723 13073 16 0 209878 0 vsize: 839576 [startup+1050.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 103003 64 0 0 25 0 11 0 433044944 859725824 32724 4294967295 134512640 134569956 3221224400 3221214752 1131302006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32724 13073 16 0 209878 0 vsize: 839576 [startup+1060.05 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 104000 64 0 0 25 0 11 0 433044944 859725824 32724 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32724 13073 16 0 209878 0 vsize: 839576 [startup+1070.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 104998 64 0 0 25 0 11 0 433044944 859725824 32725 4294967295 134512640 134569956 3221224400 3221214752 1131301739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32725 13073 16 0 209878 0 vsize: 839576 [startup+1080.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 105995 65 0 0 25 0 11 0 433044944 859725824 32726 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32726 13073 16 0 209878 0 vsize: 839576 [startup+1090.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 106992 65 0 0 25 0 11 0 433044944 859725824 32728 4294967295 134512640 134569956 3221224400 3221214848 1131238359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32728 13073 16 0 209878 0 vsize: 839576 [startup+1100.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 107990 65 0 0 25 0 11 0 433044944 859725824 32731 4294967295 134512640 134569956 3221224400 3221214752 1131301779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32731 13073 16 0 209878 0 vsize: 839576 [startup+1110.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 108987 65 0 0 25 0 11 0 433044944 859725824 32732 4294967295 134512640 134569956 3221224400 3221214752 1131301986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209894 32732 13073 16 0 209878 0 vsize: 839576 [startup+1120.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 109984 65 0 0 25 0 11 0 433044944 859725824 32738 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32738 13073 16 0 209878 0 vsize: 839576 [startup+1130.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 110981 65 0 0 25 0 11 0 433044944 859725824 32740 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32740 13073 16 0 209878 0 vsize: 839576 [startup+1140.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 111978 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214848 1131238735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32749 13073 16 0 209878 0 vsize: 839576 [startup+1150.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 112976 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214844 1131283459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32749 13073 16 0 209878 0 vsize: 839576 [startup+1160.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 113972 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32749 13073 16 0 209878 0 vsize: 839576 [startup+1170.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 114969 65 0 0 25 0 11 0 433044944 859725824 32755 4294967295 134512640 134569956 3221224400 3221214752 1131302033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32755 13073 16 0 209878 0 vsize: 839576 [startup+1180.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3777 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 115964 65 0 0 25 0 11 0 433044944 859725824 32758 4294967295 134512640 134569956 3221224400 3221214752 1131301986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32758 13073 16 0 209878 0 vsize: 839576 [startup+1190.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3779 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 116955 65 0 0 25 0 11 0 433044944 859725824 32761 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32761 13073 16 0 209878 0 vsize: 839576 [startup+1200.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3779 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 117946 65 0 0 25 0 11 0 433044944 859725824 32767 4294967295 134512640 134569956 3221224400 3221214752 1131301777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32767 13073 16 0 209878 0 vsize: 839576 [startup+1210.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3779 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 118937 65 0 0 25 0 11 0 433044944 859725824 32781 4294967295 134512640 134569956 3221224400 3221214752 1131302121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32781 13073 16 0 209878 0 vsize: 839576 [startup+1220.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3779 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 119922 65 0 0 25 0 11 0 433044944 859725824 32804 4294967295 134512640 134569956 3221224400 3221214800 1131282758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32804 13073 16 0 209878 0 vsize: 839576 [startup+1230.06 s] Raw data (loadavg): 1.00 0.97 0.92 2/66 3779 Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 120906 65 0 0 24 0 11 0 433044944 859725824 32836 4294967295 134512640 134569956 3221224400 3221214844 1131312288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209894 32836 13073 16 0 209878 0 vsize: 839576 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.17 s] Raw data (loadavg): 1.00 0.97 0.92 1/56 3781 Raw data (stat): 3704 (java) Z 3703 12452 12451 0 -1 1036 18062 15225 1 0 120911 65 2319 43 25 0 1 0 433044944 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): 1230.17 CPU time (s): 1233.41 CPU user time (s): 1232.31 CPU system time (s): 1.09883 CPU usage (%): 100.263 Max. virtual memory (Kb): 839576 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####