Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 74 | 1800.01 | 1795.72 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 77.6872 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 53 |
| Optimality of the best value was proved | NO |
| Number of variables | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| 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 | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| 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 | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.09 c no version file found!!! 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 1599470296 0.00/0.09 c Max memory 1607860224 0.00/0.09 c Total memory 1607860224 0.00/0.09 c Number of processors 8 0.07/0.12 --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap 0.07/0.12 c No reason simplification 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3732770-1338691796.opb 0.07/0.12 c reading problem ... 0.07/0.17 c ... done. Wall clock time 0.056s. 0.07/0.17 c CPU time (experimental) 0.13s. 0.07/0.17 c #vars 225 0.07/0.17 c #constraints 225 0.07/0.18 c SATISFIABLE 0.07/0.18 c OPTIMIZING... 0.07/0.18 c Got one! Elapsed wall clock time (in seconds):0.064 0.07/0.18 o 75 0.07/0.19 c Got one! Elapsed wall clock time (in seconds):0.078 0.07/0.19 o 74 539.35/536.85 c cleaning 1687000 clauses out of 3374012 for limit 0.33097337170758473 674.83/672.39 c cleaning 843750 clauses out of 1687511 for limit 1.090220740620682 707.73/705.28 c cleaning 422124 clauses out of 844261 for limit 3.5936866932163865 721.43/718.96 c cleaning 211313 clauses out of 422637 for limit 11.838735328801057 731.13/728.61 c cleaning 105908 clauses out of 211825 for limit 38.9929425671251 732.63/730.17 c cleaning 53202 clauses out of 106416 for limit 127.87265129873936 732.94/730.43 c cleaning 26850 clauses out of 53715 for limit 418.1955614546124 732.94/730.49 c cleaning 13673 clauses out of 27364 for limit 1352.4362182046525 733.03/730.52 c cleaning 7086 clauses out of 14191 for limit 4300.701113333376 733.03/730.55 c cleaning 3797 clauses out of 7606 for limit 13246.048446402738 733.03/730.57 c cleaning 2146 clauses out of 4308 for limit 38529.05354238749 733.03/730.59 c cleaning 1326 clauses out of 2663 for limit 102892.39297787388 733.13/730.60 c cleaning 912 clauses out of 1838 for limit 246093.0370379058 733.13/730.61 c cleaning 707 clauses out of 1425 for limit 522939.375460865 733.13/730.62 c cleaning 603 clauses out of 1218 for limit 1008961.9930140082 733.13/730.63 c cleaning 550 clauses out of 1115 for limit 1817620.0924258747 733.13/730.65 c cleaning 532 clauses out of 1064 for limit 3138034.6123159467 733.13/730.66 c cleaning 516 clauses out of 1032 for limit 5335505.196157894 733.13/730.67 c cleaning 508 clauses out of 1017 for limit 8937677.71551905 733.13/730.68 c cleaning 498 clauses out of 1008 for limit 1.4856157205558756E7 733.13/730.69 c cleaning 497 clauses out of 1010 for limit 2.445127621618408E7 733.23/730.70 c cleaning 506 clauses out of 1013 for limit 4.0204007669136904E7 733.23/730.71 c cleaning 503 clauses out of 1007 for limit 6.6696832446752384E7 733.23/730.72 c cleaning 502 clauses out of 1004 for limit 1.1032066059964131E8 733.23/730.73 c cleaning 501 clauses out of 1003 for limit 1.822972143367652E8 733.23/730.74 c cleaning 493 clauses out of 1002 for limit 3.009325261552227E8 733.23/730.76 c cleaning 497 clauses out of 1009 for limit 4.9283503434132E8 733.23/730.77 c cleaning 498 clauses out of 1014 for limit 8.103631704525613E8 733.23/730.78 c cleaning 497 clauses out of 1013 for limit 1.333707385827487E9 733.23/730.79 c cleaning 504 clauses out of 1017 for limit 2.193004119265664E9 733.33/730.80 c cleaning 501 clauses out of 1012 for limit 3.6307911074306383E9 733.33/730.81 c cleaning 499 clauses out of 1011 for limit 5.993582767313548E9 733.33/730.82 c cleaning 506 clauses out of 1013 for limit 9.874579622221226E9 733.33/730.83 c cleaning 496 clauses out of 1007 for limit 1.638153061668501E10 733.33/730.84 c cleaning 495 clauses out of 1010 for limit 2.690815680627452E10 733.33/730.85 c cleaning 507 clauses out of 1015 for limit 4.415655348294239E10 733.33/730.86 c cleaning 504 clauses out of 1008 for limit 7.332575873927081E10 733.33/730.87 c cleaning 502 clauses out of 1005 for limit 1.2140635898546323E11 733.33/730.88 c cleaning 501 clauses out of 1002 for limit 2.0061395973273666E11 733.33/730.89 c cleaning 496 clauses out of 1001 for limit 3.3116976600317676E11 733.43/730.91 c cleaning 495 clauses out of 1006 for limit 5.4397279037005005E11 733.43/730.92 c cleaning 501 clauses out of 1012 for limit 8.926578813144825E11 733.43/730.93 c cleaning 504 clauses out of 1009 for limit 1.4735377062883845E12 733.43/730.94 c cleaning 496 clauses out of 1005 for limit 2.439732687814245E12 733.43/730.95 c cleaning 504 clauses out of 1009 for limit 4.007495353542598E12 733.43/730.96 c cleaning 498 clauses out of 1006 for limit 6.635239627986699E12 733.43/730.97 c cleaning 496 clauses out of 1008 for limit 1.0920686686294664E13 733.43/730.98 c cleaning 498 clauses out of 1011 for limit 1.793827588987572E13 733.43/730.99 c cleaning 499 clauses out of 1013 for limit 2.9524210726083715E13 733.53/731.00 c cleaning 497 clauses out of 1014 for limit 4.8641356032261125E13 733.53/731.01 c cleaning 498 clauses out of 1017 for limit 7.997947754817195E13 733.53/731.02 c cleaning 509 clauses out of 1019 for limit 1.316379828508351E14 733.53/731.03 c cleaning 505 clauses out of 1010 for limit 2.1902309719810384E14 733.53/731.04 c cleaning 502 clauses out of 1008 for limit 3.630029714012941E14 733.53/731.06 c cleaning 495 clauses out of 1003 for limit 5.998216412076184E14 733.53/731.07 c cleaning 498 clauses out of 1008 for limit 9.842794518274691E14 733.53/731.08 c cleaning 497 clauses out of 1011 for limit 1.6200118600674985E15 733.53/731.09 c cleaning 501 clauses out of 1013 for limit 2.663675274992285E15 733.63/731.10 c cleaning 506 clauses out of 1013 for limit 4.3971540225879795E15 733.63/731.11 c cleaning 503 clauses out of 1007 for limit 7.294701749652955E15 733.63/731.12 c cleaning 500 clauses out of 1003 for limit 1.206583696676267E16 733.63/731.13 c cleaning 501 clauses out of 1003 for limit 1.9898179296982972E16 733.63/731.14 c cleaning 501 clauses out of 1002 for limit 3.284750885259686E16 733.63/731.15 c cleaning 495 clauses out of 1001 for limit 5.42240521795886E-4 733.63/731.16 c cleaning 493 clauses out of 1007 for limit 8.897888824680832E-4 733.63/731.18 c cleaning 497 clauses out of 1014 for limit 0.0014572510525878522 733.63/731.19 c cleaning 498 clauses out of 1016 for limit 0.0023960727495875487 733.75/731.20 c cleaning 500 clauses out of 1018 for limit 0.003943681352678553 733.75/731.21 c cleaning 499 clauses out of 1020 for limit 0.006503907166408326 733.75/731.22 c cleaning 499 clauses out of 1020 for limit 0.010715087181547187 733.75/731.23 c cleaning 504 clauses out of 1021 for limit 0.01765330503928601 733.75/731.24 c cleaning 499 clauses out of 1016 for limit 0.029226676666652775 733.75/731.25 c cleaning 501 clauses out of 1018 for limit 0.048152158930379316 733.75/731.26 c cleaning 500 clauses out of 1016 for limit 0.07948610370896116 733.75/731.27 c cleaning 498 clauses out of 1017 for limit 0.13108541183505973 733.75/731.28 c cleaning 499 clauses out of 1019 for limit 0.21575308721846853 733.75/731.30 c cleaning 499 clauses out of 1020 for limit 0.35545687463355535 733.85/731.31 c cleaning 503 clauses out of 1022 for limit 0.5856344183807022 733.85/731.32 c cleaning 502 clauses out of 1018 for limit 0.9686147670195507 733.85/731.33 c cleaning 501 clauses out of 1016 for limit 1.6005197694060636 733.85/731.34 c cleaning 499 clauses out of 1014 for limit 2.6420325938038496 733.85/731.35 c cleaning 496 clauses out of 1015 for limit 4.352772516913583 733.85/731.36 c cleaning 504 clauses out of 1020 for limit 7.150266684957682 733.85/731.37 c cleaning 501 clauses out of 1015 for limit 11.837983895571417 733.85/731.38 c cleaning 502 clauses out of 1016 for limit 19.542269117485855 733.85/731.39 c cleaning 500 clauses out of 1012 for limit 32.29052072269665 733.95/731.41 c cleaning 499 clauses out of 1012 for limit 53.2513884203057 733.95/731.42 c cleaning 499 clauses out of 1013 for limit 87.731971676759 733.95/731.43 c cleaning 499 clauses out of 1015 for limit 144.54121187242106 733.95/731.44 c cleaning 500 clauses out of 1017 for limit 238.13716536234386 733.95/731.45 c cleaning 497 clauses out of 1015 for limit 392.7072814422578 733.95/731.46 c cleaning 505 clauses out of 1019 for limit 645.7303674396422 733.95/731.47 c cleaning 497 clauses out of 1013 for limit 1070.131935670963 733.95/731.49 c cleaning 500 clauses out of 1016 for limit 1759.57972538531 733.95/731.50 c cleaning 503 clauses out of 1016 for limit 2901.7823595246978 734.05/731.51 c cleaning 501 clauses out of 1014 for limit 4799.665682669761 734.05/731.52 c cleaning 500 clauses out of 1013 for limit 7923.104511045607 734.05/731.53 c cleaning 501 clauses out of 1012 for limit 13066.091425468607 734.05/731.54 c cleaning 500 clauses out of 1012 for limit 21569.30201304963 734.05/731.55 c cleaning 500 clauses out of 1012 for limit 35570.66450911871 734.05/731.56 c cleaning 498 clauses out of 1012 for limit 58660.78433390082 734.05/731.58 c cleaning 496 clauses out of 1013 for limit 96547.33887629623 734.05/731.59 c cleaning 501 clauses out of 1017 for limit 158593.24571166094 734.15/731.60 c cleaning 503 clauses out of 1017 for limit 261803.281685052 734.15/731.61 c cleaning 503 clauses out of 1013 for limit 433020.01317564456 734.15/731.62 c cleaning 500 clauses out of 1010 for limit 716229.0427713058 734.15/731.63 c cleaning 501 clauses out of 1011 for limit 1181170.3711687857 734.15/731.64 c cleaning 498 clauses out of 1009 for limit 1949817.2534956415 734.15/731.65 c cleaning 499 clauses out of 1012 for limit 3209186.5366709996 734.15/731.66 c cleaning 496 clauses out of 1012 for limit 5287085.538348293 734.15/731.67 c cleaning 503 clauses out of 1016 for limit 8684784.136360534 734.15/731.69 c cleaning 498 clauses out of 1014 for limit 1.4364985107812187E7 734.15/731.70 c cleaning 497 clauses out of 1015 for limit 2.3642776026786603E7 734.25/731.71 c cleaning 500 clauses out of 1018 for limit 3.887519847769589E7 734.25/731.72 c cleaning 502 clauses out of 1019 for limit 6.411159950264603E7 734.25/731.73 c cleaning 509 clauses out of 1018 for limit 1.059384018177798E8 734.25/731.74 c cleaning 495 clauses out of 1007 for limit 1.762619570464038E8 734.25/731.75 c cleaning 497 clauses out of 1013 for limit 2.892470989269411E8 734.25/731.76 c cleaning 498 clauses out of 1016 for limit 4.7559867520377916E8 734.25/731.77 c cleaning 509 clauses out of 1018 for limit 7.827849246574943E8 734.25/731.78 c cleaning 504 clauses out of 1008 for limit 1.3024200529408407E9 734.25/731.79 c cleaning 496 clauses out of 1004 for limit 2.1564221326219535E9 734.35/731.81 c cleaning 493 clauses out of 1008 for limit 3.5421165595199513E9 734.35/731.82 c cleaning 498 clauses out of 1015 for limit 5.801138379334287E9 734.35/731.83 c cleaning 508 clauses out of 1017 for limit 9.548039379232323E9 734.35/731.84 c cleaning 499 clauses out of 1010 for limit 1.5870995899328789E10 734.35/731.85 c cleaning 496 clauses out of 1011 for limit 2.614750680124399E10 734.35/731.86 c cleaning 497 clauses out of 1015 for limit 4.295080272852983E10 734.35/731.87 c cleaning 500 clauses out of 1017 for limit 7.06216320102389E10 734.35/731.88 c cleaning 508 clauses out of 1017 for limit 1.1646451877779001E11 734.35/731.89 c cleaning 505 clauses out of 1011 for limit 1.935924180784669E11 734.45/731.90 c cleaning 494 clauses out of 1005 for limit 3.2084465854866376E11 734.45/731.91 c cleaning 497 clauses out of 1011 for limit 5.2597561087650977E11 734.45/731.93 c cleaning 498 clauses out of 1014 for limit 8.648378616378314E11 734.45/731.94 c cleaning 507 clauses out of 1015 for limit 1.423403345616307E12 734.45/731.95 c cleaning 504 clauses out of 1009 for limit 2.3637049085362266E12 734.45/731.96 c cleaning 494 clauses out of 1004 for limit 3.9135608039949336E12 734.45/731.97 c cleaning 496 clauses out of 1010 for limit 6.415644805777927E12 734.45/731.98 c cleaning 508 clauses out of 1016 for limit 1.0538841869186086E13 734.45/731.99 c cleaning 503 clauses out of 1007 for limit 1.7517757125638498E13 734.55/732.00 c cleaning 502 clauses out of 1004 for limit 2.8975447070404527E13 734.55/732.01 c cleaning 496 clauses out of 1003 for limit 4.787990985900877E13 734.55/732.02 c cleaning 503 clauses out of 1006 for limit 7.864618338902222E13 734.55/732.04 c cleaning 501 clauses out of 1003 for limit 1.3008600794787778E14 734.55/732.05 c cleaning 500 clauses out of 1001 for limit 2.1474290167089066E14 734.55/732.06 c cleaning 500 clauses out of 1001 for limit 3.54139772646723E14 734.55/732.07 c cleaning 492 clauses out of 1001 for limit 5.840238610656411E14 734.55/732.08 c cleaning 497 clauses out of 1009 for limit 9.554971354685808E14 734.55/732.09 c cleaning 506 clauses out of 1012 for limit 1.5710714267906882E15 734.65/732.10 c cleaning 503 clauses out of 1006 for limit 2.6063596823425335E15 734.65/732.11 c cleaning 501 clauses out of 1003 for limit 4.3110919276925265E15 734.65/732.12 c cleaning 501 clauses out of 1002 for limit 7.116662692888201E15 734.65/732.13 c cleaning 496 clauses out of 1001 for limit 1.1748053434901286E16 734.65/732.15 c cleaning 497 clauses out of 1006 for limit 1.929711605478624E16 734.65/732.16 c cleaning 495 clauses out of 1008 for limit 3.1728623595902096E16 734.65/732.17 c cleaning 501 clauses out of 1013 for limit 5.206647862594315E-4 734.65/732.18 c cleaning 497 clauses out of 1012 for limit 8.59494350144824E-4 734.65/732.19 c cleaning 497 clauses out of 1015 for limit 0.00141323174232484 734.75/732.20 c cleaning 501 clauses out of 1019 for limit 0.0023237833759977475 734.75/732.21 c cleaning 502 clauses out of 1018 for limit 0.0038359941264100228 734.75/732.22 c cleaning 497 clauses out of 1015 for limit 0.006338420455749986 734.75/732.23 c cleaning 498 clauses out of 1019 for limit 0.01042229355882264 734.75/732.24 c cleaning 501 clauses out of 1021 for limit 0.017154087873259668 734.75/732.25 c cleaning 505 clauses out of 1022 for limit 0.028318313628196187 734.75/732.26 c cleaning 499 clauses out of 1015 for limit 0.046928762736502386 734.75/732.27 c cleaning 498 clauses out of 1015 for limit 0.07731441596228307 734.75/732.28 c cleaning 501 clauses out of 1017 for limit 0.127251073827158 734.75/732.30 c cleaning 497 clauses out of 1016 for limit 0.2100605933410699 734.85/732.31 c cleaning 501 clauses out of 1020 for limit 0.3454049227070335 734.85/732.32 c cleaning 499 clauses out of 1019 for limit 0.5701779229514521 734.85/732.33 c cleaning 500 clauses out of 1019 for limit 0.9393593723128413 734.85/732.34 c cleaning 504 clauses out of 1020 for limit 1.5491596756816797 734.85/732.35 c cleaning 501 clauses out of 1017 for limit 2.564872619949582 734.85/732.36 c cleaning 500 clauses out of 1016 for limit 4.233981279581831 734.85/732.37 c cleaning 500 clauses out of 1014 for limit 6.982188186163626 734.85/732.38 c cleaning 499 clauses out of 1015 for limit 11.514732715691121 734.85/732.39 c cleaning 499 clauses out of 1016 for limit 18.97064437153705 734.95/732.41 c cleaning 497 clauses out of 1018 for limit 31.25492142704763 734.95/732.42 c cleaning 498 clauses out of 1020 for limit 51.3910383831923 734.95/732.43 c cleaning 501 clauses out of 1021 for limit 84.5830220353297 734.95/732.44 c cleaning 498 clauses out of 1021 for limit 139.62834699750513 734.95/732.45 c cleaning 502 clauses out of 1022 for limit 229.81047380584465 734.95/732.46 c cleaning 501 clauses out of 1021 for limit 379.7391471065811 734.95/732.47 c cleaning 497 clauses out of 1020 for limit 626.8546155986538 734.95/732.48 c cleaning 499 clauses out of 1023 for limit 1030.7355450997081 734.95/732.49 c cleaning 502 clauses out of 1024 for limit 1698.1608219505754 735.05/732.50 c cleaning 500 clauses out of 1021 for limit 2805.914329051527 735.05/732.51 c cleaning 499 clauses out of 1021 for limit 4627.3280971092945 735.05/732.53 c cleaning 500 clauses out of 1022 for limit 7623.616251835965 735.05/732.54 c cleaning 500 clauses out of 1023 for limit 12572.646014458822 735.05/732.55 c cleaning 501 clauses out of 1022 for limit 20733.50860045476 735.05/732.56 c cleaning 499 clauses out of 1021 for limit 34225.818420427175 735.05/732.57 c cleaning 505 clauses out of 1023 for limit 56388.99431303047 735.05/732.58 c cleaning 499 clauses out of 1017 for limit 93448.08482059791 735.05/732.59 c cleaning 505 clauses out of 1019 for limit 153959.88315451078 735.05/732.60 c cleaning 499 clauses out of 1014 for limit 255152.41828096236 735.15/732.61 c cleaning 501 clauses out of 1014 for limit 420359.6909537233 735.15/732.62 c cleaning 500 clauses out of 1014 for limit 693923.2883844499 735.15/732.63 c cleaning 498 clauses out of 1013 for limit 1144356.5183329103 735.15/732.65 c cleaning 496 clauses out of 1016 for limit 1883508.0640199322 735.15/732.66 c cleaning 500 clauses out of 1020 for limit 3093975.76183338 735.15/732.67 c cleaning 500 clauses out of 1019 for limit 5102279.791088979 735.15/732.68 c cleaning 509 clauses out of 1019 for limit 8414341.946284497 735.15/732.69 c cleaning 505 clauses out of 1010 for limit 1.400002639091985E7 735.25/732.70 c cleaning 494 clauses out of 1006 for limit 2.3202920189311136E7 735.25/732.71 c cleaning 505 clauses out of 1011 for limit 3.803740200999369E7 735.25/732.72 c cleaning 495 clauses out of 1007 for limit 6.30409763052233E7 735.25/732.73 c cleaning 505 clauses out of 1011 for limit 1.0344812431019598E8 735.25/732.74 c cleaning 503 clauses out of 1007 for limit 1.714489005254739E8 735.25/732.75 c cleaning 494 clauses out of 1003 for limit 2.8358588916530985E8 735.25/732.76 c cleaning 497 clauses out of 1010 for limit 4.6489467871945876E8 735.25/732.78 c cleaning 496 clauses out of 1013 for limit 7.644030137047361E8 735.25/732.79 c cleaning 508 clauses out of 1017 for limit 1.2556447063811603E9 735.35/732.80 c cleaning 503 clauses out of 1008 for limit 2.087125509116976E9 735.35/732.81 c cleaning 493 clauses out of 1005 for limit 3.4522236503390512E9 735.35/732.82 c cleaning 498 clauses out of 1012 for limit 5.653798935548125E9 735.35/732.83 c cleaning 495 clauses out of 1015 for limit 9.305618175777433E9 735.35/732.84 c cleaning 509 clauses out of 1019 for limit 1.5270683014345863E10 735.35/732.85 c cleaning 500 clauses out of 1011 for limit 2.540808241499365E10 735.35/732.86 c cleaning 495 clauses out of 1010 for limit 4.1900870583693474E10 735.35/732.87 c cleaning 508 clauses out of 1016 for limit 6.876083012205075E10 735.35/732.89 c cleaning 496 clauses out of 1008 for limit 1.1429577425697762E11 735.35/732.90 c cleaning 495 clauses out of 1011 for limit 1.8774177765228638E11 735.45/732.91 c cleaning 509 clauses out of 1019 for limit 3.08103987931707E11 735.45/732.92 c cleaning 493 clauses out of 1008 for limit 5.126227014717655E11 735.45/732.93 c cleaning 507 clauses out of 1014 for limit 8.395407623105537E11 735.45/732.94 c cleaning 504 clauses out of 1008 for limit 1.394150340029715E12 735.45/732.95 c cleaning 490 clauses out of 1003 for limit 2.308291133199466E12 735.45/732.96 c cleaning 506 clauses out of 1013 for limit 3.7691025853287637E12 735.45/732.97 c cleaning 504 clauses out of 1008 for limit 6.252839339072802E12 735.45/732.98 c cleaning 502 clauses out of 1004 for limit 1.035285130327942E13 735.45/732.99 c cleaning 494 clauses out of 1002 for limit 1.7107315095700566E13 735.55/733.00 c cleaning 494 clauses out of 1007 for limit 2.8044098306996645E13 735.55/733.01 c cleaning 500 clauses out of 1014 for limit 4.597517544077901E13 735.55/733.02 c cleaning 505 clauses out of 1013 for limit 7.58181669037836E13 735.55/733.03 c cleaning 504 clauses out of 1008 for limit 1.2565450981866062E14 735.55/733.05 c cleaning 502 clauses out of 1004 for limit 2.0804667850812812E14 735.55/733.06 c cleaning 493 clauses out of 1003 for limit 3.4378265809778556E14 735.55/733.07 c cleaning 497 clauses out of 1009 for limit 5.63008701665922E14 735.55/733.08 c cleaning 497 clauses out of 1012 for limit 9.257242658169519E14 735.55/733.09 c cleaning 508 clauses out of 1016 for limit 1.5221549042890648E15 735.65/733.10 c cleaning 503 clauses out of 1007 for limit 2.530139483248048E15 735.65/733.11 c cleaning 502 clauses out of 1004 for limit 4.1850062283542665E15 735.65/733.12 c cleaning 492 clauses out of 1004 for limit 6.915459133480947E15 735.65/733.13 c cleaning 505 clauses out of 1010 for limit 1.1314105438780576E16 735.65/733.14 c cleaning 503 clauses out of 1006 for limit 1.8751413617315956E16 735.65/733.15 c cleaning 501 clauses out of 1002 for limit 3.1015990000520968E16 735.65/733.16 c cleaning 500 clauses out of 1001 for limit 5.1200615174105832E16 735.65/733.17 c cleaning 490 clauses out of 1001 for limit 8.443666391785611E-4 735.65/733.18 c cleaning 501 clauses out of 1012 for limit 0.0013787166800188532 735.65/733.19 c cleaning 494 clauses out of 1011 for limit 0.002275937196567737 735.75/733.21 c cleaning 495 clauses out of 1016 for limit 0.0037311189656131023 735.75/733.22 c cleaning 501 clauses out of 1022 for limit 0.006123113469137059 735.75/733.23 c cleaning 498 clauses out of 1020 for limit 0.010107515286184402 735.75/733.24 c cleaning 503 clauses out of 1023 for limit 0.016636399609232296 735.75/733.25 c cleaning 502 clauses out of 1020 for limit 0.027516341617268198 735.75/733.26 c cleaning 497 clauses out of 1018 for limit 0.04546727992646742 735.75/733.27 c cleaning 500 clauses out of 1020 for limit 0.07475976970008802 735.75/733.28 c cleaning 500 clauses out of 1020 for limit 0.1232888614185074 735.75/733.29 c cleaning 500 clauses out of 1021 for limit 0.20332401185051946 735.85/733.30 c cleaning 499 clauses out of 1021 for limit 0.33530849574118116 735.85/733.31 c cleaning 504 clauses out of 1021 for limit 0.5524155976790033 735.85/733.33 c cleaning 502 clauses out of 1018 for limit 0.9146065250503829 735.85/733.34 c cleaning 499 clauses out of 1015 for limit 1.5112538018318387 735.85/733.35 c cleaning 498 clauses out of 1016 for limit 2.489806679630286 735.85/733.36 c cleaning 501 clauses out of 1019 for limit 4.098033935614036 735.85/733.37 c cleaning 498 clauses out of 1017 for limit 6.764725162646778 735.85/733.38 c cleaning 503 clauses out of 1019 for limit 11.134040909616623 735.85/733.40 c cleaning 503 clauses out of 1016 for limit 18.41574004061368 735.94/733.41 c cleaning 499 clauses out of 1014 for limit 30.460380739366936 735.94/733.42 c cleaning 499 clauses out of 1015 for limit 50.18375187648553 735.94/733.43 c cleaning 501 clauses out of 1015 for limit 82.67696058623558 735.94/733.44 c cleaning 501 clauses out of 1015 for limit 136.48185018279534 735.94/733.45 c cleaning 500 clauses out of 1014 for limit 225.29879842622756 735.94/733.46 c cleaning 497 clauses out of 1014 for limit 371.5478585388779 735.94/733.48 c cleaning 503 clauses out of 1017 for limit 610.9246541229747 735.94/733.49 c cleaning 498 clauses out of 1014 for limit 1010.4772415113594 736.04/733.50 c cleaning 501 clauses out of 1016 for limit 1663.1318116002508 736.04/733.51 c cleaning 499 clauses out of 1014 for limit 2745.388428204484 736.04/733.52 c cleaning 501 clauses out of 1017 for limit 4523.199169788196 736.04/733.53 c cleaning 496 clauses out of 1015 for limit 7466.584722315967 736.04/733.54 c cleaning 501 clauses out of 1019 for limit 12265.061849820244 736.04/733.55 c cleaning 497 clauses out of 1017 for limit 20246.23851838996 736.04/733.56 c cleaning 501 clauses out of 1021 for limit 33291.23899504777 736.04/733.58 c cleaning 499 clauses out of 1019 for limit 54954.45331086257 736.04/733.59 c cleaning 502 clauses out of 1021 for limit 90540.2590086283 736.04/733.60 c cleaning 502 clauses out of 1019 for limit 149606.05726303547 736.15/733.61 c cleaning 496 clauses out of 1016 for limit 247201.45858462944 736.15/733.62 c cleaning 507 clauses out of 1022 for limit 406086.68668898643 736.15/733.63 c cleaning 499 clauses out of 1014 for limit 674299.8571518217 736.15/733.64 c cleaning 496 clauses out of 1014 for limit 1110898.6599937268 736.15/733.65 c cleaning 498 clauses out of 1020 for limit 1824891.871346217 736.15/733.66 c cleaning 502 clauses out of 1021 for limit 3003536.6908767004 736.15/733.68 c cleaning 500 clauses out of 1019 for limit 4962955.563492542 736.15/733.69 c cleaning 503 clauses out of 1018 for limit 8184424.899172962 736.15/733.70 c cleaning 507 clauses out of 1015 for limit 1.353710478762365E7 736.25/733.71 c cleaning 504 clauses out of 1009 for limit 2.2479728695607956E7 736.25/733.72 c cleaning 496 clauses out of 1005 for limit 3.721963047013948E7 736.25/733.73 c cleaning 503 clauses out of 1009 for limit 6.113681917476248E7 736.25/733.74 c cleaning 495 clauses out of 1006 for limit 1.0112345795083283E8 736.25/733.75 c cleaning 497 clauses out of 1010 for limit 1.6593954472229263E8 736.25/733.77 c cleaning 497 clauses out of 1014 for limit 2.728498452344058E8 736.25/733.78 c cleaning 508 clauses out of 1016 for limit 4.486310562166687E8 736.25/733.79 c cleaning 504 clauses out of 1008 for limit 7.45724474748102E8 736.34/733.80 c cleaning 500 clauses out of 1004 for limit 1.234699019378299E9 736.34/733.81 c cleaning 495 clauses out of 1005 for limit 2.0361939984428847E9 736.34/733.82 c cleaning 504 clauses out of 1009 for limit 3.3412996392595773E9 736.34/733.83 c cleaning 495 clauses out of 1005 for limit 5.532181439874286E9 736.34/733.84 c cleaning 505 clauses out of 1010 for limit 9.07814238883847E9 736.34/733.86 c cleaning 502 clauses out of 1005 for limit 1.5045554192905024E10 736.34/733.87 c cleaning 501 clauses out of 1003 for limit 2.486160745806808E10 736.34/733.88 c cleaning 493 clauses out of 1002 for limit 4.10410349047614E10 736.34/733.89 c cleaning 493 clauses out of 1010 for limit 6.721327391077536E10 736.44/733.90 c cleaning 508 clauses out of 1016 for limit 1.1007890255489236E11 736.44/733.91 c cleaning 497 clauses out of 1008 for limit 1.8297558907502274E11 736.44/733.92 c cleaning 506 clauses out of 1012 for limit 3.008593912256705E11 736.44/733.93 c cleaning 503 clauses out of 1006 for limit 4.99116573551673E11 736.44/733.94 c cleaning 493 clauses out of 1002 for limit 8.255694728037698E11 736.44/733.95 c cleaning 496 clauses out of 1009 for limit 1.352029189661359E12 736.44/733.96 c cleaning 497 clauses out of 1013 for limit 2.220872752246279E12 736.44/733.97 c cleaning 508 clauses out of 1017 for limit 3.651762857277108E12 736.44/733.98 c cleaning 494 clauses out of 1008 for limit 6.069939509110889E12 736.44/734.00 c cleaning 500 clauses out of 1016 for limit 9.951214732860994E12 736.54/734.01 c cleaning 507 clauses out of 1015 for limit 1.6410625650434373E13 736.54/734.02 c cleaning 504 clauses out of 1008 for limit 2.7251256773676414E13 736.54/734.03 c cleaning 501 clauses out of 1003 for limit 4.511983576884418E13 736.54/734.04 c cleaning 493 clauses out of 1002 for limit 7.448290533142108E13 736.54/734.05 c cleaning 497 clauses out of 1009 for limit 1.2198011851971802E14 736.54/734.06 c cleaning 499 clauses out of 1012 for limit 2.0056520499026912E14 736.54/734.07 c cleaning 501 clauses out of 1014 for limit 3.304369067410545E14 736.54/734.08 c cleaning 497 clauses out of 1012 for limit 5.454655986410991E14 736.54/734.09 c cleaning 507 clauses out of 1015 for limit 8.968869873500991E14 736.64/734.10 c cleaning 504 clauses out of 1008 for limit 1.4893580604344385E15 736.64/734.11 c cleaning 502 clauses out of 1005 for limit 2.4659484259268515E15 736.64/734.12 c cleaning 500 clauses out of 1003 for limit 4.0747878736261345E15 736.64/734.14 c cleaning 491 clauses out of 1002 for limit 6.719850199606511E15 736.64/734.15 c cleaning 495 clauses out of 1011 for limit 1.0983279731470774E16 736.64/734.16 c cleaning 508 clauses out of 1016 for limit 1.8023759318509308E16 736.64/734.17 c cleaning 504 clauses out of 1008 for limit 2.9959491801856752E16 736.64/734.18 c cleaning 495 clauses out of 1006 for limit 4.960459454422913E-4 736.64/734.19 c cleaning 497 clauses out of 1010 for limit 8.139915309072472E-4 736.74/734.20 c cleaning 495 clauses out of 1013 for limit 0.0013384054665231163 736.74/734.21 c cleaning 494 clauses out of 1017 for limit 0.0021963298772927423 736.74/734.22 c cleaning 504 clauses out of 1023 for limit 0.003600798140563092 736.74/734.23 c cleaning 502 clauses out of 1019 for limit 0.005961507743144717 736.74/734.24 c cleaning 499 clauses out of 1017 for limit 0.0098506577547614 736.74/734.25 c cleaning 498 clauses out of 1018 for limit 0.016229094623197438 736.74/734.26 c cleaning 502 clauses out of 1020 for limit 0.02671146979343575 736.74/734.27 c cleaning 505 clauses out of 1020 for limit 0.04413902098883049 736.74/734.28 c cleaning 499 clauses out of 1015 for limit 0.07314972751884866 736.74/734.30 c cleaning 497 clauses out of 1014 for limit 0.12051127005011293 736.84/734.31 c cleaning 497 clauses out of 1018 for limit 0.19815646187073285 736.84/734.32 c cleaning 500 clauses out of 1020 for limit 0.325819610893782 736.84/734.33 c cleaning 502 clauses out of 1021 for limit 0.5373311884325217 736.84/734.34 c cleaning 504 clauses out of 1018 for limit 0.8878536582577897 736.84/734.35 c cleaning 497 clauses out of 1014 for limit 1.4699653527000092 736.84/734.36 c cleaning 501 clauses out of 1017 for limit 2.41701857252675 736.84/734.37 c cleaning 499 clauses out of 1016 for limit 3.9899101845771336 736.84/734.38 c cleaning 502 clauses out of 1017 for limit 6.573425747770767 736.84/734.40 c cleaning 496 clauses out of 1015 for limit 10.86181894446985 736.94/734.41 c cleaning 500 clauses out of 1020 for limit 17.842628309865102 736.94/734.42 c cleaning 500 clauses out of 1020 for limit 29.424881027078715 736.94/734.43 c cleaning 501 clauses out of 1019 for limit 48.52461278840046 736.94/734.44 c cleaning 502 clauses out of 1020 for limit 80.10525390896746 736.94/734.45 c cleaning 503 clauses out of 1016 for limit 132.3592594487497 736.94/734.46 c cleaning 497 clauses out of 1013 for limit 218.92455631244485 736.94/734.47 c cleaning 498 clauses out of 1016 for limit 359.96982973396416 736.94/734.49 c cleaning 501 clauses out of 1018 for limit 592.4721214299842 737.04/734.50 c cleaning 496 clauses out of 1017 for limit 978.02652106172 737.04/734.51 c cleaning 501 clauses out of 1021 for limit 1606.5776816745406 737.04/734.52 c cleaning 498 clauses out of 1020 for limit 2652.0590324937234 737.04/734.53 c cleaning 502 clauses out of 1022 for limit 4365.041226326799 737.04/734.54 c cleaning 503 clauses out of 1021 for limit 7212.800204096897 737.04/734.55 c cleaning 499 clauses out of 1018 for limit 11929.926099318189 737.04/734.56 c cleaning 501 clauses out of 1019 for limit 19654.736887577717 737.04/734.57 c cleaning 499 clauses out of 1017 for limit 32444.556408651795 737.04/734.59 c cleaning 501 clauses out of 1018 for limit 53452.85452731981 737.14/734.60 c cleaning 500 clauses out of 1017 for limit 88237.58530273841 737.14/734.61 c cleaning 502 clauses out of 1017 for limit 145515.58237719184 737.14/734.62 c cleaning 501 clauses out of 1016 for limit 240451.30890876497 737.14/734.63 c cleaning 496 clauses out of 1014 for limit 396921.1799211337 737.14/734.64 c cleaning 500 clauses out of 1018 for limit 652004.1165062804 737.14/734.65 c cleaning 497 clauses out of 1019 for limit 1075262.080411239 737.14/734.66 c cleaning 501 clauses out of 1023 for limit 1768085.5693434132 737.14/734.67 c cleaning 500 clauses out of 1020 for limit 2918539.6980875586 737.14/734.68 c cleaning 510 clauses out of 1020 for limit 4813062.397402015 737.14/734.69 c cleaning 498 clauses out of 1011 for limit 8016059.035048561 737.25/734.71 c cleaning 506 clauses out of 1012 for limit 1.319328442695289E7 737.25/734.72 c cleaning 503 clauses out of 1009 for limit 2.1887778942049216E7 737.25/734.73 c cleaning 493 clauses out of 1005 for limit 3.62033012057723E7 737.25/734.74 c cleaning 505 clauses out of 1010 for limit 5.9289764457111016E7 737.25/734.75 c cleaning 491 clauses out of 1005 for limit 9.826320474118197E7 737.25/734.76 c cleaning 507 clauses out of 1015 for limit 1.6061323972714728E8 737.25/734.77 c cleaning 503 clauses out of 1007 for limit 2.667099937803331E8 737.25/734.78 c cleaning 491 clauses out of 1004 for limit 4.411547238898193E8 737.25/734.79 c cleaning 506 clauses out of 1013 for limit 7.210594757578425E8 737.25/734.80 c cleaning 495 clauses out of 1007 for limit 1.1962086823419504E9 737.36/734.81 c cleaning 506 clauses out of 1012 for limit 1.9629615613816566E9 737.36/734.82 c cleaning 503 clauses out of 1006 for limit 3.256493488666146E9 737.36/734.84 c cleaning 492 clauses out of 1003 for limit 5.386456399967766E9 737.36/734.85 c cleaning 492 clauses out of 1012 for limit 8.812801093944326E9 737.36/734.86 c cleaning 505 clauses out of 1020 for limit 1.441949981849448E10 737.36/734.87 c cleaning 507 clauses out of 1014 for limit 2.389647200504758E10 737.36/734.88 c cleaning 503 clauses out of 1007 for limit 3.968242091086718E10 737.36/734.89 c cleaning 494 clauses out of 1004 for limit 6.563716339265304E10 737.45/734.90 c cleaning 495 clauses out of 1010 for limit 1.076014268019577E11 737.45/734.91 c cleaning 499 clauses out of 1015 for limit 1.765750137264559E11 737.45/734.92 c cleaning 503 clauses out of 1017 for limit 2.9091407701597003E11 737.45/734.93 c cleaning 496 clauses out of 1014 for limit 4.811756279208001E11 737.45/734.94 c cleaning 502 clauses out of 1018 for limit 7.904050124742448E11 737.45/734.96 c cleaning 500 clauses out of 1016 for limit 1.306049516667279E12 737.45/734.97 c cleaning 507 clauses out of 1015 for limit 2.153816420841659E12 737.45/734.98 c cleaning 504 clauses out of 1008 for limit 3.5765976007235996E12 737.45/734.99 c cleaning 494 clauses out of 1004 for limit 5.92178706728902E12 737.55/735.00 c cleaning 498 clauses out of 1010 for limit 9.707804309669516E12 737.55/735.01 c cleaning 506 clauses out of 1013 for limit 1.5978033980086564E13 737.55/735.02 c cleaning 503 clauses out of 1006 for limit 2.650673158433482E13 737.55/735.03 c cleaning 492 clauses out of 1004 for limit 4.3844068438973805E13 737.55/735.04 c cleaning 493 clauses out of 1011 for limit 7.173230385173345E13 737.55/735.05 c cleaning 509 clauses out of 1018 for limit 1.1748273383589095E14 737.55/735.06 c cleaning 504 clauses out of 1009 for limit 1.9547289401200638E14 737.55/735.07 c cleaning 495 clauses out of 1005 for limit 3.236439807868798E14 737.55/735.09 c cleaning 497 clauses out of 1011 for limit 5.310957661300134E14 737.55/735.10 c cleaning 495 clauses out of 1013 for limit 8.732446321934095E14 737.65/735.11 c cleaning 509 clauses out of 1019 for limit 1.4330507965390848E15 737.65/735.12 c cleaning 504 clauses out of 1009 for limit 2.3843278846050165E15 737.65/735.13 c cleaning 503 clauses out of 1006 for limit 3.947749272387695E15 737.65/735.14 c cleaning 494 clauses out of 1004 for limit 6.529865393920034E15 737.65/735.15 c cleaning 497 clauses out of 1008 for limit 1.0704447906974386E16 737.65/735.16 c cleaning 506 clauses out of 1013 for limit 1.7601118641034298E16 737.65/735.17 c cleaning 503 clauses out of 1006 for limit 2.9199345049797E16 737.65/735.18 c cleaning 501 clauses out of 1002 for limit 4.829751039409356E16 737.65/735.19 c cleaning 496 clauses out of 1001 for limit 7.972862525148556E-4 737.75/735.20 c cleaning 498 clauses out of 1005 for limit 0.0013095985284906422 737.75/735.22 c cleaning 495 clauses out of 1007 for limit 0.002155413787765674 737.75/735.23 c cleaning 499 clauses out of 1014 for limit 0.003537097918994777 737.75/735.24 c cleaning 500 clauses out of 1013 for limit 0.005827233969821137 737.75/735.25 c cleaning 500 clauses out of 1014 for limit 0.009610021183367002 737.75/735.26 c cleaning 498 clauses out of 1013 for limit 0.015847991509416834 737.75/735.27 c cleaning 500 clauses out of 1015 for limit 0.02608395966578561 737.75/735.28 c cleaning 500 clauses out of 1015 for limit 0.0430159389385758 737.75/735.29 c cleaning 500 clauses out of 1016 for limit 0.07094015614754061 737.85/735.30 c cleaning 501 clauses out of 1015 for limit 0.11698796351728888 737.85/735.31 c cleaning 497 clauses out of 1015 for limit 0.19312192413390689 737.85/735.33 c cleaning 503 clauses out of 1018 for limit 0.3175453306580493 737.85/735.34 c cleaning 495 clauses out of 1015 for limit 0.5252225377952947 737.85/735.35 c cleaning 500 clauses out of 1019 for limit 0.8618994176592862 737.85/735.36 c cleaning 502 clauses out of 1020 for limit 1.4214153408016588 737.85/735.37 c cleaning 499 clauses out of 1017 for limit 2.3486677929234974 737.85/735.38 c cleaning 505 clauses out of 1019 for limit 3.8695348295416263 737.85/735.39 c cleaning 499 clauses out of 1015 for limit 6.412941830748784 737.95/735.40 c cleaning 502 clauses out of 1016 for limit 10.56538973594292 737.95/735.42 c cleaning 496 clauses out of 1012 for limit 17.457641902319807 737.95/735.43 c cleaning 499 clauses out of 1016 for limit 28.676640533206726 737.95/735.44 c cleaning 500 clauses out of 1017 for limit 47.24511543372652 737.95/735.45 c cleaning 500 clauses out of 1018 for limit 77.91489471336749 737.95/735.46 c cleaning 499 clauses out of 1018 for limit 128.4920846504781 737.95/735.47 c cleaning 499 clauses out of 1018 for limit 211.6887363152409 737.95/735.48 c cleaning 500 clauses out of 1020 for limit 348.76729691795583 737.95/735.49 c cleaning 501 clauses out of 1019 for limit 575.152641080402 738.05/735.50 c cleaning 501 clauses out of 1018 for limit 949.4353801486957 738.05/735.52 c cleaning 502 clauses out of 1017 for limit 1567.2855282684777 738.05/735.53 c cleaning 500 clauses out of 1015 for limit 2589.7564368340404 738.05/735.54 c cleaning 499 clauses out of 1015 for limit 4270.854815757195 738.05/735.55 c cleaning 502 clauses out of 1016 for limit 7036.278641690824 738.05/735.56 c cleaning 497 clauses out of 1014 for limit 11626.65188667752 738.05/735.57 c cleaning 498 clauses out of 1017 for limit 19117.344156980114 738.05/735.58 c cleaning 500 clauses out of 1019 for limit 31465.179561523455 738.05/735.59 c cleaning 501 clauses out of 1020 for limit 51891.308908516316 738.15/735.61 c cleaning 500 clauses out of 1018 for limit 85658.09161735553 738.15/735.62 c cleaning 503 clauses out of 1020 for limit 141267.06143552615 738.15/735.63 c cleaning 500 clauses out of 1016 for limit 233651.5951592104 738.15/735.64 c cleaning 498 clauses out of 1016 for limit 385322.7377687219 738.15/735.65 c cleaning 499 clauses out of 1017 for limit 634189.0915303824 738.15/735.66 c cleaning 501 clauses out of 1018 for limit 1044835.2822400422 738.15/735.67 c cleaning 499 clauses out of 1017 for limit 1724767.4265337181 738.15/735.69 c cleaning 501 clauses out of 1018 for limit 2841578.1428092476 738.25/735.70 c cleaning 498 clauses out of 1017 for limit 4690750.306747014 738.25/735.71 c cleaning 510 clauses out of 1021 for limit 7720802.389676367 738.25/735.72 c cleaning 493 clauses out of 1010 for limit 1.2858436976144366E7 738.25/735.73 c cleaning 508 clauses out of 1017 for limit 2.105932701281367E7 738.25/735.74 c cleaning 501 clauses out of 1008 for limit 3.500469391533223E7 738.25/735.75 c cleaning 502 clauses out of 1007 for limit 5.778474925068513E7 738.25/735.76 c cleaning 495 clauses out of 1005 for limit 9.548442317668948E7 738.25/735.77 c cleaning 495 clauses out of 1010 for limit 1.566870499341022E8 738.25/735.79 c cleaning 501 clauses out of 1015 for limit 2.5712501046843538E8 738.25/735.80 c cleaning 502 clauses out of 1016 for limit 4.244646888977698E8 738.36/735.81 c cleaning 499 clauses out of 1013 for limit 7.01370031308632E8 738.36/735.82 c cleaning 507 clauses out of 1014 for limit 1.155512325791023E9 738.36/735.83 c cleaning 504 clauses out of 1008 for limit 1.9188560868402157E9 738.36/735.84 c cleaning 495 clauses out of 1002 for limit 3.177035576903297E9 738.36/735.85 c cleaning 504 clauses out of 1008 for limit 5.213383419028384E9 738.36/735.86 c cleaning 497 clauses out of 1004 for limit 8.631819945686728E9 738.36/735.87 c cleaning 496 clauses out of 1006 for limit 1.4192518858897768E10 738.36/735.89 c cleaning 505 clauses out of 1010 for limit 2.331266773560845E10 738.36/735.90 c cleaning 503 clauses out of 1006 for limit 3.863721065698016E10 738.46/735.91 c cleaning 497 clauses out of 1003 for limit 6.390851120830521E10 738.46/735.92 c cleaning 498 clauses out of 1006 for limit 1.050793892283282E11 738.46/735.93 c cleaning 503 clauses out of 1007 for limit 1.7294476684947595E11 738.46/735.94 c cleaning 494 clauses out of 1005 for limit 2.860626995836386E11 738.46/735.95 c cleaning 497 clauses out of 1011 for limit 4.689559235397603E11 738.46/735.96 c cleaning 506 clauses out of 1013 for limit 7.710723170520421E11 738.46/735.97 c cleaning 503 clauses out of 1007 for limit 1.2791779754392146E12 738.46/735.98 c cleaning 491 clauses out of 1004 for limit 2.1158390001148782E12 738.46/735.99 c cleaning 495 clauses out of 1013 for limit 3.4583008581630186E12 738.55/736.00 c cleaning 509 clauses out of 1018 for limit 5.675188966778783E12 738.55/736.02 c cleaning 502 clauses out of 1009 for limit 9.442626802938355E12 738.55/736.03 c cleaning 495 clauses out of 1007 for limit 1.560308262497498E13 738.55/736.04 c cleaning 493 clauses out of 1012 for limit 2.560443832586432E13 738.55/736.05 c cleaning 510 clauses out of 1020 for limit 4.193590240144686E13 738.55/736.06 c cleaning 504 clauses out of 1009 for limit 6.9841952761274555E13 738.55/736.07 c cleaning 497 clauses out of 1006 for limit 1.1563783654743986E14 738.55/736.08 c cleaning 504 clauses out of 1008 for limit 1.9013356083061703E14 738.55/736.09 c cleaning 494 clauses out of 1004 for limit 3.148049032288577E14 738.65/736.10 c cleaning 497 clauses out of 1012 for limit 5.1608305404477506E14 738.65/736.11 c cleaning 507 clauses out of 1014 for limit 8.485619066636064E14 738.65/736.13 c cleaning 503 clauses out of 1006 for limit 1.4091099488215682E15 738.65/736.14 c cleaning 501 clauses out of 1003 for limit 2.330761393659986E15 738.65/736.15 c cleaning 493 clauses out of 1003 for limit 3.847584926752925E15 1800.01/1795.71 c starts : 28 1800.01/1795.71 c conflicts : 7035011 1800.01/1795.71 c decisions : 9906226 1800.01/1795.71 c propagations : 65224846 1800.01/1795.71 c inspects : 2674363544 1800.01/1795.71 c learnt literals : 0 1800.01/1795.71 c learnt binary clauses : 0 1800.01/1795.71 c learnt ternary clauses : 0 1800.01/1795.71 c learnt clauses : 7035011 1800.01/1795.71 c root simplifications : 0 1800.01/1795.71 c removed literals (reason simplification) : 0 1800.01/1795.71 c reason swapping (by a shorter reason) : 0 1800.01/1795.71 c Calls to reduceDB : 520 1800.01/1795.71 c speed (decisions/second) : 5517.2120725386 1800.01/1795.71 c non guided choices 334 1800.01/1795.71 s SATISFIABLE 1800.01/1795.71 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 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 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 -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 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.01/1795.71 c objective function=74 1800.01/1795.71 c Total wall clock time (ms): 1795.597
OK 74
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-3732770-1338691796/watcher-3732770-1338691796 -o /tmp/evaluation-result-3732770-1338691796/solver-3732770-1338691796 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732770-1338691796.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/194 31593 /proc/meminfo: memFree=30074588/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/31593/stat : 31593 (java) R 31591 31593 28219 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 335304491 9515008 181 33554432000 1073741824 1073778376 140733620402720 140733620385448 240565216138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/31593/statm: 2331 183 140 9 0 79 0 [startup+0.013035 s] /proc/loadavg: 2.02 2.01 2.00 3/194 31593 /proc/meminfo: memFree=30074588/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 335304491 95129600 926 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 23225 926 703 9 0 16769 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 92900 [startup+0.10017 s] /proc/loadavg: 2.02 2.01 2.00 3/194 31593 /proc/meminfo: memFree=30074588/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=2957856 CPUtime=0.07 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 4137 0 1 0 6 1 0 0 20 0 18 0 335304491 3028844544 5855 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 739464 5855 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2957856 [startup+0.300156 s] /proc/loadavg: 2.02 2.01 2.00 3/194 31593 /proc/meminfo: memFree=30074588/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=0.46 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 7248 0 1 0 44 2 0 0 20 0 19 0 335304491 3097006080 9142 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 9142 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 3024420 [startup+0.700178 s] /proc/loadavg: 2.02 2.01 2.00 3/194 31593 /proc/meminfo: memFree=30074588/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=0.99 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 7890 0 1 0 97 2 0 0 20 0 19 0 335304491 3097006080 10776 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 10776 2260 9 0 746526 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 3024420 [startup+1.50084 s] /proc/loadavg: 2.01 2.01 2.00 3/213 31614 /proc/meminfo: memFree=30034320/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=1.79 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 7899 0 1 0 177 2 0 0 20 0 19 0 335304491 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 14361 2260 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3054 0 1 0 144 1 0 0 20 0 19 0 335304492 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521553019088 140521415108673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304495 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.14 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1469 0 0 0 14 0 0 0 20 0 19 0 335304498 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.15 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2176 0 0 0 15 0 0 0 20 0 19 0 335304498 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 14361 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 3024420 [startup+3.10084 s] /proc/loadavg: 2.01 2.01 2.00 3/213 31614 /proc/meminfo: memFree=30015516/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=3.39 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 7912 0 1 0 336 3 0 0 20 0 19 0 335304491 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 21017 2260 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=3.04 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3067 0 1 0 302 2 0 0 20 0 19 0 335304492 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521553019240 140521414858565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304495 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.14 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1469 0 0 0 14 0 0 0 20 0 19 0 335304498 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.16 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2176 0 0 0 16 0 0 0 20 0 19 0 335304498 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 21017 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.39 Current children cumulated vsize (KiB) 3024420 [startup+6.30081 s] /proc/loadavg: 2.01 2.01 2.00 3/214 31617 /proc/meminfo: memFree=29966820/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=6.59 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 7938 0 1 0 655 4 0 0 20 0 19 0 335304491 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 32884 2261 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=6.23 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3092 0 1 0 620 3 0 0 20 0 19 0 335304492 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521553019152 140521415108722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304494 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335304495 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.14 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1469 0 0 0 14 0 0 0 20 0 19 0 335304498 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.16 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2176 0 0 0 16 0 0 0 20 0 19 0 335304498 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 32884 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.59 Current children cumulated vsize (KiB) 3024420 [startup+12.7008 s] ################ # More data... # ################ [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.21 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1913 0 0 0 21 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.2 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2201 0 0 0 20 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0.53 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 100 0 0 0 27 26 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1726.61 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/213 31713 /proc/meminfo: memFree=28406760/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=1786.6 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 11997 0 1 0 178508 152 0 0 20 0 19 0 335304491 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 419705 2291 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=1770.61 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3254 0 1 0 177027 34 0 0 20 0 19 0 335304492 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521553018064 140521415217472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 225 0 0 0 35 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 359 0 0 0 40 11 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 572 0 0 0 57 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 634 0 0 0 48 22 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 299 0 0 0 43 16 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 444 0 0 0 55 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0.5 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 252 0 0 0 38 12 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0.77 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 314 0 0 0 64 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=5.76 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 238 0 0 0 568 8 0 0 20 0 19 0 335304495 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.21 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1913 0 0 0 21 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.2 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2201 0 0 0 20 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0.54 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 104 0 0 0 28 26 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.7 s] /proc/loadavg: 2.01 2.00 2.00 3/213 31713 /proc/meminfo: memFree=28406760/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 11997 0 1 0 179849 152 0 0 20 0 19 0 335304491 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 419705 2291 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=1783.98 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3254 0 1 0 178363 35 0 0 20 0 19 0 335304492 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521553018064 140521415217501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 225 0 0 0 35 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 359 0 0 0 40 11 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 572 0 0 0 57 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 634 0 0 0 48 22 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 299 0 0 0 43 16 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 444 0 0 0 55 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0.5 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 252 0 0 0 38 12 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0.77 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 314 0 0 0 64 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=5.76 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 238 0 0 0 568 8 0 0 20 0 19 0 335304495 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.21 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1913 0 0 0 21 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.2 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2201 0 0 0 20 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 104 0 0 0 29 26 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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+1795.7 s] /proc/loadavg: 2.01 2.00 2.00 3/213 31713 /proc/meminfo: memFree=28406760/32873844 swapFree=7116/7116 [pid=31593] ppid=31591 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7 /proc/31593/stat : 31593 (java) S 31591 31593 28219 0 -1 4202496 11997 0 1 0 179849 152 0 0 20 0 19 0 335304491 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140734964936256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31593/statm: 756105 419705 2291 9 0 746526 0 [pid=31593/tid=31595] ppid=31591 vsize=3024420 CPUtime=1783.98 cores=1,3,5,7 /proc/31593/task/31595/stat : 31595 (java) R 31591 31593 28219 0 -1 4202560 3254 0 1 0 178363 35 0 0 20 0 19 0 335304492 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521553018064 140521415217501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31596] ppid=31591 vsize=3024420 CPUtime=0.48 cores=1,3,5,7 /proc/31593/task/31596/stat : 31596 (java) S 31591 31593 28219 0 -1 4202560 225 0 0 0 35 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521536445352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31597] ppid=31591 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/31593/task/31597/stat : 31597 (java) S 31591 31593 28219 0 -1 4202560 359 0 0 0 40 11 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521535392808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31598] ppid=31591 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/31593/task/31598/stat : 31598 (java) S 31591 31593 28219 0 -1 4202560 572 0 0 0 57 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521534339752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31599] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31599/stat : 31599 (java) S 31591 31593 28219 0 -1 4202560 634 0 0 0 48 22 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521533287208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31600] ppid=31591 vsize=3024420 CPUtime=0.59 cores=1,3,5,7 /proc/31593/task/31600/stat : 31600 (java) S 31591 31593 28219 0 -1 4202560 299 0 0 0 43 16 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521414584744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31593/tid=31601] ppid=31591 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/31593/task/31601/stat : 31601 (java) S 31591 31593 28219 0 -1 4202560 444 0 0 0 55 15 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521413532200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31602] ppid=31591 vsize=3024420 CPUtime=0.5 cores=1,3,5,7 /proc/31593/task/31602/stat : 31602 (java) S 31591 31593 28219 0 -1 4202560 252 0 0 0 38 12 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521412479144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31593/tid=31603] ppid=31591 vsize=3024420 CPUtime=0.77 cores=1,3,5,7 /proc/31593/task/31603/stat : 31603 (java) S 31591 31593 28219 0 -1 4202560 314 0 0 0 64 13 0 0 20 0 19 0 335304494 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521411426600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31604] ppid=31591 vsize=3024420 CPUtime=5.76 cores=1,3,5,7 /proc/31593/task/31604/stat : 31604 (java) S 31591 31593 28219 0 -1 4202560 238 0 0 0 568 8 0 0 20 0 19 0 335304495 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140521399016296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31605] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31605/stat : 31605 (java) S 31591 31593 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520793827192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31606] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31606/stat : 31606 (java) S 31591 31593 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335304496 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520792774024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31607] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31607/stat : 31607 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520791722768 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31608] ppid=31591 vsize=3024420 CPUtime=0.21 cores=1,3,5,7 /proc/31593/task/31608/stat : 31608 (java) S 31591 31593 28219 0 -1 4202560 1913 0 0 0 21 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520790669624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31609] ppid=31591 vsize=3024420 CPUtime=0.2 cores=1,3,5,7 /proc/31593/task/31609/stat : 31609 (java) S 31591 31593 28219 0 -1 4202560 2201 0 0 0 20 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520789617080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31610] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31610/stat : 31610 (java) S 31591 31593 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520788564216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31593/tid=31611] ppid=31591 vsize=3024420 CPUtime=0.55 cores=1,3,5,7 /proc/31593/task/31611/stat : 31611 (java) S 31591 31593 28219 0 -1 4202560 104 0 0 0 29 26 0 0 20 0 19 0 335304498 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520787511880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31593/tid=31614] ppid=31591 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31593/task/31614/stat : 31614 (java) S 31591 31593 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335304511 3097006080 419705 33554432000 1073741824 1073778376 140734964945120 140520785380648 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31593 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=948278 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=2695 # CPU time returned by wait4() is 1795.95 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.72 CPU time (s): 1800.01 CPU user time (s): 1798.49 CPU system time (s): 1.52 CPU usage (%): 100.239 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.95 system time used= 2.0027 maximum resident set size= 1678932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12028 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38141 involuntary context switches= 7219 runsolver used 7.57085 second user time and 13.5629 second system time The end
Begin job on node146 at 2012-06-03 04:49:56 IDJOB=3732770 IDBENCH=2214 IDSOLVER=2319 FILE ID=node146/3732770-1338691796 RUNJOBID= node146-1338678624-28239 PBS_JOBID= 14636667 Free space on /tmp= 70908 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732770-1338691796/watcher-3732770-1338691796 -o /tmp/evaluation-result-3732770-1338691796/solver-3732770-1338691796 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732770-1338691796.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=1179856263 node146.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 : 2667.034 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 : 5334.06 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 : 2667.034 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.92 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 : 2667.034 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 : 5331.91 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 : 2667.034 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 : 2667.034 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 : 2667.034 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 : 2667.034 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 : 2667.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30074952 kB Buffers: 136624 kB Cached: 235328 kB SwapCached: 1796 kB Active: 1802548 kB Inactive: 225384 kB Active(anon): 1656828 kB Inactive(anon): 1664 kB Active(file): 145720 kB Inactive(file): 223720 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67099884 kB Dirty: 3624 kB Writeback: 0 kB AnonPages: 1680588 kB Mapped: 17228 kB Shmem: 0 kB Slab: 610144 kB SReclaimable: 50240 kB SUnreclaim: 559904 kB KernelStack: 1608 kB PageTables: 7604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1825068 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1646592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70904 MiB End job on node146 at 2012-06-03 05:19:53