Name | normalized-opb/submitted/een/normalized-stein27.opb |
MD5SUM | f1840a9f0b03b6ae7284b9e5be9bb3b7 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 27 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 27 |
Number of bits of the sum of numbers in the objective function | 5 |
Biggest number in a constraint | 13 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 40 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Number of variables | 27 |
Total number of constraints | 118 |
Number of constraints which are clauses | 117 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 27 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-04-14 21:28:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5170 boxname=wulflinc27 idbench=398 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f1840a9f0b03b6ae7284b9e5be9bb3b7 /oldhome/oroussel/tmp/wulflinc27/normalized-stein27.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-stein27.opb IDLAUNCH: 5170 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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: 803472 kB Buffers: 35788 kB Cached: 158116 kB SwapCached: 3160 kB Active: 92336 kB Inactive: 107632 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 803220 kB SwapTotal: 2097892 kB SwapFree: 2094732 kB Dirty: 44 kB Writeback: 0 kB Mapped: 6924 kB Slab: 25588 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-14 21:37:03 (client local time) WITH STATUS 30 IN 544.351 SECONDS stats: 5170 0 544.351 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc27/normalized-stein27.opb c reading problem c [nbvar=27] c [nbconstr=118] c time 0.408 c #vars 27 c #clauses 118 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=19 c Current CPU time (ms) : 0.451 c starts : 1 c conflicts : 0 c decisions : 8 c propagations : 27 c inspects : 103 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=18 c Current CPU time (ms) : 0.642 c starts : 2 c conflicts : 4 c decisions : 19 c propagations : 69 c inspects : 305 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4 c root simplifications : 2 c Total CPU time (ms) : 523.608 c s OPTIMUM FOUND v -x0 -x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 -x10 x11 -x12 x13 x14 x15 -x16 x17 x18 x19 x20 x21 x22 x23 x24 -x25 x26 c objectif function=18 #### 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.66 0.87 0.88 2/54 29701 Raw data (stat): 29701 (runsolver) R 29700 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487830168 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0008 s] Raw data (loadavg): 1.02 0.94 0.90 4/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 12028 3 1 0 586 29 0 0 25 0 11 0 487830168 891990016 20829 4294967295 134512640 134569956 3221224416 3221214980 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 217771 20829 13073 16 0 217755 0 vsize: 871084 [startup+20.0053 s] Raw data (loadavg): 1.32 1.01 0.92 4/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18151 3 1 0 1159 43 0 0 25 0 11 0 487830168 895225856 28467 4294967295 134512640 134569956 3221224416 3221214872 1131141220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 218561 28467 13073 16 0 218545 0 vsize: 874244 [startup+30.0068 s] Raw data (loadavg): 1.27 1.01 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 2110 43 0 0 25 0 11 0 487830168 881758208 25986 4294967295 134512640 134569956 3221224416 3221214504 1131626123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 25986 13073 16 0 215257 0 vsize: 861092 [startup+40.0071 s] Raw data (loadavg): 1.23 1.01 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 3087 43 0 0 25 0 11 0 487830168 881758208 26071 4294967295 134512640 134569956 3221224416 3221214200 1085679296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 26071 13073 16 0 215257 0 vsize: 861092 [startup+50.0075 s] Raw data (loadavg): 1.19 1.01 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 4063 43 0 0 25 0 11 0 487830168 881758208 26296 4294967295 134512640 134569956 3221224416 3221214544 1131797089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 26296 13073 16 0 215257 0 vsize: 861092 [startup+60.0082 s] Raw data (loadavg): 1.16 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 5036 43 0 0 25 0 11 0 487830168 881758208 26482 4294967295 134512640 134569956 3221224416 3221214072 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 26482 13073 16 0 215257 0 vsize: 861092 [startup+70.0085 s] Raw data (loadavg): 1.14 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 6012 44 0 0 25 0 11 0 487830168 881758208 26613 4294967295 134512640 134569956 3221224416 3221214200 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 26613 13073 16 0 215257 0 vsize: 861092 [startup+80.0099 s] Raw data (loadavg): 1.12 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 6979 44 0 0 25 0 11 0 487830168 881758208 26763 4294967295 134512640 134569956 3221224416 3221214324 1131460560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 26763 13073 16 0 215257 0 vsize: 861092 [startup+90.0107 s] Raw data (loadavg): 1.10 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 7951 45 0 0 25 0 11 0 487830168 881758208 26875 4294967295 134512640 134569956 3221224416 3221214288 1131460536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 26875 13073 16 0 215257 0 vsize: 861092 [startup+100.01 s] Raw data (loadavg): 1.08 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18152 3 1 0 8923 45 0 0 25 0 11 0 487830168 881758208 26981 4294967295 134512640 134569956 3221224416 3221214776 1131162785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 26981 13073 16 0 215257 0 vsize: 861092 [startup+110.011 s] Raw data (loadavg): 1.07 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 9887 45 0 0 25 0 11 0 487830168 881758208 27225 4294967295 134512640 134569956 3221224416 3221214028 1131460555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27225 13073 16 0 215257 0 vsize: 861092 [startup+120.012 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 10863 45 0 0 25 0 11 0 487830168 881758208 27307 4294967295 134512640 134569956 3221224416 3221214776 1131162870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27307 13073 16 0 215257 0 vsize: 861092 [startup+130.013 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) S 29700 18865 18864 0 -1 0 18153 3 1 0 11843 45 0 0 25 0 11 0 487830168 881758208 27361 4294967295 134512640 134569956 3221224416 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27361 13073 16 0 215257 0 vsize: 861092 [startup+140.013 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 12818 46 0 0 25 0 11 0 487830168 881758208 27457 4294967295 134512640 134569956 3221224416 3221214752 1131162785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27457 13073 16 0 215257 0 vsize: 861092 [startup+150.014 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 13796 46 0 0 25 0 11 0 487830168 881758208 27531 4294967295 134512640 134569956 3221224416 3221214888 1131151879 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27531 13073 16 0 215257 0 vsize: 861092 [startup+160.014 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 14782 46 0 0 25 0 11 0 487830168 881758208 27570 4294967295 134512640 134569956 3221224416 3221214408 1131617388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 27570 13073 16 0 215257 0 vsize: 861092 [startup+170.014 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 15761 46 0 0 25 0 11 0 487830168 881758208 27636 4294967295 134512640 134569956 3221224416 3221214752 1131162745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27636 13073 16 0 215257 0 vsize: 861092 [startup+180.015 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 16740 46 0 0 25 0 11 0 487830168 881758208 27690 4294967295 134512640 134569956 3221224416 3221214488 1131460536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 27690 13073 16 0 215257 0 vsize: 861092 [startup+190.016 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 17719 46 0 0 25 0 11 0 487830168 881758208 27750 4294967295 134512640 134569956 3221224416 3221214752 1131163610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27750 13073 16 0 215257 0 vsize: 861092 [startup+200.015 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 18705 47 0 0 25 0 11 0 487830168 881758208 27787 4294967295 134512640 134569956 3221224416 3221214848 1131141220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 27787 13073 16 0 215257 0 vsize: 861092 [startup+210.016 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 19685 47 0 0 25 0 11 0 487830168 881758208 27840 4294967295 134512640 134569956 3221224416 3221214488 1131460561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27840 13073 16 0 215257 0 vsize: 861092 [startup+220.016 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 20664 48 0 0 25 0 11 0 487830168 881758208 27889 4294967295 134512640 134569956 3221224416 3221214400 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27889 13073 16 0 215257 0 vsize: 861092 [startup+230.017 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 21645 48 0 0 25 0 11 0 487830168 881758208 27949 4294967295 134512640 134569956 3221224416 3221214664 1131617778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 27949 13073 16 0 215257 0 vsize: 861092 [startup+240.017 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 22626 48 0 0 20 0 11 0 487830168 881758208 27997 4294967295 134512640 134569956 3221224416 3221214528 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 27997 13073 16 0 215257 0 vsize: 861092 [startup+250.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 23607 48 0 0 25 0 11 0 487830168 881758208 28039 4294967295 134512640 134569956 3221224416 3221214528 1085679533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28039 13073 16 0 215257 0 vsize: 861092 [startup+260.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 24588 48 0 0 25 0 11 0 487830168 881758208 28087 4294967295 134512640 134569956 3221224416 3221214752 1131162745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28087 13073 16 0 215257 0 vsize: 861092 [startup+270.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 25570 48 0 0 25 0 11 0 487830168 881758208 28141 4294967295 134512640 134569956 3221224416 3221214192 1131460621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28141 13073 16 0 215257 0 vsize: 861092 [startup+280.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 26551 49 0 0 25 0 11 0 487830168 881758208 28182 4294967295 134512640 134569956 3221224416 3221214752 1131162974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28182 13073 16 0 215257 0 vsize: 861092 [startup+290.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 27533 49 0 0 25 0 11 0 487830168 881758208 28229 4294967295 134512640 134569956 3221224416 3221214844 1131161982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 28229 13073 16 0 215257 0 vsize: 861092 [startup+300.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 28514 49 0 0 25 0 11 0 487830168 881758208 28274 4294967295 134512640 134569956 3221224416 3221214152 1131627026 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28274 13073 16 0 215257 0 vsize: 861092 [startup+310.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 29496 49 0 0 25 0 11 0 487830168 881758208 28303 4294967295 134512640 134569956 3221224416 3221214840 1131143410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28303 13073 16 0 215257 0 vsize: 861092 [startup+320.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 30477 50 0 0 25 0 11 0 487830168 881758208 28344 4294967295 134512640 134569956 3221224416 3221214760 1131167308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28344 13073 16 0 215257 0 vsize: 861092 [startup+330.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 31459 50 0 0 25 0 11 0 487830168 881758208 28386 4294967295 134512640 134569956 3221224416 3221214656 1131588311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28386 13073 16 0 215257 0 vsize: 861092 [startup+340.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 32441 50 0 0 25 0 11 0 487830168 881758208 28433 4294967295 134512640 134569956 3221224416 3221214752 1131163031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28433 13073 16 0 215257 0 vsize: 861092 [startup+350.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 33424 51 0 0 25 0 11 0 487830168 881758208 28472 4294967295 134512640 134569956 3221224416 3221214840 1131209600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28472 13073 16 0 215257 0 vsize: 861092 [startup+360.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 34402 51 0 0 25 0 11 0 487830168 881758208 28527 4294967295 134512640 134569956 3221224416 3221214664 1131619462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28527 13073 16 0 215257 0 vsize: 861092 [startup+370.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 35385 51 0 0 25 0 11 0 487830168 881758208 28559 4294967295 134512640 134569956 3221224416 3221214360 1131460621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28559 13073 16 0 215257 0 vsize: 861092 [startup+380.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 36369 51 0 0 25 0 11 0 487830168 881758208 28598 4294967295 134512640 134569956 3221224416 3221214060 1131460560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28598 13073 16 0 215257 0 vsize: 861092 [startup+390.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 37353 52 0 0 25 0 11 0 487830168 881758208 28631 4294967295 134512640 134569956 3221224416 3221214752 1131162785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28631 13073 16 0 215257 0 vsize: 861092 [startup+400.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 38337 52 0 0 25 0 11 0 487830168 881758208 28664 4294967295 134512640 134569956 3221224416 3221214840 1131209711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28664 13073 16 0 215257 0 vsize: 861092 [startup+410.026 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 39321 52 0 0 25 0 11 0 487830168 881758208 28699 4294967295 134512640 134569956 3221224416 3221214752 1131162637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215273 28699 13073 16 0 215257 0 vsize: 861092 [startup+420.026 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 40305 52 0 0 25 0 11 0 487830168 881758208 28723 4294967295 134512640 134569956 3221224416 3221214400 1085679756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28723 13073 16 0 215257 0 vsize: 861092 [startup+430.027 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 41288 53 0 0 25 0 11 0 487830168 881758208 28754 4294967295 134512640 134569956 3221224416 3221214488 1131460536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28754 13073 16 0 215257 0 vsize: 861092 [startup+440.027 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 42267 53 0 0 24 0 11 0 487830168 881758208 28794 4294967295 134512640 134569956 3221224416 3221214752 1131162843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28794 13073 16 0 215257 0 vsize: 861092 [startup+450.027 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 43253 53 0 0 25 0 11 0 487830168 881758208 28824 4294967295 134512640 134569956 3221224416 3221214752 1131162687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28824 13073 16 0 215257 0 vsize: 861092 [startup+460.028 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 44238 54 0 0 25 0 11 0 487830168 881758208 28858 4294967295 134512640 134569956 3221224416 3221214888 1131151749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28858 13073 16 0 215257 0 vsize: 861092 [startup+470.028 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 45223 54 0 0 25 0 11 0 487830168 881758208 28884 4294967295 134512640 134569956 3221224416 3221214952 1131312231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28884 13073 16 0 215257 0 vsize: 861092 [startup+480.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 46207 55 0 0 25 0 11 0 487830168 881758208 28906 4294967295 134512640 134569956 3221224416 3221214848 1131141206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28906 13073 16 0 215257 0 vsize: 861092 [startup+490.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 47188 55 0 0 25 0 11 0 487830168 881758208 28953 4294967295 134512640 134569956 3221224416 3221213984 1131465711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28953 13073 16 0 215257 0 vsize: 861092 [startup+500.029 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 48173 55 0 0 25 0 11 0 487830168 881758208 28980 4294967295 134512640 134569956 3221224416 3221214408 1131628400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 28980 13073 16 0 215257 0 vsize: 861092 [startup+510.03 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 49154 55 0 0 25 0 11 0 487830168 881758208 29014 4294967295 134512640 134569956 3221224416 3221214840 1131143417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 29014 13073 16 0 215257 0 vsize: 861092 [startup+520.031 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 29713 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 50140 55 0 0 25 0 11 0 487830168 881758208 29039 4294967295 134512640 134569956 3221224416 3221214408 1131621572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 29039 13073 16 0 215257 0 vsize: 861092 [startup+524.369 s] Raw data (loadavg): 1.01 1.01 0.93 1/53 29714 Raw data (stat): 29701 (java) R 29700 18865 18864 0 -1 0 18153 3 1 0 50140 55 0 0 25 0 11 0 487830168 881758208 29039 4294967295 134512640 134569956 3221224416 3221214408 1131621572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 215273 29039 13073 16 0 215257 0 vsize: 0 Child status: 30 Real time (s): 524.369 CPU time (s): 544.351 CPU user time (s): 542.952 CPU system time (s): 1.39879 CPU usage (%): 103.811 Max. virtual memory (Kb): 874244 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 18 #### END VERIFIER DATA ####