Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb |
MD5SUM | 69bc407892007f468f206122d0d17aba |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 9 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 900207 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 9508275 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.409937 |
Number of variables | 100 |
Total number of constraints | 121 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 120 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 90 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-21 18:30:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16805 boxname=wulflinc10 idbench=1293 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 69bc407892007f468f206122d0d17aba /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-enigma.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-enigma.opb IDLAUNCH: 16805 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 528108 kB Buffers: 24152 kB Cached: 460892 kB SwapCached: 0 kB Active: 278488 kB Inactive: 209064 kB HighTotal: 131008 kB HighFree: 7280 kB LowTotal: 903652 kB LowFree: 520828 kB SwapTotal: 2097136 kB SwapFree: 2096784 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6412 kB Slab: 13440 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:50:58 (client local time) WITH STATUS 143 IN 1240.7 SECONDS stats: 16805 7 1240.7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-enigma.opb c reading problem c [nbvar=100] c [nbconstr=121] c time 0.618 c #vars 100 c #clauses 42 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.85 0.96 0.91 2/54 3551 Raw data (stat): 3551 (runsolver) R 3550 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489039983 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+10.0001 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18088 0 1 0 653 40 0 0 24 0 11 0 489039983 862130176 20765 4294967295 134512640 134569956 3221224400 3221214672 1131168215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210481 20765 13073 16 0 210465 0 vsize: 841924 [startup+20.0012 s] Raw data (loadavg): 1.09 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 1614 40 0 0 25 0 11 0 489039983 861507584 21002 4294967295 134512640 134569956 3221224400 3221214676 1080203733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21002 13073 16 0 210313 0 vsize: 841316 [startup+30.0023 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 2587 41 0 0 25 0 11 0 489039983 861507584 21258 4294967295 134512640 134569956 3221224400 3221214584 1131390703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21258 13073 16 0 210313 0 vsize: 841316 [startup+40.0013 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 3564 41 0 0 25 0 11 0 489039983 861507584 21397 4294967295 134512640 134569956 3221224400 3221214440 1131448141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21397 13073 16 0 210313 0 vsize: 841316 [startup+50.0017 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 4539 41 0 0 25 0 11 0 489039983 861507584 21566 4294967295 134512640 134569956 3221224400 3221214584 1131390144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 21566 13073 16 0 210313 0 vsize: 841316 [startup+60.002 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 5519 41 0 0 25 0 11 0 489039983 861507584 21732 4294967295 134512640 134569956 3221224400 3221214680 1131200430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21732 13073 16 0 210313 0 vsize: 841316 [startup+70.003 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 6507 42 0 0 25 0 11 0 489039983 861507584 21781 4294967295 134512640 134569956 3221224400 3221214544 1131409533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21781 13073 16 0 210313 0 vsize: 841316 [startup+80.0036 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 7489 42 0 0 24 0 11 0 489039983 861507584 21872 4294967295 134512640 134569956 3221224400 3221214680 1131200994 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21872 13073 16 0 210313 0 vsize: 841316 [startup+90.0036 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 8474 42 0 0 25 0 11 0 489039983 861507584 21949 4294967295 134512640 134569956 3221224400 3221214584 1131194920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 21949 13073 16 0 210313 0 vsize: 841316 [startup+100.004 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 9465 42 0 0 25 0 11 0 489039983 861507584 22002 4294967295 134512640 134569956 3221224400 3221214672 1131167805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 22002 13073 16 0 210313 0 vsize: 841316 [startup+110.004 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 10451 43 0 0 25 0 11 0 489039983 861507584 22072 4294967295 134512640 134569956 3221224400 3221214520 1131203553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22072 13073 16 0 210313 0 vsize: 841316 [startup+120.005 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 11430 43 0 0 25 0 11 0 489039983 861507584 22162 4294967295 134512640 134569956 3221224400 3221214592 1131464304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22162 13073 16 0 210313 0 vsize: 841316 [startup+130.005 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 12414 43 0 0 25 0 11 0 489039983 861507584 22234 4294967295 134512640 134569956 3221224400 3221214548 1080216944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22234 13073 16 0 210313 0 vsize: 841316 [startup+140.005 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 13402 43 0 0 25 0 11 0 489039983 861507584 22266 4294967295 134512640 134569956 3221224400 3221214616 1131260428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22266 13073 16 0 210313 0 vsize: 841316 [startup+150.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 14389 44 0 0 25 0 11 0 489039983 861507584 22320 4294967295 134512640 134569956 3221224400 3221214616 1131261080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22320 13073 16 0 210313 0 vsize: 841316 [startup+160.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 15376 44 0 0 25 0 11 0 489039983 861507584 22431 4294967295 134512640 134569956 3221224400 3221214736 1131176290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22431 13073 16 0 210313 0 vsize: 841316 [startup+170.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 16364 44 0 0 25 0 11 0 489039983 861507584 22502 4294967295 134512640 134569956 3221224400 3221214616 1131260020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22502 13073 16 0 210313 0 vsize: 841316 [startup+180.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 17352 44 0 0 25 0 11 0 489039983 861507584 22561 4294967295 134512640 134569956 3221224400 3221214616 1131260381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22561 13073 16 0 210313 0 vsize: 841316 [startup+190.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 18343 45 0 0 25 0 11 0 489039983 861507584 22680 4294967295 134512640 134569956 3221224400 3221214488 1131402616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22680 13073 16 0 210313 0 vsize: 841316 [startup+200.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 19332 45 0 0 25 0 11 0 489039983 861507584 22745 4294967295 134512640 134569956 3221224400 3221214468 1080217184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22745 13073 16 0 210313 0 vsize: 841316 [startup+210.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 20317 45 0 0 25 0 11 0 489039983 861507584 22848 4294967295 134512640 134569956 3221224400 3221214408 1080217310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22848 13073 16 0 210313 0 vsize: 841316 [startup+220.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 21303 46 0 0 25 0 11 0 489039983 861507584 22936 4294967295 134512640 134569956 3221224400 3221214672 1131168718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 22936 13073 16 0 210313 0 vsize: 841316 [startup+230.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 22284 46 0 0 25 0 11 0 489039983 861507584 23044 4294967295 134512640 134569956 3221224400 3221214656 1131318278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23044 13073 16 0 210313 0 vsize: 841316 [startup+240.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 23266 46 0 0 24 0 11 0 489039983 861507584 23132 4294967295 134512640 134569956 3221224400 3221214776 1131293326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23132 13073 16 0 210313 0 vsize: 841316 [startup+250.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 24250 47 0 0 25 0 11 0 489039983 861507584 23211 4294967295 134512640 134569956 3221224400 3221214440 1131448008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23211 13073 16 0 210313 0 vsize: 841316 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 25233 48 0 0 25 0 11 0 489039983 861507584 23283 4294967295 134512640 134569956 3221224400 3221214688 1131283104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23283 13073 16 0 210313 0 vsize: 841316 [startup+270.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 26212 48 0 0 25 0 11 0 489039983 861507584 23355 4294967295 134512640 134569956 3221224400 3221214616 1131261105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23355 13073 16 0 210313 0 vsize: 841316 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 27189 48 0 0 25 0 11 0 489039983 861507584 23438 4294967295 134512640 134569956 3221224400 3221214656 1131317770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23438 13073 16 0 210313 0 vsize: 841316 [startup+290.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 28166 49 0 0 25 0 11 0 489039983 861507584 23537 4294967295 134512640 134569956 3221224400 3221214440 1131448360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23537 13073 16 0 210313 0 vsize: 841316 [startup+300.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 29142 49 0 0 25 0 11 0 489039983 861507584 23637 4294967295 134512640 134569956 3221224400 3221214584 1131390156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23637 13073 16 0 210313 0 vsize: 841316 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 30123 49 0 0 25 0 11 0 489039983 861507584 23696 4294967295 134512640 134569956 3221224400 3221214672 1131168188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23696 13073 16 0 210313 0 vsize: 841316 [startup+320.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 31100 50 0 0 25 0 11 0 489039983 861507584 23811 4294967295 134512640 134569956 3221224400 3221214616 1131259887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 23811 13073 16 0 210313 0 vsize: 841316 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 32071 50 0 0 25 0 11 0 489039983 861507584 23934 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 23934 13073 16 0 210313 0 vsize: 841316 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 33047 50 0 0 25 0 11 0 489039983 861507584 24035 4294967295 134512640 134569956 3221224400 3221214672 1131168464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24035 13073 16 0 210313 0 vsize: 841316 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 34019 50 0 0 25 0 11 0 489039983 861507584 24155 4294967295 134512640 134569956 3221224400 3221214408 1080217328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24155 13073 16 0 210313 0 vsize: 841316 [startup+360.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 34991 51 0 0 25 0 11 0 489039983 861507584 24267 4294967295 134512640 134569956 3221224400 3221214440 1131447662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24267 13073 16 0 210313 0 vsize: 841316 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 35962 51 0 0 25 0 11 0 489039983 861507584 24379 4294967295 134512640 134569956 3221224400 3221214672 1131168186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 24379 13073 16 0 210313 0 vsize: 841316 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 36927 51 0 0 25 0 11 0 489039983 861507584 24509 4294967295 134512640 134569956 3221224400 3221214600 1131194955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24509 13073 16 0 210313 0 vsize: 841316 [startup+390.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 37897 52 0 0 25 0 11 0 489039983 861507584 24639 4294967295 134512640 134569956 3221224400 3221214584 1131543629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24639 13073 16 0 210313 0 vsize: 841316 [startup+400.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 38865 52 0 0 25 0 11 0 489039983 861507584 24747 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24747 13073 16 0 210313 0 vsize: 841316 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 39834 52 0 0 25 0 11 0 489039983 861507584 24853 4294967295 134512640 134569956 3221224400 3221214584 1131390253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24853 13073 16 0 210313 0 vsize: 841316 [startup+420.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 40803 53 0 0 25 0 11 0 489039983 861507584 24965 4294967295 134512640 134569956 3221224400 3221214672 1131168704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 24965 13073 16 0 210313 0 vsize: 841316 [startup+430.014 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 41772 53 0 0 25 0 11 0 489039983 861507584 25079 4294967295 134512640 134569956 3221224400 3221214392 1080217276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25079 13073 16 0 210313 0 vsize: 841316 [startup+440.014 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18089 0 1 0 42741 53 0 0 25 0 11 0 489039983 861507584 25184 4294967295 134512640 134569956 3221224400 3221214672 1131168341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25184 13073 16 0 210313 0 vsize: 841316 [startup+450.015 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 43716 54 0 0 25 0 11 0 489039983 861507584 25288 4294967295 134512640 134569956 3221224400 3221214776 1131292217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25288 13073 16 0 210313 0 vsize: 841316 [startup+460.015 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 44682 54 0 0 25 0 11 0 489039983 861507584 25411 4294967295 134512640 134569956 3221224400 3221214408 1080217322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25411 13073 16 0 210313 0 vsize: 841316 [startup+470.016 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 45651 55 0 0 25 0 11 0 489039983 861507584 25511 4294967295 134512640 134569956 3221224400 3221214672 1131168120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25511 13073 16 0 210313 0 vsize: 841316 [startup+480.016 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 46619 55 0 0 25 0 11 0 489039983 861507584 25621 4294967295 134512640 134569956 3221224400 3221214696 1131353991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25621 13073 16 0 210313 0 vsize: 841316 [startup+490.016 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 47586 55 0 0 25 0 11 0 489039983 861507584 25718 4294967295 134512640 134569956 3221224400 3221214776 1131292231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25718 13073 16 0 210313 0 vsize: 841316 [startup+500.016 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 48552 55 0 0 25 0 11 0 489039983 861507584 25810 4294967295 134512640 134569956 3221224400 3221214512 1131203945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25810 13073 16 0 210313 0 vsize: 841316 [startup+510.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 49524 55 0 0 25 0 11 0 489039983 861507584 25916 4294967295 134512640 134569956 3221224400 3221214672 1131168353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 25916 13073 16 0 210313 0 vsize: 841316 [startup+520.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 50493 55 0 0 25 0 11 0 489039983 861507584 26019 4294967295 134512640 134569956 3221224400 3221214624 1131216576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26019 13073 16 0 210313 0 vsize: 841316 [startup+530.017 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 51467 56 0 0 25 0 11 0 489039983 861507584 26117 4294967295 134512640 134569956 3221224400 3221214600 1131195338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26117 13073 16 0 210313 0 vsize: 841316 [startup+540.017 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 52448 56 0 0 25 0 11 0 489039983 861507584 26205 4294967295 134512640 134569956 3221224400 3221214440 1131448002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26205 13073 16 0 210313 0 vsize: 841316 [startup+550.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 53425 56 0 0 25 0 11 0 489039983 861507584 26312 4294967295 134512640 134569956 3221224400 3221214776 1131461615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26312 13073 16 0 210313 0 vsize: 841316 [startup+560.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 54403 57 0 0 25 0 11 0 489039983 861507584 26407 4294967295 134512640 134569956 3221224400 3221214576 1079721553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26407 13073 16 0 210313 0 vsize: 841316 [startup+570.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 55382 57 0 0 25 0 11 0 489039983 861507584 26494 4294967295 134512640 134569956 3221224400 3221214608 1131209111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26494 13073 16 0 210313 0 vsize: 841316 [startup+580.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 56357 58 0 0 25 0 11 0 489039983 861507584 26575 4294967295 134512640 134569956 3221224400 3221214504 1131409754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26575 13073 16 0 210313 0 vsize: 841316 [startup+590.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 57336 58 0 0 25 0 11 0 489039983 861507584 26644 4294967295 134512640 134569956 3221224400 3221214512 1131203363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26644 13073 16 0 210313 0 vsize: 841316 [startup+600.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 58311 59 0 0 25 0 11 0 489039983 861507584 26741 4294967295 134512640 134569956 3221224400 3221214672 1131168221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26741 13073 16 0 210313 0 vsize: 841316 [startup+610.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 59289 59 0 0 25 0 11 0 489039983 861507584 26812 4294967295 134512640 134569956 3221224400 3221214592 1131400794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26812 13073 16 0 210313 0 vsize: 841316 [startup+620.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 60266 60 0 0 25 0 11 0 489039983 861507584 26883 4294967295 134512640 134569956 3221224400 3221214608 1131208194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26883 13073 16 0 210313 0 vsize: 841316 [startup+630.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 61243 60 0 0 25 0 11 0 489039983 861507584 26961 4294967295 134512640 134569956 3221224400 3221214616 1131258997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 26961 13073 16 0 210313 0 vsize: 841316 [startup+640.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 62224 60 0 0 25 0 11 0 489039983 861507584 27027 4294967295 134512640 134569956 3221224400 3221214672 1131168321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27027 13073 16 0 210313 0 vsize: 841316 [startup+650.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 63200 60 0 0 25 0 11 0 489039983 861507584 27091 4294967295 134512640 134569956 3221224400 3221214808 1131228255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27091 13073 16 0 210313 0 vsize: 841316 [startup+660.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 64177 61 0 0 25 0 11 0 489039983 861507584 27163 4294967295 134512640 134569956 3221224400 3221214720 1131204789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27163 13073 16 0 210313 0 vsize: 841316 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 65162 61 0 0 25 0 11 0 489039983 861507584 27217 4294967295 134512640 134569956 3221224400 3221214504 1131409917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27217 13073 16 0 210313 0 vsize: 841316 [startup+680.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 66141 61 0 0 25 0 11 0 489039983 861507584 27320 4294967295 134512640 134569956 3221224400 3221214616 1131257668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27320 13073 16 0 210313 0 vsize: 841316 [startup+690.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 67120 61 0 0 25 0 11 0 489039983 861507584 27416 4294967295 134512640 134569956 3221224400 3221214584 1131390442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27416 13073 16 0 210313 0 vsize: 841316 [startup+700.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 68107 62 0 0 25 0 11 0 489039983 861507584 27473 4294967295 134512640 134569956 3221224400 3221214544 1131409202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27473 13073 16 0 210313 0 vsize: 841316 [startup+710.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 69100 62 0 0 25 0 11 0 489039983 861507584 27525 4294967295 134512640 134569956 3221224400 3221214504 1131409870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27525 13073 16 0 210313 0 vsize: 841316 [startup+720.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 70092 62 0 0 25 0 11 0 489039983 861507584 27608 4294967295 134512640 134569956 3221224400 3221214544 1131409164 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27608 13073 16 0 210313 0 vsize: 841316 [startup+730.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 71073 62 0 0 25 0 11 0 489039983 861507584 27689 4294967295 134512640 134569956 3221224400 3221214672 1131168321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27689 13073 16 0 210313 0 vsize: 841316 [startup+740.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 72059 63 0 0 25 0 11 0 489039983 861507584 27749 4294967295 134512640 134569956 3221224400 3221214440 1131447814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27749 13073 16 0 210313 0 vsize: 841316 [startup+750.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 73044 63 0 0 25 0 11 0 489039983 861507584 27810 4294967295 134512640 134569956 3221224400 3221214680 1131200590 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27810 13073 16 0 210313 0 vsize: 841316 [startup+760.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 74029 63 0 0 25 0 11 0 489039983 861507584 27880 4294967295 134512640 134569956 3221224400 3221214672 1131168246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27880 13073 16 0 210313 0 vsize: 841316 [startup+770.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 75003 64 0 0 25 0 11 0 489039983 861507584 27966 4294967295 134512640 134569956 3221224400 3221214592 1131464323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 27966 13073 16 0 210313 0 vsize: 841316 [startup+780.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 75992 64 0 0 25 0 11 0 489039983 861507584 28003 4294967295 134512640 134569956 3221224400 3221214616 1131260336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28003 13073 16 0 210313 0 vsize: 841316 [startup+790.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 76977 64 0 0 25 0 11 0 489039983 861507584 28055 4294967295 134512640 134569956 3221224400 3221214564 1079721456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 28055 13073 16 0 210313 0 vsize: 841316 [startup+800.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 77962 65 0 0 25 0 11 0 489039983 861507584 28089 4294967295 134512640 134569956 3221224400 3221214624 1131216278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28089 13073 16 0 210313 0 vsize: 841316 [startup+810.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 78946 65 0 0 25 0 11 0 489039983 861507584 28148 4294967295 134512640 134569956 3221224400 3221214408 1080217209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28148 13073 16 0 210313 0 vsize: 841316 [startup+820.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 79932 66 0 0 25 0 11 0 489039983 861507584 28222 4294967295 134512640 134569956 3221224400 3221214544 1131409533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28222 13073 16 0 210313 0 vsize: 841316 [startup+830.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 80918 66 0 0 25 0 11 0 489039983 861507584 28291 4294967295 134512640 134569956 3221224400 3221214576 1131261214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28291 13073 16 0 210313 0 vsize: 841316 [startup+840.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 81896 66 0 0 25 0 11 0 489039983 861507584 28360 4294967295 134512640 134569956 3221224400 3221214616 1131260733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28360 13073 16 0 210313 0 vsize: 841316 [startup+850.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 82877 66 0 0 25 0 11 0 489039983 861507584 28420 4294967295 134512640 134569956 3221224400 3221214616 1131260767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28420 13073 16 0 210313 0 vsize: 841316 [startup+860.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 83858 67 0 0 25 0 11 0 489039983 861507584 28480 4294967295 134512640 134569956 3221224400 3221214672 1131168188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28480 13073 16 0 210313 0 vsize: 841316 [startup+870.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 84837 67 0 0 25 0 11 0 489039983 861507584 28567 4294967295 134512640 134569956 3221224400 3221214632 1131470229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28567 13073 16 0 210313 0 vsize: 841316 [startup+880.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 85812 68 0 0 25 0 11 0 489039983 861507584 28642 4294967295 134512640 134569956 3221224400 3221214560 1079721529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28642 13073 16 0 210313 0 vsize: 841316 [startup+890.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 86790 68 0 0 25 0 11 0 489039983 861507584 28720 4294967295 134512640 134569956 3221224400 3221214672 1131168472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28720 13073 16 0 210313 0 vsize: 841316 [startup+900.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 87770 68 0 0 25 0 11 0 489039983 861507584 28792 4294967295 134512640 134569956 3221224400 3221214392 1131409749 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28792 13073 16 0 210313 0 vsize: 841316 [startup+910.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 88750 68 0 0 25 0 11 0 489039983 861507584 28887 4294967295 134512640 134569956 3221224400 3221213944 1085679321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28887 13073 16 0 210313 0 vsize: 841316 [startup+920.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 89729 69 0 0 25 0 11 0 489039983 861507584 28944 4294967295 134512640 134569956 3221224400 3221214656 1131318287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 28944 13073 16 0 210313 0 vsize: 841316 [startup+930.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 90713 69 0 0 25 0 11 0 489039983 861507584 29019 4294967295 134512640 134569956 3221224400 3221214672 1131220549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29019 13073 16 0 210313 0 vsize: 841316 [startup+940.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 91697 69 0 0 25 0 11 0 489039983 861507584 29085 4294967295 134512640 134569956 3221224400 3221214584 1131406775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29085 13073 16 0 210313 0 vsize: 841316 [startup+950.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 92681 70 0 0 25 0 11 0 489039983 861507584 29134 4294967295 134512640 134569956 3221224400 3221214672 1131168102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29134 13073 16 0 210313 0 vsize: 841316 [startup+960.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 93658 70 0 0 25 0 11 0 489039983 861507584 29211 4294967295 134512640 134569956 3221224400 3221214504 1131409797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29211 13073 16 0 210313 0 vsize: 841316 [startup+970.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 94637 71 0 0 25 0 11 0 489039983 861507584 29266 4294967295 134512640 134569956 3221224400 3221214616 1131260444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29266 13073 16 0 210313 0 vsize: 841316 [startup+980.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 95616 71 0 0 25 0 11 0 489039983 861507584 29350 4294967295 134512640 134569956 3221224400 3221214512 1131395332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29350 13073 16 0 210313 0 vsize: 841316 [startup+990.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 96591 71 0 0 25 0 11 0 489039983 861507584 29438 4294967295 134512640 134569956 3221224400 3221214564 1079721456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29438 13073 16 0 210313 0 vsize: 841316 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 97574 72 0 0 25 0 11 0 489039983 861507584 29502 4294967295 134512640 134569956 3221224400 3221214612 1131410276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29502 13073 16 0 210313 0 vsize: 841316 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 98553 72 0 0 25 0 11 0 489039983 861507584 29583 4294967295 134512640 134569956 3221224400 3221214736 1131176510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29583 13073 16 0 210313 0 vsize: 841316 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 99535 72 0 0 25 0 11 0 489039983 861507584 29645 4294967295 134512640 134569956 3221224400 3221214672 1131168384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29645 13073 16 0 210313 0 vsize: 841316 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 100505 72 0 0 25 0 11 0 489039983 861507584 29739 4294967295 134512640 134569956 3221224400 3221214672 1131168215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29739 13073 16 0 210313 0 vsize: 841316 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 101479 73 0 0 25 0 11 0 489039983 861507584 29845 4294967295 134512640 134569956 3221224400 3221214672 1131168215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210329 29845 13073 16 0 210313 0 vsize: 841316 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 102454 73 0 0 25 0 11 0 489039983 861507584 29937 4294967295 134512640 134569956 3221224400 3221214520 1131203091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 29937 13073 16 0 210313 0 vsize: 841316 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 103429 73 0 0 25 0 11 0 489039983 861507584 30053 4294967295 134512640 134569956 3221224400 3221214584 1131390359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30053 13073 16 0 210313 0 vsize: 841316 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 104407 74 0 0 25 0 11 0 489039983 861507584 30113 4294967295 134512640 134569956 3221224400 3221214672 1131168353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30113 13073 16 0 210313 0 vsize: 841316 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 105385 74 0 0 25 0 11 0 489039983 861507584 30186 4294967295 134512640 134569956 3221224400 3221214616 1131260623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30186 13073 16 0 210313 0 vsize: 841316 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 106364 74 0 0 25 0 11 0 489039983 861507584 30276 4294967295 134512640 134569956 3221224400 3221214744 1131220261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30276 13073 16 0 210313 0 vsize: 841316 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 107339 74 0 0 25 0 11 0 489039983 861507584 30351 4294967295 134512640 134569956 3221224400 3221214672 1131203553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30351 13073 16 0 210313 0 vsize: 841316 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 108323 75 0 0 25 0 11 0 489039983 861507584 30406 4294967295 134512640 134569956 3221224400 3221214672 1131168186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30406 13073 16 0 210313 0 vsize: 841316 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 109299 75 0 0 25 0 11 0 489039983 861507584 30500 4294967295 134512640 134569956 3221224400 3221214876 1080204290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30500 13073 16 0 210313 0 vsize: 841316 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 110271 76 0 0 25 0 11 0 489039983 861507584 30608 4294967295 134512640 134569956 3221224400 3221214584 1131390285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30608 13073 16 0 210313 0 vsize: 841316 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 111256 76 0 0 25 0 11 0 489039983 861507584 30649 4294967295 134512640 134569956 3221224400 3221214616 1131260460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30649 13073 16 0 210313 0 vsize: 841316 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 112241 76 0 0 25 0 11 0 489039983 861507584 30698 4294967295 134512640 134569956 3221224400 3221214488 1131402582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30698 13073 16 0 210313 0 vsize: 841316 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 113226 77 0 0 25 0 11 0 489039983 861507584 30760 4294967295 134512640 134569956 3221224400 3221214440 1131447856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30760 13073 16 0 210313 0 vsize: 841316 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 114210 77 0 0 25 0 11 0 489039983 861507584 30807 4294967295 134512640 134569956 3221224400 3221214828 1130883540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30807 13073 16 0 210313 0 vsize: 841316 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 115187 78 0 0 25 0 11 0 489039983 861507584 30878 4294967295 134512640 134569956 3221224400 3221214456 1080217189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30878 13073 16 0 210313 0 vsize: 841316 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 116176 78 0 0 25 0 11 0 489039983 861507584 30913 4294967295 134512640 134569956 3221224400 3221214616 1131260020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30913 13073 16 0 210313 0 vsize: 841316 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 117156 78 0 0 25 0 11 0 489039983 861507584 30962 4294967295 134512640 134569956 3221224400 3221214504 1131409206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 30962 13073 16 0 210313 0 vsize: 841316 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 118137 79 0 0 25 0 11 0 489039983 861507584 31025 4294967295 134512640 134569956 3221224400 3221214584 1131554214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 31025 13073 16 0 210313 0 vsize: 841316 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 119117 79 0 0 25 0 11 0 489039983 861507584 31070 4294967295 134512640 134569956 3221224400 3221214616 1131203553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 31070 13073 16 0 210313 0 vsize: 841316 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 3561 Raw data (stat): 3551 (java) R 3550 25347 25346 0 -1 0 18090 0 1 0 120098 79 0 0 25 0 11 0 489039983 861507584 31159 4294967295 134512640 134569956 3221224400 3221214440 1131447372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210329 31159 13073 16 0 210313 0 vsize: 841316 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 3563 Raw data (stat): 3551 (java) Z 3550 25347 25346 0 -1 1036 18090 18106 1 0 120100 85 3838 46 25 0 1 0 489039983 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.11 CPU time (s): 1240.7 CPU user time (s): 1239.38 CPU system time (s): 1.3138 CPU usage (%): 100.861 Max. virtual memory (Kb): 841924 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####