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) | 3356672 | 1801.14 | 1773.26 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
| MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3356672 |
| Best CPU time to get the best result obtained on this benchmark | 1801.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3039236 |
| Optimality of the best value was proved | NO |
| Number of variables | 4464 |
| Total number of constraints | 168 |
| 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 | 168 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 4464 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 856864234722 |
| Number of bits of the sum of numbers in the objective function | 40 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 856864234722 |
| Number of bits of the biggest sum of numbers | 40 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-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.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/0.12 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.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4103196-1466234694.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.54/0.32 c ... done. Wall clock time 0.197s. 0.54/0.32 c declared #vars 4464 0.54/0.32 c #constraints 192 0.54/0.32 c constraints type 0.54/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 192 0.54/0.32 c 192 constraints processed. 0.54/0.32 c objective function length is 4464 literals 1.14/0.55 c SATISFIABLE 1.14/0.55 c OPTIMIZING... 1.14/0.55 c Got one! Elapsed wall clock time (in seconds):0.425 1.14/0.55 o 6307253 1.14/0.58 c Got one! Elapsed wall clock time (in seconds):0.459 1.14/0.58 o 4325868 1.97/1.25 c cleaning 2693 clauses out of 5385 with flag 11394/5385 2.97/2.04 c cleaning 4337 clauses out of 8692 with flag 24926/11385 3.38/2.49 c Got one! Elapsed wall clock time (in seconds):2.371 3.38/2.49 o 3700706 3.97/2.96 c cleaning 4944 clauses out of 9907 with flag 6591/16937 5.02/3.93 c cleaning 5477 clauses out of 10964 with flag 28732/22938 6.13/5.05 c cleaning 6234 clauses out of 12487 with flag 53710/29938 7.55/6.43 c cleaning 7125 clauses out of 14253 with flag 81121/37938 9.04/7.94 c cleaning 8061 clauses out of 16127 with flag 112059/46937 10.96/9.82 c cleaning 9027 clauses out of 18068 with flag 149745/56939 13.07/11.94 c cleaning 10021 clauses out of 20041 with flag 188160/67939 15.22/14.09 c cleaning 11006 clauses out of 22018 with flag 230223/79937 17.54/16.32 c cleaning 11991 clauses out of 24013 with flag 269353/92938 19.84/18.65 c cleaning 13010 clauses out of 26021 with flag 310687/106937 22.27/21.09 c cleaning 13997 clauses out of 28012 with flag 355178/121938 24.99/23.74 c cleaning 15006 clauses out of 30015 with flag 397522/137938 28.23/26.91 c cleaning 15997 clauses out of 32009 with flag 456004/154938 31.58/30.26 c cleaning 17000 clauses out of 34011 with flag 515230/172937 35.03/33.63 c cleaning 18004 clauses out of 36013 with flag 579668/191939 38.88/37.43 c cleaning 18996 clauses out of 38008 with flag 649466/211938 42.74/41.24 c cleaning 20002 clauses out of 40014 with flag 725796/232940 46.58/45.08 c cleaning 20997 clauses out of 42009 with flag 798782/254937 50.45/48.80 c cleaning 22005 clauses out of 44014 with flag 871497/277939 54.38/52.76 c cleaning 22990 clauses out of 46007 with flag 943783/301937 58.61/56.98 c cleaning 24006 clauses out of 48017 with flag 1019232/326937 63.26/61.56 c cleaning 25001 clauses out of 50011 with flag 1105512/352937 68.00/66.26 c cleaning 26005 clauses out of 52011 with flag 1191944/379938 73.19/71.34 c cleaning 26993 clauses out of 54005 with flag 1287545/407937 77.87/75.95 c cleaning 28001 clauses out of 56019 with flag 1387558/436944 84.42/82.34 c cleaning 29006 clauses out of 58014 with flag 1493400/466940 89.98/87.80 c cleaning 29999 clauses out of 60006 with flag 1582632/497938 95.28/93.06 c cleaning 30993 clauses out of 62006 with flag 1684150/529937 101.09/98.79 c cleaning 31994 clauses out of 64013 with flag 1789806/562937 106.52/104.18 c cleaning 33002 clauses out of 66020 with flag 1881484/596938 112.79/110.24 c cleaning 33999 clauses out of 68017 with flag 1991105/631937 119.41/116.72 c cleaning 34990 clauses out of 70021 with flag 2106590/667940 126.40/123.65 c cleaning 36004 clauses out of 72028 with flag 2238046/704937 133.73/130.82 c cleaning 36995 clauses out of 74024 with flag 2375723/742937 140.26/137.24 c cleaning 38009 clauses out of 76031 with flag 2507293/781939 147.67/144.55 c cleaning 39000 clauses out of 78022 with flag 2638326/821939 156.50/153.26 c cleaning 40002 clauses out of 80020 with flag 2785165/862937 165.73/162.30 c cleaning 40994 clauses out of 82019 with flag 2938146/904938 174.58/171.05 c cleaning 42005 clauses out of 84026 with flag 3104006/947939 183.20/179.55 c cleaning 43005 clauses out of 86022 with flag 3268813/991940 191.82/187.92 c cleaning 43965 clauses out of 88014 with flag 3433350/1036937 200.86/196.89 c cleaning 45021 clauses out of 90049 with flag 3601540/1082937 210.87/206.72 c cleaning 46009 clauses out of 92030 with flag 3768133/1129939 221.83/217.52 c cleaning 46999 clauses out of 94019 with flag 3946922/1177937 231.49/227.00 c cleaning 48006 clauses out of 96021 with flag 4112279/1226938 241.48/236.83 c cleaning 49003 clauses out of 98014 with flag 4306744/1276937 251.98/247.22 c cleaning 49992 clauses out of 100011 with flag 4489730/1327937 262.93/258.05 c cleaning 50995 clauses out of 102020 with flag 4679679/1379938 273.05/268.02 c cleaning 52006 clauses out of 104026 with flag 4856278/1432939 284.65/279.48 c cleaning 52997 clauses out of 106019 with flag 5047152/1486938 296.82/291.46 c cleaning 53992 clauses out of 108021 with flag 5242954/1541937 309.26/303.72 c cleaning 55009 clauses out of 110029 with flag 5449310/1597937 320.42/314.79 c cleaning 56004 clauses out of 112020 with flag 5651030/1654937 332.98/327.14 c cleaning 56993 clauses out of 114016 with flag 5859350/1712937 347.54/341.45 c cleaning 57989 clauses out of 116023 with flag 6073521/1771937 361.84/355.56 c cleaning 59011 clauses out of 118034 with flag 6296151/1831937 374.13/367.68 c cleaning 60004 clauses out of 120025 with flag 6494219/1892939 386.91/380.22 c cleaning 61005 clauses out of 122022 with flag 6701707/1954940 400.92/394.01 c cleaning 61991 clauses out of 124015 with flag 6935971/2017938 416.38/409.29 c cleaning 63005 clauses out of 126024 with flag 7175313/2081938 431.40/424.01 c cleaning 64004 clauses out of 128018 with flag 7420264/2146937 446.66/439.09 c cleaning 65000 clauses out of 130015 with flag 7676357/2212938 456.89/449.19 c Got one! Elapsed wall clock time (in seconds):449.064 456.89/449.19 o 3667072 457.97/450.16 c cleaning 57724 clauses out of 115485 with flag 17193/2263408 458.99/451.18 c cleaning 31846 clauses out of 63759 with flag 38495/2269406 460.09/452.30 c cleaning 19419 clauses out of 38913 with flag 62496/2276406 461.82/453.94 c cleaning 13745 clauses out of 27495 with flag 92366/2284407 463.53/455.67 c cleaning 11372 clauses out of 22752 with flag 122841/2293409 465.35/457.49 c cleaning 10688 clauses out of 21379 with flag 156155/2303408 467.47/459.59 c cleaning 10837 clauses out of 21690 with flag 196032/2314407 469.80/461.83 c cleaning 11402 clauses out of 22852 with flag 242644/2326406 472.14/464.16 c cleaning 12220 clauses out of 24452 with flag 293875/2339408 474.78/466.70 c cleaning 13106 clauses out of 26231 with flag 349060/2353407 477.44/469.33 c cleaning 14061 clauses out of 28126 with flag 414180/2368408 480.37/472.26 c cleaning 15021 clauses out of 30064 with flag 482419/2384407 483.70/475.53 c cleaning 16016 clauses out of 32042 with flag 542899/2401406 487.04/478.81 c cleaning 17013 clauses out of 34029 with flag 606884/2419409 490.09/481.84 c cleaning 18007 clauses out of 36014 with flag 668176/2438407 493.85/485.58 c cleaning 19002 clauses out of 38007 with flag 738197/2458407 497.40/489.08 c cleaning 19989 clauses out of 40004 with flag 802974/2479406 501.79/493.30 c cleaning 21005 clauses out of 42015 with flag 875122/2501406 506.07/497.51 c cleaning 21990 clauses out of 44010 with flag 952158/2524406 510.76/502.15 c cleaning 22993 clauses out of 46022 with flag 1036715/2548408 516.76/508.00 c cleaning 24008 clauses out of 48028 with flag 1131338/2573407 522.35/513.57 c cleaning 25004 clauses out of 50019 with flag 1223505/2599406 527.91/519.07 c cleaning 26006 clauses out of 52017 with flag 1321559/2626408 533.45/524.59 c cleaning 27004 clauses out of 54010 with flag 1425328/2654407 539.98/530.93 c cleaning 27998 clauses out of 56011 with flag 1549946/2683412 545.22/536.17 c cleaning 28995 clauses out of 58007 with flag 1653509/2713406 550.88/541.71 c cleaning 29993 clauses out of 60012 with flag 1764440/2744406 557.45/548.26 c cleaning 31001 clauses out of 62019 with flag 1887478/2776406 563.00/553.76 c cleaning 31990 clauses out of 64018 with flag 2001109/2809406 568.96/559.66 c cleaning 33004 clauses out of 66029 with flag 2121863/2843407 575.51/566.10 c cleaning 34006 clauses out of 68026 with flag 2261498/2878408 583.21/573.78 c cleaning 35004 clauses out of 70018 with flag 2407799/2914406 590.42/580.82 c cleaning 36000 clauses out of 72014 with flag 2536436/2951406 598.41/588.73 c cleaning 36982 clauses out of 74016 with flag 2668910/2989408 607.42/597.61 c cleaning 38005 clauses out of 76032 with flag 2808347/3028406 615.77/605.83 c cleaning 39014 clauses out of 78030 with flag 2951545/3068409 624.54/614.40 c cleaning 39984 clauses out of 80014 with flag 3108517/3109407 633.87/623.68 c cleaning 41014 clauses out of 82029 with flag 3258323/3151406 644.23/633.89 c cleaning 41996 clauses out of 84015 with flag 3404022/3194406 652.95/642.45 c cleaning 42981 clauses out of 86020 with flag 3568083/3238407 661.25/650.69 c cleaning 44005 clauses out of 88039 with flag 3715667/3283407 671.58/660.82 c cleaning 44998 clauses out of 90033 with flag 3880924/3329406 683.10/672.11 c cleaning 46013 clauses out of 92036 with flag 4050717/3376407 693.13/682.01 c cleaning 46997 clauses out of 94022 with flag 4218089/3424406 702.15/690.93 c cleaning 47984 clauses out of 96026 with flag 4406486/3473407 712.80/701.43 c cleaning 49014 clauses out of 98043 with flag 4594704/3523408 724.49/712.98 c cleaning 49997 clauses out of 100028 with flag 4788278/3574407 734.62/722.92 c cleaning 51004 clauses out of 102031 with flag 4972780/3626407 745.62/733.75 c cleaning 52013 clauses out of 104026 with flag 5165940/3679406 757.16/745.10 c cleaning 52988 clauses out of 106015 with flag 5349209/3733408 770.31/758.07 c cleaning 54005 clauses out of 108026 with flag 5543747/3788407 782.75/770.31 c cleaning 54999 clauses out of 110020 with flag 5743370/3844406 797.08/784.50 c cleaning 55988 clauses out of 112021 with flag 5964624/3901406 811.73/798.82 c cleaning 57007 clauses out of 114033 with flag 6179397/3959406 826.06/812.97 c cleaning 57997 clauses out of 116027 with flag 6389406/4018407 839.19/825.92 c cleaning 58999 clauses out of 118031 with flag 6627889/4078408 854.38/840.99 c cleaning 60000 clauses out of 120030 with flag 6877136/4139406 868.13/854.51 c cleaning 61005 clauses out of 122031 with flag 7065971/4201407 882.95/869.24 c cleaning 61987 clauses out of 124025 with flag 7263878/4264406 897.86/883.84 c cleaning 63003 clauses out of 126039 with flag 7497463/4328407 913.26/899.01 c cleaning 64011 clauses out of 128037 with flag 7714948/4393408 926.45/912.03 c cleaning 65008 clauses out of 130025 with flag 7916795/4459407 942.35/927.76 c cleaning 65994 clauses out of 132017 with flag 8156366/4526407 960.00/945.10 c cleaning 67004 clauses out of 134023 with flag 8411784/4594407 976.59/961.53 c cleaning 68003 clauses out of 136018 with flag 8668525/4663406 989.73/974.49 c Got one! Elapsed wall clock time (in seconds):974.373 989.73/974.49 o 3665078 989.83/974.53 c Got one! Elapsed wall clock time (in seconds):974.406 989.83/974.53 o 3594093 989.83/974.55 c Got one! Elapsed wall clock time (in seconds):974.43 989.83/974.55 o 3573192 989.83/974.57 c Got one! Elapsed wall clock time (in seconds):974.452 989.83/974.57 o 3356672 991.59/976.21 c cleaning 64070 clauses out of 128148 with flag 21725/4723539 992.79/977.43 c cleaning 35029 clauses out of 70080 with flag 45844/4729541 994.31/978.99 c cleaning 21019 clauses out of 42052 with flag 72881/4736542 995.97/980.53 c cleaning 14509 clauses out of 29032 with flag 101913/4744541 997.49/982.05 c cleaning 11746 clauses out of 23521 with flag 132684/4753539 999.31/983.89 c cleaning 10878 clauses out of 21775 with flag 170606/4763539 1001.37/985.81 c cleaning 10932 clauses out of 21898 with flag 209916/4774540 1003.39/987.82 c cleaning 11474 clauses out of 22965 with flag 252536/4786539 1006.06/990.44 c cleaning 12240 clauses out of 24492 with flag 303733/4799540 1008.19/992.59 c cleaning 13125 clauses out of 26253 with flag 353984/4813541 1011.35/995.61 c cleaning 14054 clauses out of 28128 with flag 414603/4828541 1014.36/998.65 c cleaning 15036 clauses out of 30072 with flag 478436/4844539 1017.71/1001.98 c cleaning 16013 clauses out of 32037 with flag 545147/4861540 1020.94/1005.13 c cleaning 17001 clauses out of 34023 with flag 599887/4879539 1023.40/1007.54 c cleaning 18004 clauses out of 36022 with flag 662574/4898539 1026.43/1010.57 c cleaning 19003 clauses out of 38019 with flag 735726/4918540 1029.87/1013.99 c cleaning 20003 clauses out of 40015 with flag 815923/4939539 1033.73/1017.72 c cleaning 20991 clauses out of 42012 with flag 896339/4961539 1037.81/1021.75 c cleaning 22011 clauses out of 44022 with flag 974669/4984540 1043.14/1026.92 c cleaning 23004 clauses out of 46011 with flag 1063163/5008540 1047.80/1031.59 c cleaning 23998 clauses out of 48007 with flag 1148212/5033540 1051.99/1035.67 c cleaning 24995 clauses out of 50008 with flag 1234859/5059539 1056.22/1039.87 c cleaning 26000 clauses out of 52013 with flag 1318803/5086539 1061.19/1044.73 c cleaning 27006 clauses out of 54016 with flag 1407273/5114542 1066.03/1049.59 c cleaning 28001 clauses out of 56007 with flag 1501186/5143539 1071.07/1054.52 c cleaning 28996 clauses out of 58006 with flag 1598148/5173539 1076.83/1060.24 c cleaning 29985 clauses out of 60010 with flag 1703180/5204539 1083.08/1066.44 c cleaning 30991 clauses out of 62027 with flag 1810959/5236541 1090.36/1073.62 c cleaning 31996 clauses out of 64034 with flag 1931182/5269539 1097.79/1080.96 c cleaning 33012 clauses out of 66038 with flag 2052258/5303539 1105.18/1088.24 c cleaning 34000 clauses out of 68026 with flag 2175802/5338539 1111.85/1094.89 c cleaning 35003 clauses out of 70026 with flag 2303664/5374539 1119.02/1101.98 c cleaning 36006 clauses out of 72024 with flag 2438037/5411540 1126.43/1109.24 c cleaning 37003 clauses out of 74018 with flag 2567809/5449540 1134.44/1117.15 c cleaning 38004 clauses out of 76014 with flag 2693576/5488539 1142.27/1124.80 c cleaning 38998 clauses out of 78011 with flag 2827911/5528540 1150.54/1132.93 c cleaning 39998 clauses out of 80012 with flag 2968247/5569539 1158.22/1140.58 c cleaning 40987 clauses out of 82014 with flag 3101825/5611539 1166.99/1149.13 c cleaning 42006 clauses out of 84028 with flag 3245965/5654540 1176.15/1158.10 c cleaning 43004 clauses out of 86021 with flag 3403217/5698539 1186.53/1168.33 c cleaning 44001 clauses out of 88017 with flag 3562182/5743539 1195.84/1177.59 c cleaning 44998 clauses out of 90021 with flag 3716016/5789544 1207.21/1188.75 c cleaning 46009 clauses out of 92021 with flag 3896041/5836542 1218.34/1199.79 c cleaning 47000 clauses out of 94009 with flag 4080085/5884539 1227.91/1209.14 c cleaning 48002 clauses out of 96011 with flag 4250258/5933541 1238.56/1219.62 c cleaning 48991 clauses out of 98007 with flag 4427966/5983539 1249.30/1230.25 c cleaning 49989 clauses out of 100016 with flag 4601716/6034539 1259.56/1240.31 c cleaning 51007 clauses out of 102029 with flag 4771998/6086541 1270.57/1251.15 c cleaning 51992 clauses out of 104020 with flag 4956921/6139539 1280.80/1261.25 c cleaning 52997 clauses out of 106028 with flag 5141414/6193539 1292.99/1273.21 c cleaning 54004 clauses out of 108031 with flag 5333867/6248539 1304.34/1284.48 c cleaning 55004 clauses out of 110027 with flag 5507182/6304539 1317.82/1297.70 c cleaning 55995 clauses out of 112024 with flag 5713416/6361540 1331.91/1311.56 c cleaning 57008 clauses out of 114028 with flag 5928469/6419539 1346.79/1326.27 c cleaning 57996 clauses out of 116020 with flag 6156332/6478539 1359.90/1339.21 c cleaning 59001 clauses out of 118025 with flag 6379389/6538540 1377.67/1356.98 c cleaning 60002 clauses out of 120023 with flag 6569262/6599539 1391.33/1370.42 c cleaning 61001 clauses out of 122021 with flag 6794338/6661539 1405.61/1384.58 c cleaning 62000 clauses out of 124020 with flag 7045568/6724539 1420.23/1398.90 c cleaning 63003 clauses out of 126021 with flag 7294854/6788540 1435.55/1414.03 c cleaning 64002 clauses out of 128018 with flag 7532909/6853540 1452.54/1430.75 c cleaning 64993 clauses out of 130015 with flag 7794135/6919539 1470.81/1448.78 c cleaning 65997 clauses out of 132022 with flag 8077907/6986539 1488.39/1466.01 c cleaning 67010 clauses out of 134027 with flag 8342350/7054541 1505.92/1483.33 c cleaning 67993 clauses out of 136015 with flag 8614203/7123539 1522.50/1499.76 c cleaning 69001 clauses out of 138022 with flag 8875757/7193539 1540.94/1517.85 c cleaning 70004 clauses out of 140023 with flag 9180251/7264541 1557.82/1534.50 c cleaning 71004 clauses out of 142018 with flag 9470872/7336540 1578.31/1554.60 c cleaning 72002 clauses out of 144014 with flag 9792741/7409540 1595.90/1571.98 c cleaning 72996 clauses out of 146012 with flag 10085507/7483540 1613.46/1589.31 c cleaning 73996 clauses out of 148015 with flag 10366635/7558539 1631.59/1607.12 c cleaning 75009 clauses out of 150019 with flag 10642505/7634539 1651.10/1626.33 c cleaning 75996 clauses out of 152010 with flag 10915633/7711539 1669.39/1644.32 c cleaning 76985 clauses out of 154015 with flag 11175408/7789540 1687.93/1662.65 c cleaning 78011 clauses out of 156029 with flag 11444001/7868539 1710.08/1684.43 c cleaning 79003 clauses out of 158022 with flag 11728280/7948543 1731.33/1705.44 c cleaning 79997 clauses out of 160016 with flag 12006636/8029540 1751.92/1725.71 c cleaning 80991 clauses out of 162018 with flag 12305908/8111539 1771.32/1744.80 c cleaning 81991 clauses out of 164028 with flag 12623037/8194540 1789.26/1762.52 c cleaning 83006 clauses out of 166039 with flag 12899645/8278542 1800.11/1773.21 c starts : 13129 1800.11/1773.21 c conflicts : 8327687 1800.11/1773.21 c decisions : 22763488 1800.11/1773.21 c propagations : 1096041392 1800.11/1773.21 c inspects : 17177889113 1800.11/1773.21 c shortcuts : 0 1800.11/1773.21 c learnt literals : 0 1800.11/1773.21 c learnt binary clauses : 0 1800.11/1773.21 c learnt ternary clauses : 0 1800.11/1773.21 c learnt constraints : 8327687 1800.11/1773.21 c ignored constraints : 0 1800.11/1773.21 c root simplifications : 0 1800.11/1773.21 c removed literals (reason simplification) : 0 1800.11/1773.21 c reason swapping (by a shorter reason) : 0 1800.11/1773.21 c Calls to reduceDB : 209 1800.11/1773.21 c Number of update (reduction) of LBD : 1755080 1800.11/1773.21 c Imported unit clauses : 0 1800.11/1773.21 c number of reductions to clauses (during analyze) : 0 1800.11/1773.21 c number of learned constraints concerned by reduction : 0 1800.11/1773.21 c number of learning phase by resolution : 0 1800.11/1773.21 c number of learning phase by cutting planes : 0 1800.11/1773.21 c speed (assignments/second) : 618232.4251789338 1800.11/1773.21 c non guided choices 274 1800.11/1773.24 c learnt constraints type 1800.11/1773.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132178 1800.11/1773.24 s SATISFIABLE 1800.11/1773.24 c Found 8 solution(s) 1800.11/1773.25 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 x2562 x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 x3102 x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 x4325 x4326 x4327 -x4328 -x4329 x4330 -x4331 x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 x4394 x4395 -x4396 x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1800.11/1773.25 c objective function=3356672 1800.11/1773.25 c Total wall clock time (in seconds): 1773.13
OK 3356672
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-4103196-1466234694/watcher-4103196-1466234694 -o /tmp/evaluation-result-4103196-1466234694/solver-4103196-1466234694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103196-1466234694.opb pid=16149 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.18 2.25 2.26 3/194 16152 /proc/meminfo: memFree=29813548/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/16152/stat : 16152 (java) D 16149 16152 10680 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 25515121 9515008 175 33554432000 1073741824 1073778376 140735368941152 140735368923880 248790205328 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/16152/statm: 2323 175 133 9 0 71 0 [startup+0.100071 s] /proc/loadavg: 2.18 2.25 2.26 3/194 16152 /proc/meminfo: memFree=29813548/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 4299 0 1 0 7 1 0 0 20 0 18 0 25515121 9787879424 5422 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2389619 5422 2096 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200236 s] /proc/loadavg: 2.18 2.25 2.26 3/194 16152 /proc/meminfo: memFree=29813548/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 5074 0 1 0 27 1 0 0 20 0 18 0 25515121 9787879424 7017 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2389619 7017 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.30025 s] /proc/loadavg: 2.18 2.25 2.26 3/194 16152 /proc/meminfo: memFree=29813548/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 9228 0 1 0 52 2 0 0 20 0 18 0 25515121 9787879424 11743 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2389619 11743 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700257 s] /proc/loadavg: 2.18 2.25 2.26 3/194 16152 /proc/meminfo: memFree=29813548/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=1.44 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 10783 0 1 0 142 2 0 0 20 0 19 0 25515121 9856040960 15123 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 15123 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 9625040 [startup+1.50083 s] /proc/loadavg: 2.18 2.25 2.26 3/213 16171 /proc/meminfo: memFree=29747876/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=2.44 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 13614 0 1 0 241 3 0 0 20 0 19 0 25515121 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 23082 2265 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 2430 0 1 0 144 1 0 0 20 0 19 0 25515122 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026393448128 140026218926304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25515125 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 3246 0 0 0 37 0 0 0 20 0 19 0 25515128 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6660 0 0 0 58 0 0 0 20 0 19 0 25515128 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 23082 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 9625040 [startup+3.10082 s] /proc/loadavg: 2.18 2.25 2.26 3/213 16171 /proc/meminfo: memFree=29705744/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=4.19 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 14562 0 1 0 415 4 0 0 20 0 19 0 25515121 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 40212 2265 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 2464 0 1 0 303 2 0 0 20 0 19 0 25515122 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026393457160 140026218925985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25515125 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4153 0 0 0 45 0 0 0 20 0 19 0 25515128 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6667 0 0 0 64 0 0 0 20 0 19 0 25515128 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 40212 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 9625040 [startup+6.30084 s] /proc/loadavg: 2.24 2.27 2.26 4/213 16171 /proc/meminfo: memFree=29639116/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=7.45 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 14659 0 1 0 739 6 0 0 20 0 19 0 25515121 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 48413 2279 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 2476 0 1 0 620 3 0 0 20 0 19 0 25515122 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026393455808 140026218983728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25515124 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25515125 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4153 0 0 0 45 0 0 0 20 0 19 0 25515128 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6697 0 0 0 66 0 0 0 20 0 19 0 25515128 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 48413 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.45 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 25515128 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6700 0 0 0 70 0 0 0 20 0 19 0 25515128 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 93 0 0 0 18 24 0 0 20 0 19 0 25515128 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 95786 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1626.71 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.31 2.32 2.23 3/213 16277 /proc/meminfo: memFree=29414032/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=1687.63 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 49222 0 1 0 168570 193 0 0 20 0 19 0 25515121 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 89150 2288 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=1647.1 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 5093 0 1 0 164677 33 0 0 20 0 19 0 25515122 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026393455840 140026218946231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 4417 0 0 0 423 18 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 3534 0 0 0 423 18 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 2963 0 0 0 422 19 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=4.63 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 4334 0 0 0 444 19 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=4.5 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 4251 0 0 0 430 20 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=4.46 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 3959 0 0 0 429 17 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=4.45 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 2796 0 0 0 426 19 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=4.39 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 4197 0 0 0 421 18 0 0 20 0 19 0 25515124 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=3.76 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 1463 0 0 0 361 15 0 0 20 0 19 0 25515125 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 25515128 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6700 0 0 0 70 0 0 0 20 0 19 0 25515128 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 97 0 0 0 19 25 0 0 20 0 19 0 25515128 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 89150 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1687.63 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.27 2.30 2.23 4/213 16278 /proc/meminfo: memFree=29378928/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=1748.47 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 50808 0 1 0 174647 200 0 0 20 0 19 0 25515121 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 102011 2288 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=1706.59 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 5122 0 1 0 170625 34 0 0 20 0 19 0 25515122 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026393455840 140026218946231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 4862 0 0 0 440 19 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=4.56 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 3640 0 0 0 438 18 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=4.56 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 3069 0 0 0 436 20 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 4658 0 0 0 460 20 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=4.62 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 4395 0 0 0 441 21 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=4.62 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 3991 0 0 0 444 18 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=4.61 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 2938 0 0 0 441 20 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=4.55 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 4422 0 0 0 437 18 0 0 20 0 19 0 25515124 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=3.88 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 1494 0 0 0 373 15 0 0 20 0 19 0 25515125 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 25515128 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6700 0 0 0 70 0 0 0 20 0 19 0 25515128 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 99 0 0 0 20 26 0 0 20 0 19 0 25515128 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 102011 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1748.47 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773.2 s] /proc/loadavg: 2.30 2.30 2.23 2/213 16279 /proc/meminfo: memFree=29460312/32872528 swapFree=1402776/1580604 [pid=16152] ppid=16149 vsize=9625040 CPUtime=1800.11 cores=1,3,5,7 /proc/16152/stat : 16152 (java) S 16149 16152 10680 0 -1 4202496 51518 0 1 0 179808 203 0 0 20 0 19 0 25515121 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140736378674160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16152/statm: 2406260 96049 2288 9 0 2396937 0 [pid=16152/tid=16154] ppid=16149 vsize=9625040 CPUtime=1756.9 cores=1,3,5,7 /proc/16152/task/16154/stat : 16154 (java) R 16149 16152 10680 0 -1 4202560 5149 0 1 0 175655 35 0 0 20 0 19 0 25515122 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026393455824 140026218983906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16155] ppid=16149 vsize=9625040 CPUtime=4.72 cores=1,3,5,7 /proc/16152/task/16155/stat : 16155 (java) S 16149 16152 10680 0 -1 4202560 4862 0 0 0 453 19 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026354949160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16156] ppid=16149 vsize=9625040 CPUtime=4.71 cores=1,3,5,7 /proc/16152/task/16156/stat : 16156 (java) S 16149 16152 10680 0 -1 4202560 3730 0 0 0 453 18 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026353896360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16157] ppid=16149 vsize=9625040 CPUtime=4.69 cores=1,3,5,7 /proc/16152/task/16157/stat : 16157 (java) S 16149 16152 10680 0 -1 4202560 3069 0 0 0 449 20 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026352843560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16158] ppid=16149 vsize=9625040 CPUtime=4.93 cores=1,3,5,7 /proc/16152/task/16158/stat : 16158 (java) S 16149 16152 10680 0 -1 4202560 4708 0 0 0 473 20 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026351790760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16159] ppid=16149 vsize=9625040 CPUtime=4.74 cores=1,3,5,7 /proc/16152/task/16159/stat : 16159 (java) S 16149 16152 10680 0 -1 4202560 4582 0 0 0 453 21 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026350737960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16160] ppid=16149 vsize=9625040 CPUtime=4.79 cores=1,3,5,7 /proc/16152/task/16160/stat : 16160 (java) S 16149 16152 10680 0 -1 4202560 4082 0 0 0 461 18 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026349685160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16161] ppid=16149 vsize=9625040 CPUtime=4.74 cores=1,3,5,7 /proc/16152/task/16161/stat : 16161 (java) S 16149 16152 10680 0 -1 4202560 3115 0 0 0 454 20 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026348632360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16162] ppid=16149 vsize=9625040 CPUtime=4.68 cores=1,3,5,7 /proc/16152/task/16162/stat : 16162 (java) S 16149 16152 10680 0 -1 4202560 4477 0 0 0 450 18 0 0 20 0 19 0 25515124 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026347579560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16163] ppid=16149 vsize=9625040 CPUtime=4.13 cores=1,3,5,7 /proc/16152/task/16163/stat : 16163 (java) S 16149 16152 10680 0 -1 4202560 1523 0 0 0 397 16 0 0 20 0 19 0 25515125 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026217225192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16152/tid=16164] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16164/stat : 16164 (java) S 16149 16152 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026216171256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16165] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16165/stat : 16165 (java) S 16149 16152 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25515126 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026215118344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16166] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16166/stat : 16166 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026214066832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16167] ppid=16149 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/16152/task/16167/stat : 16167 (java) S 16149 16152 10680 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 25515128 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026213013944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16152/tid=16168] ppid=16149 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/16152/task/16168/stat : 16168 (java) S 16149 16152 10680 0 -1 4202560 6700 0 0 0 70 0 0 0 20 0 19 0 25515128 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026211961144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16169] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16169/stat : 16169 (java) S 16149 16152 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25515128 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026210908536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16152/tid=16170] ppid=16149 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/16152/task/16170/stat : 16170 (java) S 16149 16152 10680 0 -1 4202560 103 0 0 0 20 27 0 0 20 0 19 0 25515128 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026209855944 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16152/tid=16171] ppid=16149 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16152/task/16171/stat : 16171 (java) S 16149 16152 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25515156 9856040960 96049 33554432000 1073741824 1073778376 140736378683024 140026208802472 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 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 16152 sig 9 ??? kill -16152 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1773.26 CPU time (s): 1801.14 CPU user time (s): 1798.68 CPU system time (s): 2.46163 CPU usage (%): 101.572 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.68 system time used= 2.46162 maximum resident set size= 482352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51563 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68582 involuntary context switches= 85700 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3614 second user time and 13.7749 second system time The end
Begin job on node139 at 2016-06-18 09:24:54 IDJOB=4103196 IDBENCH=2294 IDSOLVER=2546 FILE ID=node139/4103196-1466234694 RUNJOBID= node139-1466206053-10697 PBS_JOBID= 19918138 Free space on /tmp= 71592 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103196-1466234694/watcher-4103196-1466234694 -o /tmp/evaluation-result-4103196-1466234694/solver-4103196-1466234694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103196-1466234694.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED=1182195099 node139.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.500 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.00 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.500 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.500 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.500 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.56 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.500 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.500 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.500 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.55 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.500 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: 29813704 kB Buffers: 123596 kB Cached: 108844 kB SwapCached: 1900 kB Active: 567840 kB Inactive: 171256 kB Active(anon): 507556 kB Inactive(anon): 1596 kB Active(file): 60284 kB Inactive(file): 169660 kB Unevictable: 1580604 kB Mlocked: 1402776 kB SwapTotal: 67108856 kB SwapFree: 67099480 kB Dirty: 884 kB Writeback: 0 kB AnonPages: 2086980 kB Mapped: 15532 kB Shmem: 0 kB Slab: 603696 kB SReclaimable: 47532 kB SUnreclaim: 556164 kB KernelStack: 1608 kB PageTables: 8640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2217296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 614400 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= 71592 MiB End job on node139 at 2016-06-18 09:54:27