Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 14 | 1800.71 | 958.38 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
| MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.591909 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14 |
| Optimality of the best value was proved | YES |
| Number of variables | 3659 |
| Total number of constraints | 9385 |
| Number of constraints which are clauses | 9385 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 1787 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1787 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1787 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.11 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.14 c Pseudo Boolean Optimization 0.07/0.14 c ManyCore solver with 2 solvers running in parallel 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.14 c No reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3735927-1338713862.opb 0.07/0.14 c reading problem ... 0.76/0.42 c ... done. Wall clock time 0.282s. 0.76/0.42 c #vars 3659 0.76/0.42 c #constraints 9382 0.76/0.42 c constraints type 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 0.76/0.42 c constraints type 0.76/0.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7390 0.76/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1893 1.14/0.50 c And the winner is Resolution 1.26/0.93 c SATISFIABLE 1.26/0.93 c OPTIMIZING... 1.26/0.93 c Got one! Elapsed wall clock time (in seconds):0.791 1.26/0.93 o 19 2.85/1.44 c And the winner is Resolution 3.01/1.94 c Got one! Elapsed wall clock time (in seconds):1.804 3.01/1.94 o 18 3.01/1.96 c And the winner is Resolution 3.12/2.45 c Got one! Elapsed wall clock time (in seconds):2.313 3.12/2.45 o 17 5.93/3.80 c cleaning 2699 clauses out of 5403 with flag 4000/5403 9.63/5.69 c cleaning 4347 clauses out of 8704 with flag 10000/11403 14.02/7.86 c cleaning 5678 clauses out of 11357 with flag 17000/18403 19.20/10.44 c cleaning 6837 clauses out of 13682 with flag 25003/26406 25.21/13.46 c cleaning 7916 clauses out of 15844 with flag 34002/35405 31.21/16.48 c cleaning 8960 clauses out of 17927 with flag 44001/45404 33.37/17.52 c And the winner is CuttingPlanes 33.37/17.53 c Got one! Elapsed wall clock time (in seconds):17.397 33.37/17.53 o 16 34.54/18.18 c cleaning 7006 clauses out of 14022 with flag 2002/50459 38.50/20.15 c cleaning 6503 clauses out of 13017 with flag 8003/56460 42.45/22.20 c cleaning 6749 clauses out of 13512 with flag 15001/63458 47.21/24.55 c cleaning 7374 clauses out of 14762 with flag 23000/71457 52.57/27.20 c cleaning 8183 clauses out of 16388 with flag 32000/80457 58.33/30.19 c cleaning 9101 clauses out of 18205 with flag 42000/90457 64.08/33.08 c cleaning 9548 clauses out of 19106 with flag 52002/100459 70.22/36.20 c cleaning 9770 clauses out of 19556 with flag 62000/110457 76.37/39.20 c cleaning 9884 clauses out of 19786 with flag 72000/120457 81.91/42.03 c cleaning 9931 clauses out of 19902 with flag 82000/130457 88.24/45.25 c cleaning 9982 clauses out of 19972 with flag 92001/140458 94.60/48.45 c cleaning 9991 clauses out of 19989 with flag 102000/150457 101.36/51.74 c cleaning 9989 clauses out of 19998 with flag 112000/160457 107.57/54.75 c cleaning 9999 clauses out of 20009 with flag 122000/170457 113.46/57.71 c cleaning 9994 clauses out of 20010 with flag 132000/180457 119.99/61.02 c cleaning 10006 clauses out of 20017 with flag 142001/190458 126.72/64.42 c cleaning 9999 clauses out of 20010 with flag 152000/200457 131.85/67.01 c cleaning 10001 clauses out of 20013 with flag 162002/210459 137.13/69.79 c cleaning 10000 clauses out of 20010 with flag 172000/220457 143.64/73.00 c cleaning 10003 clauses out of 20011 with flag 182001/230458 149.36/75.99 c cleaning 10001 clauses out of 20007 with flag 192000/240457 155.45/79.00 c cleaning 9997 clauses out of 20006 with flag 202000/250457 161.90/82.36 c cleaning 9996 clauses out of 20009 with flag 212000/260457 168.39/85.67 c cleaning 9999 clauses out of 20013 with flag 222000/270457 174.68/88.82 c cleaning 10002 clauses out of 20014 with flag 232000/280457 179.96/91.57 c cleaning 10002 clauses out of 20013 with flag 242001/290458 185.37/94.38 c cleaning 9996 clauses out of 20011 with flag 252001/300458 191.05/97.23 c cleaning 9999 clauses out of 20014 with flag 262000/310457 196.75/100.13 c cleaning 10001 clauses out of 20015 with flag 272000/320457 202.41/103.07 c cleaning 9998 clauses out of 20014 with flag 282000/330457 209.63/106.71 c cleaning 9998 clauses out of 20016 with flag 292000/340457 216.49/110.20 c cleaning 10002 clauses out of 20018 with flag 302000/350457 223.16/113.66 c cleaning 10000 clauses out of 20016 with flag 312000/360457 229.42/116.84 c cleaning 9999 clauses out of 20016 with flag 322000/370457 235.40/119.92 c cleaning 10001 clauses out of 20017 with flag 332000/380457 241.05/122.84 c cleaning 10004 clauses out of 20018 with flag 342002/390459 246.51/125.67 c cleaning 9999 clauses out of 20013 with flag 352001/400458 252.37/128.64 c cleaning 10001 clauses out of 20014 with flag 362001/410458 258.11/131.63 c cleaning 9999 clauses out of 20012 with flag 372000/420457 263.76/134.57 c cleaning 9992 clauses out of 20014 with flag 382001/430458 270.00/137.70 c cleaning 10009 clauses out of 20025 with flag 392004/440461 276.06/140.86 c cleaning 9998 clauses out of 20012 with flag 402000/450457 278.19/142.01 c And the winner is CuttingPlanes 277.63/142.13 c Got one! Elapsed wall clock time (in seconds):141.993 277.63/142.13 o 15 279.40/143.01 c cleaning 7728 clauses out of 15460 with flag 3002/455903 283.23/145.02 c cleaning 6857 clauses out of 13730 with flag 9000/461901 287.26/147.19 c cleaning 6924 clauses out of 13874 with flag 16001/468902 291.91/149.59 c cleaning 7472 clauses out of 14949 with flag 24000/476901 297.24/152.37 c cleaning 8233 clauses out of 16479 with flag 33002/485903 303.27/155.42 c cleaning 9116 clauses out of 18244 with flag 43000/495901 309.12/158.45 c cleaning 9558 clauses out of 19129 with flag 53001/505902 315.12/161.55 c cleaning 9780 clauses out of 19571 with flag 63001/515902 321.85/165.07 c cleaning 9890 clauses out of 19790 with flag 73000/525901 328.46/168.44 c cleaning 9946 clauses out of 19900 with flag 83000/535901 334.50/171.55 c cleaning 9972 clauses out of 19954 with flag 93000/545901 340.71/174.72 c cleaning 9984 clauses out of 19983 with flag 103001/555902 347.43/178.24 c cleaning 9991 clauses out of 19999 with flag 113001/565902 353.87/181.51 c cleaning 10000 clauses out of 20007 with flag 123000/575901 359.67/184.53 c cleaning 9999 clauses out of 20007 with flag 133000/585901 365.27/187.49 c cleaning 9996 clauses out of 20008 with flag 143000/595901 368.17/189.06 c And the winner is CuttingPlanes 368.08/189.34 c Got one! Elapsed wall clock time (in seconds):189.198 368.08/189.34 o 14 368.61/189.67 c cleaning 7910 clauses out of 15830 with flag 1000/601719 372.22/191.55 c cleaning 6956 clauses out of 13920 with flag 7000/607719 376.63/193.89 c cleaning 6972 clauses out of 13964 with flag 14000/614719 382.01/196.65 c cleaning 7477 clauses out of 14992 with flag 22000/622719 387.26/199.40 c cleaning 8249 clauses out of 16517 with flag 31002/631721 393.45/202.66 c cleaning 9123 clauses out of 18266 with flag 41000/641719 399.43/205.75 c cleaning 9555 clauses out of 19144 with flag 51001/651720 405.42/208.85 c cleaning 9790 clauses out of 19589 with flag 61001/661720 411.88/212.20 c cleaning 9889 clauses out of 19798 with flag 71000/671719 418.05/215.46 c cleaning 9947 clauses out of 19909 with flag 81000/681719 424.07/218.59 c cleaning 9967 clauses out of 19962 with flag 91000/691719 429.91/221.58 c cleaning 9991 clauses out of 19995 with flag 101000/701719 437.13/225.32 c cleaning 9991 clauses out of 20007 with flag 111003/711722 443.49/228.65 c cleaning 10002 clauses out of 20013 with flag 121000/721719 449.49/231.78 c cleaning 10000 clauses out of 20012 with flag 131001/731720 455.25/234.72 c cleaning 9999 clauses out of 20011 with flag 141000/741719 462.49/238.50 c cleaning 9985 clauses out of 20012 with flag 151000/751719 468.86/241.82 c cleaning 10009 clauses out of 20029 with flag 161002/761721 474.82/244.95 c cleaning 9998 clauses out of 20020 with flag 171002/771721 480.98/248.14 c cleaning 10002 clauses out of 20020 with flag 181000/781719 487.60/251.60 c cleaning 10005 clauses out of 20021 with flag 191003/791722 493.16/254.59 c cleaning 10000 clauses out of 20013 with flag 201000/801719 499.23/257.57 c cleaning 10004 clauses out of 20014 with flag 211001/811720 505.75/260.78 c cleaning 9996 clauses out of 20009 with flag 221000/821719 512.18/264.14 c cleaning 9998 clauses out of 20013 with flag 231000/831719 517.52/267.00 c cleaning 10000 clauses out of 20017 with flag 241002/841721 523.25/269.95 c cleaning 10004 clauses out of 20020 with flag 251005/851724 528.98/272.93 c cleaning 10002 clauses out of 20011 with flag 261000/861719 534.78/276.01 c cleaning 10001 clauses out of 20010 with flag 271001/871720 540.51/279.08 c cleaning 9995 clauses out of 20008 with flag 281000/881719 546.66/282.21 c cleaning 9997 clauses out of 20013 with flag 291000/891719 552.60/285.37 c cleaning 10005 clauses out of 20018 with flag 301002/901721 558.79/288.60 c cleaning 9981 clauses out of 20011 with flag 311000/911719 565.12/291.98 c cleaning 10010 clauses out of 20032 with flag 321002/921721 570.85/294.94 c cleaning 10006 clauses out of 20021 with flag 331001/931720 576.39/297.87 c cleaning 10003 clauses out of 20020 with flag 341006/941725 582.37/301.06 c cleaning 9998 clauses out of 20011 with flag 351000/951719 587.89/303.98 c cleaning 10001 clauses out of 20014 with flag 361001/961720 593.45/306.89 c cleaning 9996 clauses out of 20012 with flag 371000/971719 599.16/309.89 c cleaning 9998 clauses out of 20016 with flag 381000/981719 605.34/313.14 c cleaning 10006 clauses out of 20018 with flag 391000/991719 611.46/316.33 c cleaning 10001 clauses out of 20012 with flag 401000/1001719 617.80/319.63 c cleaning 9997 clauses out of 20012 with flag 411001/1011720 623.52/322.68 c cleaning 9996 clauses out of 20014 with flag 421000/1021719 629.67/325.94 c cleaning 10003 clauses out of 20020 with flag 431002/1031721 636.18/329.38 c cleaning 10004 clauses out of 20015 with flag 441000/1041719 642.49/332.69 c cleaning 10002 clauses out of 20011 with flag 451000/1051719 648.40/335.78 c cleaning 9992 clauses out of 20009 with flag 461000/1061719 654.76/339.13 c cleaning 10003 clauses out of 20018 with flag 471001/1071720 660.48/342.16 c cleaning 10000 clauses out of 20014 with flag 481000/1081719 666.19/345.19 c cleaning 10003 clauses out of 20017 with flag 491003/1091722 671.91/348.11 c cleaning 10001 clauses out of 20011 with flag 501000/1101719 677.24/351.06 c cleaning 9998 clauses out of 20011 with flag 511001/1111720 682.93/354.01 c cleaning 9997 clauses out of 20012 with flag 521000/1121719 688.84/357.17 c cleaning 10000 clauses out of 20016 with flag 531001/1131720 695.95/360.85 c cleaning 9998 clauses out of 20016 with flag 541001/1141720 702.10/364.18 c cleaning 9992 clauses out of 20017 with flag 551000/1151719 708.79/367.63 c cleaning 10005 clauses out of 20025 with flag 561000/1161719 715.70/371.23 c cleaning 10007 clauses out of 20024 with flag 571004/1171723 722.78/375.00 c cleaning 10002 clauses out of 20015 with flag 581002/1181721 730.11/378.84 c cleaning 10001 clauses out of 20011 with flag 591000/1191719 736.39/382.16 c cleaning 10002 clauses out of 20013 with flag 601003/1201722 742.49/385.32 c cleaning 9998 clauses out of 20008 with flag 611000/1211719 748.58/388.57 c cleaning 10000 clauses out of 20010 with flag 621000/1221719 755.09/392.03 c cleaning 9997 clauses out of 20010 with flag 631000/1231719 761.16/395.22 c cleaning 9998 clauses out of 20014 with flag 641001/1241720 767.81/398.76 c cleaning 10001 clauses out of 20015 with flag 651000/1251719 774.27/402.15 c cleaning 9998 clauses out of 20014 with flag 661000/1261719 780.73/405.62 c cleaning 10000 clauses out of 20016 with flag 671000/1271719 786.60/408.75 c cleaning 10003 clauses out of 20017 with flag 681001/1281720 792.46/411.83 c cleaning 10003 clauses out of 20013 with flag 691000/1291719 798.35/414.94 c cleaning 9994 clauses out of 20010 with flag 701000/1301719 804.62/418.38 c cleaning 10003 clauses out of 20017 with flag 711001/1311720 810.88/421.63 c cleaning 10002 clauses out of 20014 with flag 721001/1321720 816.93/424.83 c cleaning 10000 clauses out of 20011 with flag 731000/1331719 823.22/428.14 c cleaning 9997 clauses out of 20011 with flag 741000/1341719 830.07/431.89 c cleaning 9999 clauses out of 20015 with flag 751001/1351720 836.53/435.22 c cleaning 10001 clauses out of 20016 with flag 761001/1361720 842.56/438.48 c cleaning 9997 clauses out of 20014 with flag 771000/1371719 848.79/441.72 c cleaning 9999 clauses out of 20017 with flag 781000/1381719 854.85/445.06 c cleaning 10003 clauses out of 20018 with flag 791000/1391719 861.29/448.44 c cleaning 10003 clauses out of 20016 with flag 801001/1401720 867.14/451.50 c cleaning 9999 clauses out of 20012 with flag 811000/1411719 872.98/454.67 c cleaning 9996 clauses out of 20013 with flag 821000/1421719 879.22/458.07 c cleaning 9997 clauses out of 20017 with flag 831000/1431719 885.66/461.46 c cleaning 10004 clauses out of 20020 with flag 841000/1441719 891.69/464.68 c cleaning 10000 clauses out of 20016 with flag 851000/1451719 897.72/467.81 c cleaning 9994 clauses out of 20016 with flag 861000/1461719 903.93/471.23 c cleaning 10005 clauses out of 20022 with flag 871000/1471719 910.17/474.57 c cleaning 9998 clauses out of 20017 with flag 881000/1481719 916.62/477.97 c cleaning 10001 clauses out of 20019 with flag 891000/1491719 922.87/481.26 c cleaning 10002 clauses out of 20018 with flag 901000/1501719 928.86/484.56 c cleaning 10005 clauses out of 20017 with flag 911001/1511720 935.08/487.87 c cleaning 9999 clauses out of 20012 with flag 921001/1521720 941.32/491.12 c cleaning 10002 clauses out of 20013 with flag 931001/1531720 946.95/494.17 c cleaning 10001 clauses out of 20012 with flag 941002/1541721 953.15/497.59 c cleaning 9999 clauses out of 20009 with flag 951000/1551719 959.38/500.82 c cleaning 9996 clauses out of 20010 with flag 961000/1561719 965.81/504.21 c cleaning 9998 clauses out of 20014 with flag 971000/1571719 973.03/508.05 c cleaning 9997 clauses out of 20017 with flag 981001/1581720 980.01/511.88 c cleaning 10001 clauses out of 20019 with flag 991000/1591719 987.43/515.75 c cleaning 10000 clauses out of 20019 with flag 1001001/1601720 994.22/519.35 c cleaning 10001 clauses out of 20018 with flag 1011000/1611719 1000.24/522.55 c cleaning 10005 clauses out of 20017 with flag 1021000/1621719 1006.56/526.00 c cleaning 9994 clauses out of 20012 with flag 1031000/1631719 1012.54/529.21 c cleaning 10004 clauses out of 20018 with flag 1041000/1641719 1018.10/532.30 c cleaning 10000 clauses out of 20015 with flag 1051001/1651720 1024.28/535.56 c cleaning 9994 clauses out of 20015 with flag 1061001/1661720 1030.62/539.06 c cleaning 9999 clauses out of 20020 with flag 1071000/1671719 1036.41/542.15 c cleaning 10008 clauses out of 20022 with flag 1081001/1681720 1043.03/545.62 c cleaning 9998 clauses out of 20014 with flag 1091001/1691720 1049.42/549.00 c cleaning 10000 clauses out of 20015 with flag 1101000/1701719 1056.19/552.71 c cleaning 9996 clauses out of 20015 with flag 1111000/1711719 1062.17/555.93 c cleaning 9990 clauses out of 20019 with flag 1121000/1721719 1068.36/559.24 c cleaning 10006 clauses out of 20030 with flag 1131001/1731720 1075.14/562.81 c cleaning 10006 clauses out of 20025 with flag 1141002/1741721 1081.87/566.54 c cleaning 9990 clauses out of 20017 with flag 1151000/1751719 1087.85/569.79 c cleaning 10004 clauses out of 20028 with flag 1161001/1761720 1094.60/573.36 c cleaning 10003 clauses out of 20023 with flag 1171000/1771719 1100.98/576.71 c cleaning 10005 clauses out of 20020 with flag 1181000/1781719 1107.08/580.17 c cleaning 10006 clauses out of 20015 with flag 1191000/1791719 1113.27/583.48 c cleaning 9998 clauses out of 20009 with flag 1201000/1801719 1119.48/586.74 c cleaning 10000 clauses out of 20011 with flag 1211000/1811719 1125.47/589.98 c cleaning 9997 clauses out of 20011 with flag 1221000/1821719 1131.80/593.49 c cleaning 9995 clauses out of 20014 with flag 1231000/1831719 1138.17/596.83 c cleaning 10004 clauses out of 20020 with flag 1241001/1841720 1143.96/599.95 c cleaning 9998 clauses out of 20018 with flag 1251003/1851722 1150.13/603.29 c cleaning 9998 clauses out of 20017 with flag 1261000/1861719 1157.04/607.07 c cleaning 10002 clauses out of 20020 with flag 1271001/1871720 1163.20/610.33 c cleaning 9996 clauses out of 20017 with flag 1281000/1881719 1168.99/613.44 c cleaning 10004 clauses out of 20022 with flag 1291001/1891720 1175.17/616.70 c cleaning 10000 clauses out of 20018 with flag 1301001/1901720 1181.48/620.21 c cleaning 10002 clauses out of 20018 with flag 1311001/1911720 1187.48/623.44 c cleaning 10000 clauses out of 20015 with flag 1321000/1921719 1193.67/626.75 c cleaning 10003 clauses out of 20016 with flag 1331001/1931720 1199.83/630.09 c cleaning 9994 clauses out of 20013 with flag 1341001/1941720 1206.18/633.57 c cleaning 9997 clauses out of 20018 with flag 1351000/1951719 1213.14/637.24 c cleaning 10001 clauses out of 20021 with flag 1361000/1961719 1220.12/640.91 c cleaning 10008 clauses out of 20023 with flag 1371003/1971722 1226.11/644.18 c cleaning 10001 clauses out of 20013 with flag 1381001/1981720 1232.26/647.53 c cleaning 9999 clauses out of 20011 with flag 1391000/1991719 1238.44/650.83 c cleaning 10002 clauses out of 20013 with flag 1401001/2001720 1244.19/653.94 c cleaning 9995 clauses out of 20011 with flag 1411001/2011720 1250.38/657.29 c cleaning 9994 clauses out of 20015 with flag 1421000/2021719 1256.93/660.87 c cleaning 10006 clauses out of 20022 with flag 1431001/2031720 1263.68/664.41 c cleaning 10001 clauses out of 20016 with flag 1441001/2041720 1269.84/667.78 c cleaning 9997 clauses out of 20014 with flag 1451000/2051719 1276.16/671.10 c cleaning 10001 clauses out of 20017 with flag 1461000/2061719 1282.06/674.43 c cleaning 10001 clauses out of 20016 with flag 1471000/2071719 1287.64/677.47 c cleaning 10001 clauses out of 20016 with flag 1481001/2081720 1293.40/680.55 c cleaning 9999 clauses out of 20016 with flag 1491002/2091721 1298.95/683.60 c cleaning 9999 clauses out of 20016 with flag 1501001/2101720 1304.83/686.87 c cleaning 10002 clauses out of 20019 with flag 1511003/2111722 1310.77/690.08 c cleaning 10000 clauses out of 20017 with flag 1521003/2121722 1317.11/693.47 c cleaning 9995 clauses out of 20015 with flag 1531001/2131720 1323.64/696.97 c cleaning 9999 clauses out of 20019 with flag 1541000/2141719 1329.88/700.50 c cleaning 10000 clauses out of 20020 with flag 1551000/2151719 1336.43/703.94 c cleaning 9992 clauses out of 20020 with flag 1561000/2161719 1342.79/707.39 c cleaning 10005 clauses out of 20028 with flag 1571000/2171719 1349.53/710.95 c cleaning 10001 clauses out of 20023 with flag 1581000/2181719 1356.85/714.92 c cleaning 10005 clauses out of 20022 with flag 1591000/2191719 1363.20/718.33 c cleaning 9989 clauses out of 20018 with flag 1601001/2201720 1369.72/721.83 c cleaning 10004 clauses out of 20030 with flag 1611002/2211721 1376.25/725.39 c cleaning 10005 clauses out of 20025 with flag 1621001/2221720 1382.24/728.78 c cleaning 10002 clauses out of 20020 with flag 1631001/2231720 1387.74/731.78 c cleaning 9997 clauses out of 20019 with flag 1641002/2241721 1393.51/734.84 c cleaning 9997 clauses out of 20020 with flag 1651000/2251719 1399.21/737.91 c cleaning 10004 clauses out of 20023 with flag 1661000/2261719 1404.42/740.92 c cleaning 10003 clauses out of 20020 with flag 1671001/2271720 1409.73/743.80 c cleaning 10001 clauses out of 20016 with flag 1681000/2281719 1415.04/746.74 c cleaning 9996 clauses out of 20015 with flag 1691000/2291719 1420.15/749.59 c cleaning 10001 clauses out of 20021 with flag 1701002/2301721 1426.07/752.88 c cleaning 9997 clauses out of 20018 with flag 1711000/2311719 1431.80/755.92 c cleaning 9999 clauses out of 20021 with flag 1721000/2321719 1437.73/759.12 c cleaning 10000 clauses out of 20024 with flag 1731002/2331721 1443.82/762.45 c cleaning 10006 clauses out of 20023 with flag 1741001/2341720 1450.05/765.93 c cleaning 9999 clauses out of 20016 with flag 1751000/2351719 1455.75/769.06 c cleaning 9998 clauses out of 20017 with flag 1761000/2361719 1461.68/772.27 c cleaning 10005 clauses out of 20019 with flag 1771000/2371719 1467.58/775.50 c cleaning 10000 clauses out of 20014 with flag 1781000/2381719 1474.39/779.24 c cleaning 9998 clauses out of 20014 with flag 1791000/2391719 1480.90/782.72 c cleaning 10002 clauses out of 20017 with flag 1801001/2401720 1486.81/785.99 c cleaning 10001 clauses out of 20015 with flag 1811001/2411720 1493.10/789.32 c cleaning 9999 clauses out of 20014 with flag 1821001/2421720 1499.78/793.00 c cleaning 9998 clauses out of 20015 with flag 1831001/2431720 1506.09/796.43 c cleaning 10001 clauses out of 20016 with flag 1841000/2441719 1512.36/799.82 c cleaning 10001 clauses out of 20018 with flag 1851003/2451722 1518.25/803.02 c cleaning 9998 clauses out of 20014 with flag 1861000/2461719 1525.01/806.80 c cleaning 9995 clauses out of 20016 with flag 1871000/2471719 1531.09/810.19 c cleaning 10001 clauses out of 20021 with flag 1881000/2481719 1537.38/813.58 c cleaning 10002 clauses out of 20021 with flag 1891001/2491720 1543.66/816.92 c cleaning 9997 clauses out of 20018 with flag 1901000/2501719 1549.85/820.43 c cleaning 9997 clauses out of 20021 with flag 1911000/2511719 1555.73/823.68 c cleaning 9999 clauses out of 20024 with flag 1921000/2521719 1561.60/826.82 c cleaning 10005 clauses out of 20025 with flag 1931000/2531719 1568.08/830.31 c cleaning 10005 clauses out of 20022 with flag 1941002/2541721 1574.44/833.94 c cleaning 10001 clauses out of 20016 with flag 1951001/2551720 1580.72/837.40 c cleaning 9995 clauses out of 20014 with flag 1961000/2561719 1587.37/840.93 c cleaning 10001 clauses out of 20020 with flag 1971001/2571720 1594.25/844.62 c cleaning 10002 clauses out of 20020 with flag 1981002/2581721 1601.01/848.46 c cleaning 10003 clauses out of 20016 with flag 1991000/2591719 1607.46/851.93 c cleaning 10003 clauses out of 20014 with flag 2001001/2601720 1613.72/855.32 c cleaning 10003 clauses out of 20011 with flag 2011001/2611720 1619.79/858.60 c cleaning 10001 clauses out of 20007 with flag 2021000/2621719 1626.14/862.30 c cleaning 9999 clauses out of 20009 with flag 2031003/2631722 1632.16/865.56 c cleaning 9999 clauses out of 20007 with flag 2041000/2641719 1637.83/868.68 c cleaning 9994 clauses out of 20008 with flag 2051000/2651719 1644.69/872.35 c cleaning 9996 clauses out of 20014 with flag 2061000/2661719 1651.64/876.23 c cleaning 10000 clauses out of 20018 with flag 2071000/2671719 1658.11/879.75 c cleaning 10003 clauses out of 20018 with flag 2081000/2681719 1664.76/883.33 c cleaning 10005 clauses out of 20017 with flag 2091002/2691721 1671.38/886.92 c cleaning 9990 clauses out of 20010 with flag 2101000/2701719 1678.49/890.96 c cleaning 10005 clauses out of 20023 with flag 2111003/2711722 1685.12/894.53 c cleaning 10002 clauses out of 20016 with flag 2121001/2721720 1691.94/898.26 c cleaning 10000 clauses out of 20017 with flag 2131004/2731723 1699.78/902.44 c cleaning 9996 clauses out of 20014 with flag 2141001/2741720 1707.49/906.77 c cleaning 10001 clauses out of 20017 with flag 2151000/2751719 1714.29/910.49 c cleaning 10001 clauses out of 20016 with flag 2161000/2761719 1721.14/914.12 c cleaning 9994 clauses out of 20015 with flag 2171000/2771719 1727.75/917.77 c cleaning 10007 clauses out of 20022 with flag 2181001/2781720 1734.83/921.77 c cleaning 10002 clauses out of 20014 with flag 2191000/2791719 1740.47/924.83 c cleaning 9997 clauses out of 20012 with flag 2201000/2801719 1746.72/928.25 c cleaning 10002 clauses out of 20015 with flag 2211000/2811719 1752.14/931.27 c cleaning 10003 clauses out of 20016 with flag 2221003/2821722 1758.02/934.63 c cleaning 9999 clauses out of 20010 with flag 2231000/2831719 1763.64/937.71 c cleaning 9998 clauses out of 20011 with flag 2241000/2841719 1768.84/940.67 c cleaning 10001 clauses out of 20014 with flag 2251001/2851720 1774.67/943.87 c cleaning 10000 clauses out of 20013 with flag 2261001/2861720 1781.13/947.52 c cleaning 9999 clauses out of 20013 with flag 2271001/2871720 1786.93/950.74 c cleaning 9997 clauses out of 20014 with flag 2281001/2881720 1792.53/953.84 c cleaning 10004 clauses out of 20018 with flag 2291002/2891721 1798.97/957.33 c cleaning 9999 clauses out of 20013 with flag 2301001/2901720 1800.06/958.34 c starts : 24 1800.06/958.34 c conflicts : 3549 1800.06/958.34 c decisions : 117182 1800.06/958.34 c propagations : 982908 1800.06/958.34 c inspects : 35797086 1800.06/958.34 c shortcuts : 0 1800.06/958.34 c learnt literals : 1 1800.06/958.34 c learnt binary clauses : 1 1800.06/958.34 c learnt ternary clauses : 0 1800.06/958.34 c learnt constraints : 3547 1800.06/958.34 c ignored constraints : 0 1800.06/958.34 c root simplifications : 0 1800.06/958.34 c removed literals (reason simplification) : 0 1800.06/958.34 c reason swapping (by a shorter reason) : 0 1800.06/958.34 c Calls to reduceDB : 0 1800.06/958.34 c number of reductions to clauses (during analyze) : 0 1800.06/958.34 c number of learned constraints concerned by reduction : 0 1800.06/958.34 c number of learning phase by resolution : 0 1800.06/958.34 c number of learning phase by cutting planes : 0 1800.06/958.34 c speed (assignments/second) : 1278.1721597669687 1800.06/958.34 c non guided choices 0 1800.06/958.34 c learnt constraints type 1800.06/958.34 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 81 1800.06/958.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 1800.06/958.34 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.06/958.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3365 1800.06/958.34 c constraints type 1800.06/958.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 1800.06/958.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.06/958.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 1800.06/958.34 c constraints type 1800.06/958.34 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7390 1800.06/958.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1893 1800.06/958.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.06/958.34 s SATISFIABLE 1800.06/958.35 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 1800.06/958.35 c objective function=14 1800.06/958.35 c Total wall clock time (in seconds): 958.216
OK 14
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-3735927-1338713862/watcher-3735927-1338713862 -o /tmp/evaluation-result-3735927-1338713862/solver-3735927-1338713862 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735927-1338713862.opb running on 4 cores: 0,2,4,6 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.40 2.46 2.15 4/199 31274 /proc/meminfo: memFree=24654688/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/31274/stat : 31274 (java) D 31272 31274 30903 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 337511618 2560000 46 33554432000 1073741824 1073778376 140735828833776 140735828830904 273896533287 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0 /proc/31274/statm: 625 46 37 9 0 29 0 [startup+0.0445521 s] /proc/loadavg: 3.40 2.46 2.15 4/199 31274 /proc/meminfo: memFree=24654688/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11044572 CPUtime=0.01 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 3964 0 1 0 0 1 0 0 20 0 10 0 337511618 11309641728 10796 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2761143 10806 1464 9 0 2751844 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11044572 [startup+0.100308 s] /proc/loadavg: 3.40 2.46 2.15 4/199 31274 /proc/meminfo: memFree=24654688/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 4523 0 1 0 5 2 0 0 20 0 18 0 337511618 11864465408 12375 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2896598 12375 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300151 s] /proc/loadavg: 3.40 2.46 2.15 4/199 31274 /proc/meminfo: memFree=24654688/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11586392 CPUtime=0.46 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 6439 0 1 0 43 3 0 0 20 0 18 0 337511618 11864465408 15954 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2896598 15954 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700266 s] /proc/loadavg: 3.40 2.46 2.15 4/199 31274 /proc/meminfo: memFree=24654688/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=1.26 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 11028 0 1 0 120 6 0 0 20 0 19 0 337511618 12137111552 23758 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 23758 2260 9 0 2953849 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 11852648 [startup+1.50075 s] /proc/loadavg: 3.40 2.46 2.15 7/221 31299 /proc/meminfo: memFree=24556084/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=3 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 15038 0 1 0 291 9 0 0 20 0 19 0 337511618 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 29444 2266 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.39 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3447 0 1 0 37 2 0 0 20 0 19 0 337511619 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752595154072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337511621 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) S 31272 31274 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337511623 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752412674792 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337511623 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337511623 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511626 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752409516944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 3955 0 0 0 65 2 0 0 20 0 19 0 337511626 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 6301 0 0 0 67 2 0 0 20 0 19 0 337511626 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511626 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337511626 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31296] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31296/stat : 31296 (java) S 31272 31274 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337511663 12137111552 29444 33554432000 1073741824 1073778376 140734492768928 139752401094184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 11852648 [startup+3.10066 s] /proc/loadavg: 3.40 2.46 2.15 3/218 31302 /proc/meminfo: memFree=24535380/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=4.46 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 15075 0 1 0 434 12 0 0 20 0 22 0 337511618 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 35094 2266 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3448 0 1 0 39 2 0 0 20 0 22 0 337511619 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752595154072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) S 31272 31274 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752412674792 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752409516944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=0.72 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 3961 0 0 0 70 2 0 0 20 0 22 0 337511626 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 6306 0 0 0 73 2 0 0 20 0 22 0 337511626 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31296] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31296/stat : 31296 (java) S 31272 31274 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337511663 12137111552 35094 33554432000 1073741824 1073778376 140734492768928 139752401094184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.46 Current children cumulated vsize (KiB) 11852648 [startup+6.30082 s] /proc/loadavg: 3.45 2.49 2.16 5/221 31305 /proc/meminfo: memFree=23688304/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=11.01 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 15678 0 1 0 1069 32 0 0 20 0 22 0 337511618 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 296418 2291 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3448 0 1 0 39 2 0 0 20 0 22 0 337511619 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752595154072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337511621 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) S 31272 31274 30903 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 22 0 337511623 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752412674792 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752409516944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 3967 0 0 0 80 2 0 0 20 0 22 0 337511626 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 6322 0 0 0 82 2 0 0 20 0 22 0 337511626 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31296] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31296/stat : 31296 (java) S 31272 31274 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337511663 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752401094184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31303] ppid=31272 vsize=11852648 CPUtime=3.74 cores=0,2,4,6 /proc/31274/task/31303/stat : 31303 (java) R 31272 31274 30903 0 -1 4202560 9 0 0 0 374 0 0 0 20 0 22 0 337511864 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752403198928 139752535651962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31304] ppid=31272 vsize=11852648 CPUtime=3.74 cores=0,2,4,6 /proc/31274/task/31304/stat : 31304 (java) R 31272 31274 30903 0 -1 4202560 513 0 0 0 357 17 0 0 20 0 22 0 337511864 12137111552 296418 33554432000 1073741824 1073778376 140734492768928 139752404249416 139752535756104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ /proc/31274/statm: 2963162 720604 2293 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.48 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3657 0 1 0 44 4 0 0 20 0 22 0 337511619 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752595153768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=1.77 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 175 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=1.78 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 176 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=1.87 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 61 0 0 0 185 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=1.72 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 170 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=1.74 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 172 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=2.01 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 65 0 0 0 197 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=1.86 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 72 0 0 0 183 3 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=1.8 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 176 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=120.13 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) R 31272 31274 30903 0 -1 4202560 315 0 0 0 12000 13 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752412673648 139752599314763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752409516488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 12063 0 0 0 146 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=1.88 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 15395 0 0 0 185 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 54 0 0 0 19 16 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31305] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31305/stat : 31305 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337511864 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752402146216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31319] ppid=31272 vsize=11852648 CPUtime=651.29 cores=0,2,4,6 /proc/31274/task/31319/stat : 31319 (java) S 31272 31274 30903 0 -1 4202560 43 0 0 0 65119 10 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752403198920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31320] ppid=31272 vsize=11852648 CPUtime=651.2 cores=0,2,4,6 /proc/31274/task/31320/stat : 31320 (java) S 31272 31274 30903 0 -1 4202560 121 0 0 0 65106 14 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752404248904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31321] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31321/stat : 31321 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752401093416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 11852648 [startup+958.201 s] /proc/loadavg: 3.56 3.64 3.16 4/222 31424 /proc/meminfo: memFree=21615464/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=1799.96 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 34583 0 1 0 179878 118 0 0 20 0 22 0 337511618 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 720604 2293 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.48 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3657 0 1 0 44 4 0 0 20 0 22 0 337511619 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752595153768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=1.77 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 175 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=1.78 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 176 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=1.87 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 61 0 0 0 185 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=1.72 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 170 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=1.74 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 172 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=2.01 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 65 0 0 0 197 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=1.86 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 72 0 0 0 183 3 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=1.8 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 176 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=120.53 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) R 31272 31274 30903 0 -1 4202560 315 0 0 0 12040 13 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752412673648 139752602009566 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752409516488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 12063 0 0 0 146 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=1.88 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 15395 0 0 0 185 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 54 0 0 0 19 16 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31305] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31305/stat : 31305 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337511864 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752402146216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31319] ppid=31272 vsize=11852648 CPUtime=651.29 cores=0,2,4,6 /proc/31274/task/31319/stat : 31319 (java) S 31272 31274 30903 0 -1 4202560 43 0 0 0 65119 10 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752403198920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31320] ppid=31272 vsize=11852648 CPUtime=651.2 cores=0,2,4,6 /proc/31274/task/31320/stat : 31320 (java) S 31272 31274 30903 0 -1 4202560 121 0 0 0 65106 14 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752404248904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31321] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31321/stat : 31321 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752401093416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 11852648 [startup+958.301 s] /proc/loadavg: 3.56 3.64 3.16 4/222 31424 /proc/meminfo: memFree=21615464/32873844 swapFree=7124/7124 [pid=31274] ppid=31272 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6 /proc/31274/stat : 31274 (java) S 31272 31274 30903 0 -1 4202496 34583 0 1 0 179888 118 0 0 20 0 22 0 337511618 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 140734492760064 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/31274/statm: 2963162 720604 2293 9 0 2953849 0 [pid=31274/tid=31276] ppid=31272 vsize=11852648 CPUtime=0.48 cores=0,2,4,6 /proc/31274/task/31276/stat : 31276 (java) S 31272 31274 30903 0 -1 4202560 3657 0 1 0 44 4 0 0 20 0 22 0 337511619 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752595153768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31277] ppid=31272 vsize=11852648 CPUtime=1.77 cores=0,2,4,6 /proc/31274/task/31277/stat : 31277 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 175 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752533883688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31278] ppid=31272 vsize=11852648 CPUtime=1.78 cores=0,2,4,6 /proc/31274/task/31278/stat : 31278 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 176 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752532830888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31279] ppid=31272 vsize=11852648 CPUtime=1.87 cores=0,2,4,6 /proc/31274/task/31279/stat : 31279 (java) S 31272 31274 30903 0 -1 4202560 61 0 0 0 185 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752430136360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31280] ppid=31272 vsize=11852648 CPUtime=1.72 cores=0,2,4,6 /proc/31274/task/31280/stat : 31280 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 170 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752429083560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31281] ppid=31272 vsize=11852648 CPUtime=1.74 cores=0,2,4,6 /proc/31274/task/31281/stat : 31281 (java) S 31272 31274 30903 0 -1 4202560 64 0 0 0 172 2 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752428030248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31282] ppid=31272 vsize=11852648 CPUtime=2.01 cores=0,2,4,6 /proc/31274/task/31282/stat : 31282 (java) S 31272 31274 30903 0 -1 4202560 65 0 0 0 197 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752426977448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31283] ppid=31272 vsize=11852648 CPUtime=1.86 cores=0,2,4,6 /proc/31274/task/31283/stat : 31283 (java) S 31272 31274 30903 0 -1 4202560 72 0 0 0 183 3 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752425925160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31284] ppid=31272 vsize=11852648 CPUtime=1.8 cores=0,2,4,6 /proc/31274/task/31284/stat : 31284 (java) S 31272 31274 30903 0 -1 4202560 60 0 0 0 176 4 0 0 20 0 22 0 337511621 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752424872360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31285] ppid=31272 vsize=11852648 CPUtime=120.63 cores=0,2,4,6 /proc/31274/task/31285/stat : 31285 (java) R 31272 31274 30903 0 -1 4202560 315 0 0 0 12050 13 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752412673648 273905362576 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31286] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31286/stat : 31286 (java) S 31272 31274 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752411620856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31287] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31287/stat : 31287 (java) S 31272 31274 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337511623 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752410568456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31288] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31288/stat : 31288 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752409516488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31289] ppid=31272 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/31274/task/31289/stat : 31289 (java) S 31272 31274 30903 0 -1 4202560 12063 0 0 0 146 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752408463544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31290] ppid=31272 vsize=11852648 CPUtime=1.88 cores=0,2,4,6 /proc/31274/task/31290/stat : 31290 (java) S 31272 31274 30903 0 -1 4202560 15395 0 0 0 185 3 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752407410744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=31274/tid=31291] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31291/stat : 31291 (java) S 31272 31274 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752406358648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=31274/tid=31292] ppid=31272 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/31274/task/31292/stat : 31292 (java) S 31272 31274 30903 0 -1 4202560 54 0 0 0 19 16 0 0 20 0 22 0 337511626 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752405306056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31305] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31305/stat : 31305 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337511864 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752402146216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31319] ppid=31272 vsize=11852648 CPUtime=651.29 cores=0,2,4,6 /proc/31274/task/31319/stat : 31319 (java) S 31272 31274 30903 0 -1 4202560 43 0 0 0 65119 10 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752403198920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=31274/tid=31320] ppid=31272 vsize=11852648 CPUtime=651.2 cores=0,2,4,6 /proc/31274/task/31320/stat : 31320 (java) S 31272 31274 30903 0 -1 4202560 121 0 0 0 65106 14 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752404248904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=31274/tid=31321] ppid=31272 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/31274/task/31321/stat : 31321 (java) S 31272 31274 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337530552 12137111552 720604 33554432000 1073741824 1073778376 140734492768928 139752401093416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31274 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=399057 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=536766 # CPU time returned by wait4() is 1796.94 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.649994 # lost CPU user time (s): 0.699982 # lost CPU system time (s): -0.0500001 Real time (s): 958.38 CPU time (s): 1800.71 CPU user time (s): 1799.58 CPU system time (s): 1.13 CPU usage (%): 187.891 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.4 system time used= 1.53677 maximum resident set size= 2882540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34616 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31353 involuntary context switches= 35829 runsolver used 3.2815 second user time and 8.61369 second system time The end
Begin job on node134 at 2012-06-03 10:57:42 IDJOB=3735927 IDBENCH=25007 IDSOLVER=2328 FILE ID=node134/3735927-1338713862 RUNJOBID= node134-1338713778-30919 PBS_JOBID= 14636743 Free space on /tmp= 70356 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735927-1338713862/watcher-3735927-1338713862 -o /tmp/evaluation-result-3735927-1338713862/solver-3735927-1338713862 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735927-1338713862.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=1793799464 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 24654580 kB Buffers: 480172 kB Cached: 3303312 kB SwapCached: 76 kB Active: 5242248 kB Inactive: 2044832 kB Active(anon): 3495184 kB Inactive(anon): 10496 kB Active(file): 1747064 kB Inactive(file): 2034336 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 3645304 kB Mapped: 19396 kB Shmem: 96 kB Slab: 761332 kB SReclaimable: 202720 kB SUnreclaim: 558612 kB KernelStack: 1800 kB PageTables: 11280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10457908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 3577856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70356 MiB End job on node134 at 2012-06-03 11:13:42