Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.65 | 1796.33 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb |
MD5SUM | a7a3236cd0071452eec601ea09fe7bbe |
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 | 5848 |
Total number of constraints | 6022 |
Number of constraints which are clauses | 5936 |
Number of constraints which are cardinality constraints (but not clauses) | 86 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 86 |
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 | 87 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.02/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.02/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.02/0.08 c no version file found!!! 0.02/0.08 c sun.arch.data.model 64 0.02/0.08 c java.version 1.6.0_24 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.08 c os.arch amd64 0.02/0.08 c Free memory 1599470296 0.02/0.08 c Max memory 1607860224 0.02/0.08 c Total memory 1607860224 0.02/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3742101-1338761983.opb 0.09/0.10 c reading problem ... 0.82/0.41 c ... done. Wall clock time 0.312s. 0.82/0.41 c CPU time (experimental) 0.38s. 0.82/0.41 c #vars 5848 0.82/0.41 c #constraints 6020 731.45/728.83 c cleaning 274972 clauses out of 550451 for limit 2.8708660647725524E-7 732.06/729.47 c cleaning 137879 clauses out of 275979 for limit 9.44303168919388E-7 732.37/729.72 c cleaning 69088 clauses out of 138600 for limit 3.100845589253269E-6 732.47/729.87 c cleaning 34792 clauses out of 70012 for limit 1.0123408775248212E-5 732.67/730.01 c cleaning 17742 clauses out of 35720 for limit 3.2722290402266154E-5 732.77/730.12 c cleaning 8866 clauses out of 18478 for limit 1.0431723542384651E-4 732.87/730.20 c cleaning 4609 clauses out of 10113 for limit 3.146454264024347E-4 732.87/730.27 c cleaning 2510 clauses out of 6003 for limit 8.732819072001636E-4 732.97/730.34 c cleaning 1493 clauses out of 3993 for limit 0.0021651070922340987 733.07/730.41 c cleaning 975 clauses out of 3000 for limit 0.00475240369769669 733.07/730.47 c cleaning 677 clauses out of 2525 for limit 0.00931170233191392 733.17/730.53 c cleaning 693 clauses out of 2349 for limit 0.01652334035930715 733.17/730.59 c cleaning 599 clauses out of 2155 for limit 0.02967255656207993 733.27/730.65 c cleaning 540 clauses out of 2057 for limit 0.05131665596543593 733.37/730.71 c cleaning 516 clauses out of 2017 for limit 0.0863063258121486 733.37/730.78 c cleaning 507 clauses out of 2000 for limit 0.14339694738556555 733.47/730.84 c cleaning 505 clauses out of 1993 for limit 0.23731133922650888 733.47/730.89 c cleaning 486 clauses out of 1988 for limit 0.3923424464978396 733.57/730.96 c cleaning 506 clauses out of 2002 for limit 0.6425005292936612 733.67/731.02 c cleaning 502 clauses out of 1997 for limit 1.063285513167949 733.67/731.07 c cleaning 498 clauses out of 1994 for limit 1.754382081361712 733.77/731.16 c cleaning 497 clauses out of 1997 for limit 2.8917561697439087 733.87/731.22 c cleaning 472 clauses out of 1999 for limit 4.7593573762139805 733.87/731.28 c cleaning 535 clauses out of 2027 for limit 7.740397237603642 733.97/731.33 c cleaning 523 clauses out of 1993 for limit 12.995712590532934 733.97/731.40 c cleaning 796 clauses out of 1969 for limit 21.671204773254072 734.07/731.45 c cleaning 681 clauses out of 1675 for limit 42.09581005948701 734.17/731.51 c cleaning 574 clauses out of 1492 for limit 77.78067770790305 734.17/731.57 c cleaning 552 clauses out of 1418 for limit 134.964702635423 734.27/731.62 c cleaning 521 clauses out of 1366 for limit 231.04768459678354 734.27/731.69 c cleaning 519 clauses out of 1345 for limit 386.97768541121496 734.37/731.75 c cleaning 500 clauses out of 1326 for limit 647.3223021099449 734.47/731.80 c cleaning 599 clauses out of 1325 for limit 1068.3267496894066 734.47/731.86 c cleaning 547 clauses out of 1226 for limit 1904.080905525599 734.57/731.93 c cleaning 530 clauses out of 1179 for limit 3265.261366810208 734.57/732.00 c cleaning 521 clauses out of 1148 for limit 5530.262601217496 734.67/732.05 c cleaning 504 clauses out of 1127 for limit 9290.083404790059 734.77/732.12 c cleaning 554 clauses out of 1121 for limit 15402.59171521321 734.77/732.18 c cleaning 491 clauses out of 1067 for limit 26686.45483198811 734.87/732.23 c cleaning 490 clauses out of 1076 for limit 43641.42458230626 734.87/732.30 c cleaning 510 clauses out of 1084 for limit 71439.39943039791 734.97/732.36 c cleaning 484 clauses out of 1074 for limit 118910.08313912393 735.07/732.43 c cleaning 497 clauses out of 1090 for limit 193220.1225351779 735.07/732.50 c cleaning 456 clauses out of 1093 for limit 317771.23086806736 735.17/732.55 c cleaning 490 clauses out of 1138 for limit 503828.66743821703 735.27/732.62 c cleaning 494 clauses out of 1147 for limit 823536.9587806364 735.27/732.67 c cleaning 559 clauses out of 1153 for limit 1351055.195455307 735.37/732.72 c cleaning 431 clauses out of 1095 for limit 2348435.7272765115 735.37/732.76 c cleaning 543 clauses out of 1164 for limit 3643306.4666811987 735.47/732.83 c cleaning 551 clauses out of 1120 for limit 6238095.763844592 735.47/732.89 c cleaning 473 clauses out of 1069 for limit 1.077824973241628E7 735.57/732.96 c cleaning 458 clauses out of 1096 for limit 1.7336893449192088E7 735.67/733.03 c cleaning 486 clauses out of 1138 for limit 2.7535658012363143E7 735.67/733.09 c cleaning 461 clauses out of 1152 for limit 4.485812627580957E7 735.77/733.13 c cleaning 552 clauses out of 1190 for limit 7.161475884899233E7 735.77/733.19 c cleaning 524 clauses out of 1139 for limit 1.2351399527156727E8 735.87/733.26 c cleaning 552 clauses out of 1115 for limit 2.0807548406565478E8 735.97/733.33 c cleaning 520 clauses out of 1062 for limit 3.599089441641561E8 735.97/733.38 c cleaning 477 clauses out of 1042 for limit 6.049302806892937E8 736.07/733.43 c cleaning 494 clauses out of 1065 for limit 9.760663091633859E8 736.07/733.48 c cleaning 490 clauses out of 1071 for limit 1.6006461945852525E9 736.17/733.53 c cleaning 537 clauses out of 1082 for limit 2.6154592342598543E9 736.17/733.59 c cleaning 483 clauses out of 1044 for limit 4.46576733415156E9 736.27/733.64 c cleaning 496 clauses out of 1067 for limit 7.2492842572141695E9 736.27/733.70 c cleaning 496 clauses out of 1064 for limit 1.1916994457786707E10 736.37/733.75 c cleaning 479 clauses out of 1069 for limit 1.958037742654886E10 736.47/733.80 c cleaning 535 clauses out of 1089 for limit 3.1665930889465626E10 736.47/733.86 c cleaning 522 clauses out of 1054 for limit 5.39554619863105E10 736.59/733.92 c cleaning 486 clauses out of 1032 for limit 9.087663051335904E10 736.59/733.98 c cleaning 476 clauses out of 1046 for limit 1.4786184325606686E11 736.69/734.05 c cleaning 464 clauses out of 1070 for limit 2.3837456289613297E11 736.69/734.09 c cleaning 547 clauses out of 1106 for limit 3.8031586928736304E11 736.79/734.14 c cleaning 518 clauses out of 1059 for limit 6.550274516515454E11 736.89/734.20 c cleaning 461 clauses out of 1041 for limit 1.098906187924172E12 736.89/734.27 c cleaning 464 clauses out of 1080 for limit 1.7468011932932207E12 736.99/734.32 c cleaning 550 clauses out of 1116 for limit 2.787782758667818E12 736.99/734.37 c cleaning 442 clauses out of 1067 for limit 4.813368392323443E12 737.09/734.43 c cleaning 447 clauses out of 1125 for limit 7.528646153452681E12 737.09/734.48 c cleaning 489 clauses out of 1177 for limit 1.185534837932468E13 737.19/734.56 c cleaning 490 clauses out of 1195 for limit 1.9391899315444555E13 737.29/734.63 c cleaning 535 clauses out of 1198 for limit 3.1677123618507324E13 737.29/734.68 c cleaning 565 clauses out of 1163 for limit 5.3811949969877766E13 737.39/734.73 c cleaning 516 clauses out of 1098 for limit 9.399656679478884E13 737.39/734.78 c cleaning 447 clauses out of 1082 for limit 1.5730515599058856E14 737.49/734.83 c cleaning 455 clauses out of 1135 for limit 2.4730348926774472E14 737.49/734.89 c cleaning 487 clauses out of 1183 for limit 3.924648651249905E14 737.59/734.95 c cleaning 473 clauses out of 1193 for limit 6.398783788716526E14 737.69/735.01 c cleaning 479 clauses out of 1221 for limit 1.0320782227368972E15 737.69/735.07 c cleaning 503 clauses out of 1241 for limit 1.6729303959018795E15 737.79/735.12 c cleaning 613 clauses out of 1239 for limit 2.766105536627883E15 737.79/735.18 c cleaning 542 clauses out of 1126 for limit 5.019466369711822E-5 737.89/735.23 c cleaning 527 clauses out of 1084 for limit 8.598497001263523E-5 737.89/735.28 c cleaning 470 clauses out of 1057 for limit 1.4542287489227362E-4 737.99/735.34 c cleaning 453 clauses out of 1088 for limit 2.3322183966847042E-4 737.99/735.39 c cleaning 518 clauses out of 1135 for limit 3.6868726577836126E-4 738.09/735.44 c cleaning 428 clauses out of 1115 for limit 6.17683492757693E-4 738.09/735.49 c cleaning 441 clauses out of 1187 for limit 9.568547798071389E-4 738.18/735.56 c cleaning 470 clauses out of 1246 for limit 0.0015032617056049628 738.28/735.63 c cleaning 514 clauses out of 1276 for limit 0.0024207940834627185 738.28/735.67 c cleaning 505 clauses out of 1262 for limit 0.004036500919309963 738.38/735.72 c cleaning 504 clauses out of 1257 for limit 0.006683208649029681 738.38/735.76 c cleaning 489 clauses out of 1253 for limit 0.011056689499813109 738.49/735.81 c cleaning 482 clauses out of 1264 for limit 0.018075278507658856 738.49/735.86 c cleaning 554 clauses out of 1282 for limit 0.02939002351080878 738.59/735.91 c cleaning 505 clauses out of 1228 for limit 0.05059941302629639 738.59/735.95 c cleaning 518 clauses out of 1223 for limit 0.08378635078548258 738.68/736.00 c cleaning 498 clauses out of 1205 for limit 0.14023892460289344 738.68/736.06 c cleaning 477 clauses out of 1207 for limit 0.23088952836364612 738.78/736.12 c cleaning 496 clauses out of 1230 for limit 0.3736476733211565 738.78/736.17 c cleaning 494 clauses out of 1234 for limit 0.6141976084016152 738.88/736.21 c cleaning 493 clauses out of 1243 for limit 1.0085828390799132 738.88/736.26 c cleaning 490 clauses out of 1247 for limit 1.6529838150669687 738.98/736.32 c cleaning 484 clauses out of 1258 for limit 2.704860130201906 738.98/736.38 c cleaning 518 clauses out of 1273 for limit 4.4037070970086045 739.08/736.43 c cleaning 496 clauses out of 1256 for limit 7.367965576421934 739.08/736.47 c cleaning 499 clauses out of 1259 for limit 12.109685734813693 739.18/736.52 c cleaning 511 clauses out of 1260 for limit 19.95464218483037 739.18/736.57 c cleaning 486 clauses out of 1249 for limit 33.19769559911354 739.28/736.62 c cleaning 507 clauses out of 1263 for limit 54.14058115427549 739.28/736.66 c cleaning 489 clauses out of 1256 for limit 89.78266894548585 739.38/736.73 c cleaning 502 clauses out of 1267 for limit 146.77815453362476 739.48/736.80 c cleaning 495 clauses out of 1265 for limit 242.43951097388285 739.48/736.86 c cleaning 472 clauses out of 1272 for limit 398.41137009566876 739.59/736.92 c cleaning 504 clauses out of 1299 for limit 642.7336822254624 739.59/736.99 c cleaning 501 clauses out of 1300 for limit 1064.4500928696602 739.69/737.05 c cleaning 490 clauses out of 1293 for limit 1754.360934214989 739.78/737.11 c cleaning 469 clauses out of 1304 for limit 2871.641891909244 739.78/737.18 c cleaning 514 clauses out of 1335 for limit 4625.753573066356 739.88/737.25 c cleaning 511 clauses out of 1322 for limit 7711.213050981933 739.98/737.31 c cleaning 495 clauses out of 1310 for limit 12820.478568497661 739.98/737.37 c cleaning 479 clauses out of 1314 for limit 21057.244637946686 740.08/737.44 c cleaning 481 clauses out of 1335 for limit 34179.9583535832 740.18/737.51 c cleaning 503 clauses out of 1357 for limit 55620.177385194234 740.18/737.58 c cleaning 505 clauses out of 1351 for limit 91856.35752952361 740.28/737.67 c cleaning 462 clauses out of 1346 for limit 152046.13891024096 740.38/737.73 c cleaning 536 clauses out of 1384 for limit 243859.8222101608 740.38/737.80 c cleaning 512 clauses out of 1348 for limit 412897.58027756907 740.48/737.86 c cleaning 511 clauses out of 1336 for limit 687039.424288809 740.58/737.93 c cleaning 509 clauses out of 1328 for limit 1143271.7288684747 740.69/738.01 c cleaning 644 clauses out of 1316 for limit 1896898.10081248 740.69/738.06 c cleaning 422 clauses out of 1172 for limit 3512595.7078819787 740.79/738.13 c cleaning 439 clauses out of 1250 for limit 5431273.238658105 740.88/738.20 c cleaning 644 clauses out of 1311 for limit 8540137.445921069 740.88/738.26 c cleaning 464 clauses out of 1167 for limit 1.5821679508239288E7 740.98/738.34 c cleaning 431 clauses out of 1203 for limit 2.531125613753376E7 741.08/738.42 c cleaning 456 clauses out of 1272 for limit 3.947735997045759E7 741.08/738.49 c cleaning 465 clauses out of 1316 for limit 6.292673675808349E7 741.18/738.56 c cleaning 502 clauses out of 1351 for limit 1.0108614577842169E8 741.28/738.63 c cleaning 658 clauses out of 1350 for limit 1.6699505738082942E8 741.28/738.68 c cleaning 509 clauses out of 1191 for limit 3.118508984474001E8 741.38/738.73 c cleaning 502 clauses out of 1182 for limit 5.1819971708632654E8 741.38/738.77 c cleaning 504 clauses out of 1180 for limit 8.560290987847707E8 741.48/738.82 c cleaning 583 clauses out of 1177 for limit 1.4167214552494233E9 741.48/738.88 c cleaning 524 clauses out of 1093 for limit 2.513403104445907E9 741.58/738.92 c cleaning 421 clauses out of 1069 for limit 4.2379954969293003E9 741.58/738.99 c cleaning 456 clauses out of 1148 for limit 6.508069693763675E9 741.68/739.05 c cleaning 474 clauses out of 1192 for limit 1.0336504897429697E10 741.68/739.10 c cleaning 513 clauses out of 1221 for limit 1.6691437036082466E10 741.79/739.14 c cleaning 516 clauses out of 1205 for limit 2.780831647029752E10 741.79/739.20 c cleaning 556 clauses out of 1189 for limit 4.647675269755963E10 741.89/739.25 c cleaning 467 clauses out of 1133 for limit 8.043472999664734E10 741.98/739.30 c cleaning 487 clauses out of 1166 for limit 1.2889345191890941E11 741.98/739.35 c cleaning 485 clauses out of 1180 for limit 2.1025086763620044E11 742.08/739.41 c cleaning 485 clauses out of 1194 for limit 3.423236092321554E11 742.08/739.46 c cleaning 499 clauses out of 1209 for limit 5.575332404195273E11 742.18/739.52 c cleaning 515 clauses out of 1210 for limit 9.186870254441403E11 742.18/739.59 c cleaning 502 clauses out of 1196 for limit 1.534306667618921E12 742.28/739.64 c cleaning 510 clauses out of 1193 for limit 2.5341031197792705E12 742.28/739.69 c cleaning 585 clauses out of 1183 for limit 4.2144011289638286E12 742.38/739.75 c cleaning 541 clauses out of 1100 for limit 7.489500250699884E12 742.48/739.80 c cleaning 526 clauses out of 1057 for limit 1.2827954208099824E13 742.48/739.85 c cleaning 473 clauses out of 1031 for limit 2.168850465504562E13 742.58/739.90 c cleaning 453 clauses out of 1058 for limit 3.4854470913420656E13 742.58/739.96 c cleaning 544 clauses out of 1105 for limit 5.503484799130985E13 742.68/740.02 c cleaning 420 clauses out of 1063 for limit 9.453479686377177E13 742.68/740.08 c cleaning 477 clauses out of 1143 for limit 1.449888537596341E14 742.78/740.15 c cleaning 493 clauses out of 1164 for limit 2.3432289807626016E14 742.89/740.21 c cleaning 497 clauses out of 1171 for limit 3.841198072434242E14 742.89/740.25 c cleaning 578 clauses out of 1175 for limit 6.319404127642866E14 742.99/740.31 c cleaning 534 clauses out of 1097 for limit 1.1162545844539676E15 742.99/740.36 c cleaning 515 clauses out of 1063 for limit 1.899732732055991E15 743.08/740.42 c cleaning 461 clauses out of 1047 for limit 3.177609049817009E15 743.08/740.47 c cleaning 514 clauses out of 1088 for limit 5.0529285888424415E-5 743.18/740.53 c cleaning 502 clauses out of 1072 for limit 8.440421479513017E-5 743.18/740.59 c cleaning 519 clauses out of 1070 for limit 1.3945401699585683E-4 743.28/740.65 c cleaning 482 clauses out of 1056 for limit 2.341959249878711E-4 743.28/740.70 c cleaning 504 clauses out of 1069 for limit 3.7961981674997216E-4 743.38/740.76 c cleaning 448 clauses out of 1067 for limit 6.284736468052969E-4 743.48/740.81 c cleaning 434 clauses out of 1118 for limit 9.881686295776947E-4 743.48/740.87 c cleaning 460 clauses out of 1183 for limit 0.001538542497537166 743.58/740.93 c cleaning 470 clauses out of 1223 for limit 0.002454277530948183 743.58/740.98 c cleaning 482 clauses out of 1255 for limit 0.00395213083266999 743.69/741.05 c cleaning 555 clauses out of 1271 for limit 0.0064226809967537785 743.69/741.09 c cleaning 511 clauses out of 1216 for limit 0.011070932797564851 743.79/741.14 c cleaning 519 clauses out of 1205 for limit 0.018424114737684537 743.89/741.20 c cleaning 487 clauses out of 1189 for limit 0.030885258755564696 743.89/741.25 c cleaning 496 clauses out of 1199 for limit 0.05035774419569965 743.89/741.30 c cleaning 512 clauses out of 1205 for limit 0.08279866111587399 744.00/741.35 c cleaning 514 clauses out of 1191 for limit 0.13787498018498845 744.00/741.39 c cleaning 475 clauses out of 1178 for limit 0.23011362441363328 744.10/741.44 c cleaning 480 clauses out of 1204 for limit 0.3716648887542294 744.10/741.48 c cleaning 501 clauses out of 1223 for limit 0.6027995789330391 744.19/741.53 c cleaning 485 clauses out of 1221 for limit 0.9947297540207258 744.19/741.58 c cleaning 509 clauses out of 1236 for limit 1.6205341549441357 744.29/741.64 c cleaning 488 clauses out of 1227 for limit 2.692080137959987 744.29/741.69 c cleaning 521 clauses out of 1239 for limit 4.396601737533391 744.39/741.74 c cleaning 494 clauses out of 1218 for limit 7.375594508464944 744.49/741.80 c cleaning 499 clauses out of 1224 for limit 12.103717808183406 744.49/741.86 c cleaning 506 clauses out of 1225 for limit 19.94435546403523 744.59/741.92 c cleaning 495 clauses out of 1219 for limit 33.05280154118849 744.59/741.98 c cleaning 499 clauses out of 1224 for limit 54.285826059786466 744.69/742.05 c cleaning 476 clauses out of 1225 for limit 89.45150810300211 744.79/742.11 c cleaning 531 clauses out of 1249 for limit 144.68289972088004 744.79/742.16 c cleaning 498 clauses out of 1218 for limit 244.6742362543076 744.89/742.21 c cleaning 496 clauses out of 1220 for limit 402.83907120967626 744.89/742.27 c cleaning 471 clauses out of 1224 for limit 662.1644881628271 744.99/742.32 c cleaning 475 clauses out of 1253 for limit 1066.724131112025 744.99/742.36 c cleaning 485 clauses out of 1278 for limit 1724.7582217481695 745.10/742.41 c cleaning 476 clauses out of 1296 for limit 2813.2834962287716 745.10/742.48 c cleaning 551 clauses out of 1317 for limit 4551.8199688111 745.20/742.55 c cleaning 510 clauses out of 1266 for limit 7808.957029398485 745.29/742.60 c cleaning 490 clauses out of 1258 for limit 12985.868722327623 745.29/742.65 c cleaning 491 clauses out of 1266 for limit 21237.569203542153 745.39/742.72 c cleaning 528 clauses out of 1277 for limit 34791.449747371196 745.39/742.76 c cleaning 483 clauses out of 1247 for limit 58638.632447650794 745.49/742.81 c cleaning 512 clauses out of 1264 for limit 95402.35597648301 745.49/742.87 c cleaning 486 clauses out of 1252 for limit 158839.2149344599 745.59/742.93 c cleaning 469 clauses out of 1266 for limit 259050.38501207274 745.59/742.99 c cleaning 608 clauses out of 1297 for limit 417415.30649552256 745.69/743.04 c cleaning 538 clauses out of 1191 for limit 751141.0477955419 745.69/743.09 c cleaning 533 clauses out of 1150 for limit 1279050.7256973155 745.79/743.16 c cleaning 509 clauses out of 1118 for limit 2174045.9341664626 745.89/743.21 c cleaning 483 clauses out of 1108 for limit 3614033.1696004556 745.89/743.29 c cleaning 559 clauses out of 1124 for limit 5869308.787650934 745.99/743.36 c cleaning 483 clauses out of 1065 for limit 1.0215498140056742E7 746.09/743.43 c cleaning 494 clauses out of 1083 for limit 1.6583305406334477E7 746.20/743.50 c cleaning 497 clauses out of 1087 for limit 2.7220204695431788E7 746.20/743.54 c cleaning 477 clauses out of 1090 for limit 4.476620920119943E7 746.20/743.58 c cleaning 482 clauses out of 1113 for limit 7.22998740171802E7 746.30/743.62 c cleaning 468 clauses out of 1131 for limit 1.1733457023071483E8 746.30/743.67 c cleaning 574 clauses out of 1164 for limit 1.8820276964917922E8 746.39/743.71 c cleaning 536 clauses out of 1089 for limit 3.3141524819329983E8 746.39/743.75 c cleaning 458 clauses out of 1055 for limit 5.652919706380206E8 746.49/743.81 c cleaning 444 clauses out of 1095 for limit 8.963921007065367E8 746.49/743.85 c cleaning 477 clauses out of 1151 for limit 1.4063476871625783E9 746.59/743.91 c cleaning 578 clauses out of 1177 for limit 2.274840682405391E9 746.59/743.97 c cleaning 541 clauses out of 1096 for limit 4.016698617423471E9 1581.65/1578.29 c cleaning 278044 clauses out of 557054 for limit 5.053412435330664E8 1584.06/1580.65 c cleaning 139623 clauses out of 279510 for limit 1.6608888845655322E9 1584.85/1581.46 c cleaning 69923 clauses out of 140387 for limit 5.453394582177583E9 1585.35/1581.98 c cleaning 35132 clauses out of 70964 for limit 1.7791461108612377E10 1585.75/1582.30 c cleaning 17776 clauses out of 36332 for limit 5.7308136193699135E10 1585.85/1582.49 c cleaning 9188 clauses out of 19056 for limit 1.801896047770932E11 1585.95/1582.57 c cleaning 4835 clauses out of 10368 for limit 5.4616312571186285E11 1586.05/1582.64 c cleaning 2657 clauses out of 6033 for limit 1.5478893977367922E12 1586.15/1582.70 c cleaning 1895 clauses out of 3878 for limit 3.979150420092319E12 1586.15/1582.76 c cleaning 1180 clauses out of 2487 for limit 1.0273449968413873E13 1586.26/1582.83 c cleaning 836 clauses out of 1803 for limit 2.3276314079388855E13 1586.26/1582.88 c cleaning 426 clauses out of 1465 for limit 4.714755482677443E13 1586.36/1582.96 c cleaning 455 clauses out of 1539 for limit 7.401403243191484E13 1586.45/1583.03 c cleaning 742 clauses out of 1587 for limit 1.18723087279117E14 1586.45/1583.10 c cleaning 613 clauses out of 1342 for limit 2.3084046692829062E14 1586.55/1583.16 c cleaning 509 clauses out of 1231 for limit 4.1584484060924925E14 1586.65/1583.21 c cleaning 394 clauses out of 1222 for limit 6.908345535435704E14 1586.65/1583.27 c cleaning 408 clauses out of 1326 for limit 1.0478246160067156E15 1586.75/1583.32 c cleaning 582 clauses out of 1419 for limit 1.6163675547235378E15 1586.75/1583.37 c cleaning 631 clauses out of 1337 for limit 2.829091536596661E15 1586.85/1583.42 c cleaning 556 clauses out of 1205 for limit 5.171454822574376E-5 1586.85/1583.46 c cleaning 463 clauses out of 1149 for limit 8.944079283607706E-5 1586.95/1583.51 c cleaning 515 clauses out of 1186 for limit 1.4289823576189964E-4 1586.95/1583.55 c cleaning 509 clauses out of 1171 for limit 2.3867698763743579E-4 1586.95/1583.59 c cleaning 368 clauses out of 1162 for limit 3.966588988942286E-4 1587.05/1583.65 c cleaning 563 clauses out of 1294 for limit 5.874148760959722E-4 1587.15/1583.70 c cleaning 537 clauses out of 1231 for limit 0.0010183030653518996 1587.15/1583.77 c cleaning 502 clauses out of 1194 for limit 0.0017313571478248723 1587.25/1583.82 c cleaning 483 clauses out of 1192 for limit 0.002860030223970571 1587.25/1583.86 c cleaning 485 clauses out of 1210 for limit 0.0046510596192988396 1587.36/1583.92 c cleaning 510 clauses out of 1224 for limit 0.007574905762579222 1587.36/1583.97 c cleaning 487 clauses out of 1214 for limit 0.012594932732482616 1587.46/1584.01 c cleaning 510 clauses out of 1227 for limit 0.02055066422243352 1587.46/1584.06 c cleaning 491 clauses out of 1217 for limit 0.03416927270159417 1587.55/1584.13 c cleaning 503 clauses out of 1226 for limit 0.05593604164127618 1587.55/1584.18 c cleaning 471 clauses out of 1224 for limit 0.0924892336736647 1587.65/1584.23 c cleaning 493 clauses out of 1252 for limit 0.14896685371323992 1587.75/1584.31 c cleaning 474 clauses out of 1260 for limit 0.2443508351949293 1587.75/1584.37 c cleaning 525 clauses out of 1285 for limit 0.3947322594163081 1587.85/1584.41 c cleaning 506 clauses out of 1260 for limit 0.6638823001722377 1587.85/1584.45 c cleaning 499 clauses out of 1254 for limit 1.1000691500934703 1587.95/1584.51 c cleaning 492 clauses out of 1255 for limit 1.812715646354722 1587.95/1584.56 c cleaning 492 clauses out of 1264 for limit 2.9710963376410393 1588.05/1584.61 c cleaning 489 clauses out of 1271 for limit 4.867877409742488 1588.05/1584.66 c cleaning 496 clauses out of 1286 for limit 7.965960502178549 1588.15/1584.71 c cleaning 504 clauses out of 1286 for limit 13.084465566154579 1588.15/1584.76 c cleaning 492 clauses out of 1282 for limit 21.64536028659911 1588.25/1584.81 c cleaning 488 clauses out of 1290 for limit 35.474723646694876 1588.25/1584.87 c cleaning 509 clauses out of 1304 for limit 57.99039278902134 1588.35/1584.92 c cleaning 494 clauses out of 1295 for limit 96.29855277580398 1588.35/1584.97 c cleaning 503 clauses out of 1299 for limit 158.00369423537754 1588.46/1585.03 c cleaning 490 clauses out of 1297 for limit 261.23226438936763 1588.46/1585.08 c cleaning 492 clauses out of 1306 for limit 427.4103053891666 1588.56/1585.14 c cleaning 500 clauses out of 1314 for limit 700.5654060866467 1588.65/1585.21 c cleaning 496 clauses out of 1315 for limit 1155.6031027412566 1588.65/1585.28 c cleaning 503 clauses out of 1318 for limit 1899.5048948843028 1588.75/1585.35 c cleaning 500 clauses out of 1315 for limit 3139.6841566840676 1588.85/1585.42 c cleaning 484 clauses out of 1316 for limit 5179.0037300616295 1588.85/1585.49 c cleaning 499 clauses out of 1331 for limit 8436.172138348911 1588.95/1585.58 c cleaning 512 clauses out of 1332 for limit 13901.931700007755 1589.05/1585.64 c cleaning 524 clauses out of 1325 for limit 23162.847237034413 1589.05/1585.70 c cleaning 506 clauses out of 1296 for limit 38858.5103509343 1589.15/1585.74 c cleaning 483 clauses out of 1290 for limit 64380.941883328785 1589.25/1585.80 c cleaning 496 clauses out of 1307 for limit 104791.8085716643 1589.25/1585.84 c cleaning 498 clauses out of 1311 for limit 172288.43207440778 1589.35/1585.90 c cleaning 459 clauses out of 1313 for limit 283693.8827671741 1589.35/1585.93 c cleaning 482 clauses out of 1355 for limit 453801.3682188974 1589.35/1585.98 c cleaning 502 clauses out of 1372 for limit 738367.1387302517 1589.45/1586.02 c cleaning 513 clauses out of 1370 for limit 1219443.803628905 1589.45/1586.07 c cleaning 506 clauses out of 1357 for limit 2030291.5062983101 1589.56/1586.12 c cleaning 660 clauses out of 1351 for limit 3363092.274635731 1589.56/1586.17 c cleaning 398 clauses out of 1191 for limit 6291269.042766885 1589.66/1586.22 c cleaning 450 clauses out of 1296 for limit 9563226.462530192 1589.66/1586.27 c cleaning 515 clauses out of 1344 for limit 1.5177387992530448E7 1589.75/1586.33 c cleaning 661 clauses out of 1328 for limit 2.530577285174482E7 1589.75/1586.38 c cleaning 537 clauses out of 1167 for limit 4.749005925065984E7 1589.85/1586.43 c cleaning 439 clauses out of 1130 for limit 8.08818378462009E7 1589.85/1586.47 c cleaning 431 clauses out of 1192 for limit 1.2657373563949104E8 1589.95/1586.52 c cleaning 463 clauses out of 1261 for limit 1.9731525073649156E8 1589.95/1586.57 c cleaning 478 clauses out of 1298 for limit 3.161236114993654E8 1590.05/1586.62 c cleaning 651 clauses out of 1321 for limit 5.127659855602242E8 1590.05/1586.67 c cleaning 413 clauses out of 1168 for limit 9.544782726666343E8 1590.15/1586.72 c cleaning 611 clauses out of 1256 for limit 1.4652429785144453E9 1590.15/1586.77 c cleaning 391 clauses out of 1144 for limit 2.6502975743579817E9 1590.25/1586.81 c cleaning 608 clauses out of 1254 for limit 3.9912922225786734E9 1590.25/1586.86 c cleaning 445 clauses out of 1145 for limit 7.201566094103582E9 1590.35/1586.91 c cleaning 509 clauses out of 1200 for limit 1.1332013377152893E10 1590.35/1586.96 c cleaning 436 clauses out of 1191 for limit 1.8829225217685616E10 1590.45/1587.01 c cleaning 415 clauses out of 1256 for limit 2.947439985635602E10 1590.45/1587.07 c cleaning 465 clauses out of 1340 for limit 4.551464788333955E10 1590.55/1587.11 c cleaning 533 clauses out of 1375 for limit 7.314913155518881E10 1590.55/1587.17 c cleaning 460 clauses out of 1343 for limit 1.236306802104391E11 1590.66/1587.22 c cleaning 483 clauses out of 1382 for limit 1.9793181340539548E11 1590.66/1587.27 c cleaning 681 clauses out of 1399 for limit 3.2244958263401074E11 1590.76/1587.32 c cleaning 587 clauses out of 1218 for limit 6.107846757942272E11 1590.76/1587.36 c cleaning 522 clauses out of 1131 for limit 1.0847476119811361E12 1590.85/1587.41 c cleaning 383 clauses out of 1109 for limit 1.8243814531522268E12 1590.85/1587.47 c cleaning 392 clauses out of 1226 for limit 2.721526775770246E12 1590.95/1587.53 c cleaning 467 clauses out of 1334 for limit 4.1248023119546074E12 1590.95/1587.58 c cleaning 475 clauses out of 1367 for limit 6.638138984641336E12 1591.05/1587.65 c cleaning 678 clauses out of 1393 for limit 1.0753606437569275E13 1591.15/1587.70 c cleaning 592 clauses out of 1216 for limit 2.0335838223870168E13 1591.15/1587.75 c cleaning 500 clauses out of 1122 for limit 3.627351649360182E13 1591.25/1587.80 c cleaning 367 clauses out of 1122 for limit 5.9819881282169664E13 1591.25/1587.85 c cleaning 414 clauses out of 1256 for limit 8.82143347039836E13 1591.25/1587.89 c cleaning 457 clauses out of 1343 for limit 1.3618936301973656E14 1591.35/1587.94 c cleaning 684 clauses out of 1384 for limit 2.175053654360644E14 1591.35/1588.00 c cleaning 472 clauses out of 1201 for limit 4.1376471876754344E14 1591.45/1588.05 c cleaning 419 clauses out of 1228 for limit 6.666831395876531E14 1591.55/1588.10 c cleaning 448 clauses out of 1309 for limit 1.0314165107032329E15 1591.55/1588.15 c cleaning 525 clauses out of 1361 for limit 1.635955505375213E15 1591.65/1588.21 c cleaning 471 clauses out of 1336 for limit 2.748394315707807E15 1591.65/1588.26 c cleaning 659 clauses out of 1366 for limit 4.4373654669957646E-5 1591.76/1588.31 c cleaning 560 clauses out of 1206 for limit 8.280374247482628E-5 1591.76/1588.36 c cleaning 536 clauses out of 1146 for limit 1.4370389619959524E-4 1591.86/1588.42 c cleaning 485 clauses out of 1110 for limit 2.446730124136099E-4 1591.86/1588.46 c cleaning 445 clauses out of 1125 for limit 3.9811854885018154E-4 1591.95/1588.53 c cleaning 370 clauses out of 1180 for limit 6.259488048310493E-4 1591.95/1588.59 c cleaning 432 clauses out of 1311 for limit 9.300547795524507E-4 1592.05/1588.66 c cleaning 453 clauses out of 1378 for limit 0.0014577511016268024 1592.15/1588.72 c cleaning 481 clauses out of 1425 for limit 0.0023247358797667643 1592.25/1588.80 c cleaning 481 clauses out of 1445 for limit 0.00378452200314905 1592.25/1588.88 c cleaning 501 clauses out of 1463 for limit 0.006158230364312004 1592.35/1588.96 c cleaning 495 clauses out of 1462 for limit 0.010162692178559465 1592.45/1589.04 c cleaning 494 clauses out of 1468 for limit 0.016707846903296054 1592.55/1589.11 c cleaning 482 clauses out of 1473 for limit 0.027432486305764867 1592.55/1589.17 c cleaning 488 clauses out of 1491 for limit 0.044693684763277425 1592.65/1589.24 c cleaning 519 clauses out of 1503 for limit 0.07311739520727574 1592.65/1589.29 c cleaning 508 clauses out of 1486 for limit 0.12220410454394516 1592.75/1589.35 c cleaning 506 clauses out of 1476 for limit 0.2024907124711229 1592.86/1589.41 c cleaning 517 clauses out of 1470 for limit 0.3352972706228118 1592.86/1589.46 c cleaning 510 clauses out of 1453 for limit 0.5594195321055604 1592.86/1589.50 c cleaning 495 clauses out of 1443 for limit 0.9289509771300042 1592.96/1589.56 c cleaning 488 clauses out of 1448 for limit 1.5266745016874879 1593.05/1589.62 c cleaning 515 clauses out of 1460 for limit 2.4969971416657066 1593.05/1589.69 c cleaning 496 clauses out of 1447 for limit 4.163200053220028 1593.15/1589.74 c cleaning 494 clauses out of 1450 for limit 6.844617519302204 1593.25/1589.80 c cleaning 513 clauses out of 1456 for limit 11.241174740058389 1593.25/1589.84 c cleaning 499 clauses out of 1442 for limit 18.699465313940394 1593.25/1589.89 c cleaning 483 clauses out of 1444 for limit 30.826034106131367 1593.35/1589.96 c cleaning 519 clauses out of 1460 for limit 50.22886529594614 1593.45/1590.01 c cleaning 486 clauses out of 1441 for limit 83.92631007687774 1593.45/1590.05 c cleaning 496 clauses out of 1455 for limit 137.07397396056126 1593.55/1590.11 c cleaning 490 clauses out of 1459 for limit 225.43357183803164 1593.55/1590.17 c cleaning 511 clauses out of 1469 for limit 369.2393478910841 1593.65/1590.23 c cleaning 505 clauses out of 1459 for limit 613.7123713456135 1593.65/1590.28 c cleaning 489 clauses out of 1453 for limit 1015.2568556582071 1593.75/1590.33 c cleaning 494 clauses out of 1465 for limit 1662.2422592279431 1593.85/1590.40 c cleaning 487 clauses out of 1470 for limit 2729.203907298285 1593.85/1590.45 c cleaning 526 clauses out of 1483 for limit 4461.368074017087 1593.96/1590.51 c cleaning 496 clauses out of 1458 for limit 7491.03939361014 1593.96/1590.57 c cleaning 476 clauses out of 1461 for limit 12316.030740253394 1594.06/1590.62 c cleaning 464 clauses out of 1486 for limit 19989.069109485048 1594.06/1590.69 c cleaning 492 clauses out of 1521 for limit 32173.88758832213 1594.15/1590.76 c cleaning 501 clauses out of 1532 for limit 52836.423338769375 1594.25/1590.82 c cleaning 489 clauses out of 1528 for limit 87100.60546494817 1594.25/1590.88 c cleaning 491 clauses out of 1539 for limit 142613.87992071096 1594.35/1590.95 c cleaning 472 clauses out of 1548 for limit 233821.9864947978 1594.45/1591.02 c cleaning 780 clauses out of 1576 for limit 378752.9080809052 1594.45/1591.07 c cleaning 369 clauses out of 1296 for limit 759561.7294712499 1594.55/1591.13 c cleaning 425 clauses out of 1430 for limit 1138653.174005938 1594.65/1591.20 c cleaning 466 clauses out of 1502 for limit 1782419.4703875086 1594.65/1591.27 c cleaning 479 clauses out of 1536 for limit 2874382.24481027 1594.75/1591.32 c cleaning 536 clauses out of 1557 for limit 4676306.965377107 1594.75/1591.36 c cleaning 737 clauses out of 1521 for limit 7894384.901736496 1594.85/1591.41 c cleaning 387 clauses out of 1284 for limit 1.5421917464964608E7 1594.85/1591.47 c cleaning 681 clauses out of 1398 for limit 2.3382267552891966E7 1594.95/1591.53 c cleaning 604 clauses out of 1217 for limit 4.4295448752240136E7 1594.95/1591.58 c cleaning 510 clauses out of 1112 for limit 7.986679779710525E7 1595.05/1591.62 c cleaning 389 clauses out of 1102 for limit 1.329062339016432E8 1595.05/1591.67 c cleaning 386 clauses out of 1213 for limit 1.991232777073523E8 1595.15/1591.72 c cleaning 427 clauses out of 1327 for limit 3.0017035404009116E8 1595.15/1591.77 c cleaning 696 clauses out of 1401 for limit 4.693436903967542E8 1595.25/1591.82 c cleaning 402 clauses out of 1205 for limit 8.999076820986764E8 1595.25/1591.87 c cleaning 407 clauses out of 1302 for limit 1.3721304339333394E9 1595.35/1591.93 c cleaning 474 clauses out of 1396 for limit 2.1125712337966266E9 1595.35/1591.98 c cleaning 483 clauses out of 1422 for limit 3.42021234925369E9 1595.45/1592.04 c cleaning 493 clauses out of 1438 for limit 5.572051943512107E9 1595.55/1592.10 c cleaning 623 clauses out of 1445 for limit 9.144544597617964E9 1595.55/1592.16 c cleaning 652 clauses out of 1323 for limit 1.6487715462568415E10 1595.65/1592.23 c cleaning 451 clauses out of 1170 for limit 3.071537639501031E10 1595.65/1592.28 c cleaning 407 clauses out of 1221 for limit 4.8635227310587875E10 1595.75/1592.33 c cleaning 408 clauses out of 1312 for limit 7.44937165969798E10 1595.75/1592.39 c cleaning 449 clauses out of 1404 for limit 1.148000974277133E11 1595.85/1592.45 c cleaning 716 clauses out of 1455 for limit 1.826847343987388E11 1595.85/1592.49 c cleaning 551 clauses out of 1239 for limit 3.537934856725827E11 1595.95/1592.54 c cleaning 430 clauses out of 1190 for limit 6.086940935577979E11 1595.95/1592.59 c cleaning 396 clauses out of 1258 for limit 9.476593924699684E11 1596.05/1592.63 c cleaning 429 clauses out of 1362 for limit 1.4434830610468442E12 1596.05/1592.68 c cleaning 699 clauses out of 1433 for limit 2.262551618379089E12 1596.15/1592.74 c cleaning 480 clauses out of 1234 for limit 4.3329673227246733E12 1596.15/1592.78 c cleaning 453 clauses out of 1255 for limit 7.033107352098721E12 1596.25/1592.83 c cleaning 419 clauses out of 1301 for limit 1.117725221601415E13 1596.25/1592.89 c cleaning 576 clauses out of 1382 for limit 1.7352425619033953E13 1596.35/1592.95 c cleaning 649 clauses out of 1309 for limit 3.0303166377496508E13 1596.45/1593.02 c cleaning 342 clauses out of 1159 for limit 5.638526113685464E13 1596.45/1593.09 c cleaning 550 clauses out of 1315 for limit 8.179187097558148E13 1596.55/1593.15 c cleaning 376 clauses out of 1265 for limit 1.4021718922111322E14 1596.65/1593.21 c cleaning 452 clauses out of 1390 for limit 2.1065287029920566E14 1596.65/1593.28 c cleaning 689 clauses out of 1437 for limit 3.356964807968414E14 1596.75/1593.34 c cleaning 406 clauses out of 1248 for limit 6.374481399933928E14 1596.85/1593.41 c cleaning 472 clauses out of 1343 for limit 9.778535791198895E14 1596.85/1593.47 c cleaning 424 clauses out of 1370 for limit 1.5792491450031455E15 1596.95/1593.54 c cleaning 466 clauses out of 1448 for limit 2.469036818927739E15 1597.05/1593.60 c cleaning 694 clauses out of 1480 for limit 3.975770218712263E-5 1597.05/1593.66 c cleaning 616 clauses out of 1286 for limit 7.545671773194154E-5 1597.15/1593.72 c cleaning 551 clauses out of 1170 for limit 1.3677568670031497E-4 1597.15/1593.76 c cleaning 536 clauses out of 1119 for limit 2.3584168340001006E-4 1597.15/1593.80 c cleaning 447 clauses out of 1083 for limit 4.018630564430371E-4 1597.25/1593.84 c cleaning 392 clauses out of 1137 for limit 6.318827124412914E-4 1597.25/1593.88 c cleaning 438 clauses out of 1244 for limit 9.514762085325037E-4 1597.35/1593.93 c cleaning 456 clauses out of 1306 for limit 0.0014946208064897108 1597.35/1593.99 c cleaning 478 clauses out of 1350 for limit 0.002384494467885011 1597.45/1594.05 c cleaning 497 clauses out of 1375 for limit 0.003872458853114994 1597.55/1594.11 c cleaning 498 clauses out of 1375 for limit 0.006367063241194438 1597.55/1594.15 c cleaning 499 clauses out of 1377 for limit 0.010484888308580602 1597.65/1594.20 c cleaning 487 clauses out of 1380 for limit 0.017287952987648146 1597.65/1594.24 c cleaning 469 clauses out of 1392 for limit 0.028236105716333212 1597.65/1594.29 c cleaning 513 clauses out of 1422 for limit 0.04553714654874456 1597.75/1594.35 c cleaning 496 clauses out of 1410 for limit 0.07581178038769716 1597.85/1594.40 c cleaning 503 clauses out of 1413 for limit 0.12463356620962256 1597.85/1594.47 c cleaning 479 clauses out of 1410 for limit 0.20597473752764658 1597.95/1594.53 c cleaning 506 clauses out of 1431 for limit 0.3346950766992351 1597.95/1594.60 c cleaning 499 clauses out of 1426 for limit 0.5544467358651578 1598.05/1594.66 c cleaning 490 clauses out of 1426 for limit 0.9134424831589708 1598.15/1594.73 c cleaning 527 clauses out of 1437 for limit 1.4963540466036651 1598.15/1594.79 c cleaning 494 clauses out of 1412 for limit 2.516409664231407 1598.25/1594.84 c cleaning 502 clauses out of 1415 for limit 4.128686934854706 1598.25/1594.90 c cleaning 506 clauses out of 1414 for limit 6.820392719612365 1598.35/1594.94 c cleaning 500 clauses out of 1408 for limit 11.295670720726868 1598.45/1595.00 c cleaning 508 clauses out of 1408 for limit 18.628072126272777 1598.45/1595.05 c cleaning 488 clauses out of 1399 for limit 30.88689319744151 1598.55/1595.10 c cleaning 522 clauses out of 1411 for limit 50.50342294915902 1598.55/1595.16 c cleaning 491 clauses out of 1389 for limit 84.60605964411 1598.65/1595.23 c cleaning 484 clauses out of 1402 for limit 138.787270716521 1598.65/1595.29 c cleaning 493 clauses out of 1416 for limit 226.16284520390994 1598.75/1595.35 c cleaning 500 clauses out of 1428 for limit 371.69331552184457 1598.85/1595.41 c cleaning 505 clauses out of 1421 for limit 611.692541356145 1598.85/1595.48 c cleaning 482 clauses out of 1417 for limit 1012.6230560167118 1598.95/1595.54 c cleaning 497 clauses out of 1435 for limit 1649.0037665371383 1599.05/1595.60 c cleaning 514 clauses out of 1437 for limit 2712.9272996416944 1599.05/1595.67 c cleaning 490 clauses out of 1423 for limit 4517.9967154922415 1599.15/1595.72 c cleaning 497 clauses out of 1433 for limit 7398.786705982018 1599.25/1595.80 c cleaning 488 clauses out of 1438 for limit 12183.518370268885 1800.10/1796.32 c starts : 23 1800.10/1796.32 c conflicts : 1605063 1800.10/1796.32 c decisions : 4627275 1800.10/1796.32 c propagations : 519575018 1800.10/1796.32 c inspects : 10855329607 1800.10/1796.32 c learnt literals : 61 1800.10/1796.32 c learnt binary clauses : 66528 1800.10/1796.32 c learnt ternary clauses : 50600 1800.10/1796.32 c learnt clauses : 1605002 1800.10/1796.32 c root simplifications : 0 1800.10/1796.32 c removed literals (reason simplification) : 0 1800.10/1796.32 c reason swapping (by a shorter reason) : 0 1800.10/1796.32 c Calls to reduceDB : 491 1800.10/1796.32 c speed (decisions/second) : 2576.5772036304916 1800.10/1796.32 c non guided choices 2484 1800.10/1796.32 s UNKNOWN 1800.10/1796.32 c Total wall clock time (ms): 1796.217
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-3742101-1338761983/watcher-3742101-1338761983 -o /tmp/evaluation-result-3742101-1338761983/solver-3742101-1338761983 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742101-1338761983.opb running on 4 cores: 0,2,4,6 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.92 1.98 1.99 3/194 12370 /proc/meminfo: memFree=25690536/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/12370/stat : 12370 (java) D 12368 12370 11123 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 342325672 9515008 185 33554432000 1073741824 1073778376 140736163009632 140736163000856 219513777591 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/12370/statm: 2323 185 142 9 0 71 0 [startup+0.0350319 s] /proc/loadavg: 1.92 1.98 1.99 3/194 12370 /proc/meminfo: memFree=25690536/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=2425252 CPUtime=0.02 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 3768 0 1 0 1 1 0 0 20 0 11 0 342325672 2483458048 4978 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 622697 4980 1589 9 0 613398 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2425252 [startup+0.100211 s] /proc/loadavg: 1.92 1.98 1.99 3/194 12370 /proc/meminfo: memFree=25690536/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=2957856 CPUtime=0.09 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 4927 0 1 0 8 1 0 0 20 0 18 0 342325672 3028844544 6632 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 739464 6632 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300167 s] /proc/loadavg: 1.92 1.98 1.99 3/194 12370 /proc/meminfo: memFree=25690536/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=2957856 CPUtime=0.55 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 8797 0 1 0 53 2 0 0 20 0 18 0 342325672 3028844544 11541 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 739464 11541 2240 9 0 729885 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 2957856 [startup+0.700275 s] /proc/loadavg: 1.92 1.98 1.99 3/194 12370 /proc/meminfo: memFree=25690536/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=1.41 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 13270 0 1 0 138 3 0 0 20 0 19 0 342325672 3097006080 19524 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 19524 2267 9 0 746526 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 3024420 [startup+1.5007 s] /proc/loadavg: 1.92 1.98 1.99 3/213 12389 /proc/meminfo: memFree=25621452/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=2.26 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 13292 0 1 0 223 3 0 0 20 0 19 0 342325672 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 20056 2272 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=1.47 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3063 0 1 0 145 2 0 0 20 0 19 0 342325673 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145311842888 140145135893843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5621 0 0 0 39 1 0 0 20 0 19 0 342325679 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3413 0 0 0 36 0 0 0 20 0 19 0 342325679 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 20056 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 3024420 [startup+3.10066 s] /proc/loadavg: 1.92 1.98 1.99 3/213 12389 /proc/meminfo: memFree=25617232/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=3.9 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 13296 0 1 0 386 4 0 0 20 0 19 0 342325672 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 21592 2272 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=3.07 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3067 0 1 0 305 2 0 0 20 0 19 0 342325673 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145311842712 140145135937519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.43 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5621 0 0 0 41 2 0 0 20 0 19 0 342325679 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.37 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3413 0 0 0 37 0 0 0 20 0 19 0 342325679 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 21592 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 3024420 [startup+6.30074 s] /proc/loadavg: 1.93 1.98 1.99 3/213 12389 /proc/meminfo: memFree=25605504/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=7.09 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 13307 0 1 0 705 4 0 0 20 0 19 0 342325672 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 25240 2273 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=6.26 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3077 0 1 0 624 2 0 0 20 0 19 0 342325673 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145311842768 140145135833415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342325675 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.43 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5621 0 0 0 41 2 0 0 20 0 19 0 342325679 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.37 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3413 0 0 0 37 0 0 0 20 0 19 0 342325679 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 25240 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] ################ # More data... # ################ [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 210 0 0 0 22 12 0 0 20 0 19 0 342325675 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 279 0 0 0 24 17 0 0 20 0 19 0 342325675 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 284 0 0 0 29 18 0 0 20 0 19 0 342325675 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=1.86 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 210 0 0 0 179 7 0 0 20 0 19 0 342325676 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5633 0 0 0 49 2 0 0 20 0 19 0 342325679 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3414 0 0 0 38 0 0 0 20 0 19 0 342325679 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 100 0 0 0 38 32 0 0 20 0 19 0 342325679 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 419630 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1725.73 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/213 12465 /proc/meminfo: memFree=23716444/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=1786.09 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 15721 0 1 0 178452 157 0 0 20 0 19 0 342325672 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 419669 2302 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=1779.42 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3262 0 1 0 177906 36 0 0 20 0 19 0 342325673 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145311841568 140145135832944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 217 0 0 0 28 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0.43 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 252 0 0 0 30 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 204 0 0 0 29 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 218 0 0 0 29 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 226 0 0 0 24 16 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 210 0 0 0 26 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 301 0 0 0 30 17 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 287 0 0 0 36 18 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=1.86 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 212 0 0 0 179 7 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5633 0 0 0 49 2 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3414 0 0 0 38 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 104 0 0 0 39 34 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1786.09 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.31 s] /proc/loadavg: 2.01 2.01 2.00 3/213 12465 /proc/meminfo: memFree=23716444/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=1800.1 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 15723 0 1 0 179853 157 0 0 20 0 19 0 342325672 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 419669 2302 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=1793.44 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3262 0 1 0 179308 36 0 0 20 0 19 0 342325673 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145311841568 140145135833218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 217 0 0 0 28 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0.43 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 252 0 0 0 30 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 204 0 0 0 29 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 218 0 0 0 29 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 226 0 0 0 24 16 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 210 0 0 0 26 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 301 0 0 0 30 17 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 287 0 0 0 36 18 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=1.86 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 212 0 0 0 179 7 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5633 0 0 0 49 2 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3414 0 0 0 38 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 106 0 0 0 39 34 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 [startup+1796.31 s] /proc/loadavg: 2.01 2.01 2.00 3/213 12465 /proc/meminfo: memFree=23716444/32873648 swapFree=7120/7120 [pid=12370] ppid=12368 vsize=3024420 CPUtime=1800.1 cores=0,2,4,6 /proc/12370/stat : 12370 (java) S 12368 12370 11123 0 -1 4202496 15723 0 1 0 179853 157 0 0 20 0 19 0 342325672 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140733349456048 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12370/statm: 756105 419669 2302 9 0 746526 0 [pid=12370/tid=12372] ppid=12368 vsize=3024420 CPUtime=1793.44 cores=0,2,4,6 /proc/12370/task/12372/stat : 12372 (java) R 12368 12370 11123 0 -1 4202560 3262 0 1 0 179308 36 0 0 20 0 19 0 342325673 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145311841568 140145135833218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12373] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12373/stat : 12373 (java) S 12368 12370 11123 0 -1 4202560 217 0 0 0 28 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145295268648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12374] ppid=12368 vsize=3024420 CPUtime=0.43 cores=0,2,4,6 /proc/12370/task/12374/stat : 12374 (java) S 12368 12370 11123 0 -1 4202560 252 0 0 0 30 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145294215848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12375] ppid=12368 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12370/task/12375/stat : 12375 (java) S 12368 12370 11123 0 -1 4202560 204 0 0 0 29 13 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145293163560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12376] ppid=12368 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/12370/task/12376/stat : 12376 (java) S 12368 12370 11123 0 -1 4202560 218 0 0 0 29 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145292110760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12377] ppid=12368 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/12370/task/12377/stat : 12377 (java) S 12368 12370 11123 0 -1 4202560 226 0 0 0 24 16 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145291057448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12378] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12378/stat : 12378 (java) S 12368 12370 11123 0 -1 4202560 210 0 0 0 26 12 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145290004648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12379] ppid=12368 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/12370/task/12379/stat : 12379 (java) S 12368 12370 11123 0 -1 4202560 301 0 0 0 30 17 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145288952360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12370/tid=12380] ppid=12368 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/12370/task/12380/stat : 12380 (java) S 12368 12370 11123 0 -1 4202560 287 0 0 0 36 18 0 0 20 0 19 0 342325675 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145287899560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12381] ppid=12368 vsize=3024420 CPUtime=1.86 cores=0,2,4,6 /proc/12370/task/12381/stat : 12381 (java) S 12368 12370 11123 0 -1 4202560 212 0 0 0 179 7 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145275489000 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12382] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12382/stat : 12382 (java) S 12368 12370 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145274435064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12383] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12383/stat : 12383 (java) S 12368 12370 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342325676 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145273382664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12384] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12384/stat : 12384 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145272331152 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12370/tid=12385] ppid=12368 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/12370/task/12385/stat : 12385 (java) S 12368 12370 11123 0 -1 4202560 5633 0 0 0 49 2 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145271277752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12386] ppid=12368 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12370/task/12386/stat : 12386 (java) S 12368 12370 11123 0 -1 4202560 3414 0 0 0 38 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145270224952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12387] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12387/stat : 12387 (java) S 12368 12370 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145269172856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12370/tid=12388] ppid=12368 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12370/task/12388/stat : 12388 (java) S 12368 12370 11123 0 -1 4202560 106 0 0 0 39 34 0 0 20 0 19 0 342325679 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145268120264 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12370/tid=12389] ppid=12368 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12370/task/12389/stat : 12389 (java) S 12368 12370 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342325715 3097006080 419669 33554432000 1073741824 1073778376 140733349464912 140145265919400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 3024420 Child status: 143 Real time (s): 1796.33 CPU time (s): 1800.65 CPU user time (s): 1798.59 CPU system time (s): 2.06069 CPU usage (%): 100.241 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 2.06069 maximum resident set size= 1678792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15755 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38107 involuntary context switches= 8646 runsolver used 6.61899 second user time and 14.7548 second system time The end
Begin job on node114 at 2012-06-04 00:19:43 IDJOB=3742101 IDBENCH=90132 IDSOLVER=2319 FILE ID=node114/3742101-1338761983 RUNJOBID= node114-1338749374-11139 PBS_JOBID= 14636799 Free space on /tmp= 70136 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K86.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742101-1338761983/watcher-3742101-1338761983 -o /tmp/evaluation-result-3742101-1338761983/solver-3742101-1338761983 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742101-1338761983.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe RANDOM SEED=319447984 node114.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.242 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.48 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.242 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.242 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 : 5451.90 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.242 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.242 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.91 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.242 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.91 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.242 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.242 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: 32873648 kB MemFree: 25690504 kB Buffers: 1063372 kB Cached: 3727072 kB SwapCached: 2244 kB Active: 4287536 kB Inactive: 1872968 kB Active(anon): 1357012 kB Inactive(anon): 8360 kB Active(file): 2930524 kB Inactive(file): 1864608 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67103576 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 1384580 kB Mapped: 18976 kB Shmem: 100 kB Slab: 865740 kB SReclaimable: 309420 kB SUnreclaim: 556320 kB KernelStack: 1608 kB PageTables: 6732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1829100 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1345536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70132 MiB End job on node114 at 2012-06-04 00:49:41