Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b2c6bc03457d15976fdaf81252d9cdae |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02284 |
Number of variables | 435 |
Total number of constraints | 935 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 532 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-04-13 18:15:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3285 boxname=wulflinc21 idbench=365 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b2c6bc03457d15976fdaf81252d9cdae /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb IDLAUNCH: 3285 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 3 cpu MHz : 451.161 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: 914080 kB Buffers: 25372 kB Cached: 75608 kB SwapCached: 0 kB Active: 32952 kB Inactive: 70892 kB HighTotal: 131008 kB HighFree: 51772 kB LowTotal: 903652 kB LowFree: 862308 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 48 kB Writeback: 0 kB Mapped: 6928 kB Slab: 11216 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:36:13 (client local time) WITH STATUS 143 IN SECONDS stats: 3285 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-10:10:4.5:0.95:100.opb c reading problem c [nbvar=435] c [nbconstr=935] c time 1.678 c #vars 435 c #clauses 501 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=7 c Current CPU time (ms) : 2.06 c starts : 1 c conflicts : 0 c decisions : 173 c propagations : 435 c inspects : 846 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=4 c Current CPU time (ms) : 3.716 c starts : 2 c conflicts : 1 c decisions : 538 c propagations : 1302 c inspects : 2581 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 3 c c CURRENT OPTIMUM=3 c Current CPU time (ms) : 76.96 c starts : 3 c conflicts : 22 c decisions : 4149 c propagations : 9643 c inspects : 68986 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 22 c root simplifications : 23 c c CURRENT OPTIMUM=2 c Current CPU time (ms) : 186.564 c starts : 4 c conflicts : 36 c decisions : 6623 c propagations : 15532 c inspects : 165418 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 36 c root simplifications : 38 #### 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.97 0.99 2/55 32698 Raw data (stat): 32698 (runsolver) R 32697 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 355299655 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.0009 s] Raw data (loadavg): 1.02 1.00 1.00 3/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 785 42 0 0 25 0 11 0 355299655 858361856 19767 4294967295 134512640 134569956 3221224400 3221214896 1131231033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209561 19767 13073 16 0 209545 0 vsize: 838244 [startup+20.0014 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 1749 42 0 0 25 0 11 0 355299655 858038272 19728 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209482 19728 13073 16 0 209466 0 vsize: 837928 [startup+30.0169 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 2717 42 0 0 25 0 11 0 355299655 858038272 19798 4294967295 134512640 134569956 3221224400 3221214880 1131247036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209482 19798 13073 16 0 209466 0 vsize: 837928 [startup+40.0168 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 3698 42 0 0 25 0 11 0 355299655 857571328 19860 4294967295 134512640 134569956 3221224400 3221214800 1131222259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 19860 13073 16 0 209352 0 vsize: 837472 [startup+50.0175 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 4684 42 0 0 25 0 11 0 355299655 857571328 19879 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 19879 13073 16 0 209352 0 vsize: 837472 [startup+60.0172 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 5673 42 0 0 25 0 11 0 355299655 857571328 19925 4294967295 134512640 134569956 3221224400 3221214960 1131261300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 19925 13073 16 0 209352 0 vsize: 837472 [startup+70.0168 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32710 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18073 3 1 0 6662 43 0 0 25 0 11 0 355299655 857571328 19954 4294967295 134512640 134569956 3221224400 3221214896 1131231200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 19954 13073 16 0 209352 0 vsize: 837472 [startup+80.0175 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 7652 43 0 0 25 0 11 0 355299655 857571328 19997 4294967295 134512640 134569956 3221224400 3221214800 1131222851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 19997 13073 16 0 209352 0 vsize: 837472 [startup+90.0175 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 8640 43 0 0 25 0 11 0 355299655 857571328 20030 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20030 13073 16 0 209352 0 vsize: 837472 [startup+100.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 9626 43 0 0 25 0 11 0 355299655 857571328 20063 4294967295 134512640 134569956 3221224400 3221214800 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20063 13073 16 0 209352 0 vsize: 837472 [startup+110.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 10614 43 0 0 25 0 11 0 355299655 857571328 20110 4294967295 134512640 134569956 3221224400 3221214800 1131222515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20110 13073 16 0 209352 0 vsize: 837472 [startup+120.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 11605 43 0 0 25 0 11 0 355299655 857571328 20149 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20149 13073 16 0 209352 0 vsize: 837472 [startup+130.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 12596 43 0 0 25 0 11 0 355299655 857571328 20174 4294967295 134512640 134569956 3221224400 3221214800 1131221957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20174 13073 16 0 209352 0 vsize: 837472 [startup+140.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 13586 43 0 0 25 0 11 0 355299655 857571328 20202 4294967295 134512640 134569956 3221224400 3221214840 1131193925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20202 13073 16 0 209352 0 vsize: 837472 [startup+150.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 14577 43 0 0 25 0 11 0 355299655 857571328 20222 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20222 13073 16 0 209352 0 vsize: 837472 [startup+160.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 15569 44 0 0 25 0 11 0 355299655 857571328 20257 4294967295 134512640 134569956 3221224400 3221214804 1130919491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20257 13073 16 0 209352 0 vsize: 837472 [startup+170.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 16560 44 0 0 25 0 11 0 355299655 857571328 20288 4294967295 134512640 134569956 3221224400 3221214840 1131194129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20288 13073 16 0 209352 0 vsize: 837472 [startup+180.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32711 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 17551 44 0 0 25 0 11 0 355299655 857571328 20326 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20326 13073 16 0 209352 0 vsize: 837472 [startup+190.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 18542 44 0 0 25 0 11 0 355299655 857571328 20375 4294967295 134512640 134569956 3221224400 3221214800 1131222527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20375 13073 16 0 209352 0 vsize: 837472 [startup+200.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 19534 44 0 0 25 0 11 0 355299655 857571328 20408 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20408 13073 16 0 209352 0 vsize: 837472 [startup+210.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 20526 44 0 0 25 0 11 0 355299655 857571328 20432 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20432 13073 16 0 209352 0 vsize: 837472 [startup+220.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 21518 44 0 0 25 0 11 0 355299655 857571328 20462 4294967295 134512640 134569956 3221224400 3221214800 1131222935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20462 13073 16 0 209352 0 vsize: 837472 [startup+230.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 22510 44 0 0 25 0 11 0 355299655 857571328 20497 4294967295 134512640 134569956 3221224400 3221214892 1131221932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20497 13073 16 0 209352 0 vsize: 837472 [startup+240.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 23502 44 0 0 25 0 11 0 355299655 857571328 20519 4294967295 134512640 134569956 3221224400 3221214800 1131222302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20519 13073 16 0 209352 0 vsize: 837472 [startup+250.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 24493 44 0 0 25 0 11 0 355299655 857571328 20546 4294967295 134512640 134569956 3221224400 3221214840 1131193941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20546 13073 16 0 209352 0 vsize: 837472 [startup+260.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 25485 44 0 0 25 0 11 0 355299655 857571328 20566 4294967295 134512640 134569956 3221224400 3221214800 1131222100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20566 13073 16 0 209352 0 vsize: 837472 [startup+270.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 26478 44 0 0 25 0 11 0 355299655 857571328 20589 4294967295 134512640 134569956 3221224400 3221214840 1131194082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20589 13073 16 0 209352 0 vsize: 837472 [startup+280.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 27469 44 0 0 25 0 11 0 355299655 857571328 20624 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20624 13073 16 0 209352 0 vsize: 837472 [startup+290.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 28456 44 0 0 25 0 11 0 355299655 857571328 20649 4294967295 134512640 134569956 3221224400 3221214896 1131231375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20649 13073 16 0 209352 0 vsize: 837472 [startup+300.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 29444 44 0 0 25 0 11 0 355299655 857571328 20709 4294967295 134512640 134569956 3221224400 3221214800 1131221968 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20709 13073 16 0 209352 0 vsize: 837472 [startup+310.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 30434 44 0 0 25 0 11 0 355299655 857571328 20745 4294967295 134512640 134569956 3221224400 3221214800 1131221957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20745 13073 16 0 209352 0 vsize: 837472 [startup+320.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 31424 44 0 0 25 0 11 0 355299655 857571328 20769 4294967295 134512640 134569956 3221224400 3221214840 1131193945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20769 13073 16 0 209352 0 vsize: 837472 [startup+330.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 32414 45 0 0 25 0 11 0 355299655 857571328 20816 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20816 13073 16 0 209352 0 vsize: 837472 [startup+340.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 33405 45 0 0 25 0 11 0 355299655 857571328 20837 4294967295 134512640 134569956 3221224400 3221214896 1131231033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20837 13073 16 0 209352 0 vsize: 837472 [startup+350.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 34397 45 0 0 25 0 11 0 355299655 857571328 20864 4294967295 134512640 134569956 3221224400 3221214800 1131221949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20864 13073 16 0 209352 0 vsize: 837472 [startup+360.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 35388 45 0 0 25 0 11 0 355299655 857571328 20895 4294967295 134512640 134569956 3221224400 3221214800 1131222440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20895 13073 16 0 209352 0 vsize: 837472 [startup+370.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 36379 45 0 0 25 0 11 0 355299655 857571328 20907 4294967295 134512640 134569956 3221224400 3221214840 1131193917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20907 13073 16 0 209352 0 vsize: 837472 [startup+380.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 37371 45 0 0 25 0 11 0 355299655 857571328 20944 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20944 13073 16 0 209352 0 vsize: 837472 [startup+390.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 38362 45 0 0 25 0 11 0 355299655 857571328 20977 4294967295 134512640 134569956 3221224400 3221214800 1131222995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 20977 13073 16 0 209352 0 vsize: 837472 [startup+400.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 39354 45 0 0 25 0 11 0 355299655 857571328 21001 4294967295 134512640 134569956 3221224400 3221214800 1131222988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21001 13073 16 0 209352 0 vsize: 837472 [startup+410.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 40346 45 0 0 25 0 11 0 355299655 857571328 21038 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21038 13073 16 0 209352 0 vsize: 837472 [startup+420.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 41339 45 0 0 25 0 11 0 355299655 857571328 21051 4294967295 134512640 134569956 3221224400 3221214800 1131222545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21051 13073 16 0 209352 0 vsize: 837472 [startup+430.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 42331 45 0 0 25 0 11 0 355299655 857571328 21061 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21061 13073 16 0 209352 0 vsize: 837472 [startup+440.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 43323 45 0 0 25 0 11 0 355299655 857571328 21074 4294967295 134512640 134569956 3221224400 3221214896 1131231237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21074 13073 16 0 209352 0 vsize: 837472 [startup+450.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 44315 46 0 0 25 0 11 0 355299655 857571328 21103 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21103 13073 16 0 209352 0 vsize: 837472 [startup+460.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 45308 46 0 0 25 0 11 0 355299655 857571328 21137 4294967295 134512640 134569956 3221224400 3221214800 1131222294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21137 13073 16 0 209352 0 vsize: 837472 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 46301 46 0 0 25 0 11 0 355299655 857571328 21151 4294967295 134512640 134569956 3221224400 3221214800 1131222864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21151 13073 16 0 209352 0 vsize: 837472 [startup+480.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 47293 46 0 0 25 0 11 0 355299655 857571328 21174 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21174 13073 16 0 209352 0 vsize: 837472 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 48285 46 0 0 25 0 11 0 355299655 857571328 21183 4294967295 134512640 134569956 3221224400 3221214800 1131223048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21183 13073 16 0 209352 0 vsize: 837472 [startup+500.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 49277 46 0 0 25 0 11 0 355299655 857571328 21201 4294967295 134512640 134569956 3221224400 3221214800 1131221953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21201 13073 16 0 209352 0 vsize: 837472 [startup+510.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 50266 46 0 0 25 0 11 0 355299655 857571328 21214 4294967295 134512640 134569956 3221224400 3221214896 1131231513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21214 13073 16 0 209352 0 vsize: 837472 [startup+520.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 51255 46 0 0 25 0 11 0 355299655 857571328 21262 4294967295 134512640 134569956 3221224400 3221214800 1131222308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21262 13073 16 0 209352 0 vsize: 837472 [startup+530.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 52244 46 0 0 25 0 11 0 355299655 857571328 21343 4294967295 134512640 134569956 3221224400 3221214800 1131222527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21343 13073 16 0 209352 0 vsize: 837472 [startup+540.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 53234 46 0 0 25 0 11 0 355299655 857571328 21361 4294967295 134512640 134569956 3221224400 3221214840 1131193941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21361 13073 16 0 209352 0 vsize: 837472 [startup+550.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 54224 46 0 0 25 0 11 0 355299655 857571328 21426 4294967295 134512640 134569956 3221224400 3221214800 1131222495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21426 13073 16 0 209352 0 vsize: 837472 [startup+560.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 55215 46 0 0 25 0 11 0 355299655 857571328 21489 4294967295 134512640 134569956 3221224400 3221214840 1131193925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21489 13073 16 0 209352 0 vsize: 837472 [startup+570.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 56206 46 0 0 25 0 11 0 355299655 857571328 21525 4294967295 134512640 134569956 3221224400 3221214800 1131222138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21525 13073 16 0 209352 0 vsize: 837472 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 57198 46 0 0 25 0 11 0 355299655 857571328 21535 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21535 13073 16 0 209352 0 vsize: 837472 [startup+590.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 58188 46 0 0 25 0 11 0 355299655 857571328 21594 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21594 13073 16 0 209352 0 vsize: 837472 [startup+600.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 59179 46 0 0 25 0 11 0 355299655 857571328 21629 4294967295 134512640 134569956 3221224400 3221214896 1131232042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21629 13073 16 0 209352 0 vsize: 837472 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 60169 47 0 0 25 0 11 0 355299655 857571328 21653 4294967295 134512640 134569956 3221224400 3221214800 1131222511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21653 13073 16 0 209352 0 vsize: 837472 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 61161 47 0 0 25 0 11 0 355299655 857571328 21710 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21710 13073 16 0 209352 0 vsize: 837472 [startup+630.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 62153 47 0 0 25 0 11 0 355299655 857571328 21728 4294967295 134512640 134569956 3221224400 3221214800 1131222495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21728 13073 16 0 209352 0 vsize: 837472 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 63145 47 0 0 25 0 11 0 355299655 857571328 21769 4294967295 134512640 134569956 3221224400 3221214896 1131232233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21769 13073 16 0 209352 0 vsize: 837472 [startup+650.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 64137 47 0 0 25 0 11 0 355299655 857571328 21780 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21780 13073 16 0 209352 0 vsize: 837472 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 65128 47 0 0 25 0 11 0 355299655 857571328 21820 4294967295 134512640 134569956 3221224400 3221214840 1131193945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21820 13073 16 0 209352 0 vsize: 837472 [startup+670.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 66120 47 0 0 25 0 11 0 355299655 857571328 21828 4294967295 134512640 134569956 3221224400 3221214892 1131219936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21828 13073 16 0 209352 0 vsize: 837472 [startup+680.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 67112 47 0 0 25 0 11 0 355299655 857571328 21863 4294967295 134512640 134569956 3221224400 3221214800 1131222253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21863 13073 16 0 209352 0 vsize: 837472 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 68104 47 0 0 25 0 11 0 355299655 857571328 21892 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21892 13073 16 0 209352 0 vsize: 837472 [startup+700.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 69095 47 0 0 25 0 11 0 355299655 857571328 21904 4294967295 134512640 134569956 3221224400 3221214800 1131223041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21904 13073 16 0 209352 0 vsize: 837472 [startup+710.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 70087 47 0 0 25 0 11 0 355299655 857571328 21935 4294967295 134512640 134569956 3221224400 3221214896 1131231061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21935 13073 16 0 209352 0 vsize: 837472 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 71079 48 0 0 25 0 11 0 355299655 857571328 21970 4294967295 134512640 134569956 3221224400 3221214896 1131231547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21970 13073 16 0 209352 0 vsize: 837472 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 72069 48 0 0 25 0 11 0 355299655 857571328 21982 4294967295 134512640 134569956 3221224400 3221214800 1131222406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 21982 13073 16 0 209352 0 vsize: 837472 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 73059 48 0 0 25 0 11 0 355299655 857571328 22027 4294967295 134512640 134569956 3221224400 3221214896 1131231524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22027 13073 16 0 209352 0 vsize: 837472 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 74050 48 0 0 25 0 11 0 355299655 857571328 22086 4294967295 134512640 134569956 3221224400 3221214800 1131221953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22086 13073 16 0 209352 0 vsize: 837472 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 75043 48 0 0 25 0 11 0 355299655 857571328 22121 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22121 13073 16 0 209352 0 vsize: 837472 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 76034 48 0 0 25 0 11 0 355299655 857571328 22123 4294967295 134512640 134569956 3221224400 3221214840 1131193937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22123 13073 16 0 209352 0 vsize: 837472 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 77024 48 0 0 25 0 11 0 355299655 857571328 22152 4294967295 134512640 134569956 3221224400 3221214892 1131221939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22152 13073 16 0 209352 0 vsize: 837472 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 78016 48 0 0 25 0 11 0 355299655 857571328 22223 4294967295 134512640 134569956 3221224400 3221214800 1131221992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22223 13073 16 0 209352 0 vsize: 837472 [startup+800.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 79008 48 0 0 25 0 11 0 355299655 857571328 22239 4294967295 134512640 134569956 3221224400 3221214800 1131222851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22239 13073 16 0 209352 0 vsize: 837472 [startup+810.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 80000 48 0 0 25 0 11 0 355299655 857571328 22254 4294967295 134512640 134569956 3221224400 3221214800 1131222995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22254 13073 16 0 209352 0 vsize: 837472 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 80991 48 0 0 25 0 11 0 355299655 857571328 22271 4294967295 134512640 134569956 3221224400 3221214800 1131221949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22271 13073 16 0 209352 0 vsize: 837472 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 81983 48 0 0 25 0 11 0 355299655 857571328 22319 4294967295 134512640 134569956 3221224400 3221214840 1131194029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22319 13073 16 0 209352 0 vsize: 837472 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 82975 48 0 0 25 0 11 0 355299655 857571328 22352 4294967295 134512640 134569956 3221224400 3221214896 1131232233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22352 13073 16 0 209352 0 vsize: 837472 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 83966 48 0 0 25 0 11 0 355299655 857571328 22374 4294967295 134512640 134569956 3221224400 3221214800 1131222146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22374 13073 16 0 209352 0 vsize: 837472 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 84957 48 0 0 25 0 11 0 355299655 857571328 22392 4294967295 134512640 134569956 3221224400 3221214896 1131231452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22392 13073 16 0 209352 0 vsize: 837472 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 85946 48 0 0 25 0 11 0 355299655 857571328 22431 4294967295 134512640 134569956 3221224400 3221214832 1131241402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22431 13073 16 0 209352 0 vsize: 837472 [startup+880.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 86938 48 0 0 25 0 11 0 355299655 857571328 22471 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22471 13073 16 0 209352 0 vsize: 837472 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 87929 49 0 0 25 0 11 0 355299655 857571328 22510 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22510 13073 16 0 209352 0 vsize: 837472 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 88921 49 0 0 25 0 11 0 355299655 857571328 22537 4294967295 134512640 134569956 3221224400 3221214800 1131222407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22537 13073 16 0 209352 0 vsize: 837472 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 89913 49 0 0 25 0 11 0 355299655 857571328 22563 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22563 13073 16 0 209352 0 vsize: 837472 [startup+920.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 90904 49 0 0 25 0 11 0 355299655 857571328 22588 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22588 13073 16 0 209352 0 vsize: 837472 [startup+930.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 91896 49 0 0 25 0 11 0 355299655 857571328 22600 4294967295 134512640 134569956 3221224400 3221214840 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22600 13073 16 0 209352 0 vsize: 837472 [startup+940.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 92882 49 0 0 25 0 11 0 355299655 857571328 22626 4294967295 134512640 134569956 3221224400 3221214800 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22626 13073 16 0 209352 0 vsize: 837472 [startup+950.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 93869 49 0 0 25 0 11 0 355299655 857571328 22657 4294967295 134512640 134569956 3221224400 3221214800 1131222588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22657 13073 16 0 209352 0 vsize: 837472 [startup+960.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 94854 49 0 0 25 0 11 0 355299655 857571328 22736 4294967295 134512640 134569956 3221224400 3221214800 1131221990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22736 13073 16 0 209352 0 vsize: 837472 [startup+970.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 95843 49 0 0 25 0 11 0 355299655 857571328 22774 4294967295 134512640 134569956 3221224400 3221214960 1131261146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22774 13073 16 0 209352 0 vsize: 837472 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 96833 49 0 0 25 0 11 0 355299655 857571328 22834 4294967295 134512640 134569956 3221224400 3221214752 1131221957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22834 13073 16 0 209352 0 vsize: 837472 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 97822 49 0 0 25 0 11 0 355299655 857571328 22849 4294967295 134512640 134569956 3221224400 3221214848 1131231049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22849 13073 16 0 209352 0 vsize: 837472 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 98813 49 0 0 25 0 11 0 355299655 857571328 22889 4294967295 134512640 134569956 3221224400 3221214752 1131223010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22889 13073 16 0 209352 0 vsize: 837472 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 99803 49 0 0 25 0 11 0 355299655 857571328 22898 4294967295 134512640 134569956 3221224400 3221214792 1131194070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22898 13073 16 0 209352 0 vsize: 837472 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 100794 49 0 0 25 0 11 0 355299655 857571328 22953 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22953 13073 16 0 209352 0 vsize: 837472 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 101785 50 0 0 25 0 11 0 355299655 857571328 22973 4294967295 134512640 134569956 3221224400 3221214752 1131222342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22973 13073 16 0 209352 0 vsize: 837472 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 102775 50 0 0 25 0 11 0 355299655 857571328 22990 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 22990 13073 16 0 209352 0 vsize: 837472 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 103766 50 0 0 25 0 11 0 355299655 857571328 23025 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 23025 13073 16 0 209352 0 vsize: 837472 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 104757 50 0 0 25 0 11 0 355299655 857571328 23040 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 23040 13073 16 0 209352 0 vsize: 837472 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 105747 50 0 0 25 0 11 0 355299655 857571328 23066 4294967295 134512640 134569956 3221224400 3221214120 1076874533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 23066 13073 16 0 209352 0 vsize: 837472 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 106737 50 0 0 25 0 11 0 355299655 857571328 23098 4294967295 134512640 134569956 3221224400 3221214752 1131222342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 23098 13073 16 0 209352 0 vsize: 837472 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 107729 50 0 0 25 0 11 0 355299655 857571328 23125 4294967295 134512640 134569956 3221224400 3221214792 1131193920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209368 23125 13073 16 0 209352 0 vsize: 837472 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 108719 51 0 0 25 0 11 0 355299655 857571328 23131 4294967295 134512640 134569956 3221224400 3221214792 1131193917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23131 13073 16 0 209352 0 vsize: 837472 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 109709 51 0 0 25 0 11 0 355299655 857571328 23190 4294967295 134512640 134569956 3221224400 3221214844 1131193900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23190 13073 16 0 209352 0 vsize: 837472 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 110699 52 0 0 25 0 11 0 355299655 857571328 23232 4294967295 134512640 134569956 3221224400 3221214792 1131193953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23232 13073 16 0 209352 0 vsize: 837472 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 111689 52 0 0 25 0 11 0 355299655 857571328 23251 4294967295 134512640 134569956 3221224400 3221214752 1131222353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23251 13073 16 0 209352 0 vsize: 837472 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 112677 52 0 0 25 0 11 0 355299655 857571328 23282 4294967295 134512640 134569956 3221224400 3221214752 1131222308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23282 13073 16 0 209352 0 vsize: 837472 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 113666 52 0 0 25 0 11 0 355299655 857571328 23302 4294967295 134512640 134569956 3221224400 3221214792 1131193945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23302 13073 16 0 209352 0 vsize: 837472 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 114655 52 0 0 25 0 11 0 355299655 857571328 23355 4294967295 134512640 134569956 3221224400 3221214752 1131222400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23355 13073 16 0 209352 0 vsize: 837472 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 115646 52 0 0 25 0 11 0 355299655 857571328 23387 4294967295 134512640 134569956 3221224400 3221214752 1131222014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23387 13073 16 0 209352 0 vsize: 837472 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 116636 53 0 0 25 0 11 0 355299655 857571328 23441 4294967295 134512640 134569956 3221224400 3221214752 1131222997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23441 13073 16 0 209352 0 vsize: 837472 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 117628 53 0 0 25 0 11 0 355299655 857571328 23454 4294967295 134512640 134569956 3221224400 3221214848 1131230930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23454 13073 16 0 209352 0 vsize: 837472 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 118618 53 0 0 25 0 11 0 355299655 857571328 23461 4294967295 134512640 134569956 3221224400 3221214792 1131193920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23461 13073 16 0 209352 0 vsize: 837472 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 119610 53 0 0 25 0 11 0 355299655 857571328 23493 4294967295 134512640 134569956 3221224400 3221214844 1131219936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23493 13073 16 0 209352 0 vsize: 837472 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32712 Raw data (stat): 32698 (java) R 32697 30927 30926 0 -1 0 18074 3 1 0 120600 53 0 0 25 0 11 0 355299655 857571328 23510 4294967295 134512640 134569956 3221224400 3221214752 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209368 23510 13073 16 0 209352 0 vsize: 837472 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 32714 Raw data (stat): 32698 (java) Z 32697 30927 30926 0 -1 1036 18074 8390 1 0 120604 58 2042 32 25 0 1 0 355299655 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): 1220.14 CPU time (s): 1227.38 CPU user time (s): 1226.47 CPU system time (s): 0.911861 CPU usage (%): 100.594 Max. virtual memory (Kb): 838244 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####