Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 1470471039630 | 1800.21 | 1787.12 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 34e6501168eba14fba603ee8987209fc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1470471039630 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1470471039630 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb 0.20/0.20 c reading problem ... 2.08/1.20 c ... done. Wall clock time 1.003s. 2.08/1.20 c CPU time (experimental) 0.72s. 2.08/1.20 c #vars 780 2.08/1.21 c #constraints 441 2.82/1.62 c SATISFIABLE 2.82/1.62 c OPTIMIZING... 2.82/1.62 c Got one! Elapsed wall clock time (in seconds):1.415 2.82/1.63 o 1072965096401624 3.09/1.80 c Got one! Elapsed wall clock time (in seconds):1.601 3.09/1.80 o 1072834124159704 3.39/2.18 c Got one! Elapsed wall clock time (in seconds):1.982 3.39/2.18 o 1072834123407688 3.68/2.35 c Got one! Elapsed wall clock time (in seconds):2.15 3.68/2.35 o 5169197859808 3.80/2.48 c Got one! Elapsed wall clock time (in seconds):2.277 3.80/2.48 o 4923435169854 4.02/2.63 c Got one! Elapsed wall clock time (in seconds):2.432 4.02/2.63 o 4915238169479 4.23/2.80 c Got one! Elapsed wall clock time (in seconds):2.601 4.23/2.80 o 4718621031043 4.35/2.92 c Got one! Elapsed wall clock time (in seconds):2.72 4.35/2.92 o 4718518298510 4.55/3.12 c Got one! Elapsed wall clock time (in seconds):2.924 4.55/3.13 o 3670075006850 4.68/3.25 c Got one! Elapsed wall clock time (in seconds):3.053 4.68/3.25 o 3670066983809 4.97/3.45 c Got one! Elapsed wall clock time (in seconds):3.248 4.97/3.45 o 3670051927299 5.48/3.90 c Got one! Elapsed wall clock time (in seconds):3.699 5.48/3.90 o 3670051126504 6.89/5.33 c Got one! Elapsed wall clock time (in seconds):5.128 6.89/5.33 o 2617393786275 7.11/5.55 c Got one! Elapsed wall clock time (in seconds):5.349 7.11/5.55 o 2605074338677 7.32/5.75 c Got one! Elapsed wall clock time (in seconds):5.551 7.32/5.75 o 2605072420308 7.52/5.90 c Got one! Elapsed wall clock time (in seconds):5.699 7.52/5.90 o 2605060531702 7.62/6.05 c Got one! Elapsed wall clock time (in seconds):5.845 7.62/6.05 o 2605038017967 7.82/6.21 c Got one! Elapsed wall clock time (in seconds):6.012 7.82/6.21 o 2604047656435 7.92/6.34 c Got one! Elapsed wall clock time (in seconds):6.143 7.92/6.34 o 2603985341708 8.04/6.45 c Got one! Elapsed wall clock time (in seconds):6.251 8.04/6.45 o 2600976627227 8.18/6.57 c Got one! Elapsed wall clock time (in seconds):6.373 8.18/6.57 o 2588691757952 8.32/6.68 c Got one! Elapsed wall clock time (in seconds):6.481 8.32/6.68 o 2588688261311 8.42/6.79 c Got one! Elapsed wall clock time (in seconds):6.588 8.42/6.79 o 2551824134110 9.32/7.67 c Got one! Elapsed wall clock time (in seconds):7.469 9.32/7.67 o 2551820972057 9.63/7.91 c Got one! Elapsed wall clock time (in seconds):7.707 9.63/7.91 o 2537493259262 9.73/8.05 c Got one! Elapsed wall clock time (in seconds):7.845 9.73/8.05 o 2523154833862 9.93/8.21 c Got one! Elapsed wall clock time (in seconds):8.004 9.93/8.21 o 2498574462408 10.56/8.84 c Got one! Elapsed wall clock time (in seconds):8.643 10.56/8.84 o 2498551084702 10.77/9.07 c Got one! Elapsed wall clock time (in seconds):8.873 10.77/9.07 o 2484942646785 10.87/9.20 c Got one! Elapsed wall clock time (in seconds):8.996 10.87/9.20 o 2473998886639 11.17/9.49 c Got one! Elapsed wall clock time (in seconds):9.29 11.17/9.49 o 2465824180183 11.37/9.68 c Got one! Elapsed wall clock time (in seconds):9.481 11.37/9.68 o 2359305132992 11.68/9.92 c Got one! Elapsed wall clock time (in seconds):9.722 11.68/9.92 o 2031629150665 11.77/10.08 c Got one! Elapsed wall clock time (in seconds):9.884 11.77/10.09 o 2031607613369 12.81/11.08 c Got one! Elapsed wall clock time (in seconds):10.878 12.81/11.08 o 2027554975193 13.41/11.60 c Got one! Elapsed wall clock time (in seconds):11.401 13.41/11.60 o 2027551510149 14.02/12.21 c Got one! Elapsed wall clock time (in seconds):12.006 14.02/12.21 o 2023436444185 14.21/12.44 c Got one! Elapsed wall clock time (in seconds):12.238 14.21/12.44 o 2023435343085 14.61/12.81 c Got one! Elapsed wall clock time (in seconds):12.612 14.61/12.81 o 2015245310658 15.73/13.98 c Got one! Elapsed wall clock time (in seconds):13.783 15.73/13.98 o 2015243319936 16.52/14.76 c Got one! Elapsed wall clock time (in seconds):14.557 16.52/14.76 o 2013203308100 17.64/15.80 c Got one! Elapsed wall clock time (in seconds):15.603 17.64/15.80 o 1965840228455 19.25/17.41 c Got one! Elapsed wall clock time (in seconds):17.212 19.25/17.41 o 1964045263181 20.35/18.57 c Got one! Elapsed wall clock time (in seconds):18.364 20.35/18.57 o 1963792536993 21.45/19.63 c Got one! Elapsed wall clock time (in seconds):19.426 21.45/19.63 o 1945608727669 21.86/20.00 c Got one! Elapsed wall clock time (in seconds):19.803 21.86/20.00 o 1941521622723 25.47/23.60 c Got one! Elapsed wall clock time (in seconds):23.396 25.47/23.60 o 1941516481254 26.48/24.60 c Got one! Elapsed wall clock time (in seconds):24.404 26.48/24.61 o 1872393625846 27.48/25.67 c Got one! Elapsed wall clock time (in seconds):25.473 27.48/25.67 o 1871891111354 28.99/27.14 c Got one! Elapsed wall clock time (in seconds):26.94 28.99/27.14 o 1871882125952 36.42/34.56 c Got one! Elapsed wall clock time (in seconds):34.362 36.42/34.56 o 1867649211701 40.93/39.07 c Got one! Elapsed wall clock time (in seconds):38.867 40.93/39.07 o 1867533832310 43.45/41.58 c Got one! Elapsed wall clock time (in seconds):41.378 43.45/41.58 o 1867532663216 45.26/43.35 c Got one! Elapsed wall clock time (in seconds):43.143 45.26/43.35 o 1867531420361 47.76/45.83 c Got one! Elapsed wall clock time (in seconds):45.629 47.76/45.83 o 1867528451282 49.97/48.05 c Got one! Elapsed wall clock time (in seconds):47.849 49.97/48.05 o 1867022512842 55.29/53.31 c Got one! Elapsed wall clock time (in seconds):53.109 55.29/53.31 o 1867019901640 58.51/56.54 c Got one! Elapsed wall clock time (in seconds):56.333 58.51/56.54 o 1866766070655 60.41/58.47 c Got one! Elapsed wall clock time (in seconds):58.27 60.41/58.47 o 1854477387743 62.32/60.34 c Got one! Elapsed wall clock time (in seconds):60.141 62.32/60.34 o 1853457419933 63.63/61.62 c Got one! Elapsed wall clock time (in seconds):61.419 63.63/61.62 o 1853455780933 67.15/65.16 c Got one! Elapsed wall clock time (in seconds):64.956 67.15/65.16 o 1851408421080 78.10/76.04 c Got one! Elapsed wall clock time (in seconds):75.842 78.10/76.04 o 1851407959080 80.41/78.34 c Got one! Elapsed wall clock time (in seconds):78.136 80.41/78.34 o 1851407253092 82.12/80.08 c Got one! Elapsed wall clock time (in seconds):79.883 82.12/80.08 o 1851406311266 83.02/80.98 c Got one! Elapsed wall clock time (in seconds):80.777 83.02/80.98 o 1851404398008 87.76/85.69 c Got one! Elapsed wall clock time (in seconds):85.488 87.76/85.69 o 1835021623737 99.43/97.20 c Got one! Elapsed wall clock time (in seconds):97.001 99.43/97.20 o 1835021352876 101.85/99.67 c Got one! Elapsed wall clock time (in seconds):99.467 101.85/99.67 o 1835019915016 102.36/100.17 c Got one! Elapsed wall clock time (in seconds):99.964 102.36/100.17 o 1830670258000 102.86/100.64 c Got one! Elapsed wall clock time (in seconds):100.438 102.86/100.64 o 1830507906501 109.92/107.65 c Got one! Elapsed wall clock time (in seconds):107.444 109.92/107.65 o 1827338470858 110.52/108.20 c Got one! Elapsed wall clock time (in seconds):107.997 110.52/108.20 o 1797644770179 115.46/113.17 c Got one! Elapsed wall clock time (in seconds):112.965 115.46/113.17 o 1796891948764 123.66/121.29 c Got one! Elapsed wall clock time (in seconds):121.088 123.66/121.29 o 1795867024738 125.87/123.48 c Got one! Elapsed wall clock time (in seconds):123.279 125.87/123.48 o 1795320466923 126.78/124.30 c Got one! Elapsed wall clock time (in seconds):124.102 126.78/124.30 o 1794829251456 127.18/124.70 c Got one! Elapsed wall clock time (in seconds):124.504 127.18/124.71 o 1767949282174 130.91/128.40 c Got one! Elapsed wall clock time (in seconds):128.2 130.91/128.40 o 1764811014936 137.67/135.13 c Got one! Elapsed wall clock time (in seconds):134.93 137.67/135.13 o 1764809380797 148.96/146.37 c Got one! Elapsed wall clock time (in seconds):146.167 148.96/146.37 o 1764436532162 163.46/160.76 c Got one! Elapsed wall clock time (in seconds):160.558 163.46/160.76 o 1764435281260 170.84/168.04 c Got one! Elapsed wall clock time (in seconds):167.837 170.84/168.04 o 1764434647510 171.44/168.64 c Got one! Elapsed wall clock time (in seconds):168.442 171.44/168.64 o 1760773629062 174.96/172.14 c Got one! Elapsed wall clock time (in seconds):171.942 174.96/172.14 o 1760267043921 177.79/174.92 c Got one! Elapsed wall clock time (in seconds):174.718 177.79/174.92 o 1566734502521 186.76/183.81 c Got one! Elapsed wall clock time (in seconds):183.609 186.76/183.81 o 1564433606467 194.64/191.62 c Got one! Elapsed wall clock time (in seconds):191.416 194.64/191.62 o 1564433203052 199.89/196.90 c Got one! Elapsed wall clock time (in seconds):196.7 199.99/196.90 o 1563652644894 206.65/203.58 c Got one! Elapsed wall clock time (in seconds):203.382 206.65/203.58 o 1563544040101 222.67/219.41 c Got one! Elapsed wall clock time (in seconds):219.202 222.67/219.41 o 1554540070772 320.66/316.70 c Got one! Elapsed wall clock time (in seconds):316.495 320.66/316.70 o 1554347572686 331.84/327.79 c Got one! Elapsed wall clock time (in seconds):327.589 331.84/327.79 o 1553929860217 392.44/387.87 c Got one! Elapsed wall clock time (in seconds):387.668 392.44/387.87 o 1553928999730 418.83/414.07 c Got one! Elapsed wall clock time (in seconds):413.871 418.83/414.07 o 1553928798491 443.03/438.04 c Got one! Elapsed wall clock time (in seconds):437.842 443.03/438.04 o 1553927099664 465.27/460.14 c Got one! Elapsed wall clock time (in seconds):459.938 465.27/460.14 o 1553411626783 481.01/475.74 c Got one! Elapsed wall clock time (in seconds):475.535 481.01/475.74 o 1552411031375 517.08/511.60 c Got one! Elapsed wall clock time (in seconds):511.395 517.18/511.60 o 1540107315337 598.17/592.03 c Got one! Elapsed wall clock time (in seconds):591.829 598.17/592.03 o 1540107227123 643.00/636.52 c Got one! Elapsed wall clock time (in seconds):636.323 643.00/636.52 o 1540107227096 660.75/654.19 c Got one! Elapsed wall clock time (in seconds):653.991 660.75/654.19 o 1531918433646 702.45/695.51 c Got one! Elapsed wall clock time (in seconds):695.309 702.45/695.51 o 1531917787276 720.69/713.60 c Got one! Elapsed wall clock time (in seconds):713.396 720.69/713.60 o 1531917363388 765.92/758.52 c Got one! Elapsed wall clock time (in seconds):758.317 765.92/758.52 o 1531917043662 869.41/861.40 c Got one! Elapsed wall clock time (in seconds):861.194 869.41/861.40 o 1507338364138 1205.79/1195.97 c Got one! Elapsed wall clock time (in seconds):1195.772 1205.79/1195.97 o 1498052050316 1284.14/1273.84 c Got one! Elapsed wall clock time (in seconds):1273.641 1284.14/1273.84 o 1494916318835 1364.09/1353.37 c Got one! Elapsed wall clock time (in seconds):1353.173 1364.09/1353.37 o 1494770776758 1521.10/1509.50 c Got one! Elapsed wall clock time (in seconds):1509.303 1521.10/1509.50 o 1494760484779 1533.58/1521.93 c Got one! Elapsed wall clock time (in seconds):1521.731 1533.58/1521.93 o 1494536423849 1535.18/1523.58 c Got one! Elapsed wall clock time (in seconds):1523.382 1535.18/1523.58 o 1490953624495 1577.80/1565.87 c Got one! Elapsed wall clock time (in seconds):1565.668 1577.80/1565.87 o 1482765117149 1727.63/1714.98 c Got one! Elapsed wall clock time (in seconds):1714.78 1727.63/1714.98 o 1470475951227 1778.46/1765.53 c Got one! Elapsed wall clock time (in seconds):1765.333 1778.46/1765.53 o 1470471039630 1800.09/1787.01 c starts : 712 1800.09/1787.01 c conflicts : 607887 1800.09/1787.01 c decisions : 980416 1800.09/1787.01 c propagations : 16706422 1800.09/1787.01 c inspects : 2933621638 1800.09/1787.01 c learnt literals : 8 1800.09/1787.01 c learnt binary clauses : 43 1800.09/1787.01 c learnt ternary clauses : 44 1800.09/1787.01 c learnt clauses : 607879 1800.09/1787.01 c root simplifications : 0 1800.09/1787.01 c removed literals (reason simplification) : 0 1800.09/1787.01 c reason swapping (by a shorter reason) : 0 1800.09/1787.01 c Calls to reduceDB : 0 1800.09/1787.01 c speed (decisions/second) : 45658.08224281656 1800.09/1787.01 c non guided choices 5338 1800.09/1787.01 s SATISFIABLE 1800.09/1787.02 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 1800.09/1787.02 v -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 1800.09/1787.02 v -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 1800.09/1787.02 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.09/1787.02 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 1800.09/1787.02 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 x146 x147 x148 x149 -x150 1800.09/1787.02 v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 x167 -x168 x169 x170 x171 x172 x173 1800.09/1787.02 v -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.09/1787.02 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216 1800.09/1787.02 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 -x237 1800.09/1787.02 v -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.09/1787.02 v -x259 -x260 -x261 x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 1800.09/1787.02 v -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 -x302 1800.09/1787.02 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1800.09/1787.02 v -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 x342 x343 x344 x345 1800.09/1787.02 v x346 x347 x348 x349 x350 x351 -x352 -x353 x354 -x355 x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1800.09/1787.02 v -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1800.09/1787.02 v -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 1800.09/1787.02 v -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 1800.09/1787.02 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 1800.09/1787.02 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 1800.09/1787.02 v -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 x494 1800.09/1787.02 v x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 1800.09/1787.02 v -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 1800.09/1787.02 v -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 x546 x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 1800.09/1787.02 v x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1800.09/1787.02 v -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602 1800.09/1787.02 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 1800.09/1787.02 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1800.09/1787.02 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 1800.09/1787.02 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.09/1787.02 v -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 1800.09/1787.02 v -x708 x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1800.09/1787.02 v -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.09/1787.02 v -x750 -x751 -x752 x753 x754 x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 1800.09/1787.02 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 1800.09/1787.02 c objective function=1470471039630 1800.09/1787.02 c Total wall clock time (ms): 1786.815
OK 1470471039630
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-354378-1176707146 -o ROOT/results/node51/solver-354378-1176707146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 2/64 24616 /proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=152 CPUtime=0 /proc/24616/stat : 24616 (java) D 24614 24616 24216 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 25559750 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2618148 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/24616/statm: 38 26 19 9 0 4 0 [startup+0.0724701 s] /proc/loadavg: 1.00 1.01 1.00 2/64 24616 /proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1777708 CPUtime=0.05 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 3710 0 1 0 4 1 0 0 18 0 7 0 25559750 1820372992 3452 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 444427 3452 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.10145 s] /proc/loadavg: 1.00 1.01 1.00 2/64 24616 /proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1780108 CPUtime=0.08 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 25559750 1822830592 3712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 445027 3712 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301468 s] /proc/loadavg: 1.00 1.01 1.00 2/64 24616 /proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1781932 CPUtime=0.33 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 5120 0 1 0 30 3 0 0 18 0 12 0 25559750 1824698368 4858 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 445483 4858 1263 9 0 443095 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781932 [startup+0.701503 s] /proc/loadavg: 1.00 1.01 1.00 2/64 24616 /proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1789008 CPUtime=1.09 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 9014 0 1 0 105 4 0 0 18 0 12 0 25559750 1831944192 8297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 447252 8297 1310 9 0 444864 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 1789008 [startup+1.50257 s] /proc/loadavg: 1.16 1.04 1.01 4/76 24628 /proc/meminfo: memFree=1896920/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793012 CPUtime=2.65 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 19155 0 1 0 257 8 0 0 18 0 13 0 25559750 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448253 13530 1322 9 0 445865 0 [pid=24616/tid=24618] ppid=24614 vsize=1793012 CPUtime=0.82 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 9884 0 1 0 78 4 0 0 19 0 13 0 25559751 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109213882 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 25559753 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 25559753 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 25559755 1836044288 13531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 25559756 1836044288 13532 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 25559756 1836044288 13532 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836044288 13533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793012 CPUtime=0.93 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4510 0 0 0 92 1 0 0 17 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793012 CPUtime=0.86 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4037 0 0 0 85 1 0 0 17 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 1793012 [startup+3.10271 s] /proc/loadavg: 1.16 1.04 1.01 2/77 24631 /proc/meminfo: memFree=1834192/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793012 CPUtime=4.55 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 48118 0 1 0 435 20 0 0 18 0 13 0 25559750 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448253 42235 1334 9 0 445865 0 [pid=24616/tid=24618] ppid=24614 vsize=1793012 CPUtime=2.34 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 37714 0 1 0 218 16 0 0 25 0 13 0 25559751 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762096 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793012 CPUtime=0.01 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 478 0 0 0 1 0 0 0 16 0 13 0 25559753 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793012 CPUtime=0.01 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 370 0 0 0 1 0 0 0 16 0 13 0 25559753 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 25559755 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25559756 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793012 CPUtime=1.09 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4766 0 0 0 108 1 0 0 16 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793012 CPUtime=1.06 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4058 0 0 0 105 1 0 0 16 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793012 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.55 Current children cumulated vsize (KiB) 1793012 [startup+6.302 s] /proc/loadavg: 1.16 1.04 1.01 2/77 24642 /proc/meminfo: memFree=1760760/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1792916 CPUtime=7.92 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 49475 0 1 0 771 21 0 0 18 0 13 0 25559750 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448229 43500 1335 9 0 445841 0 [pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=5.46 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 37725 0 1 0 530 16 0 0 17 0 13 0 25559751 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762058 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.03 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 1060 0 0 0 3 0 0 0 16 0 13 0 25559753 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.03 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 1080 0 0 0 3 0 0 0 16 0 13 0 25559753 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 25559755 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1792916 CPUtime=1.16 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4802 0 0 0 115 1 0 0 16 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1792916 CPUtime=1.18 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4066 0 0 0 117 1 0 0 16 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.92 Current children cumulated vsize (KiB) 1792916 [startup+12.7026 s] /proc/loadavg: 1.13 1.04 1.01 2/77 24665 /proc/meminfo: memFree=1742344/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1792916 CPUtime=14.51 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 55564 0 1 0 1427 24 0 0 18 0 13 0 25559750 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448229 48090 1335 9 0 445841 0 [pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=11.71 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 38607 0 1 0 1155 16 0 0 18 0 13 0 25559751 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109764285 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.12 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 3676 0 0 0 11 1 0 0 16 0 13 0 25559753 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.12 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 3588 0 0 0 11 1 0 0 16 0 13 0 25559753 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 25559755 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 26 0 0 0 0 0 0 0 17 0 13 0 25559756 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1792916 CPUtime=1.26 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4812 0 0 0 125 1 0 0 16 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1792916 CPUtime=1.22 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 121 1 0 0 16 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.51 Current children cumulated vsize (KiB) 1792916 [startup+25.5017 s] /proc/loadavg: 1.11 1.04 1.01 2/77 24677 /proc/meminfo: memFree=1734968/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1792916 CPUtime=27.38 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 62004 0 1 0 2711 27 0 0 18 0 13 0 25559750 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448229 49876 1335 9 0 445841 0 [pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=24.43 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 41652 0 1 0 2425 18 0 0 24 0 13 0 25559751 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762226 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.2 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 5334 0 0 0 18 2 0 0 16 0 13 0 25559753 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.19 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 5304 0 0 0 17 2 0 0 16 0 13 0 25559753 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0.01 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 37 0 0 0 1 0 0 0 15 0 13 0 25559755 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 25559756 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.29 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 215 0 0 0 15 14 0 0 16 0 13 0 25559755 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24744] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24744/stat : 24744 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25716338 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.46 Current children cumulated vsize (KiB) 1793240 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24744 /proc/meminfo: memFree=1507392/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793240 CPUtime=1674.83 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 177178 0 1 0 167363 120 0 0 18 0 13 0 25559750 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448310 106342 1335 9 0 445922 0 [pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1648.22 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97604 0 1 0 164776 46 0 0 25 0 13 0 25559751 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109835283 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=11.78 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 34475 0 0 0 1153 25 0 0 17 0 13 0 25559753 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=11.89 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35089 0 0 0 1162 27 0 0 16 0 13 0 25559753 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) R 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24744] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24744/stat : 24744 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25716338 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.83 Current children cumulated vsize (KiB) 1793240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24745 /proc/meminfo: memFree=1505976/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793240 CPUtime=1735.04 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178085 0 1 0 173383 121 0 0 18 0 13 0 25559750 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448310 106640 1335 9 0 445922 0 [pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1707.94 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97615 0 1 0 170747 47 0 0 25 0 13 0 25559751 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109835841 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.04 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 34881 0 0 0 1178 26 0 0 17 0 13 0 25559753 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.14 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35578 0 0 0 1186 28 0 0 16 0 13 0 25559753 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24745] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24745/stat : 24745 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25731249 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.04 Current children cumulated vsize (KiB) 1793240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24746 /proc/meminfo: memFree=1505968/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793240 CPUtime=1795.32 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178800 0 1 0 179409 123 0 0 18 0 13 0 25559750 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448310 106635 1335 9 0 445922 0 [pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1767.58 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97629 0 1 0 176711 47 0 0 25 0 13 0 25559751 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670288 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.36 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 35331 0 0 0 1209 27 0 0 16 0 13 0 25559753 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.45 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35828 0 0 0 1217 28 0 0 16 0 13 0 25559753 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24746] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24746/stat : 24746 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 25736304 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.32 Current children cumulated vsize (KiB) 1793240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24746 /proc/meminfo: memFree=1506160/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=1793240 CPUtime=1800.09 /proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178903 0 1 0 179885 124 0 0 18 0 13 0 25559750 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24616/statm: 448310 106590 1335 9 0 445922 0 [pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1772.2 /proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97632 0 1 0 177173 47 0 0 25 0 13 0 25559751 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670288 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.43 /proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 35370 0 0 0 1216 27 0 0 16 0 13 0 25559753 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.52 /proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35889 0 0 0 1223 29 0 0 16 0 13 0 25559753 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3 /proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29 /proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25 /proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24616/tid=24746] ppid=24614 vsize=1793240 CPUtime=0 /proc/24616/task/24746/stat : 24746 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 25736304 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1793240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/77 24746 /proc/meminfo: memFree=1506160/2055920 swapFree=4183752/4192956 [pid=24616] ppid=24614 vsize=0 CPUtime=1800.2 /proc/24616/stat : 24616 (java) Z 24614 24616 24216 0 -1 1036 178916 0 1 0 179890 130 0 0 16 0 2 0 25559750 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24616/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.12 CPU time (s): 1800.21 CPU user time (s): 1798.91 CPU system time (s): 1.3048 CPU usage (%): 100.733 Max. virtual memory (cumulated for all children) (KiB): 1794844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.91 system time used= 1.3048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178916 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48776 involuntary context switches= 16736 runsolver used 1.80073 second user time and 4.77127 second system time The end
Begin job on node51 on Mon Apr 16 07:05:46 UTC 2007 IDJOB= 354378 IDBENCH= 2505 IDSOLVER= 159 FILE ID= node51/354378-1176707146 PBS_JOBID= 4560047 Free space on /tmp= 66535 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-354378-1176707146 -o ROOT/results/node51/solver-354378-1176707146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc RANDOM SEED= 695124755 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1931088 kB Buffers: 8012 kB Cached: 69228 kB SwapCached: 3408 kB Active: 44988 kB Inactive: 42648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1931088 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 3936 kB Writeback: 0 kB Mapped: 15804 kB Slab: 23284 kB Committed_AS: 2529916 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66535 MiB End job on node51 on Mon Apr 16 07:35:35 UTC 2007