Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 15 | 1800.08 | 1796.85 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | e3f554c192a1ee7b261cc2808827870e |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1796.78 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| 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 | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.07/0.13 c read org.sat4j.minisat.orders.VarOrderHeap 0.07/0.13 c configuring ORDERS 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=true 0.07/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3711215-1338167408.opb 0.07/0.13 c reading problem ... 0.71/0.49 c ... done. Wall clock time 0.354s. 0.71/0.49 c declared #vars 200 0.71/0.49 c internal #vars 6426 0.71/0.49 c #constraints 12652 0.71/0.49 c constraints type 0.71/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426 0.71/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226 0.71/0.49 c 12652 constraints processed. 1.31/0.62 c SATISFIABLE 1.31/0.62 c OPTIMIZING... 1.31/0.62 c Got one! Elapsed wall clock time (in seconds):0.485 1.31/0.62 o 199 1.60/0.72 c Got one! Elapsed wall clock time (in seconds):0.589 1.60/0.72 o 198 1.60/0.75 c Got one! Elapsed wall clock time (in seconds):0.612 1.60/0.75 o 197 1.60/0.76 c Got one! Elapsed wall clock time (in seconds):0.627 1.60/0.76 o 196 1.60/0.77 c Got one! Elapsed wall clock time (in seconds):0.64 1.60/0.77 o 195 1.60/0.78 c Got one! Elapsed wall clock time (in seconds):0.649 1.60/0.78 o 194 1.60/0.79 c Got one! Elapsed wall clock time (in seconds):0.658 1.60/0.79 o 193 1.91/0.80 c Got one! Elapsed wall clock time (in seconds):0.666 1.91/0.80 o 192 1.91/0.81 c Got one! Elapsed wall clock time (in seconds):0.674 1.91/0.81 o 191 1.91/0.81 c Got one! Elapsed wall clock time (in seconds):0.68 1.91/0.81 o 190 1.91/0.82 c Got one! Elapsed wall clock time (in seconds):0.685 1.91/0.82 o 189 1.91/0.82 c Got one! Elapsed wall clock time (in seconds):0.692 1.91/0.82 o 188 1.91/0.83 c Got one! Elapsed wall clock time (in seconds):0.698 1.91/0.83 o 187 1.91/0.84 c Got one! Elapsed wall clock time (in seconds):0.703 1.91/0.84 o 186 1.91/0.84 c Got one! Elapsed wall clock time (in seconds):0.71 1.91/0.84 o 185 1.91/0.85 c Got one! Elapsed wall clock time (in seconds):0.716 1.91/0.85 o 184 1.91/0.85 c Got one! Elapsed wall clock time (in seconds):0.722 1.91/0.85 o 183 1.91/0.86 c Got one! Elapsed wall clock time (in seconds):0.728 1.91/0.86 o 182 1.91/0.87 c Got one! Elapsed wall clock time (in seconds):0.732 1.91/0.87 o 181 1.91/0.87 c Got one! Elapsed wall clock time (in seconds):0.737 1.91/0.87 o 180 1.91/0.88 c Got one! Elapsed wall clock time (in seconds):0.743 1.91/0.88 o 179 1.91/0.88 c Got one! Elapsed wall clock time (in seconds):0.748 1.91/0.88 o 178 1.91/0.89 c Got one! Elapsed wall clock time (in seconds):0.755 1.91/0.89 o 177 1.91/0.89 c Got one! Elapsed wall clock time (in seconds):0.76 1.91/0.89 o 176 2.16/0.90 c Got one! Elapsed wall clock time (in seconds):0.766 2.16/0.90 o 175 2.16/0.90 c Got one! Elapsed wall clock time (in seconds):0.772 2.16/0.90 o 174 2.16/0.91 c Got one! Elapsed wall clock time (in seconds):0.778 2.16/0.91 o 173 2.16/0.92 c Got one! Elapsed wall clock time (in seconds):0.784 2.16/0.92 o 172 2.16/0.92 c Got one! Elapsed wall clock time (in seconds):0.79 2.16/0.92 o 171 2.16/0.93 c Got one! Elapsed wall clock time (in seconds):0.798 2.16/0.93 o 170 2.16/0.94 c Got one! Elapsed wall clock time (in seconds):0.804 2.16/0.94 o 169 2.16/0.94 c Got one! Elapsed wall clock time (in seconds):0.808 2.16/0.94 o 168 2.16/0.94 c Got one! Elapsed wall clock time (in seconds):0.812 2.16/0.94 o 167 2.16/0.95 c Got one! Elapsed wall clock time (in seconds):0.815 2.16/0.95 o 166 2.16/0.95 c Got one! Elapsed wall clock time (in seconds):0.819 2.16/0.95 o 165 2.16/0.96 c Got one! Elapsed wall clock time (in seconds):0.823 2.16/0.96 o 164 2.16/0.96 c Got one! Elapsed wall clock time (in seconds):0.826 2.16/0.96 o 163 2.16/0.96 c Got one! Elapsed wall clock time (in seconds):0.829 2.16/0.96 o 162 2.16/0.96 c Got one! Elapsed wall clock time (in seconds):0.832 2.16/0.96 o 161 2.16/0.97 c Got one! Elapsed wall clock time (in seconds):0.835 2.16/0.97 o 160 2.16/0.97 c Got one! Elapsed wall clock time (in seconds):0.838 2.16/0.97 o 159 2.16/0.97 c Got one! Elapsed wall clock time (in seconds):0.841 2.16/0.97 o 158 2.16/0.98 c Got one! Elapsed wall clock time (in seconds):0.845 2.16/0.98 o 157 2.16/0.98 c Got one! Elapsed wall clock time (in seconds):0.848 2.16/0.98 o 156 2.16/0.98 c Got one! Elapsed wall clock time (in seconds):0.852 2.16/0.98 o 155 2.16/0.99 c Got one! Elapsed wall clock time (in seconds):0.855 2.16/0.99 o 154 2.16/0.99 c Got one! Elapsed wall clock time (in seconds):0.858 2.16/0.99 o 153 2.16/0.99 c Got one! Elapsed wall clock time (in seconds):0.861 2.16/0.99 o 152 2.16/1.00 c Got one! Elapsed wall clock time (in seconds):0.865 2.16/1.00 o 151 2.16/1.00 c Got one! Elapsed wall clock time (in seconds):0.87 2.16/1.00 o 150 2.36/1.01 c Got one! Elapsed wall clock time (in seconds):0.874 2.36/1.01 o 149 2.36/1.01 c Got one! Elapsed wall clock time (in seconds):0.878 2.36/1.01 o 148 2.36/1.02 c Got one! Elapsed wall clock time (in seconds):0.883 2.36/1.02 o 147 2.36/1.02 c Got one! Elapsed wall clock time (in seconds):0.887 2.36/1.02 o 146 2.36/1.02 c Got one! Elapsed wall clock time (in seconds):0.89 2.36/1.02 o 145 2.36/1.03 c Got one! Elapsed wall clock time (in seconds):0.894 2.36/1.03 o 144 2.36/1.03 c Got one! Elapsed wall clock time (in seconds):0.897 2.36/1.03 o 143 2.36/1.04 c Got one! Elapsed wall clock time (in seconds):0.903 2.36/1.04 o 142 2.36/1.04 c Got one! Elapsed wall clock time (in seconds):0.906 2.36/1.04 o 141 2.36/1.04 c Got one! Elapsed wall clock time (in seconds):0.909 2.36/1.04 o 140 2.36/1.04 c Got one! Elapsed wall clock time (in seconds):0.912 2.36/1.04 o 139 2.36/1.05 c Got one! Elapsed wall clock time (in seconds):0.914 2.36/1.05 o 138 2.36/1.05 c Got one! Elapsed wall clock time (in seconds):0.918 2.36/1.05 o 137 2.36/1.05 c Got one! Elapsed wall clock time (in seconds):0.921 2.36/1.05 o 136 2.36/1.06 c Got one! Elapsed wall clock time (in seconds):0.925 2.36/1.06 o 135 2.36/1.06 c Got one! Elapsed wall clock time (in seconds):0.928 2.36/1.06 o 134 2.36/1.06 c Got one! Elapsed wall clock time (in seconds):0.932 2.36/1.06 o 133 2.36/1.07 c Got one! Elapsed wall clock time (in seconds):0.936 2.36/1.07 o 132 2.36/1.07 c Got one! Elapsed wall clock time (in seconds):0.939 2.36/1.07 o 131 2.36/1.08 c Got one! Elapsed wall clock time (in seconds):0.944 2.36/1.08 o 130 2.36/1.08 c Got one! Elapsed wall clock time (in seconds):0.947 2.36/1.08 o 129 2.36/1.08 c Got one! Elapsed wall clock time (in seconds):0.95 2.36/1.08 o 128 2.36/1.09 c Got one! Elapsed wall clock time (in seconds):0.953 2.36/1.09 o 127 2.36/1.09 c Got one! Elapsed wall clock time (in seconds):0.955 2.36/1.09 o 126 2.36/1.09 c Got one! Elapsed wall clock time (in seconds):0.958 2.36/1.09 o 125 2.36/1.09 c Got one! Elapsed wall clock time (in seconds):0.961 2.36/1.09 o 124 2.36/1.10 c Got one! Elapsed wall clock time (in seconds):0.965 2.36/1.10 o 123 2.36/1.10 c Got one! Elapsed wall clock time (in seconds):0.968 2.36/1.10 o 122 2.51/1.10 c Got one! Elapsed wall clock time (in seconds):0.971 2.51/1.10 o 121 2.51/1.11 c Got one! Elapsed wall clock time (in seconds):0.974 2.51/1.11 o 120 2.51/1.11 c Got one! Elapsed wall clock time (in seconds):0.977 2.51/1.11 o 119 2.51/1.11 c Got one! Elapsed wall clock time (in seconds):0.979 2.51/1.11 o 118 2.51/1.11 c Got one! Elapsed wall clock time (in seconds):0.982 2.51/1.11 o 117 2.51/1.12 c Got one! Elapsed wall clock time (in seconds):0.986 2.51/1.12 o 116 2.51/1.12 c Got one! Elapsed wall clock time (in seconds):0.989 2.51/1.12 o 115 2.51/1.12 c Got one! Elapsed wall clock time (in seconds):0.992 2.51/1.12 o 114 2.51/1.13 c Got one! Elapsed wall clock time (in seconds):0.994 2.51/1.13 o 113 2.51/1.13 c Got one! Elapsed wall clock time (in seconds):0.997 2.51/1.13 o 112 2.51/1.13 c Got one! Elapsed wall clock time (in seconds):1.0 2.51/1.13 o 111 2.51/1.14 c Got one! Elapsed wall clock time (in seconds):1.003 2.51/1.14 o 110 2.51/1.14 c Got one! Elapsed wall clock time (in seconds):1.007 2.51/1.14 o 109 2.51/1.14 c Got one! Elapsed wall clock time (in seconds):1.009 2.51/1.14 o 108 2.51/1.14 c Got one! Elapsed wall clock time (in seconds):1.012 2.51/1.14 o 107 2.51/1.15 c Got one! Elapsed wall clock time (in seconds):1.015 2.51/1.15 o 106 2.51/1.15 c Got one! Elapsed wall clock time (in seconds):1.018 2.51/1.15 o 105 2.51/1.15 c Got one! Elapsed wall clock time (in seconds):1.021 2.51/1.15 o 104 2.51/1.16 c Got one! Elapsed wall clock time (in seconds):1.024 2.51/1.16 o 103 2.51/1.17 c Got one! Elapsed wall clock time (in seconds):1.037 2.51/1.17 o 102 2.51/1.18 c Got one! Elapsed wall clock time (in seconds):1.044 2.51/1.18 o 17 5.96/4.41 c cleaning 2496 clauses out of 5002 with flag 5001/5002 9.70/8.19 c cleaning 4244 clauses out of 8508 with flag 11003/11004 14.21/12.66 c cleaning 5626 clauses out of 11263 with flag 18002/18003 19.32/17.76 c cleaning 6811 clauses out of 13638 with flag 26003/26004 24.95/23.38 c cleaning 7895 clauses out of 15824 with flag 35000/35001 31.37/29.71 c cleaning 8958 clauses out of 17933 with flag 45004/45005 37.97/36.33 c cleaning 9983 clauses out of 19971 with flag 56000/56001 45.27/43.65 c cleaning 10984 clauses out of 21988 with flag 68000/68001 53.47/51.83 c cleaning 11984 clauses out of 24004 with flag 81000/81001 62.68/61.03 c cleaning 13007 clauses out of 26024 with flag 95004/95005 72.59/70.99 c cleaning 13992 clauses out of 28013 with flag 110000/110001 82.71/81.07 c cleaning 15004 clauses out of 30021 with flag 126000/126001 88.92/87.20 c Got one! Elapsed wall clock time (in seconds):87.064 88.92/87.20 o 16 92.22/90.58 c cleaning 15717 clauses out of 31439 with flag 5000/142423 96.33/94.67 c cleaning 10847 clauses out of 21725 with flag 11003/148426 100.64/99.00 c cleaning 8924 clauses out of 17875 with flag 18000/155423 105.84/104.12 c cleaning 8463 clauses out of 16951 with flag 26000/163423 111.35/109.67 c cleaning 8743 clauses out of 17488 with flag 35000/172423 117.77/116.09 c cleaning 9357 clauses out of 18745 with flag 45000/182423 124.67/122.94 c cleaning 10188 clauses out of 20388 with flag 56000/193423 132.69/130.97 c cleaning 11091 clauses out of 22200 with flag 68000/205423 141.50/139.73 c cleaning 12046 clauses out of 24109 with flag 81000/218423 147.91/146.12 c Got one! Elapsed wall clock time (in seconds):145.988 147.91/146.12 o 15 151.01/149.20 c cleaning 13353 clauses out of 26732 with flag 5000/233092 154.62/152.89 c cleaning 9674 clauses out of 19381 with flag 11002/239094 159.02/157.28 c cleaning 8342 clauses out of 16705 with flag 18000/246092 163.92/162.13 c cleaning 8170 clauses out of 16363 with flag 26000/254092 169.34/167.55 c cleaning 8583 clauses out of 17196 with flag 35003/263095 175.75/173.94 c cleaning 9293 clauses out of 18610 with flag 45000/273092 182.96/181.10 c cleaning 10140 clauses out of 20317 with flag 56000/284092 190.97/189.17 c cleaning 11081 clauses out of 22180 with flag 68003/296095 199.57/197.71 c cleaning 12043 clauses out of 24097 with flag 81001/309093 208.69/206.81 c cleaning 13020 clauses out of 26055 with flag 95002/323094 219.00/217.14 c cleaning 14006 clauses out of 28035 with flag 110002/338094 229.64/227.76 c cleaning 15008 clauses out of 30027 with flag 126000/354092 240.55/238.68 c cleaning 15988 clauses out of 32020 with flag 143001/371093 251.67/249.73 c cleaning 16992 clauses out of 34031 with flag 161000/389092 263.87/261.97 c cleaning 18007 clauses out of 36039 with flag 180000/408092 276.68/274.75 c cleaning 18992 clauses out of 38032 with flag 200000/428092 290.28/288.31 c cleaning 20019 clauses out of 40047 with flag 221007/449099 305.40/303.44 c cleaning 20985 clauses out of 42021 with flag 243000/471092 319.81/317.89 c cleaning 22012 clauses out of 44036 with flag 266000/494092 334.81/332.85 c cleaning 22986 clauses out of 46024 with flag 290000/518092 351.83/349.82 c cleaning 24006 clauses out of 48039 with flag 315001/543093 368.25/366.20 c cleaning 24978 clauses out of 50032 with flag 341000/569092 386.17/384.11 c cleaning 26018 clauses out of 52058 with flag 368004/596096 404.80/402.72 c cleaning 26989 clauses out of 54036 with flag 396000/624092 424.42/422.38 c cleaning 28018 clauses out of 56049 with flag 425002/653094 443.74/441.66 c cleaning 29002 clauses out of 58029 with flag 455000/683092 464.28/462.19 c cleaning 29977 clauses out of 60027 with flag 486000/714092 481.88/479.78 c cleaning 31009 clauses out of 62050 with flag 518000/746092 501.61/499.42 c cleaning 32008 clauses out of 64041 with flag 551000/779092 524.74/522.57 c cleaning 32991 clauses out of 66036 with flag 585003/813095 547.46/545.21 c cleaning 34011 clauses out of 68043 with flag 620001/848093 571.78/569.58 c cleaning 35006 clauses out of 70035 with flag 656004/884096 596.60/594.37 c cleaning 35996 clauses out of 72025 with flag 693000/921092 622.21/619.92 c cleaning 37001 clauses out of 74031 with flag 731002/959094 647.94/645.63 c cleaning 37999 clauses out of 76029 with flag 770001/998093 671.44/669.11 c cleaning 39004 clauses out of 78030 with flag 810001/1038093 693.97/691.67 c cleaning 39991 clauses out of 80025 with flag 851000/1079092 722.68/720.40 c cleaning 40981 clauses out of 82034 with flag 893000/1121092 751.61/749.23 c cleaning 42001 clauses out of 84053 with flag 936000/1164092 780.94/778.57 c cleaning 42997 clauses out of 86052 with flag 980000/1208092 810.85/808.47 c cleaning 44014 clauses out of 88055 with flag 1025000/1253092 840.48/838.00 c cleaning 44993 clauses out of 90043 with flag 1071002/1299094 873.10/870.68 c cleaning 46016 clauses out of 92049 with flag 1118001/1346093 904.94/902.46 c cleaning 47007 clauses out of 94033 with flag 1166001/1394093 935.06/932.59 c cleaning 47992 clauses out of 96025 with flag 1215000/1443092 968.77/966.21 c cleaning 48980 clauses out of 98033 with flag 1265000/1493092 1001.79/999.23 c cleaning 50013 clauses out of 100055 with flag 1316002/1544094 1036.34/1033.76 c cleaning 51002 clauses out of 102043 with flag 1368003/1596095 1072.67/1070.04 c cleaning 51998 clauses out of 104040 with flag 1421002/1649094 1108.90/1106.28 c cleaning 52988 clauses out of 106040 with flag 1475000/1703092 1145.72/1143.06 c cleaning 53987 clauses out of 108052 with flag 1530000/1758092 1182.26/1179.54 c cleaning 55011 clauses out of 110067 with flag 1586002/1814094 1220.68/1217.93 c cleaning 55997 clauses out of 112054 with flag 1643000/1871092 1258.03/1255.24 c cleaning 57002 clauses out of 114057 with flag 1701000/1929092 1297.65/1294.84 c cleaning 57985 clauses out of 116057 with flag 1760002/1988094 1339.49/1336.63 c cleaning 59013 clauses out of 118070 with flag 1820000/2048092 1381.84/1378.91 c cleaning 60005 clauses out of 120057 with flag 1881000/2109092 1423.75/1420.89 c cleaning 60989 clauses out of 122053 with flag 1943001/2171093 1465.70/1462.76 c cleaning 61998 clauses out of 124063 with flag 2006000/2234092 1509.84/1506.86 c cleaning 63025 clauses out of 126065 with flag 2070000/2298092 1553.00/1549.91 c cleaning 63960 clauses out of 128040 with flag 2135000/2363092 1594.83/1591.78 c cleaning 65017 clauses out of 130081 with flag 2201001/2429093 1642.27/1639.19 c cleaning 66014 clauses out of 132063 with flag 2268000/2496092 1690.20/1687.00 c cleaning 67015 clauses out of 134050 with flag 2336001/2564093 1739.23/1736.10 c cleaning 67987 clauses out of 136034 with flag 2405000/2633092 1788.25/1785.08 c cleaning 68979 clauses out of 138047 with flag 2475000/2703092 1800.08/1796.81 c starts : 332 1800.08/1796.81 c conflicts : 2721553 1800.08/1796.81 c decisions : 6505939 1800.08/1796.81 c propagations : 2623434712 1800.08/1796.81 c inspects : 17604003227 1800.08/1796.81 c shortcuts : 0 1800.08/1796.81 c learnt literals : 0 1800.08/1796.81 c learnt binary clauses : 0 1800.08/1796.81 c learnt ternary clauses : 20 1800.08/1796.81 c learnt constraints : 2721553 1800.08/1796.81 c ignored constraints : 0 1800.08/1796.81 c root simplifications : 332 1800.08/1796.81 c removed literals (reason simplification) : 334122 1800.08/1796.81 c reason swapping (by a shorter reason) : 0 1800.08/1796.81 c Calls to reduceDB : 87 1800.08/1796.81 c number of reductions to clauses (during analyze) : 0 1800.08/1796.81 c number of learned constraints concerned by reduction : 0 1800.08/1796.81 c number of learning phase by resolution : 0 1800.08/1796.81 c number of learning phase by cutting planes : 0 1800.08/1796.81 c speed (assignments/second) : 1460456.3021345958 1800.08/1796.81 c non guided choices 35429 1800.08/1796.84 c learnt constraints type 1800.08/1796.84 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87567 1800.08/1796.84 c constraints type 1800.08/1796.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426 1800.08/1796.84 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1796.84 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226 1800.08/1796.84 c 12653 constraints processed. 1800.08/1796.84 s SATISFIABLE 1800.08/1796.84 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 1800.08/1796.84 c objective function=15 1800.08/1796.84 c Total wall clock time (in seconds): 1796.709
OK 15
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-3711215-1338167408/watcher-3711215-1338167408 -o /tmp/evaluation-result-3711215-1338167408/solver-3711215-1338167408 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711215-1338167408.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.00 2.00 2.00 3/195 1402 /proc/meminfo: memFree=31118496/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/1402/stat : 1402 (java) R 1400 1402 31312 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 282866433 2560000 46 33554432000 1073741824 1073778376 140735069659600 140735069656728 214360485159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1402/statm: 625 46 37 9 0 29 0 [startup+0.058503 s] /proc/loadavg: 2.00 2.00 2.00 3/195 1402 /proc/meminfo: memFree=31118496/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9225560 CPUtime=0.03 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 3063 0 1 0 3 0 0 0 20 0 13 0 282866433 9446973440 3760 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2306390 3760 1707 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.10022 s] /proc/loadavg: 2.00 2.00 2.00 3/195 1402 /proc/meminfo: memFree=31118496/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9558440 CPUtime=0.07 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 3892 0 1 0 7 0 0 0 20 0 18 0 282866433 9787842560 5099 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2389610 5100 2065 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558440 [startup+0.300216 s] /proc/loadavg: 2.00 2.00 2.00 3/195 1402 /proc/meminfo: memFree=31118496/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9558440 CPUtime=0.42 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 5310 0 1 0 42 0 0 0 20 0 18 0 282866433 9787842560 7707 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2389610 7707 2230 9 0 2380296 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 9558440 [startup+0.70022 s] /proc/loadavg: 2.00 2.00 2.00 3/195 1402 /proc/meminfo: memFree=31118496/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9626616 CPUtime=1.6 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 22201 0 1 0 156 4 0 0 20 0 19 0 282866433 9857654784 20765 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406654 20789 2259 9 0 2397340 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9626616 [startup+1.5008 s] /proc/loadavg: 2.00 2.00 2.00 4/214 1423 /proc/meminfo: memFree=31026128/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=3.02 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 24899 0 1 0 297 5 0 0 20 0 19 0 282866433 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 29582 2267 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=1.45 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2540 0 1 0 145 0 0 0 20 0 19 0 282866434 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316154200552 140315995078870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282866436 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7024 0 0 0 73 2 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14134 0 0 0 77 3 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 9625004 [startup+3.10067 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1426 /proc/meminfo: memFree=31114484/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=4.62 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 24900 0 1 0 457 5 0 0 20 0 19 0 282866433 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 29582 2267 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=3.04 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2541 0 1 0 304 0 0 0 20 0 19 0 282866434 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316154198464 140315995114263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282866436 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7024 0 0 0 73 2 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14134 0 0 0 77 3 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 29582 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.62 Current children cumulated vsize (KiB) 9625004 [startup+6.30062 s] /proc/loadavg: 1.92 1.98 1.99 3/214 1491 /proc/meminfo: memFree=30862204/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=7.88 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 24971 0 1 0 781 7 0 0 20 0 19 0 282866433 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 32739 2293 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=6.18 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2546 0 1 0 618 0 0 0 20 0 19 0 282866434 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140316154200248 140315995091680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866435 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282866436 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=0.03 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 282866437 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7027 0 0 0 75 2 0 0 20 0 19 0 282866440 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14136 0 0 0 79 3 0 0 20 0 19 0 282866440 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 32739 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.88 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7048 0 0 0 79 2 0 0 20 0 19 0 282866440 9856004096 45736 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14136 0 0 0 81 3 0 0 20 0 19 0 282866440 9856004096 45736 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 45736 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 97 0 0 0 20 15 0 0 20 0 19 0 282866440 9856004096 45736 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 45736 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1665.48 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1503 /proc/meminfo: memFree=30538248/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=1725.52 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 25655 0 1 0 172524 28 0 0 20 0 19 0 282866433 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 45740 2293 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=1712.76 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2628 0 1 0 171248 28 0 0 20 0 19 0 282866434 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140316154200368 140315995078908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0.26 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 31 0 0 0 26 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 58 0 0 0 28 2 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 83 0 0 0 28 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 44 0 0 0 32 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 60 0 0 0 31 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 43 0 0 0 30 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0.26 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 35 0 0 0 26 0 0 0 20 0 19 0 282866435 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 19 0 282866436 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=4.13 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 170 0 0 0 410 3 0 0 20 0 19 0 282866437 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7048 0 0 0 79 2 0 0 20 0 19 0 282866440 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14136 0 0 0 81 3 0 0 20 0 19 0 282866440 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 99 0 0 0 20 16 0 0 20 0 19 0 282866440 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 45740 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1725.52 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1503 /proc/meminfo: memFree=30536200/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=1785.55 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 25665 0 1 0 178526 29 0 0 20 0 19 0 282866433 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 46254 2293 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=1772.52 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2629 0 1 0 177223 29 0 0 20 0 19 0 282866434 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140316154200368 140315995113682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 32 0 0 0 27 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 58 0 0 0 28 2 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 83 0 0 0 29 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 60 0 0 0 31 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 43 0 0 0 30 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 35 0 0 0 27 0 0 0 20 0 19 0 282866435 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 19 0 282866436 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=4.2 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 173 0 0 0 417 3 0 0 20 0 19 0 282866437 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7048 0 0 0 79 2 0 0 20 0 19 0 282866440 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14136 0 0 0 81 3 0 0 20 0 19 0 282866440 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 103 0 0 0 22 17 0 0 20 0 19 0 282866440 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 46254 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.8 s] /proc/loadavg: 2.00 2.00 2.00 3/214 1506 /proc/meminfo: memFree=30535656/32873844 swapFree=7624/7624 [pid=1402] ppid=1400 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/1402/stat : 1402 (java) S 1400 1402 31312 0 -1 4202496 25672 0 1 0 179978 30 0 0 20 0 19 0 282866433 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140733466774416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1402/statm: 2406251 46258 2293 9 0 2396937 0 [pid=1402/tid=1404] ppid=1400 vsize=9625004 CPUtime=1786.91 cores=1,3,5,7 /proc/1402/task/1404/stat : 1404 (java) R 1400 1402 31312 0 -1 4202560 2630 0 1 0 178661 30 0 0 20 0 19 0 282866434 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140316154200368 140315995114062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1405] ppid=1400 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/1402/task/1405/stat : 1405 (java) S 1400 1402 31312 0 -1 4202560 32 0 0 0 27 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140316115692328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1406] ppid=1400 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1402/task/1406/stat : 1406 (java) S 1400 1402 31312 0 -1 4202560 58 0 0 0 28 2 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140316114639528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1407] ppid=1400 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/1402/task/1407/stat : 1407 (java) S 1400 1402 31312 0 -1 4202560 83 0 0 0 29 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140316113587240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1408] ppid=1400 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/1402/task/1408/stat : 1408 (java) S 1400 1402 31312 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315994352552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1410] ppid=1400 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/1402/task/1410/stat : 1410 (java) S 1400 1402 31312 0 -1 4202560 61 0 0 0 32 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315993299240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1402/tid=1411] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1411/stat : 1411 (java) S 1400 1402 31312 0 -1 4202560 46 0 0 0 31 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315992246440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1412] ppid=1400 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/1402/task/1412/stat : 1412 (java) S 1400 1402 31312 0 -1 4202560 35 0 0 0 28 0 0 0 20 0 19 0 282866435 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315991194152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1413] ppid=1400 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/1402/task/1413/stat : 1413 (java) S 1400 1402 31312 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 19 0 282866436 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315990141352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1414] ppid=1400 vsize=9625004 CPUtime=4.26 cores=1,3,5,7 /proc/1402/task/1414/stat : 1414 (java) S 1400 1402 31312 0 -1 4202560 175 0 0 0 423 3 0 0 20 0 19 0 282866437 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315507813096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1415] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1415/stat : 1415 (java) S 1400 1402 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315506759160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1416] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1416/stat : 1416 (java) S 1400 1402 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866437 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315505706760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1417] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1417/stat : 1417 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315504655248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1402/tid=1418] ppid=1400 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/1402/task/1418/stat : 1418 (java) S 1400 1402 31312 0 -1 4202560 7048 0 0 0 79 2 0 0 20 0 19 0 282866440 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315503601848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1402/tid=1419] ppid=1400 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/1402/task/1419/stat : 1419 (java) S 1400 1402 31312 0 -1 4202560 14136 0 0 0 81 3 0 0 20 0 19 0 282866440 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315502549048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1420] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1420/stat : 1420 (java) S 1400 1402 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866440 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315501496952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1422] ppid=1400 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/1402/task/1422/stat : 1422 (java) S 1400 1402 31312 0 -1 4202560 103 0 0 0 22 17 0 0 20 0 19 0 282866440 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315500444360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1402/tid=1423] ppid=1400 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1402/task/1423/stat : 1423 (java) S 1400 1402 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282866484 9856004096 46258 33554432000 1073741824 1073778376 140733466783280 140315499390376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1402 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=270077 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=712891 # CPU time returned by wait4() is 1795.98 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.85 CPU time (s): 1800.08 CPU user time (s): 1799.78 CPU system time (s): 0.3 CPU usage (%): 100.18 Max. virtual memory (cumulated for all children) (KiB): 9626616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.27 system time used= 0.712891 maximum resident set size= 185152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25704 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40319 involuntary context switches= 26717 runsolver used 6.47002 second user time and 14.7748 second system time The end
Begin job on node130 at 2012-05-28 03:10:08 IDJOB=3711215 IDBENCH=48148 IDSOLVER=2289 FILE ID=node130/3711215-1338167408 RUNJOBID= node130-1338158197-31329 PBS_JOBID= 14624537 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711215-1338167408/watcher-3711215-1338167408 -o /tmp/evaluation-result-3711215-1338167408/solver-3711215-1338167408 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711215-1338167408.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=1731132464 node130.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.875 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.75 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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 : 2666.875 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.86 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31119024 kB Buffers: 311228 kB Cached: 488756 kB SwapCached: 4508 kB Active: 810644 kB Inactive: 105660 kB Active(anon): 106416 kB Inactive(anon): 9016 kB Active(file): 704228 kB Inactive(file): 96644 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099916 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 121404 kB Mapped: 19824 kB Shmem: 8 kB Slab: 694204 kB SReclaimable: 135836 kB SUnreclaim: 558368 kB KernelStack: 1616 kB PageTables: 4424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697740 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 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= 71468 MiB End job on node130 at 2012-05-28 03:40:07