Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -2037 | 1800.06 | 1774.74 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.opb |
| MD5SUM | 43d918250d1c997ffe2500aba0f26bf3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -2037 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| 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 | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 1782 |
| Biggest coefficient in the objective function | 1072 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 131872 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1072 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 131872 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 1757 |
| Sum of products size (including duplicates) | 5534 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 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 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4119574-1467262254.opb 0.08/0.11 c reading problem ... 0.08/0.12 c objective function found 0.47/0.34 c ... done. Wall clock time 0.223s. 0.47/0.34 c declared #vars 25 0.47/0.34 c internal #vars 1782 0.47/0.34 c #constraints 3514 0.47/0.34 c constraints type 0.47/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1757 0.47/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1757 0.47/0.34 c 3514 constraints processed. 0.47/0.34 c objective function length is 1782 literals 0.47/0.37 c SATISFIABLE 0.47/0.37 c OPTIMIZING... 0.47/0.37 c Got one! Elapsed wall clock time (in seconds):0.255 0.47/0.37 o 0 0.73/0.40 c Got one! Elapsed wall clock time (in seconds):0.289 0.73/0.40 o -66 0.73/0.44 c Got one! Elapsed wall clock time (in seconds):0.328 0.73/0.44 o -132 0.73/0.48 c Got one! Elapsed wall clock time (in seconds):0.366 0.73/0.48 o -233 1.02/0.52 c Got one! Elapsed wall clock time (in seconds):0.408 1.02/0.52 o -308 1.02/0.56 c Got one! Elapsed wall clock time (in seconds):0.444 1.02/0.56 o -334 1.02/0.57 c Got one! Elapsed wall clock time (in seconds):0.453 1.02/0.57 o -447 1.02/0.58 c Got one! Elapsed wall clock time (in seconds):0.464 1.02/0.58 o -451 1.02/0.59 c Got one! Elapsed wall clock time (in seconds):0.474 1.02/0.59 o -564 1.33/0.60 c Got one! Elapsed wall clock time (in seconds):0.49 1.33/0.60 o -568 1.33/0.61 c Got one! Elapsed wall clock time (in seconds):0.498 1.33/0.61 o -698 1.33/0.62 c Got one! Elapsed wall clock time (in seconds):0.51 1.33/0.62 o -701 1.33/0.64 c Got one! Elapsed wall clock time (in seconds):0.523 1.33/0.64 o -799 1.33/0.65 c Got one! Elapsed wall clock time (in seconds):0.539 1.33/0.65 o -804 1.33/0.66 c Got one! Elapsed wall clock time (in seconds):0.549 1.33/0.66 o -831 1.33/0.67 c Got one! Elapsed wall clock time (in seconds):0.557 1.33/0.67 o -834 1.33/0.68 c Got one! Elapsed wall clock time (in seconds):0.571 1.33/0.68 o -880 1.58/0.75 c Got one! Elapsed wall clock time (in seconds):0.633 1.58/0.75 o -977 1.58/0.77 c Got one! Elapsed wall clock time (in seconds):0.653 1.58/0.77 o -980 1.58/0.78 c Got one! Elapsed wall clock time (in seconds):0.667 1.58/0.78 o -1106 1.74/0.84 c Got one! Elapsed wall clock time (in seconds):0.724 1.74/0.84 o -1114 1.74/0.87 c Got one! Elapsed wall clock time (in seconds):0.754 1.74/0.87 o -1126 1.84/0.90 c Got one! Elapsed wall clock time (in seconds):0.783 1.84/0.90 o -1241 1.94/1.03 c Got one! Elapsed wall clock time (in seconds):0.917 1.94/1.03 o -1267 1.94/1.08 c Got one! Elapsed wall clock time (in seconds):0.97 1.94/1.08 o -1269 1.94/1.09 c Got one! Elapsed wall clock time (in seconds):0.98 1.94/1.09 o -1275 1.94/1.10 c Got one! Elapsed wall clock time (in seconds):0.986 1.94/1.10 o -1277 2.06/1.13 c Got one! Elapsed wall clock time (in seconds):1.014 2.06/1.13 o -1402 2.25/1.36 c Got one! Elapsed wall clock time (in seconds):1.25 2.25/1.36 o -1411 2.35/1.49 c Got one! Elapsed wall clock time (in seconds):1.372 2.35/1.49 o -1417 2.45/1.53 c Got one! Elapsed wall clock time (in seconds):1.418 2.45/1.53 o -1419 2.45/1.54 c Got one! Elapsed wall clock time (in seconds):1.428 2.45/1.54 o -1426 2.45/1.55 c Got one! Elapsed wall clock time (in seconds):1.433 2.45/1.55 o -1428 2.45/1.58 c Got one! Elapsed wall clock time (in seconds):1.47 2.45/1.58 o -1555 2.96/2.02 c Got one! Elapsed wall clock time (in seconds):1.907 2.96/2.02 o -1567 3.21/2.22 c Got one! Elapsed wall clock time (in seconds):2.108 3.21/2.22 o -1571 3.31/2.34 c Got one! Elapsed wall clock time (in seconds):2.227 3.31/2.34 o -1581 3.40/2.45 c Got one! Elapsed wall clock time (in seconds):2.341 3.40/2.45 o -1690 4.22/3.23 c cleaning 5243 clauses out of 10486 with flag 6003/10486 4.22/3.26 c Got one! Elapsed wall clock time (in seconds):3.144 4.22/3.26 o -1694 4.75/3.74 c Got one! Elapsed wall clock time (in seconds):3.629 4.75/3.74 o -1698 5.05/4.04 c Got one! Elapsed wall clock time (in seconds):3.923 5.05/4.06 o -1703 5.05/4.06 c Got one! Elapsed wall clock time (in seconds):3.945 5.05/4.06 o -1704 5.05/4.08 c Got one! Elapsed wall clock time (in seconds):3.963 5.05/4.08 o -1710 5.05/4.09 c Got one! Elapsed wall clock time (in seconds):3.975 5.05/4.09 o -1712 5.25/4.24 c Got one! Elapsed wall clock time (in seconds):4.123 5.25/4.24 o -1751 6.05/5.01 c cleaning 6190 clauses out of 12379 with flag 6003/17622 6.05/5.10 c Got one! Elapsed wall clock time (in seconds):4.982 6.05/5.10 o -1752 6.49/5.44 c Got one! Elapsed wall clock time (in seconds):5.322 6.49/5.44 o -1755 6.60/5.59 c Got one! Elapsed wall clock time (in seconds):5.479 6.60/5.59 o -1762 6.89/5.84 c Got one! Elapsed wall clock time (in seconds):5.722 6.89/5.84 o -1780 6.99/5.99 c Got one! Elapsed wall clock time (in seconds):5.88 6.99/5.99 o -1785 7.09/6.08 c Got one! Elapsed wall clock time (in seconds):5.965 7.09/6.08 o -1788 7.89/6.83 c Got one! Elapsed wall clock time (in seconds):6.718 7.89/6.83 o -1789 8.19/7.12 c cleaning 7304 clauses out of 14607 with flag 2003/26040 8.42/7.37 c Got one! Elapsed wall clock time (in seconds):7.253 8.42/7.37 o -1798 8.52/7.40 c Got one! Elapsed wall clock time (in seconds):7.29 8.52/7.40 o -1802 8.52/7.41 c Got one! Elapsed wall clock time (in seconds):7.299 8.52/7.41 o -1803 8.52/7.42 c Got one! Elapsed wall clock time (in seconds):7.309 8.52/7.42 o -1811 8.62/7.54 c Got one! Elapsed wall clock time (in seconds):7.427 8.62/7.54 o -1813 8.62/7.55 c Got one! Elapsed wall clock time (in seconds):7.44 8.62/7.55 o -1814 8.93/7.85 c Got one! Elapsed wall clock time (in seconds):7.74 8.93/7.85 o -1827 9.72/8.62 c cleaning 6681 clauses out of 13372 with flag 6001/32109 11.22/10.10 c cleaning 6346 clauses out of 12691 with flag 18001/38109 12.48/11.32 c Got one! Elapsed wall clock time (in seconds):11.203 12.48/11.32 o -1829 12.68/11.58 c cleaning 6142 clauses out of 12287 with flag 2002/44051 12.98/11.83 c Got one! Elapsed wall clock time (in seconds):11.72 12.98/11.83 o -1845 13.38/12.21 c Got one! Elapsed wall clock time (in seconds):12.099 13.38/12.21 o -1850 13.58/12.41 c Got one! Elapsed wall clock time (in seconds):12.299 13.58/12.41 o -1859 13.78/12.64 c Got one! Elapsed wall clock time (in seconds):12.529 13.78/12.64 o -1864 13.98/12.83 c Got one! Elapsed wall clock time (in seconds):12.716 13.98/12.83 o -1878 13.98/12.84 c Got one! Elapsed wall clock time (in seconds):12.727 13.98/12.84 o -1880 13.98/12.86 c Got one! Elapsed wall clock time (in seconds):12.749 13.98/12.86 o -1883 14.48/13.36 c Got one! Elapsed wall clock time (in seconds):13.247 14.48/13.36 o -1886 15.09/13.90 c cleaning 7671 clauses out of 15346 with flag 4003/53252 15.80/14.64 c Got one! Elapsed wall clock time (in seconds):14.531 15.80/14.64 o -1888 15.90/14.70 c Got one! Elapsed wall clock time (in seconds):14.589 15.90/14.70 o -1890 15.90/14.73 c Got one! Elapsed wall clock time (in seconds):14.622 15.90/14.73 o -1891 15.90/14.76 c Got one! Elapsed wall clock time (in seconds):14.651 15.90/14.76 o -1893 16.00/14.81 c Got one! Elapsed wall clock time (in seconds):14.701 16.00/14.81 o -1894 16.40/15.27 c Got one! Elapsed wall clock time (in seconds):15.155 16.40/15.27 o -1895 16.71/15.54 c cleaning 7205 clauses out of 14414 with flag 2003/59991 18.37/17.10 c cleaning 6600 clauses out of 13209 with flag 14003/65991 20.08/18.86 c cleaning 6803 clauses out of 13609 with flag 28003/72991 22.07/20.80 c cleaning 7401 clauses out of 14805 with flag 44001/80990 23.28/22.03 c Got one! Elapsed wall clock time (in seconds):21.92 23.28/22.03 o -1922 24.65/23.39 c cleaning 8846 clauses out of 17700 with flag 10004/91286 25.35/24.10 c Got one! Elapsed wall clock time (in seconds):23.983 25.35/24.10 o -1924 26.25/24.90 c cleaning 7395 clauses out of 14789 with flag 6005/97221 26.45/25.17 c Got one! Elapsed wall clock time (in seconds):25.057 26.45/25.17 o -1930 26.55/25.21 c Got one! Elapsed wall clock time (in seconds):25.097 26.55/25.21 o -1934 26.55/25.23 c Got one! Elapsed wall clock time (in seconds):25.114 26.55/25.23 o -1938 26.85/25.54 c Got one! Elapsed wall clock time (in seconds):25.425 26.85/25.54 o -1946 26.85/25.55 c Got one! Elapsed wall clock time (in seconds):25.441 26.85/25.55 o -1950 27.55/26.29 c cleaning 6586 clauses out of 13177 with flag 6072/103004 28.25/26.93 c Got one! Elapsed wall clock time (in seconds):26.816 28.25/26.93 o -1953 29.05/27.70 c cleaning 6274 clauses out of 12558 with flag 6113/108971 29.05/27.73 c Got one! Elapsed wall clock time (in seconds):27.612 29.05/27.73 o -1959 29.15/27.89 c Got one! Elapsed wall clock time (in seconds):27.777 29.15/27.89 o -1963 30.52/29.11 c cleaning 6045 clauses out of 12093 with flag 10253/114780 31.02/29.62 c Got one! Elapsed wall clock time (in seconds):29.503 31.02/29.62 o -1971 31.72/30.35 c cleaning 5700 clauses out of 11409 with flag 6005/120141 33.22/31.82 c cleaning 5850 clauses out of 11707 with flag 18001/126139 34.92/33.50 c cleaning 6425 clauses out of 12857 with flag 32001/133139 36.91/35.49 c cleaning 7216 clauses out of 14433 with flag 48003/141140 39.21/37.74 c cleaning 8104 clauses out of 16216 with flag 66001/150139 41.79/40.26 c cleaning 9051 clauses out of 18112 with flag 86001/160139 44.69/43.12 c cleaning 10031 clauses out of 20061 with flag 108001/171139 45.29/43.72 c Got one! Elapsed wall clock time (in seconds):43.602 45.29/43.72 o -1976 46.09/44.50 c cleaning 7765 clauses out of 15537 with flag 6004/176646 47.69/46.00 c cleaning 6884 clauses out of 13772 with flag 18004/182646 49.29/47.68 c cleaning 6944 clauses out of 13887 with flag 32002/189645 49.49/47.88 c Got one! Elapsed wall clock time (in seconds):47.77 49.49/47.88 o -1995 50.69/49.07 c cleaning 6423 clauses out of 12858 with flag 10059/195560 50.89/49.26 c Got one! Elapsed wall clock time (in seconds):49.144 50.89/49.26 o -1999 50.89/49.28 c Got one! Elapsed wall clock time (in seconds):49.169 50.89/49.28 o -2003 52.29/50.50 c cleaning 6177 clauses out of 12353 with flag 10066/201478 53.59/51.85 c cleaning 6085 clauses out of 12175 with flag 22064/207477 55.29/53.53 c cleaning 6545 clauses out of 13090 with flag 36064/214477 57.27/55.46 c cleaning 7272 clauses out of 14545 with flag 52064/222477 59.40/57.58 c cleaning 8137 clauses out of 16273 with flag 70064/231477 61.70/59.85 c cleaning 9063 clauses out of 18136 with flag 90109/241477 62.10/60.28 c Got one! Elapsed wall clock time (in seconds):60.17 62.10/60.28 o -2011 63.28/61.32 c cleaning 7437 clauses out of 14883 with flag 8007/247287 63.78/61.83 c Got one! Elapsed wall clock time (in seconds):61.713 63.78/61.83 o -2013 64.50/62.58 c cleaning 6281 clauses out of 12571 with flag 6030/252412 66.11/64.10 c cleaning 6139 clauses out of 12291 with flag 18129/258413 67.86/65.89 c cleaning 6570 clauses out of 13152 with flag 32130/265413 68.76/66.74 c Got one! Elapsed wall clock time (in seconds):66.626 68.76/66.74 o -2017 69.26/67.21 c cleaning 5986 clauses out of 11982 with flag 4055/270813 70.66/68.63 c cleaning 5993 clauses out of 11996 with flag 16115/276813 72.31/70.30 c cleaning 6499 clauses out of 13004 with flag 30144/283814 74.31/72.26 c cleaning 7251 clauses out of 14504 with flag 46227/291813 76.41/74.39 c cleaning 8125 clauses out of 16253 with flag 64270/300813 78.95/76.90 c cleaning 9060 clauses out of 18129 with flag 84351/310814 82.01/79.80 c cleaning 10034 clauses out of 20068 with flag 106407/321813 85.11/82.95 c cleaning 11014 clauses out of 22034 with flag 130587/333813 88.79/86.55 c cleaning 12010 clauses out of 24021 with flag 156683/346814 92.91/90.56 c cleaning 13005 clauses out of 26010 with flag 184805/360813 93.91/91.58 c Got one! Elapsed wall clock time (in seconds):91.467 93.91/91.58 o -2019 94.51/92.11 c cleaning 9411 clauses out of 18828 with flag 4002/366636 95.92/93.58 c cleaning 7708 clauses out of 15418 with flag 16004/372637 97.64/95.29 c cleaning 7354 clauses out of 14710 with flag 30004/379637 99.53/97.11 c cleaning 7678 clauses out of 15356 with flag 46004/387637 101.78/99.30 c cleaning 8334 clauses out of 16677 with flag 64002/396636 104.18/101.70 c cleaning 9171 clauses out of 18344 with flag 84004/406637 106.03/103.51 c Got one! Elapsed wall clock time (in seconds):103.395 106.03/103.51 o -2021 107.33/104.90 c cleaning 10917 clauses out of 21836 with flag 10281/419300 108.63/106.10 c Got one! Elapsed wall clock time (in seconds):105.985 108.63/106.10 o -2025 108.63/106.13 c Got one! Elapsed wall clock time (in seconds):106.016 108.63/106.13 o -2036 108.93/106.41 c cleaning 8502 clauses out of 17006 with flag 2132/425387 110.35/107.81 c cleaning 7246 clauses out of 14504 with flag 14350/431387 111.95/109.46 c cleaning 7126 clauses out of 14257 with flag 28401/438386 113.87/111.36 c cleaning 7564 clauses out of 15131 with flag 44463/446386 116.07/113.52 c cleaning 8280 clauses out of 16568 with flag 62508/455387 118.60/116.06 c cleaning 9140 clauses out of 18288 with flag 82581/465387 118.99/116.42 c Got one! Elapsed wall clock time (in seconds):116.302 118.99/116.42 o -2037 119.89/117.40 c cleaning 7324 clauses out of 14655 with flag 8431/470894 121.31/118.78 c cleaning 6662 clauses out of 13332 with flag 20720/476895 123.01/120.44 c cleaning 6832 clauses out of 13669 with flag 34776/483894 124.94/122.30 c cleaning 7419 clauses out of 14837 with flag 51347/491894 127.04/124.41 c cleaning 8205 clauses out of 16418 with flag 69758/500894 129.36/126.74 c cleaning 9105 clauses out of 18214 with flag 90263/510895 132.22/129.50 c cleaning 10053 clauses out of 20109 with flag 112984/521895 135.12/132.45 c cleaning 11025 clauses out of 22055 with flag 137303/533894 138.55/135.82 c cleaning 12014 clauses out of 24030 with flag 163438/546894 142.19/139.48 c cleaning 13006 clauses out of 26016 with flag 191513/560894 146.32/143.51 c cleaning 14005 clauses out of 28010 with flag 221673/575894 150.70/147.89 c cleaning 15000 clauses out of 30006 with flag 254065/591895 155.33/152.48 c cleaning 16000 clauses out of 32005 with flag 288821/608894 160.38/157.46 c cleaning 17001 clauses out of 34006 with flag 325490/626895 165.89/162.88 c cleaning 17999 clauses out of 36004 with flag 364017/645894 171.97/168.80 c cleaning 18998 clauses out of 38006 with flag 404454/665895 177.15/173.98 c cleaning 20002 clauses out of 40007 with flag 446482/686894 182.98/179.61 c cleaning 20999 clauses out of 42006 with flag 490484/708895 189.07/185.68 c cleaning 22000 clauses out of 44007 with flag 536484/731895 195.36/191.87 c cleaning 22999 clauses out of 46006 with flag 584482/755894 201.99/198.36 c cleaning 24003 clauses out of 48008 with flag 634484/780895 209.12/205.36 c cleaning 24997 clauses out of 50004 with flag 686482/806894 217.12/213.14 c cleaning 26003 clauses out of 52008 with flag 740484/833895 225.94/221.83 c cleaning 27000 clauses out of 54005 with flag 796936/861895 235.29/231.05 c cleaning 28000 clauses out of 56005 with flag 855491/890895 244.86/240.48 c cleaning 28999 clauses out of 58005 with flag 915895/920895 255.16/250.52 c cleaning 30001 clauses out of 60006 with flag 978398/951895 266.29/261.51 c cleaning 31000 clauses out of 62004 with flag 1043492/983894 277.81/272.89 c cleaning 31999 clauses out of 64004 with flag 1110673/1016894 290.06/284.90 c cleaning 33003 clauses out of 66006 with flag 1178699/1050895 302.79/297.47 c cleaning 34001 clauses out of 68003 with flag 1248741/1085895 315.44/309.90 c cleaning 34999 clauses out of 70001 with flag 1320950/1121894 328.84/323.16 c cleaning 36001 clauses out of 72003 with flag 1396514/1158895 342.83/336.96 c cleaning 36994 clauses out of 74002 with flag 1473521/1196895 357.02/350.86 c cleaning 37999 clauses out of 76008 with flag 1551959/1235895 372.17/365.89 c cleaning 38999 clauses out of 78008 with flag 1633200/1275894 388.19/381.62 c cleaning 40002 clauses out of 80009 with flag 1716779/1316894 403.72/396.99 c cleaning 40999 clauses out of 82008 with flag 1801864/1358895 419.95/412.96 c cleaning 42002 clauses out of 84009 with flag 1888437/1401895 436.30/429.07 c cleaning 43001 clauses out of 86007 with flag 1976658/1445895 453.09/445.63 c cleaning 43997 clauses out of 88005 with flag 2066998/1490894 472.37/464.62 c cleaning 45002 clauses out of 90009 with flag 2159474/1536895 491.23/483.22 c cleaning 46001 clauses out of 92007 with flag 2253474/1583895 511.20/502.94 c cleaning 46999 clauses out of 94006 with flag 2349875/1631895 533.08/524.55 c cleaning 48004 clauses out of 96007 with flag 2449534/1680895 554.47/545.65 c cleaning 48997 clauses out of 98002 with flag 2552483/1730894 576.30/567.19 c cleaning 50002 clauses out of 100007 with flag 2656669/1781896 598.41/588.94 c cleaning 50997 clauses out of 102004 with flag 2764575/1833895 621.50/611.68 c cleaning 51999 clauses out of 104007 with flag 2874286/1886895 645.23/635.09 c cleaning 52998 clauses out of 106008 with flag 2986294/1940895 669.53/658.93 c cleaning 54003 clauses out of 108010 with flag 3097173/1995895 694.04/683.11 c cleaning 55000 clauses out of 110007 with flag 3213924/2051895 719.58/708.23 c cleaning 55998 clauses out of 112006 with flag 3331639/2108894 746.28/734.51 c cleaning 56999 clauses out of 114009 with flag 3452794/2166895 774.31/762.19 c cleaning 58001 clauses out of 116009 with flag 3574581/2225894 802.23/789.70 c cleaning 58998 clauses out of 118008 with flag 3700428/2285894 831.49/818.61 c cleaning 60003 clauses out of 120010 with flag 3828223/2346894 861.65/848.33 c cleaning 61001 clauses out of 122007 with flag 3960245/2408894 894.18/880.42 c cleaning 61997 clauses out of 124007 with flag 4091238/2471895 927.84/913.59 c cleaning 63001 clauses out of 126010 with flag 4227420/2535895 959.07/944.32 c cleaning 64000 clauses out of 128008 with flag 4360179/2600894 990.34/975.27 c cleaning 65000 clauses out of 130008 with flag 4497541/2666894 1023.84/1008.31 c cleaning 65999 clauses out of 132008 with flag 4635447/2733894 1057.92/1041.97 c cleaning 67001 clauses out of 134009 with flag 4772736/2801894 1093.78/1077.30 c cleaning 67999 clauses out of 136009 with flag 4918658/2870895 1130.03/1113.03 c cleaning 69001 clauses out of 138010 with flag 5063658/2940895 1168.60/1151.12 c cleaning 70000 clauses out of 140008 with flag 5212023/3011894 1211.21/1193.26 c cleaning 71002 clauses out of 142010 with flag 5359015/3083896 1251.78/1233.11 c cleaning 72000 clauses out of 144007 with flag 5508263/3156895 1292.46/1273.30 c cleaning 73001 clauses out of 146007 with flag 5663199/3230895 1333.14/1313.40 c cleaning 73999 clauses out of 148005 with flag 5815401/3305894 1376.59/1356.36 c cleaning 75001 clauses out of 150007 with flag 5968167/3381895 1420.27/1399.57 c cleaning 76000 clauses out of 152005 with flag 6130432/3458894 1466.13/1444.79 c cleaning 76999 clauses out of 154006 with flag 6292482/3536895 1514.61/1492.72 c cleaning 78001 clauses out of 156007 with flag 6459783/3615895 1562.82/1540.21 c cleaning 79000 clauses out of 158006 with flag 6629352/3695895 1612.35/1589.22 c cleaning 79999 clauses out of 160005 with flag 6799009/3776894 1662.16/1638.46 c cleaning 81001 clauses out of 162007 with flag 6967327/3858895 1713.88/1689.69 c cleaning 81995 clauses out of 164006 with flag 7142072/3941895 1771.83/1746.89 c cleaning 83001 clauses out of 166010 with flag 7323206/4025894 1800.06/1774.70 c starts : 3436 1800.06/1774.70 c conflicts : 4077468 1800.06/1774.70 c decisions : 4152400 1800.06/1774.70 c propagations : 442706309 1800.06/1774.70 c inspects : 20848759754 1800.06/1774.70 c shortcuts : 0 1800.06/1774.70 c learnt literals : 0 1800.06/1774.70 c learnt binary clauses : 0 1800.06/1774.70 c learnt ternary clauses : 221 1800.06/1774.70 c learnt constraints : 4077468 1800.06/1774.70 c ignored constraints : 0 1800.06/1774.70 c root simplifications : 0 1800.06/1774.70 c removed literals (reason simplification) : 0 1800.06/1774.70 c reason swapping (by a shorter reason) : 0 1800.06/1774.70 c Calls to reduceDB : 140 1800.06/1774.70 c Number of update (reduction) of LBD : 8440 1800.06/1774.70 c Imported unit clauses : 0 1800.06/1774.70 c number of reductions to clauses (during analyze) : 0 1800.06/1774.70 c number of learned constraints concerned by reduction : 0 1800.06/1774.70 c number of learning phase by resolution : 0 1800.06/1774.70 c number of learning phase by cutting planes : 0 1800.06/1774.70 c speed (assignments/second) : 249502.67787449525 1800.06/1774.70 c non guided choices 0 1800.06/1774.73 c learnt constraints type 1800.06/1774.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134584 1800.06/1774.73 s SATISFIABLE 1800.06/1774.73 c Found 97 solution(s) 1800.06/1774.73 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 1800.06/1774.73 c objective function=-2037 1800.06/1774.73 c Total wall clock time (in seconds): 1774.621
OK -2037
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4119574-1467262254/watcher-4119574-1467262254 -o /tmp/evaluation-result-4119574-1467262254/solver-4119574-1467262254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467262254-17232 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119574-1467262254.opb pid=17243 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.24 2.19 2.32 2/171 17246 /proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/17246/stat : 17246 (java) R 17243 17246 11545 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 7192837 5767168 55 33554432000 1073741824 1073778376 140735199475760 140735199472888 219504799015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 1408 59 47 9 0 30 0 [startup+0.100092 s] /proc/loadavg: 2.24 2.19 2.32 2/171 17246 /proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 4411 0 1 0 7 1 0 0 20 0 18 0 7192837 9787879424 6041 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2389619 6041 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200278 s] /proc/loadavg: 2.24 2.19 2.32 2/171 17246 /proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 4652 0 1 0 22 2 0 0 20 0 18 0 7192837 9787879424 6728 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2389619 6728 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300223 s] /proc/loadavg: 2.24 2.19 2.32 2/171 17246 /proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 5678 0 1 0 45 2 0 0 20 0 18 0 7192837 9787879424 7991 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2389619 7991 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700262 s] /proc/loadavg: 2.24 2.19 2.32 2/171 17246 /proc/meminfo: memFree=29612812/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=1.58 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 12282 0 1 0 155 3 0 0 20 0 19 0 7192837 9856040960 14504 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 14504 2271 9 0 2396937 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.22 2.18 2.32 5/213 17362 /proc/meminfo: memFree=29534692/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=2.45 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 13132 0 1 0 241 4 0 0 20 0 19 0 7192837 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 20649 2271 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2435 0 1 0 145 2 0 0 20 0 19 0 7192838 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727503571416 140727372267197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 4816 0 0 0 49 2 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4603 0 0 0 44 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 20649 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.22 2.18 2.32 3/213 17362 /proc/meminfo: memFree=29477416/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=4.12 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 14153 0 1 0 408 4 0 0 20 0 19 0 7192837 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 30379 2273 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2455 0 1 0 304 2 0 0 20 0 19 0 7192838 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727503571448 140727372546217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5817 0 0 0 56 2 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4603 0 0 0 45 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 30379 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 2.22 2.18 2.32 3/214 17363 /proc/meminfo: memFree=29244008/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=7.39 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 14246 0 1 0 731 8 0 0 20 0 19 0 7192837 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 46880 2290 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2482 0 1 0 620 3 0 0 20 0 19 0 7192838 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727503565104 140727372546109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7192839 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 7192840 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5820 0 0 0 57 2 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 46880 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.39 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 188940 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1686.34 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.43 2.29 2.22 3/213 17426 /proc/meminfo: memFree=27035624/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=1747.1 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 40304 0 1 0 174439 271 0 0 20 0 19 0 7192837 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 214214 2299 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1702.09 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2929 0 1 0 170178 31 0 0 20 0 19 0 7192838 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727503572224 140727372376884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.34 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2141 0 0 0 403 31 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.13 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2485 0 0 0 381 32 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.1 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 2635 0 0 0 383 27 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 3879 0 0 0 377 29 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.26 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 3934 0 0 0 398 28 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.05 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 380 25 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 2695 0 0 0 379 27 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.06 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3059 0 0 0 375 31 0 0 20 0 19 0 7192839 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.11 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2357 0 0 0 604 7 0 0 20 0 19 0 7192840 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 97 0 0 0 26 32 0 0 20 0 19 0 7192843 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 214214 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1747.1 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1774.7 s] /proc/loadavg: 2.41 2.31 2.22 2/189 17464 /proc/meminfo: memFree=28796588/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 41964 0 1 0 179731 275 0 0 20 0 19 0 7192837 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 204868 2299 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1754.02 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2942 0 1 0 175369 33 0 0 20 0 19 0 7192838 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727503572160 140727372546222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2225 0 0 0 409 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2492 0 0 0 390 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 3095 0 0 0 395 27 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.18 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 4023 0 0 0 389 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.35 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 4267 0 0 0 406 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.14 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2490 0 0 0 389 25 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.17 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 3073 0 0 0 389 28 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.16 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3163 0 0 0 385 31 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.22 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 615 7 0 0 20 0 19 0 7192840 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 101 0 0 0 26 34 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17246 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1774.7 s] /proc/loadavg: 2.41 2.31 2.22 2/189 17464 /proc/meminfo: memFree=28796588/32872528 swapFree=13208/1155804 [pid=17246] ppid=17243 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7 /proc/17246/stat : 17246 (java) S 17243 17246 11545 0 -1 4202496 41964 0 1 0 179731 275 0 0 20 0 19 0 7192837 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140735199466896 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17246/statm: 2406260 204868 2299 9 0 2396937 0 [pid=17246/tid=17248] ppid=17243 vsize=9625040 CPUtime=1754.02 cores=1,3,5,7 /proc/17246/task/17248/stat : 17248 (java) R 17243 17246 11545 0 -1 4202560 2942 0 1 0 175369 33 0 0 20 0 19 0 7192838 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727503572160 140727372546222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17249] ppid=17243 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/17246/task/17249/stat : 17249 (java) S 17243 17246 11545 0 -1 4202560 2225 0 0 0 409 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727492634920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17250] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/17246/task/17250/stat : 17250 (java) S 17243 17246 11545 0 -1 4202560 2492 0 0 0 390 32 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727491582120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17251] ppid=17243 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/17246/task/17251/stat : 17251 (java) S 17243 17246 11545 0 -1 4202560 3095 0 0 0 395 27 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727490529832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17252] ppid=17243 vsize=9625040 CPUtime=4.18 cores=1,3,5,7 /proc/17246/task/17252/stat : 17252 (java) S 17243 17246 11545 0 -1 4202560 4023 0 0 0 389 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727344118184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17253] ppid=17243 vsize=9625040 CPUtime=4.35 cores=1,3,5,7 /proc/17246/task/17253/stat : 17253 (java) S 17243 17246 11545 0 -1 4202560 4267 0 0 0 406 29 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727343065896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17254] ppid=17243 vsize=9625040 CPUtime=4.14 cores=1,3,5,7 /proc/17246/task/17254/stat : 17254 (java) S 17243 17246 11545 0 -1 4202560 2490 0 0 0 389 25 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727342013096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17255] ppid=17243 vsize=9625040 CPUtime=4.17 cores=1,3,5,7 /proc/17246/task/17255/stat : 17255 (java) S 17243 17246 11545 0 -1 4202560 3073 0 0 0 389 28 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727340960808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17246/tid=17256] ppid=17243 vsize=9625040 CPUtime=4.16 cores=1,3,5,7 /proc/17246/task/17256/stat : 17256 (java) S 17243 17246 11545 0 -1 4202560 3163 0 0 0 385 31 0 0 20 0 19 0 7192839 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727339908008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17259] ppid=17243 vsize=9625040 CPUtime=6.22 cores=1,3,5,7 /proc/17246/task/17259/stat : 17259 (java) S 17243 17246 11545 0 -1 4202560 2377 0 0 0 615 7 0 0 20 0 19 0 7192840 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727327709416 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17260] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17260/stat : 17260 (java) S 17243 17246 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727326655480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17261] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17261/stat : 17261 (java) S 17243 17246 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7192841 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727325603080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17265] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17265/stat : 17265 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727324551568 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17266] ppid=17243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/17246/task/17266/stat : 17266 (java) S 17243 17246 11545 0 -1 4202560 5846 0 0 0 66 2 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727323499192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17246/tid=17267] ppid=17243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/17246/task/17267/stat : 17267 (java) S 17243 17246 11545 0 -1 4202560 4607 0 0 0 47 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727322446392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17268] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17268/stat : 17268 (java) S 17243 17246 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727321394296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17246/tid=17269] ppid=17243 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/17246/task/17269/stat : 17269 (java) S 17243 17246 11545 0 -1 4202560 101 0 0 0 26 34 0 0 20 0 19 0 7192843 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727320341704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17246/tid=17298] ppid=17243 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/17246/task/17298/stat : 17298 (java) S 17243 17246 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7192872 9856040960 204868 33554432000 1073741824 1073778376 140735199475760 140727319286696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17246 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=938431 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=232508 # CPU time returned by wait4() is 1796.17 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1774.74 CPU time (s): 1800.06 CPU user time (s): 1797.31 CPU system time (s): 2.75 CPU usage (%): 101.426 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.94 system time used= 3.23251 maximum resident set size= 912612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42000 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52439 involuntary context switches= 59438 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.3431 second user time and 11.5642 second system time The end
Begin job on node114 at 2016-06-30 06:50:54 IDJOB=4119574 IDBENCH=111764 IDSOLVER=2546 FILE ID=node114/4119574-1467262254 RUNJOBID= node114-1467262254-17232 PBS_JOBID= 20004474 Free space on /tmp= 71672 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119574-1467262254/watcher-4119574-1467262254 -o /tmp/evaluation-result-4119574-1467262254/solver-4119574-1467262254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467262254-17232 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119574-1467262254.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43d918250d1c997ffe2500aba0f26bf3 RANDOM SEED=761461223 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29612820 kB Buffers: 126488 kB Cached: 1218480 kB SwapCached: 0 kB Active: 141876 kB Inactive: 1219504 kB Active(anon): 18808 kB Inactive(anon): 0 kB Active(file): 123068 kB Inactive(file): 1219504 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 916 kB Writeback: 20 kB AnonPages: 1171224 kB Mapped: 13772 kB Shmem: 204 kB Slab: 608992 kB SReclaimable: 53256 kB SUnreclaim: 555736 kB KernelStack: 1416 kB PageTables: 6128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1258016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1148928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node114 at 2016-06-30 07:20:29