Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb |
MD5SUM | 536a635f83fc17dc00978c285b2ea8e6 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 88 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.694894 |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-25 05:37:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20595 boxname=wulflinc20 idbench=185 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 536a635f83fc17dc00978c285b2ea8e6 /oldhome/oroussel/tmp/wulflinc20/normalized-jnh210.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-jnh210.opb IDLAUNCH: 20595 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 356776 kB Buffers: 34332 kB Cached: 614080 kB SwapCached: 716 kB Active: 60272 kB Inactive: 594940 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 356524 kB SwapTotal: 2097892 kB SwapFree: 2096336 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5068 kB Slab: 17060 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 05:46:09 (client local time) WITH STATUS 30 IN 521.963 SECONDS stats: 20595 0 521.963 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc20/normalized-jnh210.opb c reading problem ... done. Time 1.697 ms. c #vars 200 c #constraints 900 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 94 Current CPU time: 2.06 ms c CURRENT OPTIMUM= 92 Current CPU time: 2.77 ms c CURRENT OPTIMUM= 91 Current CPU time: 4.24 ms c CURRENT OPTIMUM= 90 Current CPU time: 16.41 ms c CURRENT OPTIMUM= 89 Current CPU time: 17.56 ms c CURRENT OPTIMUM= 88 Current CPU time: 36.51 ms c starts : 14 c conflicts : 2169 c decisions : 3970 c propagations : 41169 c inspects : 3239585 c learned literals : 1 c learned binary clauses : 1 c learned ternary clauses : 3 c learned clauses : 2167 c root simplifications : 24 s OPTIMUM_FOUND v -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 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 -x93 x94 x95 -x96 -x97 x98 -x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 c objectif function=88 c Total CPU time (ms) : 518.948 #### 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): 1.06 1.01 1.00 2/54 1275 Raw data (stat): 1275 (runsolver) R 1274 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836414127 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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+9.99996 s] Raw data (loadavg): 1.20 1.05 1.01 2/64 1289 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 726 38 0 0 25 0 11 0 836414127 857481216 19936 4294967295 134512640 134569956 3221224384 3221214544 1131271152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209346 19936 13086 16 0 209330 0 vsize: 837384 [startup+20.0007 s] Raw data (loadavg): 1.25 1.06 1.02 2/64 1291 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 1674 39 0 0 25 0 11 0 836414127 856965120 20433 4294967295 134512640 134569956 3221224384 3221214720 1131306908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 20433 13086 16 0 209204 0 vsize: 836880 [startup+30.001 s] Raw data (loadavg): 1.21 1.06 1.02 2/64 1291 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 2609 39 0 0 25 0 11 0 836414127 856965120 20841 4294967295 134512640 134569956 3221224384 3221214624 1131235673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 20841 13086 16 0 209204 0 vsize: 836880 [startup+40.0021 s] Raw data (loadavg): 1.18 1.06 1.02 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 3550 39 0 0 25 0 11 0 836414127 856965120 21207 4294967295 134512640 134569956 3221224384 3221214624 1131236085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 21207 13086 16 0 209204 0 vsize: 836880 [startup+50.0028 s] Raw data (loadavg): 1.15 1.05 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 4480 39 0 0 25 0 11 0 836414127 856965120 21548 4294967295 134512640 134569956 3221224384 3221214632 1131185274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 21548 13086 16 0 209204 0 vsize: 836880 [startup+60.0022 s] Raw data (loadavg): 1.12 1.05 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 5412 39 0 0 25 0 11 0 836414127 856965120 21716 4294967295 134512640 134569956 3221224384 3221214608 1131176308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 21716 13086 16 0 209204 0 vsize: 836880 [startup+70.0034 s] Raw data (loadavg): 1.10 1.05 1.01 3/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 6351 39 0 0 25 0 11 0 836414127 856965120 21868 4294967295 134512640 134569956 3221224384 3221213444 1079342070 0 2147221247 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 21868 13086 16 0 209204 0 vsize: 836880 [startup+80.004 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 7284 39 0 0 25 0 11 0 836414127 856965120 22003 4294967295 134512640 134569956 3221224384 3221214624 1131236256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 22003 13086 16 0 209204 0 vsize: 836880 [startup+90.0043 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 8218 39 0 0 25 0 11 0 836414127 856965120 22289 4294967295 134512640 134569956 3221224384 3221214320 1131496300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 22289 13086 16 0 209204 0 vsize: 836880 [startup+100.004 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 9166 40 0 0 25 0 11 0 836414127 856965120 22538 4294967295 134512640 134569956 3221224384 3221214720 1131307387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 22538 13086 16 0 209204 0 vsize: 836880 [startup+110.006 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 10117 40 0 0 25 0 11 0 836414127 856965120 22692 4294967295 134512640 134569956 3221224384 3221214608 1131176308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 22692 13086 16 0 209204 0 vsize: 836880 [startup+120.006 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 11066 40 0 0 25 0 11 0 836414127 856965120 22865 4294967295 134512640 134569956 3221224384 3221214624 1131235499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 22865 13086 16 0 209204 0 vsize: 836880 [startup+130.007 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 12017 40 0 0 25 0 11 0 836414127 856965120 23007 4294967295 134512640 134569956 3221224384 3221214848 1131192473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23007 13086 16 0 209204 0 vsize: 836880 [startup+140.007 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 12972 40 0 0 25 0 11 0 836414127 856965120 23108 4294967295 134512640 134569956 3221224384 3221214608 1131176421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23108 13086 16 0 209204 0 vsize: 836880 [startup+150.008 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 13919 41 0 0 25 0 11 0 836414127 856965120 23275 4294967295 134512640 134569956 3221224384 3221214720 1131307311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23275 13086 16 0 209204 0 vsize: 836880 [startup+160.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 14874 41 0 0 25 0 11 0 836414127 856965120 23465 4294967295 134512640 134569956 3221224384 3221214624 1131235557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23465 13086 16 0 209204 0 vsize: 836880 [startup+170.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 15832 41 0 0 25 0 11 0 836414127 856965120 23594 4294967295 134512640 134569956 3221224384 3221214112 1131494600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23594 13086 16 0 209204 0 vsize: 836880 [startup+180.008 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 16783 41 0 0 25 0 11 0 836414127 856965120 23672 4294967295 134512640 134569956 3221224384 3221214032 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23672 13086 16 0 209204 0 vsize: 836880 [startup+190.009 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 17731 41 0 0 25 0 11 0 836414127 856965120 23792 4294967295 134512640 134569956 3221224384 3221214496 1131522814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23792 13086 16 0 209204 0 vsize: 836880 [startup+200.01 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 18679 41 0 0 25 0 11 0 836414127 856965120 23936 4294967295 134512640 134569956 3221224384 3221214720 1131306908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 23936 13086 16 0 209204 0 vsize: 836880 [startup+210.009 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 19624 41 0 0 25 0 11 0 836414127 856965120 24103 4294967295 134512640 134569956 3221224384 3221214624 1131235701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24103 13086 16 0 209204 0 vsize: 836880 [startup+220.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 20580 41 0 0 25 0 11 0 836414127 856965120 24270 4294967295 134512640 134569956 3221224384 3221214608 1131176308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24270 13086 16 0 209204 0 vsize: 836880 [startup+230.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 21537 41 0 0 25 0 11 0 836414127 856965120 24435 4294967295 134512640 134569956 3221224384 3221214620 1131195303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24435 13086 16 0 209204 0 vsize: 836880 [startup+240.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 22501 41 0 0 25 0 11 0 836414127 856965120 24572 4294967295 134512640 134569956 3221224384 3221214624 1131235610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24572 13086 16 0 209204 0 vsize: 836880 [startup+250.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 23464 41 0 0 25 0 11 0 836414127 856965120 24638 4294967295 134512640 134569956 3221224384 3221214776 1131275608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24638 13086 16 0 209204 0 vsize: 836880 [startup+260.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 24426 41 0 0 25 0 11 0 836414127 856965120 24755 4294967295 134512640 134569956 3221224384 3221214608 1131176308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24755 13086 16 0 209204 0 vsize: 836880 [startup+270.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 25382 41 0 0 24 0 11 0 836414127 856965120 24838 4294967295 134512640 134569956 3221224384 3221214720 1131310831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24838 13086 16 0 209204 0 vsize: 836880 [startup+280.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 26344 42 0 0 25 0 11 0 836414127 856965120 24967 4294967295 134512640 134569956 3221224384 3221214608 1131176327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 24967 13086 16 0 209204 0 vsize: 836880 [startup+290.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 27309 42 0 0 25 0 11 0 836414127 856965120 25075 4294967295 134512640 134569956 3221224384 3221214384 1131499541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 25075 13086 16 0 209204 0 vsize: 836880 [startup+300.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 28274 42 0 0 25 0 11 0 836414127 856965120 25161 4294967295 134512640 134569956 3221224384 3221214624 1131235499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 25161 13086 16 0 209204 0 vsize: 836880 [startup+310.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 29238 42 0 0 25 0 11 0 836414127 856965120 25260 4294967295 134512640 134569956 3221224384 3221214720 1131311256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209220 25260 13086 16 0 209204 0 vsize: 836880 [startup+320.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 30196 42 0 0 25 0 11 0 836414127 856965120 25368 4294967295 134512640 134569956 3221224384 3221214032 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25368 13086 16 0 209204 0 vsize: 836880 [startup+330.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 31156 42 0 0 25 0 11 0 836414127 856965120 25451 4294967295 134512640 134569956 3221224384 3221214624 1131235557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25451 13086 16 0 209204 0 vsize: 836880 [startup+340.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 32116 42 0 0 25 0 11 0 836414127 856965120 25554 4294967295 134512640 134569956 3221224384 3221214624 1131235292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25554 13086 16 0 209204 0 vsize: 836880 [startup+350.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 33076 42 0 0 25 0 11 0 836414127 856965120 25659 4294967295 134512640 134569956 3221224384 3221214528 1131176402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25659 13086 16 0 209204 0 vsize: 836880 [startup+360.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 34036 43 0 0 25 0 11 0 836414127 856965120 25736 4294967295 134512640 134569956 3221224384 3221214720 1131306908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25736 13086 16 0 209204 0 vsize: 836880 [startup+370.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 34994 43 0 0 24 0 11 0 836414127 856965120 25901 4294967295 134512640 134569956 3221224384 3221214608 1131176308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25901 13086 16 0 209204 0 vsize: 836880 [startup+380.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 35959 43 0 0 25 0 11 0 836414127 856965120 25995 4294967295 134512640 134569956 3221224384 3221214612 1130885186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 25995 13086 16 0 209204 0 vsize: 836880 [startup+390.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 36925 44 0 0 25 0 11 0 836414127 856965120 26095 4294967295 134512640 134569956 3221224384 3221214720 1131306901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26095 13086 16 0 209204 0 vsize: 836880 [startup+400.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 37890 44 0 0 25 0 11 0 836414127 856965120 26206 4294967295 134512640 134569956 3221224384 3221213816 1085679331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26206 13086 16 0 209204 0 vsize: 836880 [startup+410.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 38858 44 0 0 25 0 11 0 836414127 856965120 26266 4294967295 134512640 134569956 3221224384 3221214720 1131310974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26266 13086 16 0 209204 0 vsize: 836880 [startup+420.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 39826 44 0 0 25 0 11 0 836414127 856965120 26350 4294967295 134512640 134569956 3221224384 3221214112 1131494600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26350 13086 16 0 209204 0 vsize: 836880 [startup+430.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 40794 45 0 0 25 0 11 0 836414127 856965120 26426 4294967295 134512640 134569956 3221224384 3221214620 1131195303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26426 13086 16 0 209204 0 vsize: 836880 [startup+440.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 41761 46 0 0 25 0 11 0 836414127 856965120 26489 4294967295 134512640 134569956 3221224384 3221214008 1131494575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26489 13086 16 0 209204 0 vsize: 836880 [startup+450.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 42725 46 0 0 25 0 11 0 836414127 856965120 26578 4294967295 134512640 134569956 3221224384 3221214720 1131306915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26578 13086 16 0 209204 0 vsize: 836880 [startup+460.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 43689 46 0 0 25 0 11 0 836414127 856965120 26658 4294967295 134512640 134569956 3221224384 3221214624 1131235165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26658 13086 16 0 209204 0 vsize: 836880 [startup+470.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) S 1274 25399 25398 0 -1 0 18107 3 1 0 44650 47 0 0 25 0 11 0 836414127 856965120 26739 4294967295 134512640 134569956 3221224384 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26739 13086 16 0 209204 0 vsize: 836880 [startup+480.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 45611 47 0 0 24 0 11 0 836414127 856965120 26845 4294967295 134512640 134569956 3221224384 3221214624 1131235661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26845 13086 16 0 209204 0 vsize: 836880 [startup+490.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 46578 48 0 0 25 0 11 0 836414127 856965120 26949 4294967295 134512640 134569956 3221224384 3221214172 1131493840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 26949 13086 16 0 209204 0 vsize: 836880 [startup+500.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 47543 48 0 0 25 0 11 0 836414127 856965120 27043 4294967295 134512640 134569956 3221224384 3221214624 1131235455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 27043 13086 16 0 209204 0 vsize: 836880 [startup+510.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1292 Raw data (stat): 1275 (java) R 1274 25399 25398 0 -1 0 18107 3 1 0 48511 48 0 0 25 0 11 0 836414127 856965120 27126 4294967295 134512640 134569956 3221224384 3221214720 1131307231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209220 27126 13086 16 0 209204 0 vsize: 836880 [startup+520.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 1293 Raw data (stat): 1275 (java) Z 1274 25399 25398 0 -1 1036 18107 9598 1 0 49471 49 2651 24 24 0 2 0 836414127 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 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 1293 Raw data (stat): 1275 (java) Z 1274 25399 25398 0 -1 1036 18107 9598 1 0 49471 49 2651 24 24 0 2 0 836414127 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 Child status: 30 Real time (s): 520.03 CPU time (s): 521.963 CPU user time (s): 521.226 CPU system time (s): 0.736887 CPU usage (%): 100.372 Max. virtual memory (Kb): 837384 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 88 #### END VERIFIER DATA ####