Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | -40 | 1800.2 | 1793.85 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
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 | 2 |
Number of terms in the objective function | 1150 |
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 | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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/353692-1176673124/instance-353692-1176673124.opb 0.20/0.20 c reading problem ... 2.99/2.40 c ... done. Wall clock time 2.199s. 2.99/2.40 c CPU time (experimental) 1.87s. 2.99/2.40 c #vars 1150 2.99/2.40 c #constraints 80035 2.99/2.45 c SATISFIABLE 2.99/2.45 c OPTIMIZING... 2.99/2.45 c Got one! Elapsed wall clock time (in seconds):2.248 2.99/2.46 o -34 3.30/2.69 c Got one! Elapsed wall clock time (in seconds):2.488 3.30/2.69 o -35 4.07/3.22 c Got one! Elapsed wall clock time (in seconds):3.015 4.07/3.22 o -37 4.18/3.32 c Got one! Elapsed wall clock time (in seconds):3.119 4.18/3.32 o -38 51.15/49.91 c Got one! Elapsed wall clock time (in seconds):49.707 51.15/49.91 o -39 54.06/52.85 c Got one! Elapsed wall clock time (in seconds):52.642 54.06/52.85 o -40 1310.73/1306.11 c cleaning 155776 clauses out of 311566 for limit 7.683256373856218E9 1324.45/1319.86 c cleaning 78137 clauses out of 156287 for limit 2.518400984878311E10 1328.66/1324.04 c cleaning 39312 clauses out of 78650 for limit 8.25286793304061E10 1331.26/1326.64 c cleaning 19905 clauses out of 39838 for limit 2.6869648306268518E11 1332.36/1327.71 c cleaning 10205 clauses out of 20434 for limit 8.647618442282969E11 1332.95/1328.33 c cleaning 5354 clauses out of 10728 for limit 2.7136417883562183E12 1333.25/1328.67 c cleaning 2928 clauses out of 5875 for limit 8.180009558804931E12 1333.55/1328.96 c cleaning 1714 clauses out of 3449 for limit 2.302466914613992E13 1333.75/1329.17 c cleaning 1109 clauses out of 2234 for limit 5.856319997093088E13 1334.05/1329.44 c cleaning 812 clauses out of 1624 for limit 1.3272212246937352E14 1334.25/1329.70 c cleaning 656 clauses out of 1313 for limit 2.7099109251263162E14 1334.46/1329.90 c cleaning 578 clauses out of 1156 for limit 5.070879413612361E14 1334.75/1330.16 c cleaning 538 clauses out of 1077 for limit 8.966992140313936E14 1335.05/1330.42 c cleaning 508 clauses out of 1041 for limit 1.5329806514758498E15 1585.83/1580.57 c cleaning 44760 clauses out of 89532 for limit 8.358387332204486E11 1588.03/1582.77 c cleaning 22631 clauses out of 45272 for limit 2.7260071137862095E12 1589.43/1584.10 c cleaning 11561 clauses out of 23143 for limit 8.811745004136148E12 1590.83/1585.56 c cleaning 6035 clauses out of 12082 for limit 2.783547469144959E13 1591.73/1586.40 c cleaning 3267 clauses out of 6545 for limit 8.456967778356002E13 1592.03/1586.79 c cleaning 1884 clauses out of 3779 for limit 2.4178972073711512E14 1592.43/1587.14 c cleaning 1188 clauses out of 2395 for limit 6.29165781865139E14 1592.83/1587.50 c cleaning 847 clauses out of 1706 for limit 1.4551674143546075E15 1593.13/1587.80 c cleaning 669 clauses out of 1359 for limit 3.0125094511070325E15 1593.33/1588.05 c cleaning 588 clauses out of 1189 for limit 5.672668375660578E15 1593.53/1588.24 c cleaning 551 clauses out of 1103 for limit 1.010458887702121E16 1593.73/1588.45 c cleaning 526 clauses out of 1052 for limit 1.7471665556077944E16 1593.93/1588.67 c cleaning 512 clauses out of 1024 for limit 2.9541800056749568E16 1594.13/1588.87 c cleaning 503 clauses out of 1012 for limit 4.92960686291346E-4 1594.33/1589.05 c cleaning 500 clauses out of 1010 for limit 8.153833201723928E-4 1667.74/1662.11 c cleaning 19248 clauses out of 38509 for limit 6.936395642674679E11 1669.74/1664.16 c cleaning 9875 clauses out of 19762 for limit 2.2312878552193716E12 1671.84/1666.24 c cleaning 5193 clauses out of 10387 for limit 7.000873847669969E12 1672.54/1666.97 c cleaning 2847 clauses out of 5694 for limit 2.106108824298938E13 1673.10/1667.46 c cleaning 1665 clauses out of 3346 for limit 5.904643873889571E13 1673.50/1667.83 c cleaning 1090 clauses out of 2181 for limit 1.4938942898160703E14 1673.80/1668.17 c cleaning 788 clauses out of 1592 for limit 3.37849179241042E14 1674.10/1668.46 c cleaning 644 clauses out of 1303 for limit 6.800532040598048E14 1674.30/1668.69 c cleaning 566 clauses out of 1160 for limit 1.2610134430362922E15 1674.50/1668.88 c cleaning 541 clauses out of 1094 for limit 2.2050389771439895E15 1674.70/1669.07 c cleaning 526 clauses out of 1052 for limit 3.7778023119341705E15 1674.90/1669.26 c cleaning 513 clauses out of 1026 for limit 6.387979210928896E15 1675.09/1669.45 c cleaning 506 clauses out of 1013 for limit 1.0669825001839994E16 1675.29/1669.70 c cleaning 504 clauses out of 1009 for limit 1.7701109399987772E16 1675.59/1669.92 c cleaning 502 clauses out of 1004 for limit 2.930753652236486E16 1675.79/1670.10 c cleaning 499 clauses out of 1002 for limit 4.8428519571997564E-4 1675.89/1670.26 c cleaning 498 clauses out of 1003 for limit 7.978548119692517E-4 1676.09/1670.46 c cleaning 495 clauses out of 1006 for limit 0.0013131587133899379 1676.29/1670.69 c cleaning 495 clauses out of 1010 for limit 0.0021548408595163473 1676.60/1670.94 c cleaning 500 clauses out of 1014 for limit 0.0035360630159842 1676.79/1671.15 c cleaning 503 clauses out of 1014 for limit 0.0058314409594051025 1677.09/1671.42 c cleaning 500 clauses out of 1011 for limit 0.009645362834707771 1677.29/1671.61 c cleaning 500 clauses out of 1013 for limit 0.015906886788819217 1728.86/1722.93 c cleaning 15751 clauses out of 31514 for limit 1.5100475087105335E10 1729.56/1723.68 c cleaning 8123 clauses out of 16260 for limit 4.8120036963532486E10 1730.06/1724.15 c cleaning 4311 clauses out of 8638 for limit 1.495284021863115E11 1730.46/1724.55 c cleaning 2412 clauses out of 4832 for limit 4.430353830639074E11 1730.66/1724.78 c cleaning 1457 clauses out of 2915 for limit 1.205063985223581E12 1730.96/1725.01 c cleaning 972 clauses out of 1959 for limit 2.960088046311018E12 1731.16/1725.21 c cleaning 739 clauses out of 1485 for limit 6.426869402836963E12 1731.36/1725.43 c cleaning 623 clauses out of 1247 for limit 1.263426185887584E13 1731.56/1725.65 c cleaning 555 clauses out of 1125 for limit 2.3118209960439734E13 1731.76/1725.88 c cleaning 534 clauses out of 1069 for limit 4.008209344290869E13 1731.96/1726.07 c cleaning 517 clauses out of 1034 for limit 6.826984830469238E13 1732.26/1726.33 c cleaning 509 clauses out of 1018 for limit 1.1447010927195811E14 1732.46/1726.53 c cleaning 504 clauses out of 1009 for limit 1.904603579323964E14 1744.25/1738.21 c cleaning 4991 clauses out of 10006 for limit 0.0025806649822527287 1744.75/1738.76 c cleaning 2751 clauses out of 5514 for limit 0.00771519204331907 1745.16/1739.16 c cleaning 1626 clauses out of 3263 for limit 0.021500685954541004 1745.45/1739.43 c cleaning 1063 clauses out of 2136 for limit 0.05411149295899263 1745.65/1739.65 c cleaning 781 clauses out of 1574 for limit 0.12122060175739233 1745.88/1739.85 c cleaning 641 clauses out of 1294 for limit 0.24340936649823608 1746.08/1740.05 c cleaning 569 clauses out of 1151 for limit 0.45038415402069526 1746.28/1740.24 c cleaning 532 clauses out of 1082 for limit 0.790109078752081 1746.48/1740.48 c cleaning 520 clauses out of 1050 for limit 1.3427059109374582 1746.68/1740.68 c cleaning 510 clauses out of 1030 for limit 2.257297820072799 1746.98/1740.92 c cleaning 503 clauses out of 1020 for limit 3.7590820231723945 1747.18/1741.11 c cleaning 504 clauses out of 1018 for limit 6.21762599529942 1747.28/1741.29 c cleaning 501 clauses out of 1013 for limit 10.294003285881328 1747.48/1741.50 c cleaning 501 clauses out of 1015 for limit 16.993667947588705 1747.78/1741.74 c cleaning 497 clauses out of 1011 for limit 28.05138871350047 1747.98/1741.98 c cleaning 500 clauses out of 1014 for limit 46.12362727337783 1748.28/1742.22 c cleaning 496 clauses out of 1014 for limit 76.06403168226548 1748.48/1742.42 c cleaning 501 clauses out of 1018 for limit 124.94687682011649 1794.93/1788.67 c cleaning 13499 clauses out of 27018 for limit 1.541049215926682E12 1795.94/1789.69 c cleaning 7004 clauses out of 14020 for limit 4.902437789931091E12 1796.53/1790.29 c cleaning 3753 clauses out of 7516 for limit 1.5080968073830139E13 1796.83/1790.59 c cleaning 2126 clauses out of 4261 for limit 4.3781568992114945E13 1797.14/1790.84 c cleaning 1308 clauses out of 2635 for limit 1.1675570831814067E14 1797.33/1791.09 c cleaning 914 clauses out of 1828 for limit 2.7782604070274762E14 1797.63/1791.38 c cleaning 707 clauses out of 1415 for limit 5.924928313921752E14 1797.93/1791.60 c cleaning 594 clauses out of 1207 for limit 1.1443362223991682E15 1798.03/1791.80 c cleaning 544 clauses out of 1113 for limit 2.0465465996206288E15 1798.33/1792.01 c cleaning 534 clauses out of 1068 for limit 3.5137181728238315E15 1798.53/1792.21 c cleaning 509 clauses out of 1035 for limit 5.985331741221409E15 1798.73/1792.41 c cleaning 512 clauses out of 1025 for limit 9.95694449414694E15 1798.83/1792.59 c cleaning 507 clauses out of 1015 for limit 1.6615324204738778E16 1799.03/1792.79 c cleaning 503 clauses out of 1006 for limit 2.7590765166887844E16 1799.23/1792.98 c cleaning 502 clauses out of 1004 for limit 4.5637139094719584E16 1799.43/1793.16 c cleaning 496 clauses out of 1002 for limit 7.54119706435244E-4 1799.63/1793.38 c cleaning 497 clauses out of 1008 for limit 0.001238717832663402 1800.07/1793.71 c starts : 53 1800.07/1793.71 c conflicts : 553398 1800.07/1793.71 c decisions : 565666 1800.07/1793.71 c propagations : 2998102 1800.07/1793.71 c inspects : 678312223 1800.07/1793.71 c learnt literals : 0 1800.07/1793.71 c learnt binary clauses : 0 1800.07/1793.71 c learnt ternary clauses : 0 1800.07/1793.71 c learnt clauses : 553398 1800.07/1793.71 c root simplifications : 0 1800.07/1793.71 c removed literals (reason simplification) : 0 1800.07/1793.71 c reason swapping (by a shorter reason) : 0 1800.07/1793.71 c Calls to reduceDB : 100 1800.07/1793.71 c speed (decisions/second) : 324.937272238485 1800.07/1793.71 c non guided choices 0 1800.07/1793.71 s SATISFIABLE 1800.07/1793.72 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.07/1793.72 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 1800.07/1793.72 v -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 1800.07/1793.72 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.07/1793.72 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.07/1793.72 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 1800.07/1793.72 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.07/1793.72 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.07/1793.72 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 1800.07/1793.72 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.07/1793.72 v -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.07/1793.72 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 1800.07/1793.72 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.07/1793.72 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.07/1793.72 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.07/1793.72 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.07/1793.72 v -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.07/1793.72 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.07/1793.72 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.07/1793.72 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 1800.07/1793.72 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.07/1793.72 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 1800.07/1793.72 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.07/1793.72 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.07/1793.72 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.07/1793.72 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.07/1793.72 v -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.07/1793.72 v -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.07/1793.72 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.07/1793.72 v -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.07/1793.72 v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.07/1793.72 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 1800.07/1793.72 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.07/1793.72 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 1800.07/1793.72 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.07/1793.72 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.07/1793.72 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.07/1793.72 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.07/1793.72 v x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.07/1793.72 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 1800.07/1793.72 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.07/1793.72 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 1800.07/1793.72 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.07/1793.72 v -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.07/1793.72 v -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.07/1793.72 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.07/1793.72 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.07/1793.72 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.07/1793.72 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.07/1793.72 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.07/1793.72 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.07/1793.72 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.07/1793.72 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 1800.07/1793.72 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.07/1793.72 v -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.07/1793.72 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.07/1793.72 c objective function=-40 1800.07/1793.72 c Total wall clock time (ms): 1793.518
OK -40
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-353692-1176673124 -o ROOT/results/node51/solver-353692-1176673124 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.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: 0.92 0.98 0.99 2/64 4373 /proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=152 CPUtime=0 /proc/4373/stat : 4373 (java) R 4371 4373 3660 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 22157541 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2617643 0 0 4096 0 0 0 0 17 1 0 0 /proc/4373/statm: 38 26 19 9 0 4 0 [startup+0.084066 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4373 /proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1777844 CPUtime=0.06 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 3795 0 1 0 4 2 0 0 18 0 7 0 22157541 1820512256 3537 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 444461 3537 1086 9 0 442097 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777844 [startup+0.102062 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4373 /proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1780108 CPUtime=0.08 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 22157541 1822830592 3712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 445027 3712 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301089 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4373 /proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1782452 CPUtime=0.32 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 5119 0 1 0 29 3 0 0 18 0 12 0 22157541 1825230848 4857 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 445613 4857 1264 9 0 443225 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782452 [startup+0.701115 s] /proc/loadavg: 0.92 0.98 0.99 2/64 4373 /proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1783724 CPUtime=0.9 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 6885 0 1 0 86 4 0 0 18 0 12 0 22157541 1826533376 6390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 445931 6390 1301 9 0 443543 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783724 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.99 3/76 4385 /proc/meminfo: memFree=1782040/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1785988 CPUtime=2.05 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 18058 0 1 0 196 9 0 0 18 0 12 0 22157541 1828851712 16339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446497 16340 1301 9 0 444109 0 [pid=4373/tid=4375] ppid=4371 vsize=1785988 CPUtime=1.01 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 14464 0 1 0 94 7 0 0 25 0 12 0 22157543 1828851712 16341 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109624280 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 22157544 1828851712 16342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22157544 1828851712 16343 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 22157546 1828851712 16344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 22157547 1828851712 16346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 22157547 1828851712 16347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 22157551 1828851712 16348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1785988 CPUtime=0.55 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 1777 0 0 0 55 0 0 0 17 0 12 0 22157551 1828851712 16349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1785988 CPUtime=0.45 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 1097 0 0 0 45 0 0 0 16 0 12 0 22157551 1828851712 16350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 22157551 1828851712 16351 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1785988 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22157551 1828851712 16352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 1785988 [startup+3.10233 s] /proc/loadavg: 0.92 0.98 0.99 2/76 4385 /proc/meminfo: memFree=1678360/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1787144 CPUtime=3.97 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 43904 0 1 0 375 22 0 0 18 0 13 0 22157541 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446786 41366 1323 9 0 444398 0 [pid=4373/tid=4375] ppid=4371 vsize=1787144 CPUtime=2.38 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37716 0 1 0 220 18 0 0 23 0 13 0 22157543 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796808 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1787144 CPUtime=0.04 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1787144 CPUtime=0.04 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787144 CPUtime=0.79 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2596 0 0 0 78 1 0 0 16 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787144 CPUtime=0.67 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 1371 0 0 0 67 0 0 0 16 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787144 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 1787144 [startup+6.30261 s] /proc/loadavg: 0.93 0.98 0.99 2/77 4390 /proc/meminfo: memFree=1648456/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1786184 CPUtime=7.3 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44598 0 1 0 707 23 0 0 18 0 13 0 22157541 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446546 41205 1326 9 0 444158 0 [pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=5.49 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37720 0 1 0 531 18 0 0 17 0 13 0 22157543 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828880 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1786184 CPUtime=0.9 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 89 1 0 0 17 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1786184 CPUtime=0.79 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2044 0 0 0 78 1 0 0 16 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4390] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4390/stat : 4390 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 22157884 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.3 Current children cumulated vsize (KiB) 1786184 [startup+12.7022 s] /proc/loadavg: 1.01 1.00 1.00 2/77 4390 /proc/meminfo: memFree=1648520/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1786184 CPUtime=13.72 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44602 0 1 0 1349 23 0 0 18 0 13 0 22157541 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446546 41207 1326 9 0 444158 0 [pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=11.86 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37722 0 1 0 1168 18 0 0 19 0 13 0 22157543 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1786184 CPUtime=0.93 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 92 1 0 0 16 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1786184 CPUtime=0.81 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2046 0 0 0 80 1 0 0 16 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4390] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4390/stat : 4390 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 22157884 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.72 Current children cumulated vsize (KiB) 1786184 [startup+25.5023 s] /proc/loadavg: 1.01 1.00 1.00 2/77 4390 /proc/meminfo: memFree=1648520/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1786184 CPUtime=26.51 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44602 0 1 0 2628 23 0 0 18 0 13 0 22157541 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446546 41207 1326 9 0 444158 0 [pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=24.65 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37722 0 1 0 2447 18 0 0 25 0 13 0 22157543 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.28 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 104 24 0 0 16 0 13 0 22157546 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1607.76 Current children cumulated vsize (KiB) 1787468 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4590 /proc/meminfo: memFree=1352312/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1787468 CPUtime=1667.93 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635685 0 1 0 166467 326 0 0 18 0 13 0 22157541 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446867 114365 1332 9 0 444479 0 [pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1654.62 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37761 0 1 0 165440 22 0 0 25 0 13 0 22157543 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796814 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.01 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 361 140 0 0 17 0 13 0 22157544 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.03 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 367 136 0 0 16 0 13 0 22157544 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.28 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 104 24 0 0 16 0 13 0 22157546 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1667.93 Current children cumulated vsize (KiB) 1787468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4592 /proc/meminfo: memFree=1368376/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1787468 CPUtime=1728.26 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635690 0 1 0 172499 327 0 0 18 0 13 0 22157541 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446867 110335 1332 9 0 444479 0 [pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1714.13 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37766 0 1 0 171391 22 0 0 25 0 13 0 22157543 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109710934 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.35 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 395 140 0 0 16 0 13 0 22157544 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.37 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 401 136 0 0 16 0 13 0 22157544 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.41 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 116 25 0 0 16 0 13 0 22157546 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1728.26 Current children cumulated vsize (KiB) 1787468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4592 /proc/meminfo: memFree=1380472/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1787468 CPUtime=1788.54 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635696 0 1 0 178527 327 0 0 18 0 13 0 22157541 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446867 107317 1332 9 0 444479 0 [pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1773.71 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37771 0 1 0 177349 22 0 0 25 0 13 0 22157543 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796808 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.63 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 423 140 0 0 16 0 13 0 22157544 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.65 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 429 136 0 0 17 0 13 0 22157544 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.53 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 128 25 0 0 16 0 13 0 22157546 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.06 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2614 0 0 0 105 1 0 0 17 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (KiB) 1787468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.7 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4592 /proc/meminfo: memFree=1381304/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=1787468 CPUtime=1800.07 /proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635698 0 1 0 179679 328 0 0 18 0 13 0 22157541 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4373/statm: 446867 107093 1332 9 0 444479 0 [pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1784.99 /proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37773 0 1 0 178477 22 0 0 25 0 13 0 22157543 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.75 /proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 435 140 0 0 16 0 13 0 22157544 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.77 /proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 441 136 0 0 17 0 13 0 22157544 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.53 /proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 128 25 0 0 16 0 13 0 22157546 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.06 /proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2614 0 0 0 105 1 0 0 17 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92 /proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0 /proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1787468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.81 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4592 /proc/meminfo: memFree=1381304/2055920 swapFree=4184504/4192956 [pid=4373] ppid=4371 vsize=0 CPUtime=1800.18 /proc/4373/stat : 4373 (java) Z 4371 4373 3660 0 -1 1036 635717 0 1 0 179685 333 0 0 16 0 2 0 22157541 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1793.85 CPU time (s): 1800.2 CPU user time (s): 1796.85 CPU system time (s): 3.34749 CPU usage (%): 100.354 Max. virtual memory (cumulated for all children) (KiB): 1789472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.85 system time used= 3.34749 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 635717 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= 37479 involuntary context switches= 7948 runsolver used 2.00869 second user time and 4.5793 second system time The end
Begin job on node51 on Sun Apr 15 21:38:44 UTC 2007 IDJOB= 353692 IDBENCH= 2262 IDSOLVER= 159 FILE ID= node51/353692-1176673124 PBS_JOBID= 4559915 Free space on /tmp= 66559 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-353692-1176673124 -o ROOT/results/node51/solver-353692-1176673124 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 337865594 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: 1809616 kB Buffers: 30788 kB Cached: 141700 kB SwapCached: 2680 kB Active: 69484 kB Inactive: 113724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809616 kB SwapTotal: 4192956 kB SwapFree: 4184504 kB Dirty: 5472 kB Writeback: 0 kB Mapped: 16420 kB Slab: 49140 kB Committed_AS: 1847856 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= 66559 MiB End job on node51 on Sun Apr 15 22:08:40 UTC 2007