Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.66 | 921.96 |
Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_7_mh.opb |
MD5SUM | 578db65b35c9d87cb72f70788034039a |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 15820949 |
Best CPU time to get the best result obtained on this benchmark | 105.68 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6810 |
Total number of constraints | 15202 |
Number of constraints which are clauses | 11580 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 3795 |
Biggest coefficient in the objective function | 76225024 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 5067828285 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 76225024 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 5067828285 |
Number of bits of the biggest sum of numbers | 33 |
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-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3744144-1338795597.opb 0.09/0.12 c reading problem ... 0.77/0.48 c ... done. Wall clock time 0.368s. 0.77/0.48 c #vars 6810 0.77/0.48 c #constraints 15671 0.77/0.48 c constraints type 0.77/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.77/0.49 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.77/0.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.77/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.77/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.77/0.49 c constraints type 0.77/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 0.77/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 0.77/0.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 0.77/0.49 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 0.77/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.42/0.65 c And the winner is Resolution 1.81/1.01 c SATISFIABLE 1.81/1.01 c OPTIMIZING... 1.81/1.01 c Got one! Elapsed wall clock time (in seconds):0.889 1.81/1.01 o 18230884 1.81/1.03 c And the winner is Resolution 2.24/1.53 c Got one! Elapsed wall clock time (in seconds):1.415 2.24/1.53 o 18230650 2.24/1.58 c And the winner is Resolution 2.47/2.05 c Got one! Elapsed wall clock time (in seconds):1.936 2.47/2.05 o 18214620 2.47/2.07 c And the winner is Resolution 2.55/2.57 c Got one! Elapsed wall clock time (in seconds):2.454 2.55/2.57 o 18212716 2.55/2.59 c And the winner is Resolution 2.64/3.09 c Got one! Elapsed wall clock time (in seconds):2.97 2.64/3.09 o 18212482 5.35/4.35 c And the winner is Resolution 5.81/4.70 c Got one! Elapsed wall clock time (in seconds):4.587 5.81/4.70 o 17664261 6.60/5.14 c And the winner is Resolution 7.03/5.52 c Got one! Elapsed wall clock time (in seconds):5.403 7.03/5.52 o 17658969 7.03/5.54 c And the winner is Resolution 7.11/6.04 c Got one! Elapsed wall clock time (in seconds):5.919 7.11/6.04 o 16027146 7.11/6.05 c And the winner is Resolution 7.17/6.55 c Got one! Elapsed wall clock time (in seconds):6.434 7.17/6.55 o 15961981 7.17/6.59 c And the winner is Resolution 7.28/7.07 c Got one! Elapsed wall clock time (in seconds):6.95 7.28/7.07 o 15956432 7.37/7.14 c And the winner is Resolution 7.47/7.58 c Got one! Elapsed wall clock time (in seconds):7.466 7.47/7.58 o 15908098 7.51/7.64 c And the winner is Resolution 7.61/8.10 c Got one! Elapsed wall clock time (in seconds):7.98 7.61/8.10 o 15906476 8.01/8.34 c cleaning 3432 clauses out of 6864 with flag 1000/6870 11.73/10.12 c cleaning 4711 clauses out of 9428 with flag 7001/12871 15.31/12.00 c cleaning 5846 clauses out of 11716 with flag 14000/19870 19.92/14.24 c cleaning 6924 clauses out of 13870 with flag 22000/27870 25.12/16.88 c cleaning 7967 clauses out of 15947 with flag 31001/36871 30.28/19.43 c cleaning 8982 clauses out of 17979 with flag 41000/46870 36.64/22.65 c cleaning 9985 clauses out of 19997 with flag 52000/57870 42.58/25.68 c cleaning 10996 clauses out of 22012 with flag 64000/69870 49.34/29.03 c cleaning 11994 clauses out of 24017 with flag 77001/82871 56.93/32.83 c cleaning 12996 clauses out of 26022 with flag 91000/96870 65.14/36.97 c cleaning 14002 clauses out of 28027 with flag 106001/111871 73.30/41.09 c cleaning 15004 clauses out of 30027 with flag 122003/127873 81.83/45.31 c cleaning 15490 clauses out of 31020 with flag 138000/143870 90.00/49.48 c cleaning 15752 clauses out of 31532 with flag 154002/159872 99.15/54.02 c cleaning 15877 clauses out of 31778 with flag 170000/175870 107.32/58.14 c cleaning 15942 clauses out of 31901 with flag 186000/191870 116.84/62.91 c cleaning 15955 clauses out of 31959 with flag 202000/207870 125.40/67.20 c cleaning 15988 clauses out of 32005 with flag 218001/223871 133.54/71.37 c cleaning 15995 clauses out of 32016 with flag 234000/239870 141.47/75.32 c cleaning 15995 clauses out of 32024 with flag 250003/255873 150.37/79.85 c cleaning 16001 clauses out of 32026 with flag 266000/271870 159.13/84.28 c cleaning 15997 clauses out of 32025 with flag 282000/287870 166.86/88.16 c And the winner is Resolution 167.27/88.44 c Got one! Elapsed wall clock time (in seconds):88.32 167.27/88.44 o 15894549 167.27/88.48 c And the winner is Resolution 167.40/88.95 c Got one! Elapsed wall clock time (in seconds):88.836 167.40/88.95 o 15870981 167.50/89.04 c And the winner is Resolution 167.62/89.47 c Got one! Elapsed wall clock time (in seconds):89.351 167.62/89.47 o 15864178 169.60/90.40 c cleaning 17557 clauses out of 35133 with flag 5000/306975 171.53/91.48 c And the winner is Resolution 171.92/91.79 c Got one! Elapsed wall clock time (in seconds):91.678 171.92/91.79 o 15861882 172.21/91.98 c And the winner is Resolution 172.90/92.56 c Got one! Elapsed wall clock time (in seconds):92.444 172.90/92.56 o 15834336 174.42/93.30 c cleaning 14228 clauses out of 28501 with flag 4005/317900 176.53/94.49 c cleaning 10119 clauses out of 20268 with flag 10000/323895 179.54/95.97 c cleaning 8567 clauses out of 17150 with flag 17001/330896 183.66/98.08 c cleaning 8268 clauses out of 16582 with flag 25000/338895 188.78/100.64 c cleaning 8638 clauses out of 17313 with flag 34000/347895 193.86/103.24 c cleaning 9335 clauses out of 18676 with flag 44001/357896 199.18/105.91 c cleaning 10156 clauses out of 20340 with flag 55000/368895 205.71/109.21 c cleaning 11082 clauses out of 22184 with flag 67000/380895 213.22/113.02 c cleaning 12034 clauses out of 24102 with flag 80000/393895 221.10/117.02 c cleaning 13029 clauses out of 26069 with flag 94001/407896 229.61/121.31 c cleaning 14009 clauses out of 28039 with flag 109000/422895 237.54/125.40 c cleaning 15011 clauses out of 30032 with flag 125002/438897 246.45/129.85 c cleaning 15495 clauses out of 31019 with flag 141000/454895 254.71/134.10 c cleaning 15752 clauses out of 31524 with flag 157000/470895 262.64/138.05 c cleaning 15868 clauses out of 31774 with flag 173002/486897 270.76/142.11 c cleaning 15941 clauses out of 31904 with flag 189000/502895 279.66/146.64 c cleaning 15968 clauses out of 31964 with flag 205001/518896 289.14/151.40 c cleaning 15993 clauses out of 31996 with flag 221001/534896 297.65/155.72 c cleaning 15996 clauses out of 32003 with flag 237001/550896 307.18/160.52 c cleaning 15991 clauses out of 32006 with flag 253000/566895 316.10/165.07 c cleaning 15998 clauses out of 32015 with flag 269000/582895 325.75/169.99 c cleaning 16002 clauses out of 32017 with flag 285000/598895 334.25/174.24 c cleaning 15990 clauses out of 32016 with flag 301001/614896 343.16/178.71 c cleaning 16004 clauses out of 32026 with flag 317001/630896 352.88/183.63 c cleaning 15999 clauses out of 32021 with flag 333000/646895 361.33/187.94 c cleaning 16008 clauses out of 32021 with flag 349000/662895 369.85/192.29 c cleaning 16000 clauses out of 32013 with flag 365000/678895 378.75/196.73 c cleaning 15996 clauses out of 32013 with flag 381000/694895 387.25/201.05 c cleaning 15998 clauses out of 32017 with flag 397000/710895 395.91/205.43 c cleaning 16000 clauses out of 32019 with flag 413000/726895 405.02/210.01 c cleaning 16002 clauses out of 32019 with flag 429000/742895 413.72/214.47 c cleaning 15998 clauses out of 32018 with flag 445001/758896 422.62/218.93 c cleaning 16003 clauses out of 32022 with flag 461003/774898 431.66/223.54 c cleaning 15991 clauses out of 32016 with flag 477000/790895 440.99/228.20 c cleaning 16002 clauses out of 32026 with flag 493001/806896 449.48/232.55 c cleaning 16009 clauses out of 32023 with flag 509000/822895 458.18/236.96 c cleaning 16000 clauses out of 32015 with flag 525001/838896 467.03/241.40 c cleaning 15999 clauses out of 32014 with flag 541000/854895 475.93/245.99 c cleaning 16005 clauses out of 32015 with flag 557001/870896 484.62/250.37 c cleaning 15992 clauses out of 32009 with flag 573000/886895 492.93/254.52 c cleaning 16000 clauses out of 32019 with flag 589002/902897 501.98/259.14 c cleaning 16002 clauses out of 32018 with flag 605001/918896 506.88/261.63 c And the winner is Resolution 507.05/261.77 c Got one! Elapsed wall clock time (in seconds):261.652 507.05/261.77 o 15820949 508.78/262.69 c cleaning 15301 clauses out of 30620 with flag 5001/933500 511.09/263.80 c cleaning 10630 clauses out of 21319 with flag 11001/939500 513.40/265.04 c cleaning 8820 clauses out of 17688 with flag 18000/946499 516.22/266.57 c cleaning 8411 clauses out of 16868 with flag 26000/954499 522.52/269.71 c cleaning 8712 clauses out of 17457 with flag 35000/963499 527.42/272.24 c cleaning 9367 clauses out of 18745 with flag 45000/973499 532.72/275.00 c cleaning 10177 clauses out of 20378 with flag 56000/984499 539.36/278.31 c cleaning 11086 clauses out of 22202 with flag 68001/996500 546.22/281.84 c cleaning 12051 clauses out of 24115 with flag 81000/1009499 553.71/285.69 c cleaning 13028 clauses out of 26065 with flag 95001/1023500 562.41/290.03 c cleaning 14006 clauses out of 28037 with flag 110001/1038500 570.83/294.34 c cleaning 15007 clauses out of 30033 with flag 126003/1054502 579.30/298.61 c cleaning 15501 clauses out of 31024 with flag 142001/1070500 587.97/303.03 c cleaning 15757 clauses out of 31524 with flag 158002/1086501 596.47/307.35 c cleaning 15871 clauses out of 31765 with flag 174000/1102499 605.70/312.08 c cleaning 15945 clauses out of 31897 with flag 190003/1118502 614.39/316.42 c cleaning 15969 clauses out of 31950 with flag 206001/1134500 623.89/321.28 c cleaning 15980 clauses out of 31980 with flag 222000/1150499 633.15/325.96 c cleaning 15982 clauses out of 32000 with flag 238000/1166499 641.96/330.44 c cleaning 15996 clauses out of 32019 with flag 254001/1182500 651.43/335.27 c cleaning 15995 clauses out of 32022 with flag 270000/1198499 660.74/339.92 c cleaning 16009 clauses out of 32028 with flag 286001/1214500 669.21/344.27 c cleaning 15988 clauses out of 32018 with flag 302000/1230499 678.05/348.73 c cleaning 16004 clauses out of 32030 with flag 318000/1246499 686.72/353.17 c cleaning 16012 clauses out of 32027 with flag 334001/1262500 695.58/357.61 c cleaning 15987 clauses out of 32014 with flag 350000/1278499 703.86/361.88 c cleaning 15997 clauses out of 32028 with flag 366001/1294500 713.25/366.66 c cleaning 15999 clauses out of 32031 with flag 382001/1310500 722.33/371.23 c cleaning 16009 clauses out of 32033 with flag 398002/1326501 731.21/375.79 c cleaning 16005 clauses out of 32022 with flag 414000/1342499 740.08/380.21 c cleaning 15987 clauses out of 32017 with flag 430000/1358499 748.87/384.71 c cleaning 16003 clauses out of 32030 with flag 446000/1374499 757.36/389.05 c cleaning 16007 clauses out of 32027 with flag 462000/1390499 766.66/393.76 c cleaning 15998 clauses out of 32020 with flag 478000/1406499 775.75/398.30 c cleaning 16005 clauses out of 32022 with flag 494000/1422499 784.95/403.08 c cleaning 16002 clauses out of 32018 with flag 510001/1438500 794.02/407.60 c cleaning 15994 clauses out of 32015 with flag 526000/1454499 803.28/412.34 c cleaning 16006 clauses out of 32021 with flag 542000/1470499 812.53/417.04 c cleaning 15993 clauses out of 32016 with flag 558001/1486500 821.51/421.65 c cleaning 15997 clauses out of 32022 with flag 574000/1502499 830.75/426.39 c cleaning 16000 clauses out of 32025 with flag 590000/1518499 839.41/430.75 c cleaning 16010 clauses out of 32026 with flag 606001/1534500 847.66/434.91 c cleaning 16001 clauses out of 32015 with flag 622000/1550499 856.63/439.55 c cleaning 15986 clauses out of 32014 with flag 638000/1566499 865.08/443.83 c cleaning 16001 clauses out of 32027 with flag 654000/1582499 873.93/448.33 c cleaning 16004 clauses out of 32027 with flag 670001/1598500 882.77/452.88 c cleaning 15995 clauses out of 32023 with flag 686001/1614500 892.16/457.68 c cleaning 16000 clauses out of 32027 with flag 702000/1630499 901.60/462.41 c cleaning 16001 clauses out of 32030 with flag 718003/1646502 910.05/466.77 c cleaning 15996 clauses out of 32026 with flag 734000/1662499 918.89/471.20 c cleaning 16003 clauses out of 32030 with flag 750000/1678499 927.69/475.74 c cleaning 16005 clauses out of 32028 with flag 766001/1694500 936.14/480.01 c cleaning 16006 clauses out of 32025 with flag 782003/1710502 945.40/484.77 c cleaning 16002 clauses out of 32016 with flag 798000/1726499 954.85/489.56 c cleaning 15996 clauses out of 32014 with flag 814000/1742499 965.00/494.76 c cleaning 16005 clauses out of 32018 with flag 830000/1758499 974.06/499.38 c cleaning 15995 clauses out of 32015 with flag 846002/1774501 983.30/504.05 c cleaning 16002 clauses out of 32020 with flag 862002/1790501 991.94/508.42 c cleaning 15997 clauses out of 32017 with flag 878001/1806500 1000.49/512.82 c cleaning 16002 clauses out of 32020 with flag 894001/1822500 1008.92/517.12 c cleaning 15998 clauses out of 32017 with flag 910000/1838499 1018.17/521.84 c cleaning 15996 clauses out of 32021 with flag 926002/1854501 1027.01/526.38 c cleaning 15994 clauses out of 32023 with flag 942000/1870499 1035.77/530.83 c cleaning 16011 clauses out of 32029 with flag 958000/1886499 1045.02/535.52 c cleaning 16004 clauses out of 32018 with flag 974000/1902499 1054.85/540.55 c cleaning 15996 clauses out of 32015 with flag 990001/1918500 1063.89/545.15 c cleaning 15988 clauses out of 32018 with flag 1006000/1934499 1072.43/549.58 c cleaning 16000 clauses out of 32030 with flag 1022000/1950499 1081.08/553.95 c cleaning 15999 clauses out of 32031 with flag 1038001/1966500 1089.50/558.24 c cleaning 16010 clauses out of 32034 with flag 1054003/1982502 1098.34/562.75 c cleaning 15997 clauses out of 32021 with flag 1070000/1998499 1107.47/567.44 c cleaning 16008 clauses out of 32025 with flag 1086001/2014500 1116.52/572.04 c cleaning 16001 clauses out of 32016 with flag 1102000/2030499 1126.12/576.93 c cleaning 15995 clauses out of 32015 with flag 1118000/2046499 1135.35/581.66 c cleaning 15996 clauses out of 32020 with flag 1134000/2062499 1145.47/586.89 c cleaning 15995 clauses out of 32024 with flag 1150000/2078499 1155.11/591.75 c cleaning 16004 clauses out of 32034 with flag 1166005/2094504 1164.55/596.53 c cleaning 16005 clauses out of 32025 with flag 1182000/2110499 1173.80/601.28 c cleaning 15996 clauses out of 32021 with flag 1198001/2126500 1182.33/605.61 c cleaning 16003 clauses out of 32025 with flag 1214001/2142500 1190.95/610.02 c cleaning 16000 clauses out of 32021 with flag 1230000/2158499 1199.97/614.61 c cleaning 16001 clauses out of 32021 with flag 1246000/2174499 1208.39/618.94 c cleaning 16002 clauses out of 32020 with flag 1262000/2190499 1217.12/623.44 c cleaning 15984 clauses out of 32018 with flag 1278000/2206499 1225.94/627.93 c cleaning 16013 clauses out of 32038 with flag 1294004/2222503 1234.16/632.12 c cleaning 16004 clauses out of 32021 with flag 1310000/2238499 1242.39/636.37 c cleaning 15992 clauses out of 32017 with flag 1326000/2254499 1250.73/640.66 c cleaning 16002 clauses out of 32027 with flag 1342002/2270501 1259.14/644.92 c cleaning 15994 clauses out of 32023 with flag 1358000/2286499 1268.97/649.90 c cleaning 16000 clauses out of 32029 with flag 1374000/2302499 1277.80/654.44 c cleaning 16003 clauses out of 32029 with flag 1390000/2318499 1286.91/659.11 c cleaning 16007 clauses out of 32029 with flag 1406003/2334502 1294.95/663.29 c cleaning 15999 clauses out of 32019 with flag 1422000/2350499 1303.96/667.85 c cleaning 16000 clauses out of 32020 with flag 1438000/2366499 1312.56/672.27 c cleaning 15997 clauses out of 32021 with flag 1454001/2382500 1321.89/677.01 c cleaning 15999 clauses out of 32023 with flag 1470000/2398499 1331.55/681.92 c cleaning 15997 clauses out of 32024 with flag 1486000/2414499 1340.17/686.37 c cleaning 16005 clauses out of 32030 with flag 1502003/2430502 1349.19/690.93 c cleaning 16008 clauses out of 32026 with flag 1518004/2446503 1357.92/695.40 c cleaning 16003 clauses out of 32015 with flag 1534001/2462500 1366.16/699.66 c cleaning 15997 clauses out of 32013 with flag 1550002/2478501 1374.16/703.76 c cleaning 15991 clauses out of 32014 with flag 1566000/2494499 1382.38/707.98 c cleaning 15988 clauses out of 32023 with flag 1582000/2510499 1391.93/712.83 c cleaning 15997 clauses out of 32036 with flag 1598001/2526500 1401.77/717.87 c cleaning 15998 clauses out of 32038 with flag 1614000/2542499 1410.58/722.35 c cleaning 16007 clauses out of 32040 with flag 1630000/2558499 1419.60/726.97 c cleaning 15995 clauses out of 32033 with flag 1646000/2574499 1428.92/731.70 c cleaning 16002 clauses out of 32038 with flag 1662000/2590499 1437.15/735.93 c cleaning 16006 clauses out of 32037 with flag 1678001/2606500 1445.76/740.32 c cleaning 16009 clauses out of 32030 with flag 1694000/2622499 1454.58/744.81 c cleaning 16005 clauses out of 32024 with flag 1710003/2638502 1463.89/749.63 c cleaning 15983 clauses out of 32016 with flag 1726000/2654499 1472.70/754.12 c cleaning 16001 clauses out of 32033 with flag 1742000/2670499 1481.70/758.71 c cleaning 15994 clauses out of 32033 with flag 1758001/2686500 1489.71/762.83 c cleaning 16013 clauses out of 32039 with flag 1774001/2702500 1498.00/767.16 c cleaning 16005 clauses out of 32026 with flag 1790001/2718500 1506.62/771.55 c cleaning 15992 clauses out of 32024 with flag 1806004/2734503 1515.42/776.00 c cleaning 16007 clauses out of 32028 with flag 1822000/2750499 1524.25/780.58 c cleaning 16002 clauses out of 32021 with flag 1838000/2766499 1534.76/785.91 c cleaning 16004 clauses out of 32022 with flag 1854003/2782502 1543.57/790.49 c cleaning 15987 clauses out of 32015 with flag 1870000/2798499 1552.80/795.10 c cleaning 15998 clauses out of 32028 with flag 1886000/2814499 1561.81/799.74 c cleaning 16009 clauses out of 32031 with flag 1902001/2830500 1570.71/804.36 c cleaning 16007 clauses out of 32022 with flag 1918001/2846500 1580.33/809.25 c cleaning 15990 clauses out of 32014 with flag 1934000/2862499 1589.33/813.80 c cleaning 16001 clauses out of 32027 with flag 1950003/2878502 1598.34/818.43 c cleaning 15993 clauses out of 32023 with flag 1966000/2894499 1607.21/823.05 c cleaning 15997 clauses out of 32034 with flag 1982004/2910503 1616.22/827.63 c cleaning 16011 clauses out of 32034 with flag 1998001/2926500 1625.63/832.50 c cleaning 15995 clauses out of 32022 with flag 2014000/2942499 1635.25/837.37 c cleaning 16002 clauses out of 32027 with flag 2030000/2958499 1645.15/842.47 c cleaning 15994 clauses out of 32025 with flag 2046000/2974499 1653.95/846.97 c cleaning 16005 clauses out of 32033 with flag 2062002/2990501 1662.93/851.51 c cleaning 16003 clauses out of 32026 with flag 2078000/3006499 1671.53/855.98 c cleaning 16005 clauses out of 32023 with flag 2094000/3022499 1680.64/860.66 c cleaning 15992 clauses out of 32019 with flag 2110001/3038500 1689.84/865.34 c cleaning 15989 clauses out of 32026 with flag 2126000/3054499 1698.85/869.92 c cleaning 16006 clauses out of 32037 with flag 2142000/3070499 1708.45/874.81 c cleaning 16000 clauses out of 32031 with flag 2158000/3086499 1717.34/879.42 c cleaning 15998 clauses out of 32031 with flag 2174000/3102499 1725.96/883.87 c cleaning 16005 clauses out of 32034 with flag 2190001/3118500 1734.55/888.22 c cleaning 15997 clauses out of 32028 with flag 2206000/3134499 1743.34/892.79 c cleaning 16004 clauses out of 32032 with flag 2222001/3150500 1752.62/897.54 c cleaning 16006 clauses out of 32027 with flag 2238000/3166499 1761.83/902.25 c cleaning 16004 clauses out of 32025 with flag 2254004/3182503 1770.24/906.58 c cleaning 16001 clauses out of 32017 with flag 2270000/3198499 1779.24/911.16 c cleaning 15997 clauses out of 32017 with flag 2286001/3214500 1788.72/916.09 c cleaning 15999 clauses out of 32019 with flag 2302000/3230499 1797.53/920.60 c cleaning 15999 clauses out of 32020 with flag 2318000/3246499 1800.14/921.91 c starts : 265 1800.14/921.91 c conflicts : 3250755 1800.14/921.91 c decisions : 7364602 1800.14/921.91 c propagations : 702829361 1800.14/921.91 c inspects : 2932312320 1800.14/921.91 c shortcuts : 0 1800.14/921.91 c learnt literals : 15 1800.14/921.91 c learnt binary clauses : 777 1800.14/921.91 c learnt ternary clauses : 7131 1800.14/921.91 c learnt constraints : 3250739 1800.14/921.91 c ignored constraints : 0 1800.14/921.91 c root simplifications : 0 1800.14/921.91 c removed literals (reason simplification) : 21884407 1800.14/921.91 c reason swapping (by a shorter reason) : 0 1800.14/921.91 c Calls to reduceDB : 214 1800.14/921.91 c number of reductions to clauses (during analyze) : 0 1800.14/921.91 c number of learned constraints concerned by reduction : 0 1800.14/921.91 c number of learning phase by resolution : 0 1800.14/921.91 c number of learning phase by cutting planes : 0 1800.14/921.91 c speed (assignments/second) : 1064670.8400364772 1800.14/921.91 c non guided choices 3896 1800.14/921.92 c learnt constraints type 1800.14/921.92 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 777 1800.14/921.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19536 1800.14/921.92 c constraints type 1800.14/921.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1800.14/921.92 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1800.14/921.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.14/921.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1800.14/921.92 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076 1800.14/921.92 c constraints type 1800.14/921.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1800.14/921.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1800.14/921.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.14/921.92 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1800.14/921.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3076 1800.14/921.92 s SATISFIABLE 1800.14/921.93 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 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 x6575 -x6576 -x6577 x6578 x6579 -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 x6743 -x6744 -x6745 -x6746 -x6747 x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 x6785 -x6786 -x6787 -x6788 x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 x6803 -x6804 -x6805 -x6806 -x6807 x6808 -x6809 -x6810 1800.14/921.94 c objective function=15820949 1800.14/921.94 c Total wall clock time (in seconds): 921.825
OK 15820949
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744144-1338795597/watcher-3744144-1338795597 -o /tmp/evaluation-result-3744144-1338795597/solver-3744144-1338795597 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744144-1338795597.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.71 3.56 3.45 4/197 24505 /proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/24505/stat : 24505 (java) D 24503 24505 22704 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 345685668 9515008 182 33554432000 1073741824 1073778376 140733380716784 140733380707816 217410518709 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/24505/statm: 2323 182 140 9 0 71 0 [startup+0.0251661 s] /proc/loadavg: 3.71 3.56 3.45 4/197 24505 /proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=10510056 CPUtime=0 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 2713 0 1 0 0 0 0 0 20 0 2 0 345685668 10762297344 5972 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2627514 5972 942 9 0 2618623 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10510056 [startup+0.100189 s] /proc/loadavg: 3.71 3.56 3.45 4/197 24505 /proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11586392 CPUtime=0.09 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 5321 0 1 0 8 1 0 0 20 0 18 0 345685668 11864465408 13148 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2896598 13148 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300199 s] /proc/loadavg: 3.71 3.56 3.45 4/197 24505 /proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11586392 CPUtime=0.52 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 7218 0 1 0 50 2 0 0 20 0 18 0 345685668 11864465408 17004 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2896598 17004 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 11586392 [startup+0.70025 s] /proc/loadavg: 3.71 3.56 3.45 4/197 24505 /proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=1.76 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 12773 0 1 0 170 6 0 0 20 0 19 0 345685668 12137111552 30485 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 30485 2262 9 0 2953849 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 11852648 [startup+1.5006 s] /proc/loadavg: 3.71 3.56 3.45 4/216 24527 /proc/meminfo: memFree=27686048/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 18618 0 1 0 216 8 0 0 20 0 19 0 345685668 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 36182 2262 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.48 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3456 0 1 0 46 2 0 0 20 0 19 0 345685669 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928424682648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6790 0 0 0 68 2 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7073 0 0 0 62 2 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685675 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685719 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 11852648 [startup+3.10056 s] /proc/loadavg: 3.71 3.56 3.45 3/216 24536 /proc/meminfo: memFree=27635652/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=2.68 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 18702 0 1 0 254 14 0 0 20 0 22 0 345685668 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 47485 2265 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3460 0 1 0 53 3 0 0 20 0 22 0 345685669 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.79 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) R 24503 24505 22704 0 -1 4202560 6800 0 0 0 77 2 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928237897920 139928430874640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.74 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) R 24503 24505 22704 0 -1 4202560 7092 0 0 0 72 2 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413902773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685675 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 11852648 [startup+6.30063 s] /proc/loadavg: 3.65 3.55 3.45 4/218 24548 /proc/meminfo: memFree=26210856/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=7.17 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 19522 0 1 0 673 44 0 0 20 0 19 0 345685668 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 410031 2268 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.61 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3463 0 1 0 58 3 0 0 20 0 19 0 345685669 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6849 0 0 0 96 2 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.87 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7121 0 0 0 85 2 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685675 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685719 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 11852648 [startup+12.7007 s] ################ # More data... # ################ [pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=534.47 cores=1,3,5,7 /proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 113 0 0 0 53439 8 0 0 20 0 22 0 345711845 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=534.52 cores=1,3,5,7 /proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 58 0 0 0 53444 8 0 0 20 0 22 0 345711845 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364841490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1605.82 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.89 3.84 3.69 5/219 24691 /proc/meminfo: memFree=24122996/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=1722.95 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21728 0 1 0 172144 151 0 0 20 0 22 0 345685668 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 918284 2293 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3523 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.94 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 93 0 0 0 91 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.92 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 94 0 0 0 90 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.89 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 69 0 0 0 87 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 82 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 92 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.9 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 60 0 0 0 87 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.86 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 84 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 71 0 0 0 93 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=33.09 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 155 0 0 0 3298 11 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.33 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 345685675 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=591.3 cores=1,3,5,7 /proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 122 0 0 0 59122 8 0 0 20 0 22 0 345711845 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365249595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=591.35 cores=1,3,5,7 /proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 67 0 0 0 59127 8 0 0 20 0 22 0 345711845 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928365271814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1722.95 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+921.901 s] /proc/loadavg: 3.94 3.86 3.70 5/219 24694 /proc/meminfo: memFree=24100224/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21804 0 1 0 179861 153 0 0 20 0 22 0 345685668 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 921913 2293 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3526 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 2 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.96 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 93 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 100 0 0 0 95 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 81 0 0 0 98 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 66 0 0 0 94 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 96 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=35.24 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 161 0 0 0 3512 12 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 53 0 0 0 15 20 0 0 20 0 22 0 345685675 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=628.59 cores=1,3,5,7 /proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 129 0 0 0 62850 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=628.63 cores=1,3,5,7 /proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 73 0 0 0 62854 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364842023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+921.901 s] /proc/loadavg: 3.94 3.86 3.70 5/219 24694 /proc/meminfo: memFree=24100224/32873648 swapFree=7628/7628 [pid=24505] ppid=24503 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7 /proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21804 0 1 0 179861 153 0 0 20 0 22 0 345685668 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24505/statm: 2963162 921913 2293 9 0 2953849 0 [pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7 /proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3526 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 2 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.96 cores=1,3,5,7 /proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 93 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 100 0 0 0 95 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 81 0 0 0 98 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 66 0 0 0 94 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 96 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=35.24 cores=1,3,5,7 /proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 161 0 0 0 3512 12 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 53 0 0 0 15 20 0 0 20 0 22 0 345685675 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=628.59 cores=1,3,5,7 /proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 129 0 0 0 62850 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=628.63 cores=1,3,5,7 /proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 73 0 0 0 62854 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364842023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 921.96 CPU time (s): 1800.66 CPU user time (s): 1798.75 CPU system time (s): 1.91371 CPU usage (%): 195.308 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.75 system time used= 1.91371 maximum resident set size= 3687788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21840 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31274 involuntary context switches= 34629 runsolver used 3.59145 second user time and 8.20375 second system time The end
Begin job on node122 at 2012-06-04 09:39:57 IDJOB=3744144 IDBENCH=92695 IDSOLVER=2328 FILE ID=node122/3744144-1338795597 RUNJOBID= node122-1338785055-22721 PBS_JOBID= 14636854 Free space on /tmp= 71184 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744144-1338795597/watcher-3744144-1338795597 -o /tmp/evaluation-result-3744144-1338795597/solver-3744144-1338795597 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744144-1338795597.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 578db65b35c9d87cb72f70788034039a RANDOM SEED=34102923 node122.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.533 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.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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.04 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 5438.54 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27798820 kB Buffers: 274900 kB Cached: 301252 kB SwapCached: 1584 kB Active: 4006244 kB Inactive: 208772 kB Active(anon): 3636128 kB Inactive(anon): 5436 kB Active(file): 370116 kB Inactive(file): 203336 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 568 kB Writeback: 0 kB AnonPages: 3647588 kB Mapped: 17004 kB Shmem: 0 kB Slab: 713856 kB SReclaimable: 157564 kB SUnreclaim: 556292 kB KernelStack: 1616 kB PageTables: 10964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10495480 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3588096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node122 at 2012-06-04 09:55:21