| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.09 | 1795.02 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb |
| MD5SUM | c7b1775204389f0c59bc1b934de7e2c1 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 20825 |
| Total number of constraints | 21177 |
| Number of constraints which are clauses | 21002 |
| Number of constraints which are cardinality constraints (but not clauses) | 175 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 175 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 176 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.05/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.05/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.05/0.09 c no version file found!!! 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 1599470296 0.05/0.09 c Max memory 1607860224 0.05/0.09 c Total memory 1607860224 0.05/0.09 c Number of processors 8 0.08/0.11 --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.11 c No reason simplification 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3742465-1338768944.opb 0.08/0.11 c reading problem ... 1.15/0.63 c ... done. Wall clock time 0.519s. 1.15/0.63 c CPU time (experimental) 0.6s. 1.15/0.63 c #vars 20825 1.15/0.63 c #constraints 21175 1136.02/1132.41 c cleaning 307032 clauses out of 614957 for limit 27.283260614656314 1136.83/1133.29 c cleaning 154049 clauses out of 308425 for limit 89.71133810249475 1137.13/1133.58 c cleaning 76679 clauses out of 154877 for limit 294.9173881361076 1137.43/1133.81 c cleaning 38422 clauses out of 78697 for limit 956.203887363419 1137.64/1134.01 c cleaning 18992 clauses out of 40776 for limit 3046.4528444077396 1137.74/1134.16 c cleaning 9287 clauses out of 22286 for limit 9210.683624532752 1137.93/1134.32 c cleaning 4578 clauses out of 13502 for limit 25146.949517633733 1138.03/1134.47 c cleaning 2420 clauses out of 9418 for limit 59098.103441724685 1138.23/1134.62 c cleaning 1373 clauses out of 7498 for limit 122417.26738461573 1138.33/1134.79 c cleaning 3144 clauses out of 6625 for limit 228485.22485219996 1138.53/1134.93 c cleaning 187 clauses out of 3981 for limit 627058.0006704908 1138.63/1135.04 c cleaning 1417 clauses out of 4294 for limit 958724.3059240053 1138.74/1135.16 c cleaning 698 clauses out of 3377 for limit 2010391.3379693902 1138.84/1135.27 c cleaning 266 clauses out of 3180 for limit 3524316.829912467 1138.93/1135.37 c cleaning 331 clauses out of 3413 for limit 5409874.007065704 1139.03/1135.49 c cleaning 344 clauses out of 3583 for limit 8506815.812031155 1139.13/1135.58 c cleaning 340 clauses out of 3738 for limit 1.3433708368759245E7 1139.23/1135.68 c cleaning 360 clauses out of 3898 for limit 2.1244634575073853E7 1139.43/1135.80 c cleaning 72 clauses out of 4038 for limit 3.382055050684688E7 1139.53/1135.94 c cleaning 565 clauses out of 4466 for limit 5.042944114121263E7 1139.63/1136.07 c cleaning 326 clauses out of 4401 for limit 8.43931879233932E7 1139.73/1136.20 c cleaning 1759 clauses out of 4577 for limit 1.3422619248405966E8 1140.03/1136.43 c cleaning 1301 clauses out of 3315 for limit 3.047102071089078E8 1140.23/1136.68 c cleaning 991 clauses out of 2514 for limit 6.626148256466756E8 1140.53/1136.95 c cleaning 791 clauses out of 2025 for limit 1.3593343924922595E9 1140.73/1137.19 c cleaning 693 clauses out of 1732 for limit 2.615714310749089E9 1140.94/1137.39 c cleaning 569 clauses out of 1539 for limit 4.854622487615788E9 1141.23/1137.60 c cleaning 546 clauses out of 1470 for limit 8.381710093698094E9 1141.43/1137.86 c cleaning 530 clauses out of 1424 for limit 1.4269076550243773E10 1141.63/1138.03 c cleaning 671 clauses out of 1394 for limit 2.403803539936048E10 1141.73/1138.18 c cleaning 527 clauses out of 1223 for limit 4.5184676171217E10 1141.93/1138.33 c cleaning 488 clauses out of 1197 for limit 7.621033655727695E10 1142.14/1138.53 c cleaning 486 clauses out of 1208 for limit 1.2441205706742415E11 1142.33/1138.72 c cleaning 428 clauses out of 1222 for limit 2.028215448338018E11 1142.43/1138.85 c cleaning 637 clauses out of 1294 for limit 3.158689253656828E11 1142.63/1139.08 c cleaning 527 clauses out of 1157 for limit 5.825909141462477E11 1142.83/1139.29 c cleaning 447 clauses out of 1130 for limit 9.837268148561149E11 1143.03/1139.48 c cleaning 470 clauses out of 1183 for limit 1.5496160132694478E12 1143.24/1139.67 c cleaning 573 clauses out of 1213 for limit 2.492320710549604E12 1143.43/1139.83 c cleaning 524 clauses out of 1142 for limit 4.374450775404947E12 1143.63/1140.05 c cleaning 493 clauses out of 1116 for limit 7.367367037337461E12 1143.83/1140.27 c cleaning 527 clauses out of 1123 for limit 1.207404060370571E13 1144.03/1140.48 c cleaning 489 clauses out of 1096 for limit 2.0402233849773754E13 1144.13/1140.60 c cleaning 419 clauses out of 1107 for limit 3.3311680421318027E13 1144.34/1140.78 c cleaning 454 clauses out of 1188 for limit 5.1189820732657734E13 1144.63/1141.00 c cleaning 539 clauses out of 1234 for limit 8.127196805392712E13 1144.73/1141.14 c cleaning 503 clauses out of 1195 for limit 1.3840249460236575E14 1144.93/1141.39 c cleaning 386 clauses out of 1192 for limit 2.288186689268178E14 1145.23/1141.60 c cleaning 474 clauses out of 1306 for limit 3.4441370159421875E14 1145.44/1141.83 c cleaning 625 clauses out of 1332 for limit 5.568974887485275E14 1145.63/1142.01 c cleaning 546 clauses out of 1207 for limit 1.0135101473627642E15 1145.83/1142.23 c cleaning 498 clauses out of 1161 for limit 1.737636932197539E15 1146.03/1142.47 c cleaning 541 clauses out of 1163 for limit 2.860667820428554E15 1146.24/1142.64 c cleaning 495 clauses out of 1122 for limit 4.890014821423853E15 1146.34/1142.78 c cleaning 417 clauses out of 1127 for limit 8.028510937034571E15 1146.63/1143.02 c cleaning 585 clauses out of 1210 for limit 1.2331884147567497E-4 1146.73/1143.19 c cleaning 529 clauses out of 1128 for limit 2.1880897367421468E-4 1147.03/1143.40 c cleaning 510 clauses out of 1096 for limit 3.7026786870959853E-4 1147.13/1143.56 c cleaning 400 clauses out of 1086 for limit 6.162439124865102E-4 1147.33/1143.75 c cleaning 407 clauses out of 1186 for limit 9.30579894890383E-4 1147.54/1143.99 c cleaning 447 clauses out of 1279 for limit 0.0014230615907634611 1147.73/1144.19 c cleaning 428 clauses out of 1332 for limit 0.0022534395047669876 1147.93/1144.39 c cleaning 473 clauses out of 1404 for limit 0.0035256476542272295 1148.24/1144.61 c cleaning 472 clauses out of 1431 for limit 0.005704561528213873 1148.44/1144.82 c cleaning 472 clauses out of 1459 for limit 0.009227042002631159 1148.64/1145.03 c cleaning 507 clauses out of 1487 for limit 0.01493009970336911 1148.84/1145.27 c cleaning 515 clauses out of 1480 for limit 0.02473818586039238 1149.04/1145.46 c cleaning 520 clauses out of 1465 for limit 0.041214290300780804 1149.26/1145.64 c cleaning 496 clauses out of 1445 for limit 0.06890861013406611 1149.46/1145.80 c cleaning 512 clauses out of 1449 for limit 0.11332581187047704 1149.66/1146.00 c cleaning 486 clauses out of 1437 for limit 0.18845008748065464 1149.86/1146.21 c cleaning 494 clauses out of 1451 for limit 0.30778084389558785 1150.06/1146.43 c cleaning 480 clauses out of 1457 for limit 0.5054815793754781 1150.26/1146.64 c cleaning 473 clauses out of 1477 for limit 0.8223189097219405 1150.36/1146.79 c cleaning 476 clauses out of 1504 for limit 1.3317687603131327 1150.56/1146.95 c cleaning 517 clauses out of 1528 for limit 2.1617685401026856 1150.76/1147.19 c cleaning 486 clauses out of 1511 for limit 3.605155230181252 1151.06/1147.40 c cleaning 508 clauses out of 1529 for limit 5.898952271079836 1151.16/1147.59 c cleaning 483 clauses out of 1517 for limit 9.765952931586348 1151.46/1147.84 c cleaning 618 clauses out of 1534 for limit 15.926880993118095 1151.66/1148.01 c cleaning 570 clauses out of 1416 for limit 28.45435386914461 1151.86/1148.26 c cleaning 508 clauses out of 1346 for limit 49.365416862688434 1152.16/1148.53 c cleaning 502 clauses out of 1338 for limit 81.89693380132854 1152.36/1148.78 c cleaning 504 clauses out of 1336 for limit 135.2611839456431 1152.66/1149.01 c cleaning 496 clauses out of 1332 for limit 223.73364846677677 1152.86/1149.27 c cleaning 508 clauses out of 1336 for limit 367.8620261046445 1153.06/1149.49 c cleaning 479 clauses out of 1328 for limit 610.3082330657381 1153.36/1149.71 c cleaning 489 clauses out of 1349 for limit 990.8119616629853 1153.56/1149.96 c cleaning 510 clauses out of 1360 for limit 1620.7654466133533 1153.86/1150.22 c cleaning 501 clauses out of 1350 for limit 2692.6579994661984 1153.96/1150.37 c cleaning 458 clauses out of 1349 for limit 4443.844995496085 1154.16/1150.57 c cleaning 493 clauses out of 1391 for limit 7107.217540775328 1154.36/1150.74 c cleaning 508 clauses out of 1398 for limit 11662.06490930302 1154.56/1150.99 c cleaning 500 clauses out of 1390 for limit 19342.99468466501 1154.86/1151.27 c cleaning 523 clauses out of 1392 for limit 31917.156126000733 1155.06/1151.47 c cleaning 497 clauses out of 1367 for limit 53491.12996504794 1155.36/1151.72 c cleaning 497 clauses out of 1370 for limit 88020.85982063833 1155.56/1151.99 c cleaning 511 clauses out of 1373 for limit 144841.00298466408 1155.86/1152.21 c cleaning 496 clauses out of 1362 for limit 240791.3270376535 1156.06/1152.45 c cleaning 509 clauses out of 1366 for limit 395934.3081055403 1156.26/1152.65 c cleaning 540 clauses out of 1357 for limit 657279.1775188441 1156.36/1152.74 c cleaning 498 clauses out of 1317 for limit 1116862.8204646262 1156.46/1152.86 c cleaning 618 clauses out of 1319 for limit 1839063.395202929 1156.56/1152.96 c cleaning 559 clauses out of 1201 for limit 3330844.632111063 1156.66/1153.08 c cleaning 415 clauses out of 1142 for limit 5776797.790997943 1156.76/1153.18 c cleaning 569 clauses out of 1227 for limit 8866752.66435243 1156.86/1153.27 c cleaning 529 clauses out of 1158 for limit 1.5493747871593416E7 1156.96/1153.38 c cleaning 386 clauses out of 1129 for limit 2.6207584148746107E7 1157.06/1153.49 c cleaning 478 clauses out of 1248 for limit 3.929477364441271E7 1157.26/1153.62 c cleaning 459 clauses out of 1267 for limit 6.363925890469222E7 1157.36/1153.71 c cleaning 457 clauses out of 1307 for limit 1.0163598865195608E8 1157.46/1153.82 c cleaning 653 clauses out of 1349 for limit 1.6223050841198885E8 1157.46/1153.90 c cleaning 548 clauses out of 1196 for limit 3.0176522180811334E8 1157.56/1153.99 c cleaning 512 clauses out of 1151 for limit 5.186620408619844E8 1157.66/1154.05 c cleaning 369 clauses out of 1136 for limit 8.640399210155437E8 1157.76/1154.19 c cleaning 588 clauses out of 1266 for limit 1.2785988846162145E9 1158.06/1154.43 c cleaning 454 clauses out of 1178 for limit 2.266097665981777E9 1158.36/1154.70 c cleaning 510 clauses out of 1224 for limit 3.596651703183108E9 1158.46/1154.89 c cleaning 483 clauses out of 1214 for limit 5.980217798555941E9 1158.76/1155.16 c cleaning 599 clauses out of 1231 for limit 9.725983355985445E9 1159.06/1155.42 c cleaning 519 clauses out of 1135 for limit 1.7448380996096478E10 1159.26/1155.65 c cleaning 497 clauses out of 1113 for limit 2.9255544438908558E10 1159.56/1155.90 c cleaning 485 clauses out of 1116 for limit 4.811661214411955E10 1159.66/1156.09 c cleaning 486 clauses out of 1131 for limit 7.829833339660901E10 1159.96/1156.35 c cleaning 444 clauses out of 1145 for limit 1.275456123882027E11 1160.16/1156.58 c cleaning 529 clauses out of 1201 for limit 2.00532094357426E11 1160.36/1156.76 c cleaning 413 clauses out of 1172 for limit 3.388872052978966E11 1160.46/1156.85 c cleaning 444 clauses out of 1259 for limit 5.202510206743549E11 1160.66/1157.05 c cleaning 485 clauses out of 1318 for limit 8.22020565778414E11 1160.86/1157.28 c cleaning 578 clauses out of 1331 for limit 1.3396979763142095E12 1161.06/1157.47 c cleaning 431 clauses out of 1252 for limit 2.3463997471997964E12 1161.26/1157.62 c cleaning 466 clauses out of 1321 for limit 3.667409464611112E12 1161.46/1157.85 c cleaning 490 clauses out of 1355 for limit 5.896289665710878E12 1161.66/1158.05 c cleaning 478 clauses out of 1365 for limit 9.652534036721543E12 1161.87/1158.25 c cleaning 482 clauses out of 1389 for limit 1.5674606894153523E13 1162.06/1158.44 c cleaning 681 clauses out of 1405 for limit 2.5504067131333246E13 1162.26/1158.69 c cleaning 535 clauses out of 1224 for limit 4.827921903148947E13 1162.56/1158.93 c cleaning 510 clauses out of 1189 for limit 8.196259244258078E13 1162.76/1159.14 c cleaning 517 clauses out of 1179 for limit 1.3631373669215322E14 1163.07/1159.43 c cleaning 512 clauses out of 1162 for limit 2.280883938888291E14 1163.16/1159.57 c cleaning 399 clauses out of 1150 for limit 3.800733001166384E14 1163.26/1159.69 c cleaning 389 clauses out of 1251 for limit 5.761874298697708E14 1163.46/1159.87 c cleaning 456 clauses out of 1362 for limit 8.727701183487981E14 1163.76/1160.13 c cleaning 670 clauses out of 1406 for limit 1.3942721175184522E15 1163.96/1160.33 c cleaning 384 clauses out of 1237 for limit 2.616095310597386E15 1164.07/1160.46 c cleaning 423 clauses out of 1352 for limit 3.9433737904510605E15 1164.26/1160.64 c cleaning 661 clauses out of 1429 for limit 6.152736205625722E-5 1164.46/1160.88 c cleaning 615 clauses out of 1268 for limit 1.1435026033045289E-4 1164.76/1161.10 c cleaning 538 clauses out of 1153 for limit 2.0738769797790896E-4 1164.96/1161.35 c cleaning 509 clauses out of 1115 for limit 3.536660059535018E-4 1165.27/1161.61 c cleaning 512 clauses out of 1106 for limit 5.879886531611182E-4 1165.46/1161.82 c cleaning 460 clauses out of 1095 for limit 9.803933388619953E-4 1165.77/1162.14 c cleaning 428 clauses out of 1134 for limit 0.0015596343500023807 1165.97/1162.31 c cleaning 458 clauses out of 1206 for limit 0.0024184907208982397 1166.07/1162.46 c cleaning 464 clauses out of 1249 for limit 0.0038549583809796553 1166.16/1162.56 c cleaning 484 clauses out of 1284 for limit 0.006177865992480269 1166.37/1162.71 c cleaning 492 clauses out of 1300 for limit 0.01006273514348985 1166.46/1162.83 c cleaning 475 clauses out of 1308 for limit 0.016493299194426506 1166.66/1163.01 c cleaning 483 clauses out of 1333 for limit 0.026689535710320095 1166.86/1163.25 c cleaning 536 clauses out of 1350 for limit 0.043460356735619605 1167.17/1163.52 c cleaning 519 clauses out of 1314 for limit 0.07363555713651766 1167.37/1163.72 c cleaning 513 clauses out of 1295 for limit 0.12321655462688927 1167.57/1163.95 c cleaning 498 clauses out of 1282 for limit 0.20526111852043002 1167.77/1164.15 c cleaning 485 clauses out of 1284 for limit 0.3379757804732869 1167.97/1164.38 c cleaning 509 clauses out of 1299 for limit 0.5509311638640743 1168.17/1164.55 c cleaning 485 clauses out of 1291 for limit 0.9151044070501362 1168.37/1164.71 c cleaning 475 clauses out of 1305 for limit 1.4914467520512849 1168.57/1164.97 c cleaning 499 clauses out of 1330 for limit 2.4133622235217005 1168.77/1165.19 c cleaning 506 clauses out of 1331 for limit 3.976966959687894 1169.07/1165.40 c cleaning 508 clauses out of 1325 for limit 6.588249642457309 1169.27/1165.66 c cleaning 478 clauses out of 1317 for limit 10.930902925134752 1169.47/1165.88 c cleaning 507 clauses out of 1339 for limit 17.730342393295896 1169.77/1166.14 c cleaning 494 clauses out of 1332 for limit 29.393368650715214 1169.97/1166.32 c cleaning 490 clauses out of 1338 for limit 48.25622668904682 1170.17/1166.51 c cleaning 503 clauses out of 1348 for limit 78.99061010850016 1170.27/1166.68 c cleaning 480 clauses out of 1345 for limit 130.55663956318537 1170.47/1166.83 c cleaning 481 clauses out of 1365 for limit 212.1507068436273 1170.57/1166.99 c cleaning 493 clauses out of 1384 for limit 345.06183804737157 1170.77/1167.14 c cleaning 485 clauses out of 1391 for limit 566.1894574852145 1170.87/1167.27 c cleaning 477 clauses out of 1406 for limit 923.7606849070552 1171.07/1167.40 c cleaning 513 clauses out of 1429 for limit 1498.8854840831254 1171.17/1167.53 c cleaning 470 clauses out of 1416 for limit 2494.556335118955 1171.27/1167.68 c cleaning 501 clauses out of 1446 for limit 4028.5073797651175 1171.47/1167.82 c cleaning 504 clauses out of 1445 for limit 6648.145204099432 1171.57/1167.95 c cleaning 480 clauses out of 1441 for limit 10994.114349044077 1171.67/1168.10 c cleaning 496 clauses out of 1461 for limit 17882.568677257044 1171.87/1168.24 c cleaning 549 clauses out of 1465 for limit 29410.227222284495 1171.97/1168.37 c cleaning 494 clauses out of 1418 for limit 50209.35984308752 1172.17/1168.55 c cleaning 467 clauses out of 1423 for limit 82428.49875817579 1172.27/1168.68 c cleaning 477 clauses out of 1455 for limit 132813.0261589532 1172.47/1168.80 c cleaning 495 clauses out of 1478 for limit 215618.05221772884 1172.57/1168.93 c cleaning 488 clauses out of 1485 for limit 354615.7409574738 1172.67/1169.04 c cleaning 468 clauses out of 1495 for limit 579735.8187921083 1172.77/1169.16 c cleaning 494 clauses out of 1529 for limit 936674.6177167712 1172.87/1169.29 c cleaning 474 clauses out of 1533 for limit 1537591.415995418 1173.07/1169.42 c cleaning 516 clauses out of 1559 for limit 2493405.266480545 1173.17/1169.56 c cleaning 569 clauses out of 1543 for limit 4154597.434380867 1173.27/1169.67 c cleaning 469 clauses out of 1474 for limit 7172214.641406346 1173.37/1169.78 c cleaning 476 clauses out of 1508 for limit 1.1596016975414246E7 1173.57/1169.91 c cleaning 538 clauses out of 1529 for limit 1.8804208165736936E7 1173.67/1170.06 c cleaning 516 clauses out of 1491 for limit 3.18010001753623E7 1173.87/1170.22 c cleaning 509 clauses out of 1475 for limit 5.301298874192432E7 1173.97/1170.34 c cleaning 504 clauses out of 1466 for limit 8.79622290720504E7 1174.07/1170.45 c cleaning 492 clauses out of 1462 for limit 1.4545836815901545E8 1174.27/1170.62 c cleaning 482 clauses out of 1470 for limit 2.3857483710172015E8 1174.37/1170.75 c cleaning 637 clauses out of 1489 for limit 3.8881021979442406E8 1174.47/1170.86 c cleaning 420 clauses out of 1352 for limit 7.061737419234482E8 1174.57/1170.96 c cleaning 698 clauses out of 1431 for limit 1.0991829874063601E9 1174.77/1171.12 c cleaning 601 clauses out of 1233 for limit 2.1037902698983855E9 1174.87/1171.27 c cleaning 450 clauses out of 1132 for limit 3.7789833540154195E9 1174.97/1171.38 c cleaning 408 clauses out of 1182 for limit 5.968426035993087E9 1175.17/1171.51 c cleaning 365 clauses out of 1274 for limit 9.13195476967955E9 1175.27/1171.66 c cleaning 447 clauses out of 1409 for limit 1.361689453116266E10 1175.37/1171.78 c cleaning 558 clauses out of 1462 for limit 2.1642009391848946E10 1175.57/1171.93 c cleaning 450 clauses out of 1407 for limit 3.719720247257998E10 1175.67/1172.06 c cleaning 461 clauses out of 1454 for limit 5.918236570512216E10 1175.87/1172.20 c cleaning 541 clauses out of 1493 for limit 9.505015011494943E10 1175.97/1172.34 c cleaning 461 clauses out of 1453 for limit 1.6122686126585434E11 1176.07/1172.46 c cleaning 452 clauses out of 1491 for limit 2.5884915130200012E11 1176.17/1172.60 c cleaning 481 clauses out of 1539 for limit 4.1356297996553094E11 1176.37/1172.72 c cleaning 499 clauses out of 1558 for limit 6.737033540699203E11 1176.47/1172.87 c cleaning 504 clauses out of 1559 for limit 1.1103143036868606E12 1176.67/1173.00 c cleaning 633 clauses out of 1555 for limit 1.8357669359812766E12 1176.77/1173.11 c cleaning 695 clauses out of 1422 for limit 3.310581070546351E12 1176.87/1173.23 c cleaning 549 clauses out of 1227 for limit 6.327252238951156E12 1176.97/1173.35 c cleaning 399 clauses out of 1179 for limit 1.0870169210321809E13 1177.17/1173.52 c cleaning 506 clauses out of 1279 for limit 1.650824632208554E13 1177.27/1173.63 c cleaning 419 clauses out of 1273 for limit 2.7352622282362277E13 1177.37/1173.74 c cleaning 391 clauses out of 1354 for limit 4.240964084647281E13 1177.47/1173.89 c cleaning 496 clauses out of 1463 for limit 6.47283922259587E13 1177.67/1174.04 c cleaning 429 clauses out of 1467 for limit 1.064547192906393E14 1177.87/1174.20 c cleaning 496 clauses out of 1538 for limit 1.674536369509745E14 1177.97/1174.34 c cleaning 489 clauses out of 1542 for limit 2.7543709751996912E14 1178.07/1174.47 c cleaning 481 clauses out of 1553 for limit 4.5101526192946556E14 1178.27/1174.62 c cleaning 480 clauses out of 1572 for limit 7.347947408633351E14 1178.37/1174.75 c cleaning 480 clauses out of 1592 for limit 1.196551524921645E15 1178.47/1174.86 c cleaning 484 clauses out of 1613 for limit 1.9495325889689042E15 1178.57/1174.99 c cleaning 588 clauses out of 1628 for limit 3.182232020756395E15 1178.77/1175.15 c cleaning 459 clauses out of 1540 for limit 5.547807817245658E15 1178.87/1175.29 c cleaning 758 clauses out of 1581 for limit 8.911814664869332E-5 1179.07/1175.42 c cleaning 614 clauses out of 1323 for limit 1.7562812257506551E-4 1179.17/1175.59 c cleaning 535 clauses out of 1209 for limit 3.169446966083221E-4 1179.47/1175.81 c cleaning 509 clauses out of 1174 for limit 5.382667833180334E-4 1179.57/1175.99 c cleaning 434 clauses out of 1165 for limit 8.945315006034766E-4 1179.87/1176.20 c cleaning 469 clauses out of 1231 for limit 0.0013961092293962294 1179.97/1176.39 c cleaning 419 clauses out of 1262 for limit 0.0022458150256901774 1180.27/1176.64 c cleaning 506 clauses out of 1343 for limit 0.003480272199857166 1180.47/1176.85 c cleaning 497 clauses out of 1337 for limit 0.005765191064313264 1180.67/1177.07 c cleaning 482 clauses out of 1340 for limit 0.009486285711085389 1180.97/1177.31 c cleaning 512 clauses out of 1358 for limit 0.015436794267185906 1181.17/1177.55 c cleaning 493 clauses out of 1346 for limit 0.02568429877423893 1181.37/1177.77 c cleaning 473 clauses out of 1353 for limit 0.04213770355953074 1181.67/1178.00 c cleaning 497 clauses out of 1380 for limit 0.06813110939806404 1181.77/1178.18 c cleaning 475 clauses out of 1383 for limit 0.11211358862150395 1181.97/1178.35 c cleaning 478 clauses out of 1408 for limit 0.18160745248115553 1182.17/1178.55 c cleaning 484 clauses out of 1430 for limit 0.2948873690109672 1182.37/1178.74 c cleaning 493 clauses out of 1446 for limit 0.48092771146646845 1182.57/1178.95 c cleaning 504 clauses out of 1453 for limit 0.7892932120695262 1182.78/1179.15 c cleaning 494 clauses out of 1449 for limit 1.3052433334407363 1182.97/1179.36 c cleaning 484 clauses out of 1455 for limit 2.143644494454747 1183.17/1179.56 c cleaning 500 clauses out of 1471 for limit 3.496704806284383 1183.37/1179.75 c cleaning 520 clauses out of 1471 for limit 5.766534006362993 1183.57/1179.90 c cleaning 463 clauses out of 1451 for limit 9.640865072458302 1183.67/1180.05 c cleaning 501 clauses out of 1488 for limit 15.503736303042832 1183.88/1180.28 c cleaning 521 clauses out of 1487 for limit 25.584929389430744 1184.07/1180.47 c cleaning 471 clauses out of 1466 for limit 42.7973726155434 1184.27/1180.60 c cleaning 495 clauses out of 1495 for limit 69.20950970259405 1184.37/1180.79 c cleaning 524 clauses out of 1500 for limit 113.75528771486745 1184.67/1181.01 c cleaning 479 clauses out of 1476 for limit 190.64805625197943 1184.77/1181.19 c cleaning 513 clauses out of 1497 for limit 309.9936701532908 1184.98/1181.37 c cleaning 518 clauses out of 1488 for limit 516.375500804563 1185.17/1181.54 c cleaning 506 clauses out of 1466 for limit 860.8994492851269 1185.37/1181.72 c cleaning 445 clauses out of 1460 for limit 1425.5729021483778 1185.47/1181.86 c cleaning 490 clauses out of 1522 for limit 2271.0416773318902 1185.57/1181.96 c cleaning 468 clauses out of 1525 for limit 3711.797010529858 1185.67/1182.05 c cleaning 478 clauses out of 1557 for limit 5995.443792015553 1185.87/1182.21 c cleaning 546 clauses out of 1579 for limit 9749.53056952123 1185.97/1182.38 c cleaning 493 clauses out of 1533 for limit 16560.733464495228 1186.18/1182.55 c cleaning 511 clauses out of 1540 for limit 27186.724643065576 1186.37/1182.78 c cleaning 525 clauses out of 1532 for limit 45204.145736496976 1186.57/1182.98 c cleaning 505 clauses out of 1504 for limit 75707.96054640014 1186.77/1183.17 c cleaning 488 clauses out of 1499 for limit 125269.00778922654 1186.97/1183.35 c cleaning 491 clauses out of 1511 for limit 204944.700659622 1187.18/1183.55 c cleaning 493 clauses out of 1520 for limit 335980.0237574237 1187.28/1183.67 c cleaning 493 clauses out of 1529 for limit 551917.8873786184 1187.37/1183.79 c cleaning 498 clauses out of 1534 for limit 905406.188962324 1187.57/1183.97 c cleaning 501 clauses out of 1536 for limit 1491191.741264729 1187.77/1184.14 c cleaning 475 clauses out of 1535 for limit 2460776.737596242 1187.97/1184.32 c cleaning 498 clauses out of 1560 for limit 3993115.5813955436 1188.17/1184.52 c cleaning 493 clauses out of 1562 for limit 6576750.052330376 1188.38/1184.71 c cleaning 539 clauses out of 1570 for limit 1.0801476194709385E7 1188.47/1184.89 c cleaning 536 clauses out of 1530 for limit 1.8260501878108077E7 1188.77/1185.11 c cleaning 476 clauses out of 1494 for limit 3.0839649249098342E7 1188.87/1185.27 c cleaning 462 clauses out of 1518 for limit 5.005461703277072E7 1189.07/1185.45 c cleaning 506 clauses out of 1556 for limit 8.053083623713978E7 1189.27/1185.61 c cleaning 484 clauses out of 1552 for limit 1.3341510278809313E8 1189.38/1185.75 c cleaning 480 clauses out of 1566 for limit 2.1761649834196696E8 1189.57/1185.96 c cleaning 513 clauses out of 1586 for limit 3.5435313515574694E8 1189.77/1186.15 c cleaning 500 clauses out of 1573 for limit 5.892052758273554E8 1190.07/1186.40 c cleaning 464 clauses out of 1574 for limit 9.720330247624213E8 1190.17/1186.53 c cleaning 617 clauses out of 1609 for limit 1.5665745954156933E9 1190.27/1186.69 c cleaning 444 clauses out of 1493 for limit 2.78700478672154E9 1190.48/1186.89 c cleaning 473 clauses out of 1548 for limit 4.428411207676835E9 1190.67/1187.04 c cleaning 469 clauses out of 1575 for limit 7.177847489362283E9 1190.87/1187.20 c cleaning 505 clauses out of 1606 for limit 1.160874123519028E10 1191.07/1187.41 c cleaning 520 clauses out of 1601 for limit 1.9204156066229893E10 1191.27/1187.61 c cleaning 552 clauses out of 1581 for limit 3.2070857764223545E10 1191.47/1187.80 c cleaning 495 clauses out of 1529 for limit 5.4687849668919266E10 1191.68/1188.02 c cleaning 515 clauses out of 1534 for limit 8.98936179881543E10 1191.77/1188.16 c cleaning 469 clauses out of 1519 for limit 1.4971052480910187E11 1191.87/1188.25 c cleaning 762 clauses out of 1550 for limit 2.4195482965938617E11 1191.97/1188.34 c cleaning 409 clauses out of 1288 for limit 4.801821564300025E11 1192.07/1188.43 c cleaning 399 clauses out of 1379 for limit 7.396282685146074E11 1192.17/1188.53 c cleaning 443 clauses out of 1481 for limit 1.1368760249122292E12 1192.27/1188.66 c cleaning 501 clauses out of 1537 for limit 1.8047442806791016E12 1192.47/1188.82 c cleaning 762 clauses out of 1537 for limit 2.9792439972074854E12 1192.57/1188.96 c cleaning 608 clauses out of 1274 for limit 5.921502100978459E12 1192.78/1189.11 c cleaning 467 clauses out of 1166 for limit 1.066985831064204E13 1192.87/1189.29 c cleaning 453 clauses out of 1199 for limit 1.711172951091551E13 1193.07/1189.44 c cleaning 417 clauses out of 1246 for limit 2.715507048517885E13 1193.27/1189.68 c cleaning 584 clauses out of 1329 for limit 4.198555348917593E13 1193.57/1189.91 c cleaning 520 clauses out of 1245 for limit 7.391139501859225E13 1193.78/1190.18 c cleaning 481 clauses out of 1225 for limit 1.2387981526825062E14 1194.08/1190.44 c cleaning 545 clauses out of 1244 for limit 2.0117413582002578E14 1194.18/1190.59 c cleaning 420 clauses out of 1201 for limit 3.4432965538633375E14 1194.38/1190.78 c cleaning 469 clauses out of 1279 for limit 5.321496174784621E14 1194.68/1191.00 c cleaning 512 clauses out of 1310 for limit 8.568186087893292E14 1194.88/1191.22 c cleaning 489 clauses out of 1298 for limit 1.4260717618163952E15 1195.08/1191.44 c cleaning 505 clauses out of 1309 for limit 2.3320202284107855E15 1195.38/1191.74 c cleaning 497 clauses out of 1304 for limit 3.8605595454854205E15 1195.48/1191.89 c cleaning 621 clauses out of 1307 for limit 6.351965728833875E-5 1195.69/1192.01 c cleaning 574 clauses out of 1186 for limit 1.1543963151407137E-4 1195.78/1192.13 c cleaning 531 clauses out of 1112 for limit 2.030442618585612E-4 1195.88/1192.23 c cleaning 381 clauses out of 1084 for limit 3.445288924065979E-4 1195.99/1192.36 c cleaning 428 clauses out of 1203 for limit 5.119707975650572E-4 1196.09/1192.47 c cleaning 468 clauses out of 1275 for limit 7.966297470600193E-4 1196.29/1192.62 c cleaning 492 clauses out of 1306 for limit 0.001281282523545896 1196.49/1192.83 c cleaning 499 clauses out of 1312 for limit 0.0020991385667670196 1196.79/1193.15 c cleaning 491 clauses out of 1313 for limit 0.0034591237870555194 1196.99/1193.40 c cleaning 512 clauses out of 1322 for limit 0.005665722007578339 1197.29/1193.68 c cleaning 488 clauses out of 1310 for limit 0.009429123157415 1197.49/1193.85 c cleaning 485 clauses out of 1324 for limit 0.015416277860484435 1197.69/1194.06 c cleaning 510 clauses out of 1337 for limit 0.025125977739611484 1757.43/1752.42 c cleaning 212666 clauses out of 426324 for limit 6.043303987010994 1758.83/1753.87 c cleaning 106843 clauses out of 214161 for limit 19.89909194644325 1759.94/1754.97 c cleaning 52871 clauses out of 107817 for limit 65.11900808300871 1761.04/1756.05 c cleaning 26669 clauses out of 55445 for limit 208.61907116908887 1761.75/1756.77 c cleaning 13590 clauses out of 29276 for limit 651.5691954949792 1762.14/1757.15 c cleaning 7032 clauses out of 16185 for limit 1941.6947384903185 1762.54/1757.50 c cleaning 3647 clauses out of 9653 for limit 5368.923777566627 1762.75/1757.74 c cleaning 2175 clauses out of 6506 for limit 13136.853979036956 1762.85/1757.88 c cleaning 1285 clauses out of 4831 for limit 29175.901296175252 1763.04/1758.02 c cleaning 820 clauses out of 4048 for limit 57536.80278521479 1763.14/1758.16 c cleaning 770 clauses out of 3728 for limit 103030.59608125701 1763.34/1758.32 c cleaning 1316 clauses out of 3456 for limit 182917.49523288463 1763.44/1758.44 c cleaning 268 clauses out of 2641 for limit 395139.98329543317 1763.64/1758.60 c cleaning 343 clauses out of 2872 for limit 598627.0234365369 1763.74/1758.79 c cleaning 1254 clauses out of 3028 for limit 936355.5085571795 1764.04/1759.03 c cleaning 968 clauses out of 2274 for limit 2056184.434892386 1764.24/1759.29 c cleaning 852 clauses out of 1806 for limit 4269634.201103113 1764.44/1759.46 c cleaning 647 clauses out of 1454 for limit 8745807.11842425 1764.64/1759.69 c cleaning 585 clauses out of 1307 for limit 1.6045180278724737E7 1764.95/1759.93 c cleaning 522 clauses out of 1222 for limit 2.8301201257299863E7 1765.14/1760.19 c cleaning 510 clauses out of 1200 for limit 4.752812883416088E7 1765.44/1760.43 c cleaning 533 clauses out of 1190 for limit 7.903890014808808E7 1765.64/1760.69 c cleaning 494 clauses out of 1157 for limit 1.3406344578661703E8 1765.95/1760.94 c cleaning 513 clauses out of 1163 for limit 2.1994794514610833E8 1766.25/1761.22 c cleaning 485 clauses out of 1153 for limit 3.669693044387054E8 1766.45/1761.49 c cleaning 479 clauses out of 1165 for limit 5.971527990700988E8 1766.75/1761.71 c cleaning 464 clauses out of 1186 for limit 9.673476828075461E8 1766.95/1761.92 c cleaning 428 clauses out of 1222 for limit 1.5482887772104795E9 1767.15/1762.14 c cleaning 466 clauses out of 1294 for limit 2.4112641120743313E9 1767.35/1762.37 c cleaning 477 clauses out of 1328 for limit 3.8746891864265337E9 1767.55/1762.59 c cleaning 500 clauses out of 1351 for limit 6.281096759736366E9 1767.85/1762.83 c cleaning 478 clauses out of 1351 for limit 1.0358368826896753E10 1768.05/1763.00 c cleaning 473 clauses out of 1373 for limit 1.6808620407083992E10 1768.25/1763.25 c cleaning 500 clauses out of 1400 for limit 2.7185070154687485E10 1768.45/1763.48 c cleaning 484 clauses out of 1400 for limit 4.483181743870079E10 1768.75/1763.71 c cleaning 522 clauses out of 1416 for limit 7.309825581180592E10 1768.95/1763.92 c cleaning 477 clauses out of 1394 for limit 1.2245129460876944E11 1769.15/1764.14 c cleaning 478 clauses out of 1417 for limit 1.9866080527527786E11 1769.35/1764.36 c cleaning 486 clauses out of 1439 for limit 3.2260948723065454E11 1769.65/1764.61 c cleaning 619 clauses out of 1453 for limit 5.269000035844214E11 1769.85/1764.84 c cleaning 501 clauses out of 1334 for limit 9.464417137268131E11 1770.05/1765.00 c cleaning 423 clauses out of 1334 for limit 1.5623713700127993E12 1770.15/1765.14 c cleaning 482 clauses out of 1410 for limit 2.4352433394555234E12 1770.25/1765.23 c cleaning 482 clauses out of 1428 for limit 3.9654196690340293E12 1770.35/1765.40 c cleaning 474 clauses out of 1446 for limit 6.458102860681928E12 1770.55/1765.56 c cleaning 588 clauses out of 1472 for limit 1.046215928641651E13 1770.65/1765.69 c cleaning 680 clauses out of 1384 for limit 1.8350543635440305E13 1770.75/1765.77 c cleaning 467 clauses out of 1205 for limit 3.4792719577471336E13 1770.95/1765.90 c cleaning 552 clauses out of 1237 for limit 5.583764577301903E13 1771.05/1766.09 c cleaning 470 clauses out of 1185 for limit 9.61245535128413E13 1771.35/1766.31 c cleaning 496 clauses out of 1215 for limit 1.5460811847376772E14 1771.55/1766.54 c cleaning 465 clauses out of 1219 for limit 2.541328192106366E14 1771.65/1766.68 c cleaning 398 clauses out of 1254 for limit 4.074016751972924E14 1771.95/1766.92 c cleaning 510 clauses out of 1357 for limit 6.2148535343096E14 1772.15/1767.11 c cleaning 475 clauses out of 1346 for limit 1.0322551566306872E15 1772.25/1767.24 c cleaning 438 clauses out of 1371 for limit 1.6712851455817265E15 1772.35/1767.34 c cleaning 449 clauses out of 1433 for limit 2.636924556207471E15 1772.55/1767.51 c cleaning 703 clauses out of 1484 for limit 4.199193437467743E-5 1772.65/1767.61 c cleaning 578 clauses out of 1281 for limit 8.022441137287481E-5 1772.75/1767.72 c cleaning 494 clauses out of 1204 for limit 1.4090278618619716E-4 1772.85/1767.82 c cleaning 517 clauses out of 1210 for limit 2.3121530830287965E-4 1772.95/1767.94 c cleaning 430 clauses out of 1193 for limit 3.8673849080857463E-4 1773.05/1768.05 c cleaning 378 clauses out of 1263 for limit 6.024352536766301E-4 1773.15/1768.15 c cleaning 416 clauses out of 1386 for limit 9.06235137957221E-4 1773.35/1768.34 c cleaning 496 clauses out of 1468 for limit 0.0014082019308602875 1773.55/1768.53 c cleaning 497 clauses out of 1472 for limit 0.002316002735715304 1773.65/1768.65 c cleaning 490 clauses out of 1475 for limit 0.0038116300726862744 1773.75/1768.79 c cleaning 492 clauses out of 1485 for limit 0.006243558689156219 1773.95/1768.93 c cleaning 458 clauses out of 1493 for limit 0.01024129158555521 1774.05/1769.00 c cleaning 472 clauses out of 1538 for limit 0.016444384617980604 1774.05/1769.09 c cleaning 480 clauses out of 1568 for limit 0.02665341206674672 1774.25/1769.24 c cleaning 512 clauses out of 1584 for limit 0.04333726848831451 1774.35/1769.32 c cleaning 483 clauses out of 1575 for limit 0.0720934113379786 1774.45/1769.44 c cleaning 499 clauses out of 1590 for limit 0.11753463780952003 1774.55/1769.54 c cleaning 493 clauses out of 1589 for limit 0.19356461314868834 1774.65/1769.64 c cleaning 486 clauses out of 1596 for limit 0.317813880545086 1774.75/1769.75 c cleaning 485 clauses out of 1613 for limit 0.5201526352382794 1774.85/1769.84 c cleaning 481 clauses out of 1626 for limit 0.8492420552269462 1774.95/1769.97 c cleaning 490 clauses out of 1644 for limit 1.383794486724564 1775.15/1770.11 c cleaning 593 clauses out of 1654 for limit 2.2682649969815634 1775.35/1770.33 c cleaning 556 clauses out of 1561 for limit 3.9635311901234638 1775.55/1770.56 c cleaning 505 clauses out of 1505 for limit 6.77960779359669 1775.65/1770.69 c cleaning 497 clauses out of 1500 for limit 11.217748478716564 1775.85/1770.86 c cleaning 511 clauses out of 1503 for limit 18.46264263966743 1776.15/1771.11 c cleaning 516 clauses out of 1492 for limit 30.671845512222873 1776.35/1771.30 c cleaning 484 clauses out of 1476 for limit 51.130290563660196 1776.55/1771.52 c cleaning 496 clauses out of 1492 for limit 83.41644591126207 1776.75/1771.74 c cleaning 503 clauses out of 1496 for limit 137.19705802924855 1776.95/1771.92 c cleaning 473 clauses out of 1496 for limit 226.9364312958198 1777.15/1772.14 c cleaning 507 clauses out of 1520 for limit 367.2354334462187 1777.35/1772.37 c cleaning 494 clauses out of 1514 for limit 608.6290673750734 1777.55/1772.59 c cleaning 486 clauses out of 1519 for limit 999.4064924454576 1777.75/1772.75 c cleaning 543 clauses out of 1533 for limit 1633.1033603767223 1777.85/1772.89 c cleaning 509 clauses out of 1490 for limit 2770.929306066817 1778.05/1773.03 c cleaning 481 clauses out of 1481 for limit 4597.402660264928 1778.25/1773.21 c cleaning 486 clauses out of 1500 for limit 7485.696744094957 1778.35/1773.34 c cleaning 520 clauses out of 1514 for limit 12230.761574907774 1778.45/1773.45 c cleaning 493 clauses out of 1494 for limit 20440.177595111716 1778.55/1773.56 c cleaning 503 clauses out of 1501 for limit 33551.385352972 1778.75/1773.78 c cleaning 530 clauses out of 1498 for limit 55441.53206241281 1778.95/1773.93 c cleaning 512 clauses out of 1472 for limit 93418.55825501059 1779.05/1774.08 c cleaning 483 clauses out of 1456 for limit 155130.5868472178 1779.25/1774.25 c cleaning 474 clauses out of 1473 for limit 252878.5255080111 1779.45/1774.44 c cleaning 507 clauses out of 1499 for limit 409797.16683300235 1779.65/1774.62 c cleaning 502 clauses out of 1492 for limit 678981.0417814391 1779.85/1774.81 c cleaning 503 clauses out of 1492 for limit 1121973.3951732542 1780.05/1775.05 c cleaning 517 clauses out of 1487 for limit 1852794.6025869611 1780.25/1775.26 c cleaning 520 clauses out of 1470 for limit 3090841.9476414137 1780.45/1775.49 c cleaning 491 clauses out of 1450 for limit 5167518.227541636 1780.65/1775.66 c cleaning 490 clauses out of 1459 for limit 8469360.411503337 1780.85/1775.83 c cleaning 505 clauses out of 1469 for limit 1.3872029307351252E7 1781.05/1776.01 c cleaning 508 clauses out of 1464 for limit 2.2954963351856E7 1781.15/1776.19 c cleaning 503 clauses out of 1456 for limit 3.806380435818689E7 1781.45/1776.40 c cleaning 498 clauses out of 1453 for limit 6.290191105726577E7 1781.65/1776.63 c cleaning 460 clauses out of 1455 for limit 1.0359107696865377E8 1781.75/1776.79 c cleaning 519 clauses out of 1495 for limit 1.6626469340972403E8 1781.95/1776.94 c cleaning 480 clauses out of 1476 for limit 2.7772230303418064E8 1782.15/1777.14 c cleaning 524 clauses out of 1500 for limit 4.524804196422361E8 1782.25/1777.23 c cleaning 433 clauses out of 1472 for limit 7.573577598333085E8 1782.45/1777.41 c cleaning 463 clauses out of 1539 for limit 1.194610029781112E9 1782.65/1777.64 c cleaning 523 clauses out of 1578 for limit 1.925230300304108E9 1782.85/1777.83 c cleaning 514 clauses out of 1554 for limit 3.2207724884901314E9 1782.95/1777.97 c cleaning 490 clauses out of 1539 for limit 5.357890303930223E9 1783.05/1778.07 c cleaning 497 clauses out of 1549 for limit 8.778835411609749E9 1783.25/1778.21 c cleaning 575 clauses out of 1552 for limit 1.4449489197334812E10 1783.35/1778.34 c cleaning 477 clauses out of 1477 for limit 2.5039151234504868E10 1783.45/1778.46 c cleaning 727 clauses out of 1500 for limit 4.065975210911678E10 1783.65/1778.62 c cleaning 496 clauses out of 1273 for limit 7.901025600030234E10 1783.85/1778.85 c cleaning 579 clauses out of 1277 for limit 1.2989034261479848E11 1784.05/1779.05 c cleaning 484 clauses out of 1198 for limit 2.283320251471267E11 1784.15/1779.19 c cleaning 490 clauses out of 1214 for limit 3.7158728674216046E11 1784.35/1779.37 c cleaning 474 clauses out of 1224 for limit 6.077906332658262E11 1784.65/1779.60 c cleaning 501 clauses out of 1250 for limit 9.814796393205356E11 1784.85/1779.84 c cleaning 474 clauses out of 1249 for limit 1.6198871349446162E12 1785.05/1780.00 c cleaning 415 clauses out of 1275 for limit 2.616934766348495E12 1785.15/1780.18 c cleaning 417 clauses out of 1360 for limit 4.04594579716725E12 1785.45/1780.40 c cleaning 493 clauses out of 1443 for limit 6.288521130980406E12 1785.45/1780.49 c cleaning 681 clauses out of 1450 for limit 1.0320547581907932E13 1785.55/1780.58 c cleaning 342 clauses out of 1269 for limit 1.944755496457449E13 1785.65/1780.68 c cleaning 419 clauses out of 1427 for limit 2.852059250583136E13 1785.85/1780.90 c cleaning 603 clauses out of 1508 for limit 4.450789575503619E13 1786.05/1781.09 c cleaning 423 clauses out of 1405 for limit 7.87803609849221E13 1786.35/1781.34 c cleaning 452 clauses out of 1482 for limit 1.2316915844045219E14 1786.55/1781.58 c cleaning 428 clauses out of 1530 for limit 1.967499514794209E14 1786.75/1781.72 c cleaning 482 clauses out of 1602 for limit 3.098842046270794E14 1786.85/1781.83 c cleaning 490 clauses out of 1620 for limit 5.053622811195314E14 1787.05/1782.07 c cleaning 678 clauses out of 1630 for limit 8.282970628898996E14 1787.35/1782.31 c cleaning 519 clauses out of 1452 for limit 1.5334266135094152E15 1787.45/1782.45 c cleaning 438 clauses out of 1433 for limit 2.5623550633535515E15 1787.55/1782.54 c cleaning 446 clauses out of 1495 for limit 4.05042126199886E15 1787.64/1782.64 c cleaning 741 clauses out of 1549 for limit 6.446824623927735E-5 1787.74/1782.75 c cleaning 596 clauses out of 1308 for limit 1.2590570722074642E-4 1787.84/1782.86 c cleaning 506 clauses out of 1212 for limit 2.240817192896924E-4 1787.94/1782.97 c cleaning 440 clauses out of 1206 for limit 3.7137924333039367E-4 1788.05/1783.09 c cleaning 329 clauses out of 1269 for limit 5.837981777656189E-4 1788.24/1783.20 c cleaning 392 clauses out of 1441 for limit 8.486933028892953E-4 1788.34/1783.32 c cleaning 471 clauses out of 1546 for limit 0.0013006415328923602 1788.44/1783.42 c cleaning 459 clauses out of 1574 for limit 0.0021046687602716938 1788.54/1783.52 c cleaning 473 clauses out of 1616 for limit 0.003384055875340587 1788.64/1783.63 c cleaning 489 clauses out of 1643 for limit 0.005489050232818628 1788.74/1783.74 c cleaning 490 clauses out of 1653 for limit 0.00898841861164789 1800.06/1795.01 c starts : 22 1800.06/1795.01 c conflicts : 1317216 1800.06/1795.01 c decisions : 9009491 1800.06/1795.01 c propagations : 1366611199 1800.06/1795.01 c inspects : 6736657592 1800.06/1795.01 c learnt literals : 49 1800.06/1795.01 c learnt binary clauses : 118313 1800.06/1795.01 c learnt ternary clauses : 81962 1800.06/1795.01 c learnt clauses : 1317168 1800.06/1795.01 c root simplifications : 0 1800.06/1795.01 c removed literals (reason simplification) : 0 1800.06/1795.01 c reason swapping (by a shorter reason) : 0 1800.06/1795.01 c Calls to reduceDB : 504 1800.06/1795.01 c speed (decisions/second) : 5021.005771404241 1800.06/1795.01 c non guided choices 18621 1800.06/1795.01 s UNKNOWN 1800.06/1795.01 c Total wall clock time (ms): 1794.897
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742465-1338768944/watcher-3742465-1338768944 -o /tmp/evaluation-result-3742465-1338768944/solver-3742465-1338768944 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742465-1338768944.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.99 1.95 2/174 18182 /proc/meminfo: memFree=26521668/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/18182/stat : 18182 (java) D 18180 18182 17886 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343019312 9515008 183 33554432000 1073741824 1073778376 140734973788736 140734973779768 223651643061 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/18182/statm: 2323 183 140 9 0 71 0 [startup+0.075885 s] /proc/loadavg: 1.94 1.99 1.95 2/174 18182 /proc/meminfo: memFree=26521668/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=2956804 CPUtime=0.05 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 4063 0 1 0 4 1 0 0 20 0 18 0 343019312 3027767296 5781 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 739201 5781 1767 9 0 729885 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2956804 [startup+0.10033 s] /proc/loadavg: 1.94 1.99 1.95 2/174 18182 /proc/meminfo: memFree=26521668/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 4142 0 1 0 7 1 0 0 20 0 18 0 343019312 3028844544 5859 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 739464 5859 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300302 s] /proc/loadavg: 1.94 1.99 1.95 2/174 18182 /proc/meminfo: memFree=26521668/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=2957856 CPUtime=0.52 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 7688 0 1 0 50 2 0 0 20 0 18 0 343019312 3028844544 11294 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 739464 11294 2239 9 0 729885 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 2957856 [startup+0.700303 s] /proc/loadavg: 1.94 1.99 1.95 2/174 18182 /proc/meminfo: memFree=26521668/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=1.36 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 9232 0 1 0 133 3 0 0 20 0 19 0 343019312 3097006080 36204 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 36204 2267 9 0 746526 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 3024420 [startup+1.50075 s] /proc/loadavg: 1.94 1.99 1.95 5/212 18256 /proc/meminfo: memFree=26354124/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=2.37 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 10043 0 1 0 234 3 0 0 20 0 19 0 343019312 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 36745 2271 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=1.46 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3098 0 1 0 143 3 0 0 20 0 19 0 343019313 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534474514984 140534300207074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.46 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3504 0 0 0 46 0 0 0 20 0 19 0 343019319 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.4 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2239 0 0 0 40 0 0 0 20 0 19 0 343019319 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 36745 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 3024420 [startup+3.10075 s] /proc/loadavg: 1.94 1.99 1.95 3/213 18257 /proc/meminfo: memFree=26269452/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=3.98 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 10046 0 1 0 395 3 0 0 20 0 19 0 343019312 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 37258 2271 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=3.06 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3100 0 1 0 303 3 0 0 20 0 19 0 343019313 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534474514632 140534300373008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.46 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3504 0 0 0 46 0 0 0 20 0 19 0 343019319 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.41 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2239 0 0 0 41 0 0 0 20 0 19 0 343019319 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 37258 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 3024420 [startup+6.30074 s] /proc/loadavg: 1.95 1.99 1.95 3/213 18257 /proc/meminfo: memFree=26256420/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=7.22 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 10050 0 1 0 719 3 0 0 20 0 19 0 343019312 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 38269 2272 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=6.26 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3103 0 1 0 623 3 0 0 20 0 19 0 343019313 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534474515000 140534300376596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343019314 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3504 0 0 0 48 0 0 0 20 0 19 0 343019319 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2240 0 0 0 43 0 0 0 20 0 19 0 343019319 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 38269 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 3024420 [startup+12.7008 s] ################ # More data... # ################ [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 142 0 0 0 30 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 110 0 0 0 29 9 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 284 0 0 0 34 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=1.83 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 255 0 0 0 174 9 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.54 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3566 0 0 0 54 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2246 0 0 0 49 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=0.98 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 95 0 0 0 53 45 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1667.26 Current children cumulated vsize (KiB) 3024420 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 18272 /proc/meminfo: memFree=23180496/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=1727.32 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 12235 0 1 0 172529 203 0 0 20 0 19 0 343019312 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 419794 2302 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=1719.04 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3257 0 1 0 171870 34 0 0 20 0 19 0 343019313 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534474513712 140534300292972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 252 0 0 0 28 19 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0.56 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 264 0 0 0 35 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 204 0 0 0 32 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 203 0 0 0 31 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 164 0 0 0 24 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 142 0 0 0 30 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 110 0 0 0 29 9 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 284 0 0 0 34 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=2.28 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 257 0 0 0 218 10 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.54 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3566 0 0 0 54 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2246 0 0 0 49 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=1.02 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 99 0 0 0 55 47 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1727.32 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/213 18272 /proc/meminfo: memFree=23180372/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=1787.35 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 12239 0 1 0 178531 204 0 0 20 0 19 0 343019312 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 419794 2302 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=1779.04 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3257 0 1 0 177869 35 0 0 20 0 19 0 343019313 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534474506080 140534300207076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 252 0 0 0 28 19 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0.56 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 264 0 0 0 35 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 204 0 0 0 32 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 203 0 0 0 31 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 164 0 0 0 24 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 142 0 0 0 30 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 110 0 0 0 29 9 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 284 0 0 0 34 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=2.28 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 257 0 0 0 218 10 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.54 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3566 0 0 0 54 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2246 0 0 0 49 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=1.04 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 103 0 0 0 56 48 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795 s] /proc/loadavg: 2.03 2.01 2.00 3/213 18272 /proc/meminfo: memFree=23180620/32873844 swapFree=7628/7628 [pid=18182] ppid=18180 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7 /proc/18182/stat : 18182 (java) S 18180 18182 17886 0 -1 4202496 12242 0 1 0 179802 204 0 0 20 0 19 0 343019312 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140733584136416 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18182/statm: 756105 419794 2302 9 0 746526 0 [pid=18182/tid=18184] ppid=18180 vsize=3024420 CPUtime=1791.59 cores=1,3,5,7 /proc/18182/task/18184/stat : 18184 (java) R 18180 18182 17886 0 -1 4202560 3258 0 1 0 179124 35 0 0 20 0 19 0 343019313 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534474513712 140534300373008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18185] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18185/stat : 18185 (java) S 18180 18182 17886 0 -1 4202560 252 0 0 0 28 19 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534457940264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18186] ppid=18180 vsize=3024420 CPUtime=0.56 cores=1,3,5,7 /proc/18182/task/18186/stat : 18186 (java) S 18180 18182 17886 0 -1 4202560 264 0 0 0 35 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534456887464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18187] ppid=18180 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/18182/task/18187/stat : 18187 (java) S 18180 18182 17886 0 -1 4202560 204 0 0 0 32 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534455835176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18188] ppid=18180 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/18182/task/18188/stat : 18188 (java) S 18180 18182 17886 0 -1 4202560 203 0 0 0 31 16 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534454782376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18189] ppid=18180 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/18182/task/18189/stat : 18189 (java) S 18180 18182 17886 0 -1 4202560 164 0 0 0 24 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534453730088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18190] ppid=18180 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/18182/task/18190/stat : 18190 (java) S 18180 18182 17886 0 -1 4202560 142 0 0 0 30 12 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534452677288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18182/tid=18191] ppid=18180 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/18182/task/18191/stat : 18191 (java) S 18180 18182 17886 0 -1 4202560 110 0 0 0 29 9 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534451625000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18192] ppid=18180 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/18182/task/18192/stat : 18192 (java) S 18180 18182 17886 0 -1 4202560 284 0 0 0 34 21 0 0 20 0 19 0 343019314 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534450572200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18193] ppid=18180 vsize=3024420 CPUtime=2.44 cores=1,3,5,7 /proc/18182/task/18193/stat : 18193 (java) S 18180 18182 17886 0 -1 4202560 259 0 0 0 234 10 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534438160616 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18194] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18194/stat : 18194 (java) S 18180 18182 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534437106680 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18195] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18195/stat : 18195 (java) S 18180 18182 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343019316 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534436054280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18196] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18196/stat : 18196 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534435002768 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18197] ppid=18180 vsize=3024420 CPUtime=0.54 cores=1,3,5,7 /proc/18182/task/18197/stat : 18197 (java) S 18180 18182 17886 0 -1 4202560 3566 0 0 0 54 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534433950392 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18182/tid=18198] ppid=18180 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/18182/task/18198/stat : 18198 (java) S 18180 18182 17886 0 -1 4202560 2246 0 0 0 49 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534432897592 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18199] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18199/stat : 18199 (java) S 18180 18182 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534431845496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18182/tid=18200] ppid=18180 vsize=3024420 CPUtime=1.05 cores=1,3,5,7 /proc/18182/task/18200/stat : 18200 (java) S 18180 18182 17886 0 -1 4202560 103 0 0 0 57 48 0 0 20 0 19 0 343019319 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534430792904 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18182/tid=18227] ppid=18180 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/18182/task/18227/stat : 18227 (java) S 18180 18182 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343019377 3097006080 419794 33554432000 1073741824 1073778376 140733584145280 140534428591016 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.02 CPU time (s): 1800.09 CPU user time (s): 1797.77 CPU system time (s): 2.32365 CPU usage (%): 100.282 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.77 system time used= 2.32365 maximum resident set size= 1679292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12271 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38035 involuntary context switches= 3296 runsolver used 6.54101 second user time and 16.2425 second system time The end
Begin job on node144 at 2012-06-04 02:15:45 IDJOB=3742465 IDBENCH=90188 IDSOLVER=2319 FILE ID=node144/3742465-1338768944 RUNJOBID= node144-1338765348-17903 PBS_JOBID= 14636814 Free space on /tmp= 70832 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K175.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742465-1338768944/watcher-3742465-1338768944 -o /tmp/evaluation-result-3742465-1338768944/solver-3742465-1338768944 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742465-1338768944.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b1775204389f0c59bc1b934de7e2c1 RANDOM SEED=430542066 node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26521924 kB Buffers: 1721700 kB Cached: 3723336 kB SwapCached: 464 kB Active: 3544984 kB Inactive: 1924668 kB Active(anon): 4500 kB Inactive(anon): 11188 kB Active(file): 3540484 kB Inactive(file): 1913480 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108384 kB Dirty: 4764 kB Writeback: 0 kB AnonPages: 22316 kB Mapped: 14292 kB Shmem: 172 kB Slab: 742288 kB SReclaimable: 183996 kB SUnreclaim: 558292 kB KernelStack: 1464 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 137980 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70828 MiB End job on node144 at 2012-06-04 02:45:42