Name | normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb |
MD5SUM | c12951e903009dc00793ce72594cf3ba |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 624 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 624 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 624 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03684 |
Number of variables | 624 |
Total number of constraints | 1884 |
Number of constraints which are clauses | 1860 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 26 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-13 17:03:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2178 boxname=wulflinc11 idbench=242 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c12951e903009dc00793ce72594cf3ba /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb IDLAUNCH: 2178 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 929436 kB Buffers: 32720 kB Cached: 48300 kB SwapCached: 4932 kB Active: 48568 kB Inactive: 40160 kB HighTotal: 131008 kB HighFree: 79044 kB LowTotal: 903652 kB LowFree: 850392 kB SwapTotal: 2097136 kB SwapFree: 2092204 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 10876 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:24:48 (client local time) WITH STATUS 143 IN SECONDS stats: 2178 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb c reading problem c [nbvar=624] c [nbconstr=1884] c time 2.705 c #vars 624 c #clauses 1884 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=70 c Current CPU time (ms) : 116.349 c starts : 5 c conflicts : 969 c decisions : 6475 c propagations : 43040 c inspects : 326374 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 4 c learned clauses : 969 c root simplifications : 5 c c CURRENT OPTIMUM=66 c Current CPU time (ms) : 739.185 c starts : 11 c conflicts : 2384 c decisions : 14640 c propagations : 114955 c inspects : 1799435 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 5 c learned clauses : 2384 c root simplifications : 11 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.95 2/54 1299 Raw data (stat): 1299 (runsolver) R 1298 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419380365 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.0012 s] Raw data (loadavg): 1.09 1.02 0.96 3/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18070 0 1 0 583 45 0 0 25 0 11 0 419380365 863387648 21500 4294967295 134512640 134569956 3221224416 3221214632 1131310689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210788 21500 13073 16 0 210772 0 vsize: 843152 [startup+20.0019 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18071 0 1 0 1513 46 0 0 25 0 11 0 419380365 863191040 21898 4294967295 134512640 134569956 3221224416 3221214576 1131535577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 21898 13073 16 0 210724 0 vsize: 842960 [startup+30.0022 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18071 0 1 0 2431 47 0 0 25 0 11 0 419380365 863191040 22254 4294967295 134512640 134569956 3221224416 3221214792 1131395621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 22254 13073 16 0 210724 0 vsize: 842960 [startup+40.0049 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 0 1 0 3353 47 0 0 25 0 11 0 419380365 863191040 22777 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 22777 13073 16 0 210724 0 vsize: 842960 [startup+50.0058 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 4268 47 0 0 25 0 11 0 419380365 863191040 22954 4294967295 134512640 134569956 3221224416 3221214688 1131597345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 22954 13073 16 0 210724 0 vsize: 842960 [startup+60.0066 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 5189 47 0 0 25 0 11 0 419380365 863191040 23104 4294967295 134512640 134569956 3221224416 3221214688 1131597338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 23104 13073 16 0 210724 0 vsize: 842960 [startup+70.008 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 6102 47 0 0 25 0 11 0 419380365 863191040 23344 4294967295 134512640 134569956 3221224416 3221214848 1131271052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 23344 13073 16 0 210724 0 vsize: 842960 [startup+80.0091 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 7032 47 0 0 25 0 11 0 419380365 863191040 23629 4294967295 134512640 134569956 3221224416 3221214664 1131470867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 23629 13073 16 0 210724 0 vsize: 842960 [startup+90.0089 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 7973 47 0 0 25 0 11 0 419380365 863191040 23869 4294967295 134512640 134569956 3221224416 3221214792 1131394697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 23869 13073 16 0 210724 0 vsize: 842960 [startup+100.01 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 8911 47 0 0 25 0 11 0 419380365 863191040 24038 4294967295 134512640 134569956 3221224416 3221214568 1131535776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24038 13073 16 0 210724 0 vsize: 842960 [startup+110.01 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 1309 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 9855 47 0 0 25 0 11 0 419380365 863191040 24215 4294967295 134512640 134569956 3221224416 3221214680 1131594853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24215 13073 16 0 210724 0 vsize: 842960 [startup+120.01 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 1310 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 10796 47 0 0 25 0 11 0 419380365 863191040 24324 4294967295 134512640 134569956 3221224416 3221214104 1131641297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24324 13073 16 0 210724 0 vsize: 842960 [startup+130.011 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 11741 47 0 0 25 0 11 0 419380365 863191040 24461 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24461 13073 16 0 210724 0 vsize: 842960 [startup+140.011 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 12687 47 0 0 25 0 11 0 419380365 863191040 24568 4294967295 134512640 134569956 3221224416 3221214624 1131310812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24568 13073 16 0 210724 0 vsize: 842960 [startup+150.012 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 13628 47 0 0 25 0 11 0 419380365 863191040 24754 4294967295 134512640 134569956 3221224416 3221214160 1131641272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24754 13073 16 0 210724 0 vsize: 842960 [startup+160.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 14587 47 0 0 25 0 11 0 419380365 863191040 24902 4294967295 134512640 134569956 3221224416 3221214680 1131597328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 24902 13073 16 0 210724 0 vsize: 842960 [startup+170.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 15550 47 0 0 25 0 11 0 419380365 863191040 25032 4294967295 134512640 134569956 3221224416 3221214100 1131641240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25032 13073 16 0 210724 0 vsize: 842960 [startup+180.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 16497 47 0 0 25 0 11 0 419380365 863191040 25146 4294967295 134512640 134569956 3221224416 3221214672 1131218437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25146 13073 16 0 210724 0 vsize: 842960 [startup+190.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 17426 47 0 0 24 0 11 0 419380365 863191040 25254 4294967295 134512640 134569956 3221224416 3221214568 1131535813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25254 13073 16 0 210724 0 vsize: 842960 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 18353 47 0 0 25 0 11 0 419380365 863191040 25399 4294967295 134512640 134569956 3221224416 3221214568 1131537167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25399 13073 16 0 210724 0 vsize: 842960 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 19308 47 0 0 25 0 11 0 419380365 863191040 25469 4294967295 134512640 134569956 3221224416 3221214768 1131394663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25469 13073 16 0 210724 0 vsize: 842960 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 20255 47 0 0 25 0 11 0 419380365 863191040 25638 4294967295 134512640 134569956 3221224416 3221214584 1131260287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25638 13073 16 0 210724 0 vsize: 842960 [startup+230.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 21204 47 0 0 25 0 11 0 419380365 863191040 25738 4294967295 134512640 134569956 3221224416 3221214768 1131394690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25738 13073 16 0 210724 0 vsize: 842960 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 22165 47 0 0 25 0 11 0 419380365 863191040 25913 4294967295 134512640 134569956 3221224416 3221214160 1131641297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 25913 13073 16 0 210724 0 vsize: 842960 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 23124 47 0 0 25 0 11 0 419380365 863191040 26056 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26056 13073 16 0 210724 0 vsize: 842960 [startup+260.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 24078 47 0 0 25 0 11 0 419380365 863191040 26186 4294967295 134512640 134569956 3221224416 3221214104 1131641272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26186 13073 16 0 210724 0 vsize: 842960 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 25035 47 0 0 25 0 11 0 419380365 863191040 26299 4294967295 134512640 134569956 3221224416 3221214588 1131641728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26299 13073 16 0 210724 0 vsize: 842960 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 25993 47 0 0 25 0 11 0 419380365 863191040 26417 4294967295 134512640 134569956 3221224416 3221214264 1131641220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26417 13073 16 0 210724 0 vsize: 842960 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 26955 47 0 0 25 0 11 0 419380365 863191040 26542 4294967295 134512640 134569956 3221224416 3221214584 1131259629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26542 13073 16 0 210724 0 vsize: 842960 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 27919 47 0 0 25 0 11 0 419380365 863191040 26632 4294967295 134512640 134569956 3221224416 3221214632 1131472886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26632 13073 16 0 210724 0 vsize: 842960 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 28883 47 0 0 25 0 11 0 419380365 863191040 26711 4294967295 134512640 134569956 3221224416 3221214568 1131534896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26711 13073 16 0 210724 0 vsize: 842960 [startup+320.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 29848 48 0 0 25 0 11 0 419380365 863191040 26794 4294967295 134512640 134569956 3221224416 3221214768 1131394781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26794 13073 16 0 210724 0 vsize: 842960 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 30808 48 0 0 25 0 11 0 419380365 863191040 26886 4294967295 134512640 134569956 3221224416 3221214768 1131395806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26886 13073 16 0 210724 0 vsize: 842960 [startup+340.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 31778 48 0 0 25 0 11 0 419380365 863191040 26962 4294967295 134512640 134569956 3221224416 3221214400 1085679346 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 26962 13073 16 0 210724 0 vsize: 842960 [startup+350.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 32741 48 0 0 25 0 11 0 419380365 863191040 27040 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27040 13073 16 0 210724 0 vsize: 842960 [startup+360.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 33705 48 0 0 25 0 11 0 419380365 863191040 27118 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27118 13073 16 0 210724 0 vsize: 842960 [startup+370.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 34662 48 0 0 25 0 11 0 419380365 863191040 27207 4294967295 134512640 134569956 3221224416 3221214568 1131536500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27207 13073 16 0 210724 0 vsize: 842960 [startup+380.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 35624 48 0 0 25 0 11 0 419380365 863191040 27287 4294967295 134512640 134569956 3221224416 3221214584 1131259536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27287 13073 16 0 210724 0 vsize: 842960 [startup+390.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 36586 48 0 0 25 0 11 0 419380365 863191040 27390 4294967295 134512640 134569956 3221224416 3221214584 1131259629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27390 13073 16 0 210724 0 vsize: 842960 [startup+400.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 37547 48 0 0 25 0 11 0 419380365 863191040 27479 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27479 13073 16 0 210724 0 vsize: 842960 [startup+410.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 38510 48 0 0 25 0 11 0 419380365 863191040 27574 4294967295 134512640 134569956 3221224416 3221214664 1131274283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27574 13073 16 0 210724 0 vsize: 842960 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 39477 48 0 0 25 0 11 0 419380365 863191040 27656 4294967295 134512640 134569956 3221224416 3221214120 1085632281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27656 13073 16 0 210724 0 vsize: 842960 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 40443 48 0 0 25 0 11 0 419380365 863191040 27749 4294967295 134512640 134569956 3221224416 3221214104 1131641290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27749 13073 16 0 210724 0 vsize: 842960 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 41415 48 0 0 25 0 11 0 419380365 863191040 27807 4294967295 134512640 134569956 3221224416 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27807 13073 16 0 210724 0 vsize: 842960 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 42384 48 0 0 25 0 11 0 419380365 863191040 27866 4294967295 134512640 134569956 3221224416 3221214744 1131218833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27866 13073 16 0 210724 0 vsize: 842960 [startup+460.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 43355 48 0 0 25 0 11 0 419380365 863191040 27896 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27896 13073 16 0 210724 0 vsize: 842960 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 44324 48 0 0 25 0 11 0 419380365 863191040 27947 4294967295 134512640 134569956 3221224416 3221214260 1131641291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 27947 13073 16 0 210724 0 vsize: 842960 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 45279 48 0 0 25 0 11 0 419380365 863191040 28054 4294967295 134512640 134569956 3221224416 3221214184 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28054 13073 16 0 210724 0 vsize: 842960 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 46238 48 0 0 25 0 11 0 419380365 863191040 28103 4294967295 134512640 134569956 3221224416 3221214768 1131395844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28103 13073 16 0 210724 0 vsize: 842960 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 47203 48 0 0 24 0 11 0 419380365 863191040 28169 4294967295 134512640 134569956 3221224416 3221214768 1131396678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28169 13073 16 0 210724 0 vsize: 842960 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 48163 48 0 0 25 0 11 0 419380365 863191040 28302 4294967295 134512640 134569956 3221224416 3221214768 1131394690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28302 13073 16 0 210724 0 vsize: 842960 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 49126 48 0 0 25 0 11 0 419380365 863191040 28386 4294967295 134512640 134569956 3221224416 3221214768 1131395676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28386 13073 16 0 210724 0 vsize: 842960 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 50096 49 0 0 25 0 11 0 419380365 863191040 28467 4294967295 134512640 134569956 3221224416 3221214768 1131394501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28467 13073 16 0 210724 0 vsize: 842960 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 51058 49 0 0 25 0 11 0 419380365 863191040 28581 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28581 13073 16 0 210724 0 vsize: 842960 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 52019 49 0 0 25 0 11 0 419380365 863191040 28680 4294967295 134512640 134569956 3221224416 3221214768 1131394857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28680 13073 16 0 210724 0 vsize: 842960 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 52979 49 0 0 25 0 11 0 419380365 863191040 28752 4294967295 134512640 134569956 3221224416 3221213904 1085679434 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28752 13073 16 0 210724 0 vsize: 842960 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 53951 49 0 0 25 0 11 0 419380365 863191040 28817 4294967295 134512640 134569956 3221224416 3221214768 1131396793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28817 13073 16 0 210724 0 vsize: 842960 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 54912 49 0 0 25 0 11 0 419380365 863191040 28920 4294967295 134512640 134569956 3221224416 3221214800 1131330352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 28920 13073 16 0 210724 0 vsize: 842960 [startup+590.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 55875 49 0 0 25 0 11 0 419380365 863191040 29030 4294967295 134512640 134569956 3221224416 3221214800 1131327655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29030 13073 16 0 210724 0 vsize: 842960 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 56845 49 0 0 25 0 11 0 419380365 863191040 29103 4294967295 134512640 134569956 3221224416 3221214736 1131276725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29103 13073 16 0 210724 0 vsize: 842960 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 57817 49 0 0 25 0 11 0 419380365 863191040 29139 4294967295 134512640 134569956 3221224416 3221214768 1131395629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29139 13073 16 0 210724 0 vsize: 842960 [startup+620.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 58788 49 0 0 25 0 11 0 419380365 863191040 29194 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29194 13073 16 0 210724 0 vsize: 842960 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 59753 49 0 0 25 0 11 0 419380365 863191040 29282 4294967295 134512640 134569956 3221224416 3221214584 1131259669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29282 13073 16 0 210724 0 vsize: 842960 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 60714 49 0 0 25 0 11 0 419380365 863191040 29345 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29345 13073 16 0 210724 0 vsize: 842960 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 61680 49 0 0 25 0 11 0 419380365 863191040 29418 4294967295 134512640 134569956 3221224416 3221214680 1131597342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29418 13073 16 0 210724 0 vsize: 842960 [startup+660.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 62648 49 0 0 25 0 11 0 419380365 863191040 29521 4294967295 134512640 134569956 3221224416 3221214768 1131399848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29521 13073 16 0 210724 0 vsize: 842960 [startup+670.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 63613 49 0 0 25 0 11 0 419380365 863191040 29594 4294967295 134512640 134569956 3221224416 3221214472 1131581241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29594 13073 16 0 210724 0 vsize: 842960 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 64583 49 0 0 25 0 11 0 419380365 863191040 29674 4294967295 134512640 134569956 3221224416 3221214768 1131394821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29674 13073 16 0 210724 0 vsize: 842960 [startup+690.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 65557 49 0 0 25 0 11 0 419380365 863191040 29713 4294967295 134512640 134569956 3221224416 3221214768 1131395621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29713 13073 16 0 210724 0 vsize: 842960 [startup+700.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 66531 50 0 0 25 0 11 0 419380365 863191040 29765 4294967295 134512640 134569956 3221224416 3221214672 1131218959 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29765 13073 16 0 210724 0 vsize: 842960 [startup+710.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 67514 50 0 0 25 0 11 0 419380365 863191040 29801 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29801 13073 16 0 210724 0 vsize: 842960 [startup+720.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 68491 50 0 0 25 0 11 0 419380365 863191040 29838 4294967295 134512640 134569956 3221224416 3221214536 1131642684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29838 13073 16 0 210724 0 vsize: 842960 [startup+730.033 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 1312 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 69473 50 0 0 25 0 11 0 419380365 863191040 29872 4294967295 134512640 134569956 3221224416 3221214672 1131218467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29872 13073 16 0 210724 0 vsize: 842960 [startup+740.033 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 70443 50 0 0 25 0 11 0 419380365 863191040 29925 4294967295 134512640 134569956 3221224416 3221214208 1131642642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 29925 13073 16 0 210724 0 vsize: 842960 [startup+750.033 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 71430 51 0 0 25 0 11 0 419380365 863191040 29941 4294967295 134512640 134569956 3221224416 3221214672 1131218775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 29941 13073 16 0 210724 0 vsize: 842960 [startup+760.033 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 72393 51 0 0 25 0 11 0 419380365 863191040 30016 4294967295 134512640 134569956 3221224416 3221214568 1131534977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30016 13073 16 0 210724 0 vsize: 842960 [startup+770.033 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 73354 51 0 0 25 0 11 0 419380365 863191040 30072 4294967295 134512640 134569956 3221224416 3221214680 1131597331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30072 13073 16 0 210724 0 vsize: 842960 [startup+780.034 s] Raw data (loadavg): 1.11 1.03 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 74316 52 0 0 25 0 11 0 419380365 863191040 30174 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30174 13073 16 0 210724 0 vsize: 842960 [startup+790.034 s] Raw data (loadavg): 1.10 1.03 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 75279 52 0 0 25 0 11 0 419380365 863191040 30282 4294967295 134512640 134569956 3221224416 3221214464 1131637534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30282 13073 16 0 210724 0 vsize: 842960 [startup+800.034 s] Raw data (loadavg): 1.08 1.03 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 76248 52 0 0 25 0 11 0 419380365 863191040 30364 4294967295 134512640 134569956 3221224416 3221214768 1131398129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30364 13073 16 0 210724 0 vsize: 842960 [startup+810.034 s] Raw data (loadavg): 1.07 1.03 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 77229 52 0 0 25 0 11 0 419380365 863191040 30401 4294967295 134512640 134569956 3221224416 3221214672 1131218789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 30401 13073 16 0 210724 0 vsize: 842960 [startup+820.034 s] Raw data (loadavg): 1.06 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 78205 53 0 0 25 0 11 0 419380365 863191040 30450 4294967295 134512640 134569956 3221224416 3221213984 1131641272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30450 13073 16 0 210724 0 vsize: 842960 [startup+830.035 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 79180 53 0 0 24 0 11 0 419380365 863191040 30499 4294967295 134512640 134569956 3221224416 3221214672 1131218772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30499 13073 16 0 210724 0 vsize: 842960 [startup+840.036 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 80149 53 0 0 25 0 11 0 419380365 863191040 30549 4294967295 134512640 134569956 3221224416 3221214768 1131394735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 30549 13073 16 0 210724 0 vsize: 842960 [startup+850.036 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 81118 54 0 0 25 0 11 0 419380365 863191040 30592 4294967295 134512640 134569956 3221224416 3221214584 1131218625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30592 13073 16 0 210724 0 vsize: 842960 [startup+860.036 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 82085 54 0 0 25 0 11 0 419380365 863191040 30635 4294967295 134512640 134569956 3221224416 3221214264 1131642477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30635 13073 16 0 210724 0 vsize: 842960 [startup+870.037 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 83056 54 0 0 25 0 11 0 419380365 863191040 30673 4294967295 134512640 134569956 3221224416 3221214488 1131641297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 30673 13073 16 0 210724 0 vsize: 842960 [startup+880.037 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 84038 54 0 0 25 0 11 0 419380365 863191040 30722 4294967295 134512640 134569956 3221224416 3221214888 1131545672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30722 13073 16 0 210724 0 vsize: 842960 [startup+890.038 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 85012 54 0 0 25 0 11 0 419380365 863191040 30766 4294967295 134512640 134569956 3221224416 3221214072 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30766 13073 16 0 210724 0 vsize: 842960 [startup+900.037 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 85976 55 0 0 25 0 11 0 419380365 863191040 30838 4294967295 134512640 134569956 3221224416 3221214648 1131569175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30838 13073 16 0 210724 0 vsize: 842960 [startup+910.039 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 86964 55 0 0 24 0 11 0 419380365 863191040 30862 4294967295 134512640 134569956 3221224416 3221214552 1131377649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30862 13073 16 0 210724 0 vsize: 842960 [startup+920.039 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 87944 55 0 0 25 0 11 0 419380365 863191040 30893 4294967295 134512640 134569956 3221224416 3221214768 1131394797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30893 13073 16 0 210724 0 vsize: 842960 [startup+930.04 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 88913 56 0 0 25 0 11 0 419380365 863191040 30940 4294967295 134512640 134569956 3221224416 3221214400 1085679290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 30940 13073 16 0 210724 0 vsize: 842960 [startup+940.041 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 89887 56 0 0 25 0 11 0 419380365 863191040 30965 4294967295 134512640 134569956 3221224416 3221214840 1131270772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 30965 13073 16 0 210724 0 vsize: 842960 [startup+950.04 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 90859 56 0 0 25 0 11 0 419380365 863191040 31043 4294967295 134512640 134569956 3221224416 3221214672 1131219342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31043 13073 16 0 210724 0 vsize: 842960 [startup+960.04 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 91817 57 0 0 25 0 11 0 419380365 863191040 31148 4294967295 134512640 134569956 3221224416 3221214360 1131642696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31148 13073 16 0 210724 0 vsize: 842960 [startup+970.041 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 92768 57 0 0 25 0 11 0 419380365 863191040 31221 4294967295 134512640 134569956 3221224416 3221214680 1131597331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31221 13073 16 0 210724 0 vsize: 842960 [startup+980.042 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 93723 57 0 0 25 0 11 0 419380365 863191040 31316 4294967295 134512640 134569956 3221224416 3221214840 1131271083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31316 13073 16 0 210724 0 vsize: 842960 [startup+990.041 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 94674 57 0 0 25 0 11 0 419380365 863191040 31430 4294967295 134512640 134569956 3221224416 3221214800 1131420672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 31430 13073 16 0 210724 0 vsize: 842960 [startup+1000.04 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 95638 57 0 0 25 0 11 0 419380365 863191040 31487 4294967295 134512640 134569956 3221224416 3221214568 1131535490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31487 13073 16 0 210724 0 vsize: 842960 [startup+1010.04 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 1313 Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 96590 58 0 0 25 0 11 0 419380365 863191040 31609 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31609 13073 16 0 210724 0 vsize: 842960 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 97542 58 0 0 24 0 11 0 419380365 863191040 31710 4294967295 134512640 134569956 3221224416 3221214584 1131259499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31710 13073 16 0 210724 0 vsize: 842960 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 98506 58 0 0 25 0 11 0 419380365 863191040 31759 4294967295 134512640 134569956 3221224416 3221214704 1131362825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31759 13073 16 0 210724 0 vsize: 842960 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 99486 58 0 0 25 0 11 0 419380365 863191040 31802 4294967295 134512640 134569956 3221224416 3221214008 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31802 13073 16 0 210724 0 vsize: 842960 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 100460 59 0 0 25 0 11 0 419380365 863191040 31869 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31869 13073 16 0 210724 0 vsize: 842960 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 101441 59 0 0 25 0 11 0 419380365 863191040 31914 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31914 13073 16 0 210724 0 vsize: 842960 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 102408 60 0 0 25 0 11 0 419380365 863191040 31958 4294967295 134512640 134569956 3221224416 3221214768 1131395640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 31958 13073 16 0 210724 0 vsize: 842960 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 103376 60 0 0 25 0 11 0 419380365 863191040 32018 4294967295 134512640 134569956 3221224416 3221214256 1131642671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32018 13073 16 0 210724 0 vsize: 842960 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 104344 60 0 0 25 0 11 0 419380365 863191040 32074 4294967295 134512640 134569956 3221224416 3221213876 1131641291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32074 13073 16 0 210724 0 vsize: 842960 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 105306 60 0 0 25 0 11 0 419380365 863191040 32140 4294967295 134512640 134569956 3221224416 3221214348 1078830954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32140 13073 16 0 210724 0 vsize: 842960 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 106277 61 0 0 25 0 11 0 419380365 863191040 32205 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 32205 13073 16 0 210724 0 vsize: 842960 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 107247 61 0 0 25 0 11 0 419380365 863191040 32278 4294967295 134512640 134569956 3221224416 3221214524 1131571955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32278 13073 16 0 210724 0 vsize: 842960 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 108214 61 0 0 25 0 11 0 419380365 863191040 32344 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32344 13073 16 0 210724 0 vsize: 842960 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 109187 62 0 0 25 0 11 0 419380365 863191040 32394 4294967295 134512640 134569956 3221224416 3221214704 1131364487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210740 32394 13073 16 0 210724 0 vsize: 842960 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 110165 62 0 0 25 0 11 0 419380365 863191040 32430 4294967295 134512640 134569956 3221224416 3221214424 1131642644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32430 13073 16 0 210724 0 vsize: 842960 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 111132 62 0 0 25 0 11 0 419380365 863191040 32484 4294967295 134512640 134569956 3221224416 3221214672 1131218878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32484 13073 16 0 210724 0 vsize: 842960 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 112104 63 0 0 25 0 11 0 419380365 863191040 32555 4294967295 134512640 134569956 3221224416 3221214768 1131395820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32555 13073 16 0 210724 0 vsize: 842960 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 113073 63 0 0 24 0 11 0 419380365 863191040 32601 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32601 13073 16 0 210724 0 vsize: 842960 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 114047 63 0 0 25 0 11 0 419380365 863191040 32656 4294967295 134512640 134569956 3221224416 3221214088 1131642663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32656 13073 16 0 210724 0 vsize: 842960 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 115021 64 0 0 25 0 11 0 419380365 863191040 32700 4294967295 134512640 134569956 3221224416 3221213900 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32700 13073 16 0 210724 0 vsize: 842960 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 115995 64 0 0 25 0 11 0 419380365 863191040 32746 4294967295 134512640 134569956 3221224416 3221214456 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32746 13073 16 0 210724 0 vsize: 842960 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 116960 64 0 0 25 0 11 0 419380365 863191040 32821 4294967295 134512640 134569956 3221224416 3221214672 1131219439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32821 13073 16 0 210724 0 vsize: 842960 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 117917 64 0 0 25 0 11 0 419380365 863191040 32883 4294967295 134512640 134569956 3221224416 3221214568 1131535815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32883 13073 16 0 210724 0 vsize: 842960 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 118873 65 0 0 25 0 11 0 419380365 863191040 32954 4294967295 134512640 134569956 3221224416 3221214840 1131270759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32954 13073 16 0 210724 0 vsize: 842960 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 119838 65 0 0 25 0 11 0 419380365 863191040 32998 4294967295 134512640 134569956 3221224416 3221214464 1131637815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 32998 13073 16 0 210724 0 vsize: 842960 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 1313 Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 120802 66 0 0 25 0 11 0 419380365 863191040 33053 4294967295 134512640 134569956 3221224416 3221214584 1131259669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210740 33053 13073 16 0 210724 0 vsize: 842960 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.12 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 1315 Raw data (stat): 1299 (java) Z 1298 32461 32460 0 -1 1036 18072 19531 1 0 120803 71 6060 53 25 0 1 0 419380365 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1260.12 CPU time (s): 1269.9 CPU user time (s): 1268.64 CPU system time (s): 1.25781 CPU usage (%): 100.776 Max. virtual memory (Kb): 843152 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####