Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | -41 | 1800.21 | 1794.72 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94308 |
Number of constraints which are clauses | 94308 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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/353614-1176670835/instance-353614-1176670835.opb 0.20/0.20 c reading problem ... 3.09/2.57 c ... done. Wall clock time 2.368s. 3.09/2.57 c CPU time (experimental) 2.05s. 3.09/2.57 c #vars 1272 3.09/2.57 c #constraints 94308 3.19/2.62 c SATISFIABLE 3.19/2.62 c OPTIMIZING... 3.19/2.62 c Got one! Elapsed wall clock time (in seconds):2.417 3.19/2.63 o -36 3.53/2.89 c Got one! Elapsed wall clock time (in seconds):2.689 3.53/2.89 o -37 3.68/2.93 c Got one! Elapsed wall clock time (in seconds):2.729 3.68/2.93 o -38 4.14/3.24 c Got one! Elapsed wall clock time (in seconds):3.034 4.14/3.24 o -39 4.96/4.05 c Got one! Elapsed wall clock time (in seconds):3.847 4.96/4.05 o -40 8.93/7.98 c Got one! Elapsed wall clock time (in seconds):7.78 8.93/7.98 o -41 1302.71/1298.75 c cleaning 140077 clauses out of 280171 for limit 1.9506307135405454E-4 1310.43/1306.47 c cleaning 70295 clauses out of 140596 for limit 6.42318134876537E-4 1312.02/1308.03 c cleaning 35394 clauses out of 70798 for limit 0.002097270804747917 1313.33/1309.35 c cleaning 17946 clauses out of 35904 for limit 0.006820065605016983 1314.32/1310.31 c cleaning 9226 clauses out of 18460 for limit 0.021919195057968865 1315.42/1311.41 c cleaning 4860 clauses out of 9732 for limit 0.06842913675492056 1316.42/1312.44 c cleaning 2679 clauses out of 5372 for limit 0.20443866890114712 1316.72/1312.74 c cleaning 1588 clauses out of 3193 for limit 0.5672258532418649 1317.02/1313.04 c cleaning 1046 clauses out of 2105 for limit 1.4189226536638868 1317.22/1313.27 c cleaning 775 clauses out of 1562 for limit 3.1629273411632615 1317.62/1313.63 c cleaning 637 clauses out of 1286 for limit 6.3292267014503585 1413.18/1408.84 c cleaning 20569 clauses out of 41150 for limit 7.841210993443197E-4 1413.68/1409.36 c cleaning 10533 clauses out of 21080 for limit 0.002521759980714735 1414.18/1409.82 c cleaning 5517 clauses out of 11048 for limit 0.007942936454968387 1414.78/1410.47 c cleaning 3006 clauses out of 6028 for limit 0.023935574824559554 1415.08/1410.78 c cleaning 1754 clauses out of 3522 for limit 0.06755906660866007 1415.48/1411.14 c cleaning 1126 clauses out of 2270 for limit 0.17320963469399295 1415.88/1411.56 c cleaning 812 clauses out of 1644 for limit 0.394413686338408 1416.18/1411.81 c cleaning 658 clauses out of 1331 for limit 0.802596219475741 1416.38/1412.06 c cleaning 576 clauses out of 1173 for limit 1.5018724130491832 1416.68/1412.32 c cleaning 539 clauses out of 1097 for limit 2.648380073851926 1416.87/1412.56 c cleaning 522 clauses out of 1059 for limit 4.52878160520794 1417.07/1412.76 c cleaning 512 clauses out of 1037 for limit 7.627012683537625 1417.37/1413.08 c cleaning 502 clauses out of 1023 for limit 12.724609248293508 1417.57/1413.26 c cleaning 506 clauses out of 1021 for limit 21.025688859280294 1417.78/1413.47 c cleaning 501 clauses out of 1015 for limit 34.87914418018465 1417.97/1413.69 c cleaning 500 clauses out of 1014 for limit 57.57710100944507 1418.27/1413.91 c cleaning 498 clauses out of 1015 for limit 94.9537467325681 1418.47/1414.10 c cleaning 500 clauses out of 1016 for limit 156.28086831710112 1418.67/1414.39 c cleaning 500 clauses out of 1017 for limit 257.73237118651707 1551.92/1547.32 c cleaning 17002 clauses out of 34016 for limit 2.7702349061373153E-5 1556.32/1551.72 c cleaning 8754 clauses out of 17515 for limit 8.881372740038497E-5 1557.82/1553.23 c cleaning 4626 clauses out of 9260 for limit 2.7675828290652573E-4 1558.52/1553.93 c cleaning 2557 clauses out of 5134 for limit 8.232118943574556E-4 1558.82/1554.30 c cleaning 1528 clauses out of 3079 for limit 0.0022682071900414023 1559.12/1554.50 c cleaning 1019 clauses out of 2049 for limit 0.005609670038493637 1559.22/1554.70 c cleaning 759 clauses out of 1532 for limit 0.012397822675831234 1565.58/1560.96 c cleaning 3377 clauses out of 6771 for limit 1.1327993534482135 1565.88/1561.23 c cleaning 1940 clauses out of 3894 for limit 3.2483719083509546 1566.18/1561.50 c cleaning 1219 clauses out of 2456 for limit 8.510562028198523 1566.38/1561.73 c cleaning 859 clauses out of 1736 for limit 19.836189941502756 1566.58/1561.97 c cleaning 679 clauses out of 1376 for limit 41.229770788326725 1566.78/1562.15 c cleaning 591 clauses out of 1199 for limit 78.18709577627642 1566.98/1562.33 c cleaning 544 clauses out of 1106 for limit 139.5037883266211 1682.82/1677.90 c cleaning 16016 clauses out of 32062 for limit 2.3413772817228375E14 1684.62/1679.71 c cleaning 8263 clauses out of 16546 for limit 7.48212357763353E14 1685.52/1680.66 c cleaning 4387 clauses out of 8785 for limit 2.3286329672025607E-5 1686.02/1681.18 c cleaning 2443 clauses out of 4896 for limit 6.876829578066335E-5 1686.42/1681.54 c cleaning 1467 clauses out of 2953 for limit 1.8802782004200463E-4 1686.72/1681.84 c cleaning 988 clauses out of 1986 for limit 4.610650478914704E-4 1687.02/1682.16 c cleaning 744 clauses out of 1498 for limit 0.0010080579953839466 1687.32/1682.42 c cleaning 619 clauses out of 1254 for limit 0.001985892256763302 1687.56/1682.66 c cleaning 558 clauses out of 1137 for limit 0.0036192423475477488 1687.77/1682.90 c cleaning 533 clauses out of 1077 for limit 0.006288532209077378 1688.07/1683.16 c cleaning 515 clauses out of 1045 for limit 0.010698899334864622 1688.27/1683.38 c cleaning 508 clauses out of 1029 for limit 0.017900344622220354 1688.47/1683.59 c cleaning 503 clauses out of 1021 for limit 0.029751366084989624 1688.67/1683.79 c cleaning 500 clauses out of 1019 for limit 0.04920949052904831 1688.97/1684.10 c cleaning 504 clauses out of 1023 for limit 0.08115987195133498 1689.17/1684.28 c cleaning 495 clauses out of 1014 for limit 0.13435763789208116 1689.37/1684.47 c cleaning 500 clauses out of 1021 for limit 0.22049537455564908 1689.67/1684.71 c cleaning 502 clauses out of 1019 for limit 0.36361174678160807 1689.87/1684.97 c cleaning 499 clauses out of 1019 for limit 0.6008455037140196 1690.17/1685.26 c cleaning 502 clauses out of 1019 for limit 0.9898837406825576 1690.37/1685.47 c cleaning 500 clauses out of 1016 for limit 1.6356336702043284 1690.57/1685.68 c cleaning 501 clauses out of 1017 for limit 2.697423867385421 1690.87/1685.90 c cleaning 496 clauses out of 1015 for limit 4.452720979512729 1691.07/1686.11 c cleaning 503 clauses out of 1021 for limit 7.314601867699321 1691.27/1686.32 c cleaning 503 clauses out of 1018 for limit 12.09830540959977 1745.90/1740.71 c cleaning 13000 clauses out of 26015 for limit 5.692443501499112E10 1746.40/1741.29 c cleaning 6749 clauses out of 13514 for limit 1.8053442194613333E11 1746.70/1741.58 c cleaning 3622 clauses out of 7265 for limit 5.538143475138704E11 1747.03/1741.83 c cleaning 2061 clauses out of 4144 for limit 1.6027673003638945E12 1747.23/1742.09 c cleaning 1282 clauses out of 2583 for limit 4.24054524136233E12 1747.53/1742.35 c cleaning 890 clauses out of 1800 for limit 1.0025244594080543E13 1747.83/1742.63 c cleaning 704 clauses out of 1409 for limit 2.1099776958750566E13 1748.13/1742.93 c cleaning 594 clauses out of 1206 for limit 4.0694146907804875E13 1748.43/1743.22 c cleaning 555 clauses out of 1111 for limit 7.277573037078558E13 1748.63/1743.41 c cleaning 528 clauses out of 1056 for limit 1.2626779614156148E14 1748.83/1743.62 c cleaning 508 clauses out of 1029 for limit 2.1391022407139116E14 1749.03/1743.86 c cleaning 502 clauses out of 1020 for limit 3.5552334292724894E14 1749.23/1744.06 c cleaning 509 clauses out of 1018 for limit 5.874574308643692E14 1749.43/1744.26 c cleaning 504 clauses out of 1009 for limit 9.774372826591056E14 1749.63/1744.43 c cleaning 499 clauses out of 1006 for limit 1.6183501213639972E15 1749.83/1744.66 c cleaning 504 clauses out of 1009 for limit 2.6662705132395735E15 1752.48/1747.22 c cleaning 1745 clauses out of 3502 for limit 1.5406749485743379E-4 1752.97/1747.70 c cleaning 1124 clauses out of 2257 for limit 3.9423165269020883E-4 1753.27/1748.05 c cleaning 808 clauses out of 1633 for limit 8.985717318506191E-4 1753.47/1748.28 c cleaning 660 clauses out of 1326 for limit 0.0018267781629121179 1753.77/1748.50 c cleaning 579 clauses out of 1167 for limit 0.003426485341671816 1753.97/1748.74 c cleaning 539 clauses out of 1087 for limit 0.006060543398180349 1754.18/1748.97 c cleaning 518 clauses out of 1048 for limit 0.010366585021638708 1754.37/1749.20 c cleaning 509 clauses out of 1029 for limit 0.01739414143288472 1754.77/1749.51 c cleaning 501 clauses out of 1021 for limit 0.028938967261434547 1754.97/1749.80 c cleaning 502 clauses out of 1019 for limit 0.04777007925327298 1755.28/1750.02 c cleaning 502 clauses out of 1019 for limit 0.07893704641129405 1795.21/1789.85 c cleaning 10752 clauses out of 21516 for limit 4977442.633490416 1797.51/1792.11 c cleaning 5623 clauses out of 11264 for limit 1.567945792965346E7 1798.41/1793.04 c cleaning 3061 clauses out of 6141 for limit 4.742861859682238E7 1799.11/1793.76 c cleaning 1786 clauses out of 3582 for limit 1.34362755590037E8 1799.61/1794.23 c cleaning 1142 clauses out of 2293 for limit 3.451062149582636E8 1800.07/1794.61 c starts : 44 1800.07/1794.61 c conflicts : 488240 1800.07/1794.61 c decisions : 498695 1800.07/1794.61 c propagations : 2735001 1800.07/1794.61 c inspects : 710619665 1800.07/1794.61 c learnt literals : 0 1800.07/1794.61 c learnt binary clauses : 0 1800.07/1794.61 c learnt ternary clauses : 0 1800.07/1794.61 c learnt clauses : 488240 1800.07/1794.61 c root simplifications : 0 1800.07/1794.61 c removed literals (reason simplification) : 0 1800.07/1794.61 c reason swapping (by a shorter reason) : 0 1800.07/1794.61 c Calls to reduceDB : 101 1800.07/1794.61 c speed (decisions/second) : 279.128251398174 1800.07/1794.61 c non guided choices 0 1800.07/1794.61 s SATISFIABLE 1800.07/1794.62 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/1794.62 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/1794.62 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/1794.62 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 -x105 1800.07/1794.62 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 1800.07/1794.62 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 1800.07/1794.62 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.07/1794.62 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.07/1794.62 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.07/1794.62 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.07/1794.62 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.07/1794.62 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.07/1794.62 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.07/1794.62 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 1800.07/1794.62 v -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.07/1794.62 v -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.07/1794.62 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.07/1794.62 v -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.07/1794.62 v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.07/1794.62 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.07/1794.62 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.07/1794.62 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.07/1794.62 v -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.07/1794.62 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.07/1794.62 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.07/1794.62 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 1800.07/1794.62 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.07/1794.62 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.07/1794.62 v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 1800.07/1794.62 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.07/1794.62 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.07/1794.62 v -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.07/1794.62 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 1800.07/1794.62 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.07/1794.62 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.07/1794.62 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 1800.07/1794.62 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.07/1794.62 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.07/1794.62 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 1800.07/1794.62 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.07/1794.62 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 1800.07/1794.62 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.07/1794.62 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.07/1794.62 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.07/1794.62 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.07/1794.62 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.07/1794.62 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 1800.07/1794.62 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 1800.07/1794.62 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.07/1794.62 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.07/1794.62 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 1800.07/1794.62 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.07/1794.62 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.07/1794.62 v -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.07/1794.62 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.07/1794.62 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.07/1794.62 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.07/1794.62 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.07/1794.62 v -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.07/1794.62 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.07/1794.62 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.07/1794.62 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 1800.07/1794.62 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1800.07/1794.62 c objective function=-41 1800.07/1794.62 c Total wall clock time (ms): 1794.419
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-353614-1176670835 -o ROOT/results/node69/solver-353614-1176670835 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.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 7759 /proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=152 CPUtime=0 /proc/7759/stat : 7759 (java) R 7757 7759 7333 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 143072927 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 11952427 0 0 4096 0 0 0 0 17 1 0 0 /proc/7759/statm: 38 26 19 9 0 4 0 [startup+0.016623 s] /proc/loadavg: 0.92 0.98 0.99 2/64 7759 /proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=12620 CPUtime=0.01 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 846 0 0 0 0 1 0 0 18 0 2 0 143072927 12922880 602 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 3155 602 285 9 0 1243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12620 [startup+0.102627 s] /proc/loadavg: 0.92 0.98 0.99 2/64 7759 /proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1780108 CPUtime=0.08 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 3983 0 1 0 6 2 0 0 18 0 12 0 143072927 1822830592 3724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 445027 3724 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301666 s] /proc/loadavg: 0.92 0.98 0.99 2/64 7759 /proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1782044 CPUtime=0.33 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 5089 0 1 0 30 3 0 0 18 0 12 0 143072927 1824813056 4825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 445511 4825 1264 9 0 443123 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782044 [startup+0.702729 s] /proc/loadavg: 0.92 0.98 0.99 2/64 7759 /proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1782852 CPUtime=0.87 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 6807 0 1 0 83 4 0 0 18 0 12 0 143072927 1825640448 6341 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 445713 6341 1298 9 0 443325 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1782852 [startup+1.50186 s] /proc/loadavg: 0.92 0.98 0.99 3/76 7771 /proc/meminfo: memFree=1765700/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1785800 CPUtime=2.06 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 18103 0 1 0 196 10 0 0 18 0 12 0 143072927 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446450 16319 1301 9 0 444062 0 [pid=7759/tid=7761] ppid=7757 vsize=1785800 CPUtime=1.03 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 14457 0 1 0 96 7 0 0 19 0 12 0 143072929 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592521 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 143072930 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 143072930 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 143072932 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 143072933 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 143072933 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1785800 CPUtime=0.45 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 1491 0 0 0 45 0 0 0 17 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1785800 CPUtime=0.54 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 1432 0 0 0 53 1 0 0 16 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1785800 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) R 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 1785800 [startup+3.10211 s] /proc/loadavg: 0.93 0.98 0.99 2/76 7771 /proc/meminfo: memFree=1662468/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786992 CPUtime=4 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 44817 0 1 0 377 23 0 0 18 0 13 0 143072927 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446748 41313 1324 9 0 444360 0 [pid=7759/tid=7761] ppid=7757 vsize=1786992 CPUtime=2.37 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37711 0 1 0 218 19 0 0 25 0 13 0 143072929 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109812203 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786992 CPUtime=0.04 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 835 0 0 0 4 0 0 0 16 0 13 0 143072930 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786992 CPUtime=0.04 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 791 0 0 0 4 0 0 0 16 0 13 0 143072930 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 143072932 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786992 CPUtime=0.74 /proc/7759/task/7768/stat : 7768 (java) R 7757 7759 7333 0 -1 64 2778 0 0 0 73 1 0 0 16 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103313518 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786992 CPUtime=0.77 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 1968 0 0 0 76 1 0 0 16 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786992 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 1786992 [startup+6.30261 s] /proc/loadavg: 0.93 0.98 0.99 2/77 7777 /proc/meminfo: memFree=1631284/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786416 CPUtime=7.31 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 44917 0 1 0 707 24 0 0 18 0 13 0 143072927 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446604 41210 1326 9 0 444216 0 [pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=5.51 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37715 0 1 0 532 19 0 0 17 0 13 0 143072929 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807936 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.04 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 835 0 0 0 4 0 0 0 16 0 13 0 143072930 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.04 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 791 0 0 0 4 0 0 0 16 0 13 0 143072930 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786416 CPUtime=0.81 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 80 1 0 0 16 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786416 CPUtime=0.86 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2060 0 0 0 85 1 0 0 16 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7777] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7777/stat : 7777 (java) S 7757 7759 7333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 143073335 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.31 Current children cumulated vsize (KiB) 1786416 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/77 7778 /proc/meminfo: memFree=1631532/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786416 CPUtime=13.9 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 78997 0 1 0 1350 40 0 0 18 0 13 0 143072927 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446604 66578 1327 9 0 444216 0 [pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=11.7 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37718 0 1 0 1151 19 0 0 19 0 13 0 143072929 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807912 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.22 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 20890 0 0 0 13 9 0 0 18 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.21 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 14808 0 0 0 14 7 0 0 16 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786416 CPUtime=0.83 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 82 1 0 0 16 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786416 CPUtime=0.88 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2061 0 0 0 87 1 0 0 17 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.9 Current children cumulated vsize (KiB) 1786416 [startup+25.5027 s] /proc/loadavg: 0.95 0.98 0.99 2/77 7778 /proc/meminfo: memFree=1529836/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786416 CPUtime=26.69 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 78997 0 1 0 2629 40 0 0 18 0 13 0 143072927 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446604 66578 1327 9 0 444216 0 [pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=24.5 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37718 0 1 0 2430 20 0 0 25 0 13 0 143072929 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807914 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.22 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 20890 0 0 0 13 9 0 0 18 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.21 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 14808 0 0 0 14 7 0 0 16 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.18 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13801 0 0 0 97 21 0 0 16 0 13 0 143072932 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1607.15 Current children cumulated vsize (KiB) 1786736 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 7976 /proc/meminfo: memFree=1352684/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786736 CPUtime=1667.23 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562105 0 1 0 166420 303 0 0 18 0 13 0 143072927 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446684 110083 1332 9 0 444296 0 [pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1654.34 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37755 0 1 0 165398 36 0 0 25 0 13 0 143072929 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807922 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=4.89 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 368 121 0 0 16 0 13 0 143072930 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=4.86 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 366 120 0 0 16 0 13 0 143072930 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.18 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13801 0 0 0 97 21 0 0 16 0 13 0 143072932 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1667.23 Current children cumulated vsize (KiB) 1786736 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 7976 /proc/meminfo: memFree=1364844/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786736 CPUtime=1727.42 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562235 0 1 0 172438 304 0 0 18 0 13 0 143072927 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446684 107032 1332 9 0 444296 0 [pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1713.99 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37759 0 1 0 171363 36 0 0 25 0 13 0 143072929 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109826320 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.1 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 389 121 0 0 16 0 13 0 143072930 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.07 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 387 120 0 0 16 0 13 0 143072930 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.3 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13927 0 0 0 108 22 0 0 16 0 13 0 143072932 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1727.42 Current children cumulated vsize (KiB) 1786736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 7976 /proc/meminfo: memFree=1378412/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786736 CPUtime=1787.71 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562366 0 1 0 178467 304 0 0 18 0 13 0 143072927 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446684 103629 1332 9 0 444296 0 [pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1773.54 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37764 0 1 0 177318 36 0 0 25 0 13 0 143072929 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109826320 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.4 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 419 121 0 0 16 0 13 0 143072930 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.37 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 417 120 0 0 16 0 13 0 143072930 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.42 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 14053 0 0 0 120 22 0 0 16 0 13 0 143072932 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.96 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 95 1 0 0 17 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1787.71 Current children cumulated vsize (KiB) 1786736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.6 s] /proc/loadavg: 1.00 1.00 1.00 2/77 7976 /proc/meminfo: memFree=1378860/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=1786736 CPUtime=1800.07 /proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562367 0 1 0 179703 304 0 0 18 0 13 0 143072927 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7759/statm: 446684 103517 1332 9 0 444296 0 [pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1785.78 /proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37765 0 1 0 178542 36 0 0 25 0 13 0 143072929 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807686 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.46 /proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 425 121 0 0 17 0 13 0 143072930 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.43 /proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 423 120 0 0 16 0 13 0 143072930 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.42 /proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 14053 0 0 0 120 22 0 0 16 0 13 0 143072932 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.96 /proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 95 1 0 0 17 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97 /proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0 /proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 103517 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) 1786736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.71 s] /proc/loadavg: 1.00 1.00 1.00 2/77 7976 /proc/meminfo: memFree=1378860/2055920 swapFree=4184060/4192956 [pid=7759] ppid=7757 vsize=0 CPUtime=1800.2 /proc/7759/stat : 7759 (java) Z 7757 7759 7333 0 -1 1036 562385 0 1 0 179709 311 0 0 16 0 2 0 143072927 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7759/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): 1794.72 CPU time (s): 1800.21 CPU user time (s): 1797.09 CPU system time (s): 3.11653 CPU usage (%): 100.306 Max. virtual memory (cumulated for all children) (KiB): 1788740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.09 system time used= 3.11653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 562385 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= 37591 involuntary context switches= 42928 runsolver used 2.03669 second user time and 4.67329 second system time The end
Begin job on node69 on Sun Apr 15 21:00:35 UTC 2007 IDJOB= 353614 IDBENCH= 2256 IDSOLVER= 159 FILE ID= node69/353614-1176670835 PBS_JOBID= 4559946 Free space on /tmp= 66558 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/frb53-24-opb/normalized-frb53-24-4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-353614-1176670835 -o ROOT/results/node69/solver-353614-1176670835 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED= 855804486 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1792700 kB Buffers: 20056 kB Cached: 139512 kB SwapCached: 2884 kB Active: 102500 kB Inactive: 91072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792700 kB SwapTotal: 4192956 kB SwapFree: 4184060 kB Dirty: 5844 kB Writeback: 0 kB Mapped: 16424 kB Slab: 55740 kB Committed_AS: 856624 kB PageTables: 1472 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= 66558 MiB End job on node69 on Sun Apr 15 21:30:32 UTC 2007