| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 217 | 1800.23 | 1786.78 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
| MD5SUM | 5018d2b93ba4422fc03308c57dbd6158 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 191 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 191 |
| Optimality of the best value was proved | NO |
| Number of variables | 528 |
| Total number of constraints | 1816 |
| Number of constraints which are clauses | 1816 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 528 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 528 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 528 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/353172-1176657770/instance-353172-1176657770.opb 0.20/0.20 c reading problem ... 0.72/0.62 c ... done. Wall clock time 0.411s. 0.72/0.62 c CPU time (experimental) 0.48s. 0.72/0.62 c #vars 528 0.72/0.62 c #constraints 1816 0.72/0.65 c SATISFIABLE 0.72/0.65 c OPTIMIZING... 0.72/0.65 c Got one! Elapsed wall clock time (in seconds):0.443 0.72/0.65 o 217 667.48/661.73 c cleaning 719989 clauses out of 1440003 for limit 0.34665280919997565 738.39/732.66 c cleaning 360246 clauses out of 720515 for limit 1.1436825453812594 747.98/742.20 c cleaning 180360 clauses out of 360769 for limit 3.766822830905826 753.98/748.28 c cleaning 90442 clauses out of 180909 for limit 12.38796930649353 755.88/750.11 c cleaning 45474 clauses out of 90967 for limit 40.62864217790632 756.28/750.57 c cleaning 22966 clauses out of 45993 for limit 132.51966498858192 756.58/750.81 c cleaning 11734 clauses out of 23527 for limit 427.22966655246967 756.68/750.97 c cleaning 6117 clauses out of 12293 for limit 1348.4224051425092 756.78/751.05 c cleaning 3313 clauses out of 6676 for limit 4094.712372007479 756.88/751.12 c cleaning 1907 clauses out of 3863 for limit 11670.001384306535 756.88/751.17 c cleaning 1201 clauses out of 2456 for limit 30270.747135686466 756.98/751.22 c cleaning 849 clauses out of 1755 for limit 69860.27146884918 756.98/751.27 c cleaning 677 clauses out of 1405 for limit 143764.7590213096 757.08/751.32 c cleaning 588 clauses out of 1228 for limit 271260.3296293025 757.08/751.36 c cleaning 546 clauses out of 1140 for limit 481876.43382362 757.18/751.41 c cleaning 518 clauses out of 1094 for limit 828092.9818668333 757.18/751.45 c cleaning 511 clauses out of 1076 for limit 1388481.3210880733 757.18/751.50 c cleaning 506 clauses out of 1066 for limit 2313585.251379013 757.28/751.54 c cleaning 504 clauses out of 1059 for limit 3836790.860537687 757.28/751.59 c cleaning 528 clauses out of 1056 for limit 6351708.629711982 757.38/751.63 c cleaning 513 clauses out of 1027 for limit 1.0759830190438403E7 757.38/751.67 c cleaning 493 clauses out of 1014 for limit 1.797189170847069E7 757.48/751.72 c cleaning 485 clauses out of 1022 for limit 2.9435488732590135E7 757.48/751.76 c cleaning 518 clauses out of 1036 for limit 4.783918437769907E7 757.58/751.80 c cleaning 484 clauses out of 1018 for limit 8.02881832858836E7 757.58/751.85 c cleaning 517 clauses out of 1034 for limit 1.3035712010581426E8 757.58/751.89 c cleaning 484 clauses out of 1017 for limit 2.1856983789108592E8 757.68/751.93 c cleaning 491 clauses out of 1033 for limit 3.548679262086549E8 757.68/751.98 c cleaning 494 clauses out of 1042 for limit 5.801699599443418E8 757.78/752.02 c cleaning 524 clauses out of 1049 for limit 9.513446225636153E8 757.78/752.06 c cleaning 513 clauses out of 1026 for limit 1.6056703723446348E9 757.88/752.11 c cleaning 506 clauses out of 1012 for limit 2.681912579849524E9 757.88/752.15 c cleaning 477 clauses out of 1005 for limit 4.449184784965851E9 757.88/752.20 c cleaning 484 clauses out of 1028 for limit 7.173139509979717E9 758.62/752.86 c cleaning 494 clauses out of 1044 for limit 1.1648172149232933E10 859.31/852.54 c cleaning 192270 clauses out of 384551 for limit 2.254031955113517E-6 1073.82/1065.62 c cleaning 304381 clauses out of 608781 for limit 1.3415498110553078E-5 1099.20/1091.09 c cleaning 152445 clauses out of 304900 for limit 4.4173962154576286E-5 1104.90/1096.76 c cleaning 76465 clauses out of 152954 for limit 1.4507223950421442E-4 1106.80/1098.67 c cleaning 38486 clauses out of 76989 for limit 4.753049778877163E-4 1107.60/1099.40 c cleaning 19496 clauses out of 39004 for limit 0.0015487534698683894 1107.81/1099.66 c cleaning 9986 clauses out of 20007 for limit 0.004974287048480672 1107.91/1099.75 c cleaning 5241 clauses out of 10522 for limit 0.01561366714335994 1108.01/1099.84 c cleaning 2869 clauses out of 5781 for limit 0.04686581046406368 1108.01/1099.90 c cleaning 1687 clauses out of 3411 for limit 0.1308575415979786 1108.11/1099.95 c cleaning 1093 clauses out of 2225 for limit 0.3311622768763498 1108.11/1100.00 c cleaning 798 clauses out of 1632 for limit 0.7445718413490436 1108.21/1100.04 c cleaning 651 clauses out of 1334 for limit 1.5021967554925817 1108.21/1100.09 c cleaning 574 clauses out of 1182 for limit 2.7931004057835755 1108.31/1100.13 c cleaning 533 clauses out of 1108 for limit 4.913830267227173 1108.31/1100.17 c cleaning 519 clauses out of 1076 for limit 8.352914555810464 1108.41/1100.22 c cleaning 510 clauses out of 1057 for limit 14.022686020949093 1108.41/1100.26 c cleaning 502 clauses out of 1046 for limit 23.34510802885291 1108.51/1100.30 c cleaning 501 clauses out of 1045 for limit 38.57462216005555 1108.51/1100.34 c cleaning 510 clauses out of 1044 for limit 63.675645995091706 1108.51/1100.38 c cleaning 497 clauses out of 1033 for limit 106.02173622184854 1108.61/1100.43 c cleaning 503 clauses out of 1036 for limit 174.33772126830146 1108.61/1100.47 c cleaning 501 clauses out of 1034 for limit 288.350680418608 1108.71/1100.51 c cleaning 496 clauses out of 1032 for limit 475.97396399247407 1108.71/1100.55 c cleaning 502 clauses out of 1036 for limit 781.9140666045445 1108.71/1100.59 c cleaning 501 clauses out of 1034 for limit 1291.9750587684218 1108.81/1100.64 c cleaning 500 clauses out of 1034 for limit 2132.772481722029 1108.81/1100.68 c cleaning 499 clauses out of 1034 for limit 3517.227139557702 1108.91/1100.72 c cleaning 502 clauses out of 1034 for limit 5794.57770127997 1108.91/1100.76 c cleaning 497 clauses out of 1032 for limit 9574.553259523187 1109.01/1100.80 c cleaning 494 clauses out of 1036 for limit 15744.499518551389 1109.01/1100.84 c cleaning 502 clauses out of 1041 for limit 25814.235104826028 1109.01/1100.89 c cleaning 499 clauses out of 1039 for limit 42653.07340103902 1109.11/1100.93 c cleaning 502 clauses out of 1041 for limit 70275.75933560767 1109.11/1100.97 c cleaning 499 clauses out of 1038 for limit 116112.85351322703 1109.21/1101.01 c cleaning 503 clauses out of 1039 for limit 191301.33073646267 1109.21/1101.05 c cleaning 497 clauses out of 1036 for limit 316395.04264587024 1109.21/1101.09 c cleaning 500 clauses out of 1040 for limit 520291.20559289877 1109.31/1101.14 c cleaning 499 clauses out of 1039 for limit 857996.7684263055 1109.31/1101.18 c cleaning 501 clauses out of 1041 for limit 1413646.6519476494 1109.41/1101.22 c cleaning 504 clauses out of 1040 for limit 2333534.0706767347 1109.41/1101.26 c cleaning 497 clauses out of 1036 for limit 3863168.196365677 1109.53/1101.30 c cleaning 518 clauses out of 1038 for limit 6352247.25445334 1109.53/1101.35 c cleaning 509 clauses out of 1020 for limit 1.066057090239902E7 1109.53/1101.39 c cleaning 483 clauses out of 1012 for limit 1.7737422912033428E7 1109.63/1101.43 c cleaning 514 clauses out of 1028 for limit 2.8767312695622645E7 1109.63/1101.47 c cleaning 483 clauses out of 1014 for limit 4.809615303247354E7 1109.73/1101.51 c cleaning 501 clauses out of 1032 for limit 7.80115662235223E7 1109.73/1101.55 c cleaning 497 clauses out of 1031 for limit 1.2877629213201667E8 1109.73/1101.59 c cleaning 517 clauses out of 1034 for limit 2.1175317450314552E8 1109.83/1101.63 c cleaning 508 clauses out of 1017 for limit 3.550466363978154E8 1109.83/1101.67 c cleaning 504 clauses out of 1009 for limit 5.90161774550358E8 1109.93/1101.71 c cleaning 478 clauses out of 1004 for limit 9.771245050748171E8 1109.93/1101.76 c cleaning 489 clauses out of 1027 for limit 1.5768978933666058E9 1109.93/1101.80 c cleaning 502 clauses out of 1038 for limit 2.5729571295200996E9 1110.03/1101.84 c cleaning 501 clauses out of 1036 for limit 4.2513419208775415E9 1110.03/1101.88 c cleaning 499 clauses out of 1035 for limit 7.017805505412217E9 1110.13/1101.92 c cleaning 518 clauses out of 1036 for limit 1.1562128964552809E10 1320.71/1311.07 c cleaning 233750 clauses out of 467517 for limit 2.1142878383081623E10 1370.09/1360.48 c cleaning 117127 clauses out of 234268 for limit 6.965285910542659E10 1378.78/1369.19 c cleaning 58802 clauses out of 117640 for limit 2.2851687548089252E11 1380.47/1370.88 c cleaning 29651 clauses out of 59339 for limit 7.478654477039536E11 1381.38/1371.73 c cleaning 15071 clauses out of 30187 for limit 2.4219496615372075E12 1381.67/1372.02 c cleaning 7788 clauses out of 15616 for limit 7.720957357011413E12 1381.77/1372.12 c cleaning 4144 clauses out of 8329 for limit 2.389673078079036E13 1381.77/1372.19 c cleaning 2317 clauses out of 4685 for limit 7.006121179989808E13 1381.87/1372.24 c cleaning 1433 clauses out of 2867 for limit 1.886170387558006E14 1381.87/1372.29 c cleaning 947 clauses out of 1934 for limit 4.6111370728556794E14 1381.97/1372.33 c cleaning 744 clauses out of 1488 for limit 9.893545827170942E14 1381.97/1372.37 c cleaning 604 clauses out of 1244 for limit 1.951598194419882E15 1382.07/1372.41 c cleaning 569 clauses out of 1139 for limit 3.5116274819592665E15 1382.07/1372.45 c cleaning 535 clauses out of 1071 for limit 6.165000145484182E15 1382.07/1372.49 c cleaning 518 clauses out of 1036 for limit 1.0510386667342948E16 1382.17/1372.54 c cleaning 509 clauses out of 1018 for limit 1.7639511670824308E16 1382.17/1372.58 c cleaning 504 clauses out of 1009 for limit 2.9349388481809496E16 1382.27/1372.62 c cleaning 495 clauses out of 1005 for limit 4.8593708963709276E-4 1382.27/1372.66 c cleaning 485 clauses out of 1009 for limit 7.97400161059759E-4 1382.38/1372.70 c cleaning 492 clauses out of 1025 for limit 0.0012957881937854584 1382.38/1372.75 c cleaning 495 clauses out of 1032 for limit 0.0021203109783811923 1382.38/1372.79 c cleaning 502 clauses out of 1037 for limit 0.0034798168755929473 1382.48/1372.83 c cleaning 499 clauses out of 1036 for limit 0.005749972792053279 1382.48/1372.87 c cleaning 499 clauses out of 1036 for limit 0.009472991877342437 1382.57/1372.91 c cleaning 498 clauses out of 1038 for limit 0.015607737980365393 1382.57/1372.96 c cleaning 498 clauses out of 1040 for limit 0.025689749341809225 1382.57/1373.00 c cleaning 499 clauses out of 1041 for limit 0.04228281099541317 1382.67/1373.04 c cleaning 498 clauses out of 1043 for limit 0.06966596731871373 1382.67/1373.09 c cleaning 499 clauses out of 1045 for limit 0.11466861755855703 1382.77/1373.13 c cleaning 501 clauses out of 1046 for limit 0.18892310278910102 1382.77/1373.17 c cleaning 497 clauses out of 1045 for limit 0.3118576132134187 1382.87/1373.21 c cleaning 504 clauses out of 1048 for limit 0.5128227054608412 1382.87/1373.26 c cleaning 498 clauses out of 1044 for limit 0.8489535261331813 1382.97/1373.30 c cleaning 503 clauses out of 1046 for limit 1.3973609987851938 1382.97/1373.34 c cleaning 497 clauses out of 1043 for limit 2.3110635118376828 1382.97/1373.38 c cleaning 503 clauses out of 1046 for limit 3.8003219639073023 1383.07/1373.43 c cleaning 501 clauses out of 1043 for limit 6.285265891674995 1383.07/1373.47 c cleaning 500 clauses out of 1041 for limit 10.374773138895542 1383.17/1373.51 c cleaning 496 clauses out of 1041 for limit 17.109388818358525 1383.17/1373.55 c cleaning 501 clauses out of 1046 for limit 28.108905775906955 1383.17/1373.59 c cleaning 501 clauses out of 1044 for limit 46.397705162062266 1383.27/1373.64 c cleaning 498 clauses out of 1044 for limit 76.59261540159164 1383.27/1373.68 c cleaning 498 clauses out of 1045 for limit 126.06440635773792 1383.37/1373.72 c cleaning 500 clauses out of 1047 for limit 207.49994160363295 1383.37/1373.76 c cleaning 503 clauses out of 1047 for limit 342.195162549953 1383.48/1373.81 c cleaning 499 clauses out of 1044 for limit 565.9472263852186 1383.48/1373.85 c cleaning 498 clauses out of 1045 for limit 932.4295556163942 1383.48/1373.89 c cleaning 503 clauses out of 1048 for limit 1534.8340934436233 1383.58/1373.93 c cleaning 496 clauses out of 1045 for limit 2538.413196510124 1383.58/1373.98 c cleaning 502 clauses out of 1048 for limit 4170.025396169658 1383.67/1374.02 c cleaning 500 clauses out of 1046 for limit 6890.078739528931 1383.67/1374.06 c cleaning 504 clauses out of 1046 for limit 11362.661579726417 1383.77/1374.11 c cleaning 501 clauses out of 1043 for limit 18811.25830462611 1383.77/1374.15 c cleaning 501 clauses out of 1041 for limit 31050.80051206091 1383.77/1374.19 c cleaning 499 clauses out of 1040 for limit 51256.16137303595 1383.87/1374.23 c cleaning 498 clauses out of 1041 for limit 84447.06792695356 1383.87/1374.28 c cleaning 503 clauses out of 1043 for limit 138997.46609381156 1383.97/1374.32 c cleaning 498 clauses out of 1041 for limit 229895.7066956757 1383.97/1374.36 c cleaning 498 clauses out of 1043 for limit 378401.77854589256 1384.07/1374.40 c cleaning 501 clauses out of 1045 for limit 622840.8288518956 1384.07/1374.44 c cleaning 503 clauses out of 1044 for limit 1028131.7070250137 1384.07/1374.49 c cleaning 499 clauses out of 1040 for limit 1700345.934538797 1384.17/1374.53 c cleaning 499 clauses out of 1042 for limit 2801517.2858411153 1384.17/1374.57 c cleaning 521 clauses out of 1042 for limit 4615456.707844787 1384.27/1374.61 c cleaning 510 clauses out of 1021 for limit 7768059.539019973 1384.27/1374.65 c cleaning 506 clauses out of 1012 for limit 1.2937434795541193E7 1384.27/1374.69 c cleaning 480 clauses out of 1006 for limit 2.1462810582021E7 1384.37/1374.73 c cleaning 511 clauses out of 1025 for limit 3.470420366085288E7 1384.37/1374.77 c cleaning 507 clauses out of 1014 for limit 5.7852733080969736E7 1384.47/1374.82 c cleaning 504 clauses out of 1008 for limit 9.607086530796365E7 1384.47/1374.86 c cleaning 489 clauses out of 1003 for limit 1.5906428466276166E8 1384.47/1374.90 c cleaning 489 clauses out of 1014 for limit 2.5947262278317595E8 1384.58/1374.94 c cleaning 489 clauses out of 1025 for limit 4.233129146617169E8 1384.58/1374.98 c cleaning 498 clauses out of 1036 for limit 6.906873713488328E8 1384.68/1375.02 c cleaning 519 clauses out of 1039 for limit 1.1368839150185468E9 1384.68/1375.06 c cleaning 509 clauses out of 1019 for limit 1.9097602990086677E9 1384.77/1375.10 c cleaning 482 clauses out of 1010 for limit 3.1775146240946918E9 1384.77/1375.15 c cleaning 514 clauses out of 1028 for limit 5.148393154073832E9 1384.77/1375.19 c cleaning 507 clauses out of 1014 for limit 8.607613357202917E9 1384.87/1375.23 c cleaning 503 clauses out of 1007 for limit 1.4293780948350021E10 1384.87/1375.27 c cleaning 480 clauses out of 1004 for limit 2.3642792301230576E10 1384.97/1375.31 c cleaning 512 clauses out of 1024 for limit 3.822860145548904E10 1384.97/1375.35 c cleaning 506 clauses out of 1012 for limit 6.379163616724356E10 1384.97/1375.39 c cleaning 488 clauses out of 1006 for limit 1.0582838293775356E11 1385.07/1375.43 c cleaning 488 clauses out of 1019 for limit 1.7247110888880127E11 1385.07/1375.48 c cleaning 494 clauses out of 1030 for limit 2.811089611291581E11 1385.17/1375.52 c cleaning 498 clauses out of 1036 for limit 4.609014203432266E11 1385.17/1375.56 c cleaning 498 clauses out of 1038 for limit 7.586235761565898E11 1385.17/1375.60 c cleaning 520 clauses out of 1041 for limit 1.2487150848810852E12 1385.27/1375.64 c cleaning 490 clauses out of 1021 for limit 2.099637073763739E12 1385.27/1375.68 c cleaning 493 clauses out of 1031 for limit 3.428997720522937E12 1385.37/1375.72 c cleaning 496 clauses out of 1037 for limit 5.616535141777357E12 1385.37/1375.76 c cleaning 520 clauses out of 1041 for limit 9.226827353112555E12 1385.47/1375.80 c cleaning 510 clauses out of 1021 for limit 1.5514338713748586E13 1385.47/1375.84 c cleaning 506 clauses out of 1012 for limit 2.5838595146811223E13 1385.47/1375.88 c cleaning 480 clauses out of 1005 for limit 4.286518705189678E13 1385.57/1375.92 c cleaning 488 clauses out of 1026 for limit 6.9312860609110625E13 1385.57/1375.96 c cleaning 518 clauses out of 1037 for limit 1.1298058069785767E14 1385.67/1376.01 c cleaning 510 clauses out of 1020 for limit 1.8961504174823688E14 1385.67/1376.04 c cleaning 504 clauses out of 1009 for limit 3.157934855397446E14 1385.67/1376.08 c cleaning 501 clauses out of 1005 for limit 5.228584826721262E14 1385.77/1376.12 c cleaning 500 clauses out of 1004 for limit 8.631224129543459E14 1552.69/1541.46 c cleaning 272242 clauses out of 544505 for limit 3.7726265115103394E8 1591.57/1580.33 c cleaning 136372 clauses out of 272763 for limit 1.2419843203095653E9 1607.15/1595.95 c cleaning 68430 clauses out of 136890 for limit 4.0770986815869765E9 1609.85/1598.62 c cleaning 34455 clauses out of 68960 for limit 1.3346936088802261E10 1610.45/1599.22 c cleaning 17482 clauses out of 35006 for limit 4.340369909860665E10 1610.75/1599.56 c cleaning 8989 clauses out of 18024 for limit 1.3901892976132178E11 1610.85/1599.69 c cleaning 4742 clauses out of 9535 for limit 4.333714619651007E11 1610.95/1599.75 c cleaning 2622 clauses out of 5292 for limit 1.2864192972949468E12 1611.05/1599.81 c cleaning 1562 clauses out of 3170 for limit 3.5415959025703213E12 1611.05/1599.85 c cleaning 1028 clauses out of 2108 for limit 8.783013478041414E12 1611.05/1599.90 c cleaning 765 clauses out of 1580 for limit 1.9324708686564773E13 1611.15/1599.94 c cleaning 657 clauses out of 1315 for limit 3.8291305812263766E13 1611.15/1599.98 c cleaning 579 clauses out of 1158 for limit 7.170893249725797E13 1611.25/1600.02 c cleaning 537 clauses out of 1080 for limit 1.2692537642257186E14 1611.25/1600.06 c cleaning 497 clauses out of 1043 for limit 2.16742358133663E14 1611.35/1600.11 c cleaning 501 clauses out of 1046 for limit 3.56411989504109E14 1611.35/1600.15 c cleaning 497 clauses out of 1044 for limit 5.883081517676808E14 1611.35/1600.19 c cleaning 524 clauses out of 1048 for limit 9.674632589547069E14 1611.45/1600.23 c cleaning 487 clauses out of 1023 for limit 1.6328320078213988E15 1611.45/1600.27 c cleaning 489 clauses out of 1037 for limit 2.6590639442261885E15 1611.55/1600.31 c cleaning 524 clauses out of 1048 for limit 4.3391248067053055E15 1611.55/1600.35 c cleaning 492 clauses out of 1023 for limit 7.323339470250585E15 1611.55/1600.40 c cleaning 515 clauses out of 1031 for limit 1.1983454233201996E16 1611.66/1600.44 c cleaning 508 clauses out of 1016 for limit 2.0054085671236364E16 1611.66/1600.49 c cleaning 504 clauses out of 1008 for limit 3.333434521865488E16 1611.76/1600.52 c cleaning 495 clauses out of 1005 for limit 5.519208463360819E-4 1611.76/1600.57 c cleaning 484 clauses out of 1010 for limit 9.056854126825334E-4 1611.85/1600.61 c cleaning 486 clauses out of 1026 for limit 0.0014703044541908034 1611.85/1600.65 c cleaning 495 clauses out of 1040 for limit 0.002392088159595753 1611.85/1600.70 c cleaning 504 clauses out of 1044 for limit 0.003925829166670483 1611.95/1600.74 c cleaning 500 clauses out of 1040 for limit 0.0064991183203459875 1611.95/1600.78 c cleaning 501 clauses out of 1040 for limit 0.010717915546744602 1612.05/1600.82 c cleaning 500 clauses out of 1040 for limit 0.017692969523194893 1612.05/1600.86 c cleaning 500 clauses out of 1040 for limit 0.029178073666865287 1612.15/1600.91 c cleaning 496 clauses out of 1039 for limit 0.048116694354936825 1612.15/1600.95 c cleaning 500 clauses out of 1043 for limit 0.07904654812912072 1612.15/1600.99 c cleaning 498 clauses out of 1044 for limit 0.13036383205180943 1612.25/1601.04 c cleaning 502 clauses out of 1046 for limit 0.21457633304276308 1612.25/1601.08 c cleaning 500 clauses out of 1044 for limit 0.3545429811453973 1612.35/1601.12 c cleaning 497 clauses out of 1043 for limit 0.584664140137139 1612.35/1601.16 c cleaning 517 clauses out of 1048 for limit 0.9615113029685601 1612.45/1601.20 c cleaning 510 clauses out of 1031 for limit 1.611806483128279 1612.45/1601.24 c cleaning 504 clauses out of 1020 for limit 2.6840633814715695 1612.45/1601.29 c cleaning 498 clauses out of 1015 for limit 4.443736224747746 1612.55/1601.33 c cleaning 494 clauses out of 1017 for limit 7.313903873756853 1612.55/1601.37 c cleaning 500 clauses out of 1023 for limit 11.99086336763912 1612.65/1601.41 c cleaning 497 clauses out of 1023 for limit 19.774537802239553 1612.65/1601.46 c cleaning 505 clauses out of 1027 for limit 32.5163605333041 1612.65/1601.50 c cleaning 499 clauses out of 1021 for limit 53.885014865255364 1612.75/1601.55 c cleaning 500 clauses out of 1023 for limit 88.7786453918937 1612.75/1601.60 c cleaning 493 clauses out of 1022 for limit 146.4045679527373 1612.85/1601.64 c cleaning 498 clauses out of 1029 for limit 239.79826434141114 1612.85/1601.68 c cleaning 498 clauses out of 1031 for limit 394.69227996647095 1612.95/1601.72 c cleaning 497 clauses out of 1034 for limit 649.6615398217633 1612.95/1601.77 c cleaning 503 clauses out of 1037 for limit 1068.2793328537011 1613.05/1601.81 c cleaning 500 clauses out of 1034 for limit 1766.8469500986894 1613.05/1601.86 c cleaning 502 clauses out of 1034 for limit 2913.766985268988 1613.15/1601.90 c cleaning 499 clauses out of 1031 for limit 4814.354510475387 1613.15/1601.95 c cleaning 500 clauses out of 1033 for limit 7932.07495438932 1613.15/1601.99 c cleaning 502 clauses out of 1033 for limit 13081.052733790946 1613.25/1602.04 c cleaning 500 clauses out of 1031 for limit 21614.253448085703 1613.25/1602.08 c cleaning 498 clauses out of 1030 for limit 35643.72263446561 1613.35/1602.13 c cleaning 503 clauses out of 1032 for limit 58667.34977211542 1613.35/1602.17 c cleaning 497 clauses out of 1030 for limit 97035.2080359166 1613.45/1602.21 c cleaning 506 clauses out of 1033 for limit 159559.30335410364 1613.45/1602.26 c cleaning 497 clauses out of 1027 for limit 264671.9373938564 1613.55/1602.31 c cleaning 503 clauses out of 1029 for limit 435195.4443407118 1613.55/1602.35 c cleaning 500 clauses out of 1026 for limit 719794.0319974192 1613.55/1602.39 c cleaning 501 clauses out of 1027 for limit 1187067.8897152857 1613.65/1602.44 c cleaning 502 clauses out of 1026 for limit 1959541.7783423157 1613.65/1602.48 c cleaning 512 clauses out of 1024 for limit 3237858.149622405 1613.75/1602.53 c cleaning 506 clauses out of 1012 for limit 5402977.382846413 1613.75/1602.57 c cleaning 502 clauses out of 1005 for limit 8963321.5287814 1613.85/1602.61 c cleaning 486 clauses out of 1003 for limit 1.4811191300224667E7 1613.85/1602.65 c cleaning 508 clauses out of 1017 for limit 2.4089393084929407E7 1613.85/1602.69 c cleaning 492 clauses out of 1010 for limit 4.004200691712839E7 1613.95/1602.74 c cleaning 509 clauses out of 1018 for limit 6.55156899720004E7 1613.95/1602.78 c cleaning 504 clauses out of 1008 for limit 1.0900688773372072E8 1614.05/1602.82 c cleaning 502 clauses out of 1005 for limit 1.8048404232877612E8 1614.05/1602.87 c cleaning 501 clauses out of 1003 for limit 2.982358346719691E8 1614.15/1602.91 c cleaning 489 clauses out of 1004 for limit 4.9232507517208225E8 1614.15/1602.95 c cleaning 493 clauses out of 1012 for limit 8.030775915796355E8 1614.15/1602.99 c cleaning 490 clauses out of 1020 for limit 1.3153103798903892E9 1614.25/1603.03 c cleaning 513 clauses out of 1029 for limit 2.1480007053382835E9 1614.25/1603.08 c cleaning 495 clauses out of 1016 for limit 3.587665740653158E9 1614.35/1603.12 c cleaning 510 clauses out of 1021 for limit 5.887566511032307E9 1614.35/1603.16 c cleaning 506 clauses out of 1012 for limit 9.80553862367819E9 1614.45/1603.20 c cleaning 485 clauses out of 1006 for limit 1.6267090150454563E10 1614.45/1603.24 c cleaning 510 clauses out of 1021 for limit 2.6432485286454006E10 1614.45/1603.29 c cleaning 489 clauses out of 1010 for limit 4.402138910240638E10 1614.55/1603.33 c cleaning 511 clauses out of 1022 for limit 7.181656343525702E10 1614.55/1603.38 c cleaning 488 clauses out of 1011 for limit 1.1972373215120728E11 1614.64/1603.43 c cleaning 511 clauses out of 1022 for limit 1.9512004240062918E11 1614.64/1603.47 c cleaning 487 clauses out of 1011 for limit 3.25280110552279E11 1614.74/1603.52 c cleaning 493 clauses out of 1024 for limit 5.2962026571076996E11 1614.74/1603.56 c cleaning 502 clauses out of 1032 for limit 8.67511524660662E11 1614.84/1603.61 c cleaning 513 clauses out of 1029 for limit 1.4333787138097964E12 1614.84/1603.65 c cleaning 508 clauses out of 1016 for limit 2.3940791509689067E12 1614.84/1603.70 c cleaning 504 clauses out of 1008 for limit 3.979491371857768E12 1614.95/1603.75 c cleaning 485 clauses out of 1004 for limit 6.588859908502956E12 1614.95/1603.79 c cleaning 509 clauses out of 1019 for limit 1.070596180250679E13 1615.05/1603.84 c cleaning 488 clauses out of 1011 for limit 1.7813084035227688E13 1615.05/1603.88 c cleaning 494 clauses out of 1023 for limit 2.9031570195565527E13 1615.14/1603.93 c cleaning 496 clauses out of 1029 for limit 4.759777717791411E13 1615.14/1603.97 c cleaning 501 clauses out of 1033 for limit 7.819115202662286E13 1615.24/1604.02 c cleaning 501 clauses out of 1031 for limit 1.2906861307596262E14 1615.24/1604.06 c cleaning 500 clauses out of 1030 for limit 2.130580613062473E14 1800.03/1786.61 c starts : 26 1800.03/1786.61 c conflicts : 4047004 1800.03/1786.61 c decisions : 5805794 1800.03/1786.61 c propagations : 67770721 1800.03/1786.61 c inspects : 1649061681 1800.03/1786.61 c learnt literals : 0 1800.03/1786.61 c learnt binary clauses : 15 1800.03/1786.61 c learnt ternary clauses : 36 1800.03/1786.61 c learnt clauses : 4047004 1800.03/1786.61 c root simplifications : 0 1800.03/1786.61 c removed literals (reason simplification) : 0 1800.03/1786.61 c reason swapping (by a shorter reason) : 0 1800.03/1786.61 c Calls to reduceDB : 303 1800.03/1786.61 c speed (decisions/second) : 3250.8992644621435 1800.03/1786.61 c non guided choices 54 1800.03/1786.61 s SATISFIABLE 1800.03/1786.62 v -x1 x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 x31 -x32 1800.03/1786.62 v x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 x60 x61 1800.03/1786.62 v -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 x90 1800.03/1786.62 v x91 -x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 x108 -x109 x110 x111 -x112 x113 -x114 x115 1800.03/1786.62 v -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 1800.03/1786.62 v -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 1800.03/1786.62 v -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 -x177 x178 x179 -x180 -x181 x182 x183 -x184 1800.03/1786.62 v x185 -x186 x187 -x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 1800.03/1786.62 v x207 -x208 -x209 x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 x228 1800.03/1786.62 v -x229 x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 x240 -x241 x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 1800.03/1786.62 v -x251 x252 -x253 x254 -x255 x256 -x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 x270 -x271 -x272 1800.03/1786.62 v -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 x294 1800.03/1786.62 v -x295 x296 -x297 x298 -x299 x300 -x301 x302 x303 -x304 -x305 x306 -x307 x308 -x309 x310 -x311 x312 x313 -x314 -x315 x316 -x317 1800.03/1786.62 v x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 1800.03/1786.62 v x340 x341 -x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 x351 -x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 x361 -x362 1800.03/1786.62 v -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 1800.03/1786.62 v -x384 -x385 x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 1800.03/1786.62 v -x406 -x407 x408 x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 x423 -x424 -x425 x426 -x427 1800.03/1786.62 v -x428 -x429 -x430 -x431 x432 -x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 1800.03/1786.62 v x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 -x463 x464 -x465 x466 -x467 x468 x469 -x470 -x471 -x472 1800.03/1786.62 v -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 x493 -x494 1800.03/1786.62 v -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 1800.03/1786.62 v -x517 x518 -x519 x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.03/1786.62 c objective function=217 1800.03/1786.62 c Total wall clock time (ms): 1786.413
OK 217
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-353172-1176657770 -o ROOT/results/node54/solver-353172-1176657770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353172-1176657770/sat4jPseudoResolution.jar /tmp/evaluation/353172-1176657770/instance-353172-1176657770.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/66 26988 /proc/meminfo: memFree=1762800/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=152 CPUtime=0 /proc/26988/stat : 26988 (java) D 26986 26988 26323 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 113151503 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1819428 0 2147483391 4096 0 18446744072099863542 0 0 17 1 0 0 /proc/26988/statm: 38 26 19 9 0 4 0 [startup+0.0330021 s] /proc/loadavg: 0.92 0.98 0.99 3/66 26988 /proc/meminfo: memFree=1762800/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1774248 CPUtime=0.01 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 2682 0 1 0 0 1 0 0 18 0 4 0 113151503 1816829952 2429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 443562 2429 483 9 0 441576 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1774248 [startup+0.102011 s] /proc/loadavg: 0.92 0.98 0.99 3/66 26988 /proc/meminfo: memFree=1762800/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1780108 CPUtime=0.08 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 113151503 1822830592 3709 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 445027 3709 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301036 s] /proc/loadavg: 0.92 0.98 0.99 3/66 26988 /proc/meminfo: memFree=1762800/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1781412 CPUtime=0.31 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 5101 0 1 0 28 3 0 0 18 0 12 0 113151503 1824165888 4839 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 445353 4839 1264 9 0 442965 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781412 [startup+0.701085 s] /proc/loadavg: 0.92 0.98 0.99 3/66 26988 /proc/meminfo: memFree=1762800/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1783912 CPUtime=0.88 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 6646 0 1 0 84 4 0 0 18 0 12 0 113151503 1826725888 6205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 445978 6205 1305 9 0 443590 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 1783912 [startup+1.50219 s] /proc/loadavg: 0.92 0.98 0.99 2/79 27002 /proc/meminfo: memFree=1739784/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1785736 CPUtime=1.88 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 8851 0 1 0 183 5 0 0 18 0 13 0 113151503 1828593664 8104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 446434 8104 1316 9 0 444046 0 [pid=26988/tid=26990] ppid=26986 vsize=1785736 CPUtime=1.19 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 6323 0 1 0 115 4 0 0 20 0 13 0 113151504 1828593664 8104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109591462 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 113151506 1828593664 8104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 113151506 1828593664 8104 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 113151508 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 113151508 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 113151508 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1785736 CPUtime=0.37 /proc/26988/task/26997/stat : 26997 (java) R 26986 26988 26323 0 -1 64 740 0 0 0 37 0 0 0 16 0 13 0 113151512 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101780245 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1785736 CPUtime=0.3 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1063 0 0 0 30 0 0 0 16 0 13 0 113151512 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1828593664 8105 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 1785736 [startup+3.10139 s] /proc/loadavg: 0.93 0.98 0.99 2/79 27002 /proc/meminfo: memFree=1729672/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1785736 CPUtime=3.54 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 12872 0 1 0 347 7 0 0 18 0 13 0 113151503 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 446434 11952 1316 9 0 444046 0 [pid=26988/tid=26990] ppid=26986 vsize=1785736 CPUtime=2.76 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 10184 0 1 0 271 5 0 0 25 0 13 0 113151504 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576911 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 113151506 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 113151506 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 113151508 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 113151508 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 113151508 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1785736 CPUtime=0.39 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 743 0 0 0 39 0 0 0 16 0 13 0 113151512 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1785736 CPUtime=0.36 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1219 0 0 0 36 0 0 0 16 0 13 0 113151512 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1785736 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1828593664 11952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.54 Current children cumulated vsize (KiB) 1785736 [startup+6.30179 s] /proc/loadavg: 0.93 0.98 0.99 2/79 27002 /proc/meminfo: memFree=1704712/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1785640 CPUtime=6.73 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 17751 0 1 0 664 9 0 0 18 0 13 0 113151503 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 446410 16790 1316 9 0 444022 0 [pid=26988/tid=26990] ppid=26986 vsize=1785640 CPUtime=5.95 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 15063 0 1 0 588 7 0 0 25 0 13 0 113151504 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109640415 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 113151506 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 113151506 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 113151508 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 113151508 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 113151508 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1785640 CPUtime=0.39 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 743 0 0 0 39 0 0 0 16 0 13 0 113151512 1828495360 16790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1785640 CPUtime=0.36 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1219 0 0 0 36 0 0 0 16 0 13 0 113151512 1828495360 16791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1828495360 16791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1828495360 16791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1785640 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1828495360 16791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.73 Current children cumulated vsize (KiB) 1785640 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/79 27002 /proc/meminfo: memFree=1661960/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1784936 CPUtime=13.14 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 28639 0 1 0 1300 14 0 0 18 0 13 0 113151503 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 446234 27481 1316 9 0 443846 0 [pid=26988/tid=26990] ppid=26986 vsize=1784936 CPUtime=12.34 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 25950 0 1 0 1222 12 0 0 25 0 13 0 113151504 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109640415 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 113151506 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 113151506 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 113151508 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 113151508 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 113151508 1827774464 27481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1784936 CPUtime=0.4 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 744 0 0 0 40 0 0 0 17 0 13 0 113151512 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1784936 CPUtime=0.36 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1219 0 0 0 36 0 0 0 16 0 13 0 113151512 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1784936 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1827774464 27482 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.14 Current children cumulated vsize (KiB) 1784936 [startup+25.5022 s] /proc/loadavg: 0.95 0.98 0.99 2/79 27002 /proc/meminfo: memFree=1473928/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1784936 CPUtime=26.19 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 89266 0 1 0 2577 42 0 0 18 0 13 0 113151503 1827774464 73200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 446234 73200 1325 9 0 443846 0 [pid=26988/tid=26990] ppid=26986 vsize=1784936 CPUtime=24.88 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 37721 0 1 0 2470 18 0 0 25 0 13 0 113151504 1827774464 73200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109577131 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1784936 CPUtime=0.24 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 24812 0 0 0 14 10 0 0 16 0 13 0 113151506 1827774464 73200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1784936 CPUtime=0.25 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 24037 0 0 0 13 12 0 0 16 0 13 0 113151506 1827774464 73200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=26988/tid=26993] ppid=26986 vsize=1790064 CPUtime=6.22 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 20688 0 0 0 602 20 0 0 16 0 13 0 113151508 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1790064 CPUtime=0.47 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 754 0 0 0 47 0 0 0 16 0 13 0 113151512 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1790064 CPUtime=0.49 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1233 0 0 0 49 0 0 0 17 0 13 0 113151512 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1833025536 205293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1613.55 Current children cumulated vsize (KiB) 1790064 [startup+1662.3 s] /proc/loadavg: 1.11 1.03 1.01 2/79 27002 /proc/meminfo: memFree=941768/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1790064 CPUtime=1674.26 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 607383 0 1 0 167122 304 0 0 18 0 13 0 113151503 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 447516 205411 1331 9 0 445128 0 [pid=26988/tid=26990] ppid=26986 vsize=1790064 CPUtime=1641.98 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 37778 0 1 0 164178 20 0 0 25 0 13 0 113151504 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109591248 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1790064 CPUtime=12.28 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 280244 0 0 0 1095 133 0 0 16 0 13 0 113151506 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1790064 CPUtime=12.4 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 265844 0 0 0 1112 128 0 0 18 0 13 0 113151506 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1790064 CPUtime=6.58 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 20806 0 0 0 638 20 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1790064 CPUtime=0.47 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 754 0 0 0 47 0 0 0 16 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1790064 CPUtime=0.49 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1233 0 0 0 49 0 0 0 17 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.26 Current children cumulated vsize (KiB) 1790064 [startup+1722.3 s] /proc/loadavg: 1.04 1.02 1.00 2/79 27002 /proc/meminfo: memFree=941704/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1790064 CPUtime=1735.23 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 607387 0 1 0 173219 304 0 0 18 0 13 0 113151503 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 447516 205411 1331 9 0 445128 0 [pid=26988/tid=26990] ppid=26986 vsize=1790064 CPUtime=1700.96 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 37782 0 1 0 170076 20 0 0 25 0 13 0 113151504 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576646 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1790064 CPUtime=13.26 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 280244 0 0 0 1193 133 0 0 16 0 13 0 113151506 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1790064 CPUtime=13.4 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 265844 0 0 0 1212 128 0 0 16 0 13 0 113151506 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1790064 CPUtime=6.58 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 20806 0 0 0 638 20 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1790064 CPUtime=0.47 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 754 0 0 0 47 0 0 0 16 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1790064 CPUtime=0.49 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1233 0 0 0 49 0 0 0 17 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1833025536 205411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.23 Current children cumulated vsize (KiB) 1790064 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/79 27002 /proc/meminfo: memFree=854344/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1790064 CPUtime=1795.73 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 637733 0 1 0 179256 317 0 0 18 0 13 0 113151503 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 447516 227270 1331 9 0 445128 0 [pid=26988/tid=26990] ppid=26986 vsize=1790064 CPUtime=1760.41 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 37784 0 1 0 176021 20 0 0 25 0 13 0 113151504 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109733373 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1790064 CPUtime=13.79 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 296677 0 0 0 1239 140 0 0 17 0 13 0 113151506 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1790064 CPUtime=13.94 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 279755 0 0 0 1259 135 0 0 17 0 13 0 113151506 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1790064 CPUtime=6.58 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 20806 0 0 0 638 20 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1790064 CPUtime=0.47 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 754 0 0 0 47 0 0 0 16 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1790064 CPUtime=0.49 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1233 0 0 0 49 0 0 0 17 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (KiB) 1790064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.6 s] /proc/loadavg: 1.01 1.02 1.00 2/79 27002 /proc/meminfo: memFree=854344/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=1790064 CPUtime=1800.03 /proc/26988/stat : 26988 (java) S 26986 26988 26323 0 -1 0 637733 0 1 0 179686 317 0 0 18 0 13 0 113151503 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26988/statm: 447516 227270 1331 9 0 445128 0 [pid=26988/tid=26990] ppid=26986 vsize=1790064 CPUtime=1764.71 /proc/26988/task/26990/stat : 26990 (java) R 26986 26988 26323 0 -1 64 37784 0 1 0 176451 20 0 0 25 0 13 0 113151504 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26991] ppid=26986 vsize=1790064 CPUtime=13.79 /proc/26988/task/26991/stat : 26991 (java) S 26986 26988 26323 0 -1 64 296677 0 0 0 1239 140 0 0 17 0 13 0 113151506 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26992] ppid=26986 vsize=1790064 CPUtime=13.94 /proc/26988/task/26992/stat : 26992 (java) S 26986 26988 26323 0 -1 64 279755 0 0 0 1259 135 0 0 17 0 13 0 113151506 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26993] ppid=26986 vsize=1790064 CPUtime=6.58 /proc/26988/task/26993/stat : 26993 (java) S 26986 26988 26323 0 -1 64 20806 0 0 0 638 20 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26994] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26994/stat : 26994 (java) S 26986 26988 26323 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26995] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26995/stat : 26995 (java) S 26986 26988 26323 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 113151508 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26996] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26996/stat : 26996 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=26997] ppid=26986 vsize=1790064 CPUtime=0.47 /proc/26988/task/26997/stat : 26997 (java) S 26986 26988 26323 0 -1 64 754 0 0 0 47 0 0 0 16 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26998] ppid=26986 vsize=1790064 CPUtime=0.49 /proc/26988/task/26998/stat : 26998 (java) S 26986 26988 26323 0 -1 64 1233 0 0 0 49 0 0 0 17 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=26999] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/26999/stat : 26999 (java) S 26986 26988 26323 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26988/tid=27000] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27000/stat : 27000 (java) S 26986 26988 26323 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 113151512 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26988/tid=27002] ppid=26986 vsize=1790064 CPUtime=0 /proc/26988/task/27002/stat : 27002 (java) S 26986 26988 26323 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 113151574 1833025536 227270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1790064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.71 s] /proc/loadavg: 1.01 1.02 1.00 2/79 27002 /proc/meminfo: memFree=854344/2055920 swapFree=4191892/4192956 [pid=26988] ppid=26986 vsize=0 CPUtime=1800.15 /proc/26988/stat : 26988 (java) Z 26986 26988 26323 0 -1 1036 637752 0 1 0 179690 325 0 0 16 0 2 0 113151503 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26988/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.78 CPU time (s): 1800.23 CPU user time (s): 1796.91 CPU system time (s): 3.3175 CPU usage (%): 100.753 Max. virtual memory (cumulated for all children) (KiB): 1798068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.91 system time used= 3.3175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 637752 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37222 involuntary context switches= 39057 runsolver used 2.33664 second user time and 5.34119 second system time The end
Begin job on node54 on Sun Apr 15 17:22:50 UTC 2007 IDJOB= 353172 IDBENCH= 2200 IDSOLVER= 159 FILE ID= node54/353172-1176657770 PBS_JOBID= 4559877 Free space on /tmp= 66560 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353172-1176657770/sat4jPseudoResolution.jar /tmp/evaluation/353172-1176657770/instance-353172-1176657770.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-353172-1176657770 -o ROOT/results/node54/solver-353172-1176657770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353172-1176657770/sat4jPseudoResolution.jar /tmp/evaluation/353172-1176657770/instance-353172-1176657770.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 5018d2b93ba4422fc03308c57dbd6158 RANDOM SEED= 640623098 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1763208 kB Buffers: 53296 kB Cached: 144048 kB SwapCached: 264 kB Active: 48156 kB Inactive: 165808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763208 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 3636 kB Writeback: 0 kB Mapped: 25560 kB Slab: 64628 kB Committed_AS: 1961544 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node54 on Sun Apr 15 17:52:39 UTC 2007