Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | -45 | 1800.21 | 1793.09 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb |
MD5SUM | 937ec96fd1742e5ed6250d14e65c707b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 127011 |
Number of constraints which are clauses | 127011 |
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 | 1534 |
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 | 1534 |
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 | 1534 |
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.03/0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.03/0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.03/0.18 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.03/0.19 c no version file found!!! 0.03/0.19 c sun.arch.data.model 32 0.03/0.19 c java.version 1.6.0 0.03/0.19 c os.name Linux 0.03/0.19 c os.version 2.6.9-22.EL.rootsmp 0.03/0.19 c os.arch i386 0.03/0.19 c Free memory 1651659224 0.03/0.19 c Max memory 1654456320 0.03/0.19 c Total memory 1654456320 0.03/0.19 c Number of processors 2 0.14/0.25 --- Begin Solver configuration --- 0.14/0.25 c Stops conflict analysis at the first Unique Implication Point 0.14/0.25 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.14/0.25 c Learn all clauses as in MiniSAT 0.14/0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.25 c VSIDS like heuristics from MiniSAT using a heap 0.14/0.25 c No reason simplification 0.14/0.25 c --- End Solver configuration --- 0.14/0.25 c solving /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb 0.14/0.25 c reading problem ... 3.56/3.07 c ... done. Wall clock time 2.829s. 3.56/3.08 c CPU time (experimental) 2.52s. 3.56/3.08 c #vars 1534 3.56/3.08 c #constraints 127011 3.66/3.14 c SATISFIABLE 3.66/3.14 c OPTIMIZING... 3.66/3.14 c Got one! Elapsed wall clock time (in seconds):2.892 3.66/3.15 o -40 3.98/3.39 c Got one! Elapsed wall clock time (in seconds):3.148 3.98/3.40 o -41 5.33/4.53 c Got one! Elapsed wall clock time (in seconds):4.286 5.33/4.53 o -42 5.61/4.70 c Got one! Elapsed wall clock time (in seconds):4.458 5.61/4.71 o -43 5.73/4.86 c Got one! Elapsed wall clock time (in seconds):4.607 5.73/4.86 o -44 994.51/990.37 c cleaning 116624 clauses out of 233264 for limit 9.729863236792863E-5 1003.73/999.52 c cleaning 58567 clauses out of 117141 for limit 3.198423193544272E-4 1006.42/1002.25 c cleaning 29532 clauses out of 59075 for limit 0.0010469634529406675 1008.53/1004.38 c cleaning 15019 clauses out of 30044 for limit 0.0033983483738446573 1010.12/1005.93 c cleaning 7751 clauses out of 15522 for limit 0.010815094620586165 1010.92/1006.77 c cleaning 4130 clauses out of 8271 for limit 0.03347155343469291 1011.42/1007.30 c cleaning 2316 clauses out of 4642 for limit 0.09845077793454501 1122.72/1118.25 c cleaning 16906 clauses out of 33825 for limit 6.56708825514985E11 1124.11/1119.67 c cleaning 8703 clauses out of 17421 for limit 2.1069900654100845E12 1247.73/1242.96 c cleaning 18347 clauses out of 36716 for limit 14633.252159510495 1249.03/1244.20 c cleaning 9426 clauses out of 18870 for limit 47001.82446276458 1251.23/1246.42 c cleaning 4962 clauses out of 9943 for limit 146957.0929023649 1252.02/1247.22 c cleaning 2732 clauses out of 5481 for limit 439646.9620531088 1252.62/1247.80 c cleaning 1621 clauses out of 3251 for limit 1224818.7319130162 1252.82/1248.01 c cleaning 1058 clauses out of 2128 for limit 3079668.91188437 1253.02/1248.28 c cleaning 785 clauses out of 1570 for limit 6883857.747930297 1265.24/1260.33 c cleaning 4393 clauses out of 8787 for limit 3.6885368698224173E9 1265.83/1260.99 c cleaning 2447 clauses out of 4894 for limit 1.092161032891381E10 1266.43/1261.53 c cleaning 1472 clauses out of 2945 for limit 2.9871168157176258E10 1266.83/1261.94 c cleaning 977 clauses out of 1973 for limit 7.353029486697868E10 1267.13/1262.28 c cleaning 740 clauses out of 1497 for limit 1.599786366029163E11 1267.43/1262.59 c cleaning 628 clauses out of 1256 for limit 3.141344217154294E11 1267.74/1262.88 c cleaning 564 clauses out of 1129 for limit 5.769014409122654E11 1268.03/1263.12 c cleaning 526 clauses out of 1065 for limit 1.0085602438857981E12 1268.33/1263.43 c cleaning 514 clauses out of 1038 for limit 1.704807998651147E12 1268.63/1263.72 c cleaning 504 clauses out of 1024 for limit 2.84989433612902E12 1268.93/1264.04 c cleaning 510 clauses out of 1020 for limit 4.718287824133181E12 1269.23/1264.32 c cleaning 505 clauses out of 1011 for limit 7.858213881253206E12 1269.53/1264.64 c cleaning 502 clauses out of 1005 for limit 1.3023577961153082E13 1269.84/1264.95 c cleaning 491 clauses out of 1004 for limit 2.1520534910045383E13 1351.39/1346.29 c cleaning 12494 clauses out of 25013 for limit 381.90861483268867 1352.18/1347.02 c cleaning 6503 clauses out of 13018 for limit 1208.9333160692336 1352.69/1347.55 c cleaning 3499 clauses out of 7015 for limit 3699.7708386377944 1353.28/1348.12 c cleaning 1999 clauses out of 4016 for limit 10657.729250921813 1353.69/1348.53 c cleaning 1248 clauses out of 2517 for limit 28043.425324564836 1354.28/1349.15 c cleaning 877 clauses out of 1770 for limit 65831.14469008286 1354.58/1349.47 c cleaning 690 clauses out of 1394 for limit 137985.13352567537 1354.89/1349.79 c cleaning 597 clauses out of 1205 for limit 263510.80261973466 1355.18/1350.10 c cleaning 543 clauses out of 1105 for limit 472471.4215272454 1357.34/1352.13 c cleaning 1519 clauses out of 3062 for limit 2079754.492459628 1357.64/1352.48 c cleaning 1016 clauses out of 2044 for limit 5143121.27080938 1357.94/1352.79 c cleaning 763 clauses out of 1527 for limit 1.1342009178702049E7 1358.24/1353.10 c cleaning 622 clauses out of 1265 for limit 2.260106502212169E7 1358.54/1353.37 c cleaning 572 clauses out of 1144 for limit 4.1255685203033924E7 1358.84/1353.65 c cleaning 535 clauses out of 1070 for limit 7.259603724916896E7 1359.14/1353.91 c cleaning 517 clauses out of 1035 for limit 1.2376909908053394E8 1359.34/1354.15 c cleaning 509 clauses out of 1018 for limit 2.0752034870802253E8 1359.54/1354.38 c cleaning 499 clauses out of 1010 for limit 3.452848247195878E8 1359.84/1354.61 c cleaning 500 clauses out of 1011 for limit 5.688576419519833E8 1404.27/1398.80 c cleaning 11246 clauses out of 22512 for limit 9.269028390415444E-4 1404.77/1399.39 c cleaning 5873 clauses out of 11765 for limit 0.0029219833451150975 1405.78/1400.30 c cleaning 3187 clauses out of 6391 for limit 0.008861805735397245 1406.57/1401.12 c cleaning 1842 clauses out of 3705 for limit 0.025234414320394128 1406.97/1401.53 c cleaning 1176 clauses out of 2365 for limit 0.06532436657005619 1407.37/1401.94 c cleaning 834 clauses out of 1686 for limit 0.150661099901008 1407.67/1402.26 c cleaning 670 clauses out of 1354 for limit 0.3100023243859952 1407.97/1402.52 c cleaning 584 clauses out of 1184 for limit 0.5846390219570654 1408.37/1402.91 c cleaning 542 clauses out of 1101 for limit 1.0378690981976484 1408.57/1403.17 c cleaning 521 clauses out of 1056 for limit 1.779173633035734 1408.87/1403.42 c cleaning 511 clauses out of 1036 for limit 2.9937318333743352 1409.21/1403.76 c cleaning 503 clauses out of 1024 for limit 4.989925589123493 1409.51/1404.02 c cleaning 502 clauses out of 1022 for limit 8.25341207435381 1409.81/1404.33 c cleaning 501 clauses out of 1019 for limit 13.637401161951043 1410.12/1404.64 c cleaning 503 clauses out of 1018 for limit 22.511991133545372 1410.41/1404.92 c cleaning 499 clauses out of 1015 for limit 37.23501488585388 1410.71/1405.26 c cleaning 500 clauses out of 1017 for limit 61.34610871374443 1411.01/1405.57 c cleaning 501 clauses out of 1016 for limit 101.16624723391433 1411.32/1405.88 c cleaning 501 clauses out of 1015 for limit 167.00104657598538 1411.61/1406.15 c cleaning 498 clauses out of 1014 for limit 275.67867140648514 1411.91/1406.43 c cleaning 502 clauses out of 1017 for limit 453.7436580189842 1412.21/1406.74 c cleaning 497 clauses out of 1014 for limit 749.7473529300187 1412.51/1407.03 c cleaning 501 clauses out of 1017 for limit 1232.7863873839528 1412.81/1407.32 c cleaning 504 clauses out of 1016 for limit 2035.0306854652217 1414.84/1409.30 c cleaning 1749 clauses out of 3513 for limit 11851.037003434121 1415.44/1409.91 c cleaning 1123 clauses out of 2265 for limit 30342.872792257403 1415.84/1410.32 c cleaning 812 clauses out of 1640 for limit 68971.22159677041 1416.24/1410.73 c cleaning 659 clauses out of 1328 for limit 140465.4704800918 1416.54/1411.03 c cleaning 577 clauses out of 1169 for limit 263153.4263453677 1416.85/1411.33 c cleaning 538 clauses out of 1092 for limit 464576.0197513047 1417.24/1411.74 c cleaning 518 clauses out of 1055 for limit 793811.4636249589 1417.64/1412.15 c cleaning 506 clauses out of 1038 for limit 1331873.1728738477 1417.95/1412.45 c cleaning 508 clauses out of 1030 for limit 2209071.9620278436 1418.25/1412.74 c cleaning 505 clauses out of 1023 for limit 3671654.8860064065 1418.45/1412.98 c cleaning 500 clauses out of 1018 for limit 6084790.023918275 1418.75/1413.27 c cleaning 501 clauses out of 1018 for limit 1.0034632758087449E7 1419.05/1413.56 c cleaning 508 clauses out of 1016 for limit 1.6564446492293403E7 1419.35/1413.82 c cleaning 503 clauses out of 1009 for limit 2.753403555119383E7 1419.55/1414.06 c cleaning 502 clauses out of 1005 for limit 4.554244563185388E7 1419.95/1414.42 c cleaning 494 clauses out of 1004 for limit 7.52556474136835E7 1420.25/1414.74 c cleaning 504 clauses out of 1009 for limit 1.2336814030659702E8 1420.55/1415.06 c cleaning 493 clauses out of 1006 for limit 2.04261540233537E8 1420.95/1415.44 c cleaning 506 clauses out of 1012 for limit 3.3452258632882583E8 1421.35/1415.82 c cleaning 503 clauses out of 1006 for limit 5.549627897068012E8 1421.55/1416.04 c cleaning 502 clauses out of 1004 for limit 9.179489540448896E8 1424.95/1419.43 c cleaning 1741 clauses out of 3501 for limit 5.290064212106736E9 1425.35/1419.90 c cleaning 1119 clauses out of 2260 for limit 1.3514516170886728E10 1425.75/1420.21 c cleaning 807 clauses out of 1641 for limit 3.0694194965417267E10 1426.05/1420.56 c cleaning 656 clauses out of 1334 for limit 6.2267995570997665E10 1426.45/1420.90 c cleaning 589 clauses out of 1179 for limit 1.1630471170901945E11 1426.66/1421.16 c cleaning 545 clauses out of 1090 for limit 2.074629281549693E11 1426.95/1421.45 c cleaning 513 clauses out of 1046 for limit 3.5688288043250995E11 1427.36/1421.81 c cleaning 505 clauses out of 1032 for limit 5.959352540264491E11 1427.56/1422.07 c cleaning 507 clauses out of 1028 for limit 9.875885801126158E11 1427.66/1422.14 c Got one! Elapsed wall clock time (in seconds):1421.897 1427.66/1422.15 o -45 1800.02/1792.92 c starts : 49 1800.02/1792.92 c conflicts : 531553 1800.02/1792.92 c decisions : 546336 1800.02/1792.92 c propagations : 2896499 1800.02/1792.92 c inspects : 532850984 1800.02/1792.92 c learnt literals : 0 1800.02/1792.92 c learnt binary clauses : 0 1800.02/1792.92 c learnt ternary clauses : 0 1800.02/1792.92 c learnt clauses : 531553 1800.02/1792.92 c root simplifications : 0 1800.02/1792.92 c removed literals (reason simplification) : 0 1800.02/1792.92 c reason swapping (by a shorter reason) : 0 1800.02/1792.92 c Calls to reduceDB : 103 1800.02/1792.92 c speed (decisions/second) : 1473.5689413820912 1800.02/1792.92 c non guided choices 0 1800.02/1792.92 s SATISFIABLE 1800.02/1792.93 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.02/1792.93 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.02/1792.93 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.02/1792.93 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.02/1792.93 v -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.02/1792.93 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.02/1792.93 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 1800.02/1792.93 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.02/1792.93 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.02/1792.93 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.02/1792.93 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.02/1792.93 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.02/1792.93 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.02/1792.93 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 1800.02/1792.93 v -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.02/1792.93 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.02/1792.93 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.02/1792.93 v -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.02/1792.93 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.02/1792.93 v -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.02/1792.93 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.02/1792.93 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.02/1792.93 v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 1800.02/1792.93 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.02/1792.93 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 1800.02/1792.93 v -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.02/1792.93 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.02/1792.93 v -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.02/1792.93 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 1800.02/1792.93 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.02/1792.93 v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.02/1792.93 v -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.02/1792.93 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.02/1792.93 v -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.02/1792.93 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.02/1792.93 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 1800.02/1792.93 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.02/1792.93 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.02/1792.93 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.02/1792.93 v x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.02/1792.93 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.02/1792.93 v -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.02/1792.93 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.02/1792.93 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.02/1792.93 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.02/1792.93 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.02/1792.93 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.02/1792.93 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.02/1792.93 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.02/1792.93 v -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.02/1792.93 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.02/1792.93 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.02/1792.93 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.02/1792.93 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.02/1792.93 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.02/1792.93 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.02/1792.93 v -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.02/1792.93 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.02/1792.93 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.02/1792.93 v -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.02/1792.93 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.02/1792.93 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.02/1792.93 v x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.02/1792.93 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.02/1792.93 v -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 1800.02/1792.93 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.02/1792.93 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.02/1792.93 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.02/1792.93 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.02/1792.93 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.02/1792.93 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.02/1792.93 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.02/1792.93 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.02/1792.93 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.02/1792.93 v -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.02/1792.93 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.02/1792.93 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.02/1792.93 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.02/1792.93 v -x1534 1800.02/1792.93 c objective function=-45 1800.02/1792.93 c Total wall clock time (ms): 1792.683
OK -45
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-353744-1176674573 -o ROOT/results/node14/solver-353744-1176674573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.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.78 0.97 0.98 2/77 19637 /proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=18568 CPUtime=0 /proc/19637/stat : 19637 (runsolver) R 19635 19637 19574 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 115375094 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0 /proc/19637/statm: 0 0 0 0 0 0 0 [startup+0.044679 s] /proc/loadavg: 0.78 0.97 0.98 2/77 19637 /proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=12652 CPUtime=0 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 878 0 1 0 0 0 0 0 18 0 2 0 115375094 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 3163 635 311 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12652 [startup+0.101728 s] /proc/loadavg: 0.78 0.97 0.98 2/77 19637 /proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1777708 CPUtime=0.03 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 3542 0 1 0 2 1 0 0 18 0 7 0 115375094 1820372992 3287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 444427 3287 1050 9 0 442063 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1777708 [startup+0.301707 s] /proc/loadavg: 0.78 0.97 0.98 2/77 19637 /proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1781412 CPUtime=0.25 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 4983 0 1 0 22 3 0 0 18 0 12 0 115375094 1824165888 4722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 445353 4722 1263 9 0 442965 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1781412 [startup+0.701743 s] /proc/loadavg: 0.78 0.97 0.98 2/77 19637 /proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1782436 CPUtime=0.8 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 6589 0 1 0 75 5 0 0 18 0 12 0 115375094 1825214464 6190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 445609 6190 1292 9 0 443221 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 1782436 [startup+1.50282 s] /proc/loadavg: 0.78 0.97 0.98 2/89 19649 /proc/meminfo: memFree=1749720/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1785068 CPUtime=2.01 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 16576 0 1 0 190 11 0 0 18 0 12 0 115375094 1827909632 15135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446267 15136 1301 9 0 443879 0 [pid=19637/tid=19639] ppid=19635 vsize=1785068 CPUtime=1 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 13255 0 1 0 92 8 0 0 19 0 12 0 115375095 1827909632 15137 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109651847 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 115375101 1827909632 15138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 115375101 1827909632 15139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 115375103 1827909632 15141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 115375104 1827909632 15142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 115375104 1827909632 15143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 115375108 1827909632 15144 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1785068 CPUtime=0.49 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1060 0 0 0 48 1 0 0 16 0 12 0 115375108 1827909632 15146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1785068 CPUtime=0.5 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 1542 0 0 0 49 1 0 0 16 0 12 0 115375108 1827909632 15147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 115375108 1827909632 15148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1785068 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 115375108 1827909632 15149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.01 Current children cumulated vsize (KiB) 1785068 [startup+3.10296 s] /proc/loadavg: 0.78 0.97 0.98 2/89 19649 /proc/meminfo: memFree=1650584/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1785392 CPUtime=3.66 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 42619 0 1 0 344 22 0 0 18 0 12 0 115375094 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446348 41168 1316 9 0 443960 0 [pid=19637/tid=19639] ppid=19635 vsize=1785392 CPUtime=2.54 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37696 0 1 0 236 18 0 0 21 0 12 0 115375095 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188013 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1785392 CPUtime=0.04 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 854 0 0 0 4 0 0 0 16 0 12 0 115375101 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1785392 CPUtime=0.04 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 742 0 0 0 4 0 0 0 17 0 12 0 115375101 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 115375103 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 115375104 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 115375104 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1785392 CPUtime=0.49 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1060 0 0 0 48 1 0 0 17 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1785392 CPUtime=0.5 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 1542 0 0 0 49 1 0 0 16 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1785392 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1785392 [startup+6.30227 s] /proc/loadavg: 0.80 0.97 0.98 2/90 19655 /proc/meminfo: memFree=1613312/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786448 CPUtime=7.28 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 43665 0 1 0 704 24 0 0 18 0 13 0 115375094 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446612 41425 1327 9 0 444224 0 [pid=19637/tid=19639] ppid=19635 vsize=1786448 CPUtime=5.44 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37716 0 1 0 525 19 0 0 25 0 13 0 115375095 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831808 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786448 CPUtime=0.04 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 854 0 0 0 4 0 0 0 16 0 13 0 115375101 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786448 CPUtime=0.04 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 742 0 0 0 4 0 0 0 17 0 13 0 115375101 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 115375103 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115375104 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786448 CPUtime=0.84 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1235 0 0 0 83 1 0 0 17 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786448 CPUtime=0.86 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2384 0 0 0 85 1 0 0 16 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19655] ppid=19635 vsize=1786448 CPUtime=0 /proc/19637/task/19655/stat : 19655 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115375582 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.28 Current children cumulated vsize (KiB) 1786448 [startup+12.7029 s] /proc/loadavg: 0.81 0.97 0.98 2/90 19655 /proc/meminfo: memFree=1563008/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=13.8 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 57914 0 1 0 1350 30 0 0 18 0 13 0 115375094 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 54055 1327 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=11.71 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37720 0 1 0 1152 19 0 0 17 0 13 0 115375095 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831794 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=0.15 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 6780 0 0 0 12 3 0 0 17 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=0.15 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 9057 0 0 0 12 3 0 0 16 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 115375103 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.86 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1235 0 0 0 85 1 0 0 17 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.89 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2384 0 0 0 88 1 0 0 17 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19655] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19655/stat : 19655 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115375582 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.8 Current children cumulated vsize (KiB) 1786124 [startup+25.5011 s] /proc/loadavg: 0.85 0.97 0.98 2/90 19655 /proc/meminfo: memFree=1563072/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=26.6 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 57915 0 1 0 2630 30 0 0 18 0 13 0 115375094 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 54055 1327 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=24.5 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37721 0 1 0 2431 19 0 0 25 0 13 0 115375095 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831804 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=0.15 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 6780 0 0 0 12 3 0 0 17 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=0.15 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 9057 0 0 0 12 3 0 0 16 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 115375103 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.45 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 31790 0 2 0 215 30 0 0 16 0 13 0 115375103 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1608.71 Current children cumulated vsize (KiB) 1786124 [startup+1662.3 s] /proc/loadavg: 1.16 1.12 1.04 2/90 19656 /proc/meminfo: memFree=1000184/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=1669 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 622754 0 3 0 166548 352 0 0 18 0 13 0 115375094 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 194003 1332 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1652.37 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37781 0 1 0 165205 32 0 0 25 0 13 0 115375095 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831801 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.08 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 282259 0 0 0 466 142 0 0 16 0 13 0 115375101 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.07 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 266571 0 0 0 465 142 0 0 17 0 13 0 115375101 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.45 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 31790 0 2 0 215 30 0 0 16 0 13 0 115375103 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1669 Current children cumulated vsize (KiB) 1786124 [startup+1722.3 s] /proc/loadavg: 1.06 1.10 1.03 2/90 19656 /proc/meminfo: memFree=897848/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=1729.22 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 652575 0 3 0 172556 366 0 0 18 0 13 0 115375094 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 219584 1332 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1711.83 /proc/19637/task/19639/stat : 19639 (java) S 19635 19637 19574 0 -1 64 37782 0 1 0 171150 33 0 0 25 0 13 0 115375095 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.31 /proc/19637/task/19640/stat : 19640 (java) R 19635 19637 19574 0 -1 64 291790 0 0 0 486 145 0 0 17 0 13 0 115375101 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105697979 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.31 /proc/19637/task/19641/stat : 19641 (java) R 19635 19637 19574 0 -1 64 276326 0 0 0 483 148 0 0 17 0 13 0 115375101 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1729.22 Current children cumulated vsize (KiB) 1786124 [startup+1782.3 s] /proc/loadavg: 1.02 1.08 1.02 2/90 19656 /proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=1789.41 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 677771 0 3 0 178561 380 0 0 18 0 13 0 115375094 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 238462 1332 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1771.59 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37784 0 1 0 177126 33 0 0 25 0 13 0 115375095 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831786 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.52 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 304647 0 0 0 500 152 0 0 17 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.52 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 288663 0 0 0 497 155 0 0 16 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (KiB) 1786124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.9 s] /proc/loadavg: 1.01 1.07 1.02 2/90 19656 /proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=1786124 CPUtime=1800.02 /proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 677771 0 3 0 179622 380 0 0 18 0 13 0 115375094 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19637/statm: 446531 238462 1332 9 0 444143 0 [pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1782.21 /proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37784 0 1 0 178187 34 0 0 25 0 13 0 115375095 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804427 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.52 /proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 304647 0 0 0 500 152 0 0 17 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.52 /proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 288663 0 0 0 497 155 0 0 16 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75 /proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97 /proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98 /proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0 /proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1786124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.02 s] /proc/loadavg: 1.01 1.07 1.02 2/90 19656 /proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956 [pid=19637] ppid=19635 vsize=0 CPUtime=1800.13 /proc/19637/stat : 19637 (java) Z 19635 19637 19574 0 -1 1036 677790 0 3 0 179626 387 0 0 16 0 2 0 115375094 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19637/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1793.09 CPU time (s): 1800.21 CPU user time (s): 1796.27 CPU system time (s): 3.9444 CPU usage (%): 100.397 Max. virtual memory (cumulated for all children) (KiB): 1787372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.27 system time used= 3.9444 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 677790 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37653 involuntary context switches= 19439 runsolver used 1.61975 second user time and 4.95325 second system time The end
Begin job on node14 on Sun Apr 15 22:02:53 UTC 2007 IDJOB= 353744 IDBENCH= 2266 IDSOLVER= 159 FILE ID= node14/353744-1176674573 PBS_JOBID= 4559395 Free space on /tmp= 66554 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/frb59-26-opb/normalized-frb59-26-4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-353744-1176674573 -o ROOT/results/node14/solver-353744-1176674573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b RANDOM SEED= 676923438 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1775440 kB Buffers: 56160 kB Cached: 138688 kB SwapCached: 11260 kB Active: 153804 kB Inactive: 64528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775440 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 6828 kB Writeback: 0 kB Mapped: 29584 kB Slab: 47640 kB Committed_AS: 6484004 kB PageTables: 1784 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= 66554 MiB End job on node14 on Sun Apr 15 22:32:48 UTC 2007