Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 40132 | 1800.2 | 1798.17 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb |
MD5SUM | 83920c844b074c56822148eb18b413de |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40117 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
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 | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 2124 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3653850 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2124 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3653850 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3458543-1307157711.opb 0.10/0.12 c reading problem ... 0.53/0.37 c ... done. Wall clock time 0.258s. 0.53/0.37 c #vars 4360 0.53/0.37 c #constraints 8610 0.53/0.37 c constraints type 0.53/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2188 0.53/0.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6419 0.67/0.44 c SATISFIABLE 0.67/0.44 c OPTIMIZING... 0.67/0.44 c Got one! Elapsed wall clock time (in seconds):0.328 0.67/0.44 o 52413 0.67/0.49 c Got one! Elapsed wall clock time (in seconds):0.376 0.67/0.49 o 51111 0.90/0.53 c Got one! Elapsed wall clock time (in seconds):0.417 0.90/0.53 o 49809 0.90/0.55 c Got one! Elapsed wall clock time (in seconds):0.438 0.90/0.55 o 48507 0.90/0.58 c Got one! Elapsed wall clock time (in seconds):0.461 0.90/0.58 o 47263 1.19/0.61 c Got one! Elapsed wall clock time (in seconds):0.492 1.19/0.61 o 47205 1.52/0.83 c Got one! Elapsed wall clock time (in seconds):0.714 1.52/0.83 o 47143 1.52/0.84 c Got one! Elapsed wall clock time (in seconds):0.725 1.52/0.84 o 46019 1.52/0.85 c Got one! Elapsed wall clock time (in seconds):0.734 1.52/0.85 o 45961 1.84/1.16 c Got one! Elapsed wall clock time (in seconds):1.048 1.84/1.16 o 45841 2.13/1.49 c Got one! Elapsed wall clock time (in seconds):1.377 2.13/1.49 o 45038 3.13/2.45 c Got one! Elapsed wall clock time (in seconds):2.329 3.13/2.45 o 44967 3.63/2.95 c Got one! Elapsed wall clock time (in seconds):2.833 3.63/2.95 o 44840 3.83/3.14 c cleaning 3861 clauses out of 7729 with flag 1001/7729 4.36/3.60 c Got one! Elapsed wall clock time (in seconds):3.481 4.36/3.60 o 44020 5.48/4.72 c cleaning 4798 clauses out of 9608 with flag 4000/13469 5.98/5.28 c Got one! Elapsed wall clock time (in seconds):5.167 5.98/5.28 o 43972 7.08/6.38 c cleaning 5215 clauses out of 10441 with flag 4000/19100 9.09/8.37 c cleaning 5608 clauses out of 11226 with flag 10000/25100 11.24/10.42 c cleaning 6302 clauses out of 12618 with flag 17000/32100 11.55/10.75 c Got one! Elapsed wall clock time (in seconds):10.629 11.55/10.75 o 42986 13.05/12.25 c cleaning 6148 clauses out of 12307 with flag 5000/38091 14.85/14.00 c cleaning 6078 clauses out of 12160 with flag 11001/44092 16.95/16.16 c Got one! Elapsed wall clock time (in seconds):16.043 16.95/16.16 o 41988 18.55/17.71 c cleaning 8769 clauses out of 17551 with flag 5000/55561 20.45/19.64 c cleaning 7389 clauses out of 14783 with flag 11001/61562 22.96/22.19 c cleaning 7192 clauses out of 14394 with flag 18001/68562 25.46/24.65 c cleaning 7599 clauses out of 15201 with flag 26000/76561 28.28/27.50 c cleaning 8292 clauses out of 16602 with flag 35000/85561 31.27/30.43 c cleaning 9153 clauses out of 18312 with flag 45002/95563 34.67/33.80 c cleaning 9572 clauses out of 19157 with flag 55000/105561 37.47/36.70 c cleaning 9789 clauses out of 19585 with flag 65000/115561 40.67/39.86 c cleaning 9893 clauses out of 19797 with flag 75001/125562 43.87/43.08 c cleaning 9945 clauses out of 19903 with flag 85000/135561 46.99/46.17 c cleaning 9957 clauses out of 19958 with flag 95000/145561 50.58/49.79 c cleaning 9995 clauses out of 20001 with flag 105000/155561 52.60/51.75 c cleaning 9995 clauses out of 20006 with flag 115000/165561 54.88/54.08 c cleaning 10002 clauses out of 20012 with flag 125001/175562 58.28/57.43 c cleaning 9996 clauses out of 20010 with flag 135001/185562 61.29/60.49 c cleaning 9999 clauses out of 20014 with flag 145001/195562 64.78/63.92 c cleaning 10003 clauses out of 20015 with flag 155001/205562 67.78/66.96 c cleaning 9995 clauses out of 20011 with flag 165000/215561 70.39/69.54 c cleaning 9997 clauses out of 20016 with flag 175000/225561 73.19/72.35 c cleaning 10004 clauses out of 20021 with flag 185002/235563 76.49/75.65 c cleaning 10000 clauses out of 20016 with flag 195001/245562 80.00/79.20 c cleaning 10003 clauses out of 20015 with flag 205000/255561 83.19/82.37 c cleaning 9999 clauses out of 20013 with flag 215001/265562 86.19/85.34 c cleaning 10003 clauses out of 20013 with flag 225000/275561 89.40/88.51 c cleaning 9998 clauses out of 20011 with flag 235001/285562 92.00/91.18 c cleaning 9996 clauses out of 20012 with flag 245000/295561 95.52/94.62 c cleaning 10003 clauses out of 20018 with flag 255002/305563 99.30/98.41 c cleaning 9993 clauses out of 20013 with flag 265000/315561 99.30/98.46 c Got one! Elapsed wall clock time (in seconds):98.342 99.30/98.46 o 41962 100.10/99.22 c cleaning 7534 clauses out of 15085 with flag 5000/320626 100.92/100.09 c cleaning 6767 clauses out of 13551 with flag 11000/326626 102.04/101.14 c cleaning 6885 clauses out of 13785 with flag 18001/333627 104.42/103.60 c cleaning 7442 clauses out of 14899 with flag 26000/341626 107.42/106.55 c cleaning 8224 clauses out of 16460 with flag 35003/350629 110.73/109.89 c cleaning 9109 clauses out of 18233 with flag 45000/360626 114.33/113.40 c cleaning 9546 clauses out of 19125 with flag 55001/370627 117.73/116.88 c cleaning 9779 clauses out of 19579 with flag 65001/380627 121.43/120.55 c cleaning 9892 clauses out of 19799 with flag 75000/390626 125.15/124.24 c cleaning 9944 clauses out of 19907 with flag 85000/400626 128.64/127.74 c cleaning 9976 clauses out of 19963 with flag 95000/410626 131.86/130.93 c cleaning 9951 clauses out of 19987 with flag 105000/420626 134.74/133.89 c cleaning 10012 clauses out of 20036 with flag 115000/430626 138.24/137.34 c cleaning 10004 clauses out of 20024 with flag 125000/440626 141.24/140.38 c cleaning 10001 clauses out of 20021 with flag 135001/450627 143.86/142.95 c cleaning 10003 clauses out of 20019 with flag 145000/460626 146.87/145.97 c cleaning 10002 clauses out of 20017 with flag 155001/470627 150.78/149.85 c cleaning 9997 clauses out of 20014 with flag 165000/480626 154.68/153.70 c cleaning 9997 clauses out of 20017 with flag 175000/490626 158.78/157.80 c cleaning 9999 clauses out of 20021 with flag 185001/500627 162.29/161.37 c cleaning 10002 clauses out of 20024 with flag 195003/510629 165.90/164.92 c cleaning 10002 clauses out of 20020 with flag 205001/520627 169.69/168.76 c cleaning 9987 clauses out of 20017 with flag 215000/530626 173.19/172.27 c cleaning 10009 clauses out of 20030 with flag 225000/540626 176.80/175.84 c cleaning 10001 clauses out of 20021 with flag 235000/550626 180.50/179.58 c cleaning 9997 clauses out of 20020 with flag 245000/560626 184.30/183.36 c cleaning 10006 clauses out of 20023 with flag 255000/570626 188.10/187.14 c cleaning 10003 clauses out of 20018 with flag 265001/580627 191.70/190.77 c cleaning 9999 clauses out of 20015 with flag 275001/590627 195.30/194.33 c cleaning 9996 clauses out of 20015 with flag 285000/600626 198.60/197.67 c cleaning 10007 clauses out of 20019 with flag 295000/610626 201.71/200.74 c cleaning 9997 clauses out of 20013 with flag 305001/620627 205.01/204.00 c cleaning 9996 clauses out of 20015 with flag 315000/630626 207.91/206.93 c cleaning 10004 clauses out of 20019 with flag 325000/640626 211.03/210.07 c cleaning 9994 clauses out of 20017 with flag 335002/650628 214.21/213.21 c cleaning 10001 clauses out of 20024 with flag 345003/660629 217.12/216.18 c cleaning 10003 clauses out of 20020 with flag 355000/670626 220.22/219.25 c cleaning 10001 clauses out of 20017 with flag 365000/680626 223.42/222.48 c cleaning 9998 clauses out of 20016 with flag 375000/690626 226.22/225.28 c cleaning 9984 clauses out of 20018 with flag 385000/700626 229.42/228.47 c cleaning 10007 clauses out of 20034 with flag 395000/710626 232.63/231.61 c cleaning 10005 clauses out of 20027 with flag 405000/720626 236.23/235.21 c cleaning 9984 clauses out of 20022 with flag 415000/730626 238.33/237.35 c Got one! Elapsed wall clock time (in seconds):237.233 238.33/237.35 o 41719 239.03/238.08 c cleaning 10261 clauses out of 20535 with flag 5000/741123 239.93/238.97 c cleaning 8133 clauses out of 16275 with flag 11001/747124 241.13/240.11 c cleaning 7564 clauses out of 15143 with flag 18002/754125 242.33/241.38 c cleaning 7781 clauses out of 15577 with flag 26000/762123 243.93/242.90 c cleaning 8386 clauses out of 16796 with flag 35000/771123 245.54/244.59 c cleaning 9198 clauses out of 18410 with flag 45000/781123 247.14/246.18 c cleaning 9594 clauses out of 19212 with flag 55000/791123 248.94/247.90 c cleaning 9802 clauses out of 19618 with flag 65000/801123 251.64/250.70 c cleaning 9902 clauses out of 19816 with flag 75000/811123 254.64/253.63 c cleaning 9947 clauses out of 19914 with flag 85000/821123 257.54/256.52 c cleaning 9967 clauses out of 19967 with flag 95000/831123 260.34/259.39 c cleaning 9983 clauses out of 20000 with flag 105000/841123 263.34/262.36 c cleaning 9995 clauses out of 20017 with flag 115000/851123 266.34/265.31 c cleaning 10001 clauses out of 20022 with flag 125000/861123 269.24/268.22 c cleaning 10000 clauses out of 20021 with flag 135000/871123 272.14/271.16 c cleaning 10000 clauses out of 20021 with flag 145000/881123 275.14/274.18 c cleaning 10003 clauses out of 20021 with flag 155000/891123 278.16/277.21 c cleaning 9999 clauses out of 20018 with flag 165000/901123 281.95/280.94 c cleaning 10003 clauses out of 20020 with flag 175001/911124 285.05/284.01 c cleaning 10005 clauses out of 20016 with flag 185000/921123 288.25/287.28 c cleaning 10001 clauses out of 20011 with flag 195000/931123 291.55/290.54 c cleaning 9999 clauses out of 20011 with flag 205001/941124 295.96/294.96 c cleaning 9999 clauses out of 20012 with flag 215001/951124 296.06/295.08 c Got one! Elapsed wall clock time (in seconds):294.962 296.06/295.08 o 41321 296.76/295.76 c cleaning 7607 clauses out of 15230 with flag 5000/956341 297.66/296.64 c cleaning 6805 clauses out of 13624 with flag 11001/962342 298.76/297.78 c cleaning 6897 clauses out of 13818 with flag 18000/969341 301.27/300.26 c cleaning 7450 clauses out of 14921 with flag 26000/977341 304.26/303.24 c cleaning 8224 clauses out of 16472 with flag 35001/986342 307.46/306.41 c cleaning 9117 clauses out of 18247 with flag 45000/996341 310.96/309.93 c cleaning 9556 clauses out of 19130 with flag 55000/1006341 314.98/313.90 c cleaning 9777 clauses out of 19574 with flag 65000/1016341 318.58/317.50 c cleaning 9886 clauses out of 19798 with flag 75001/1026342 323.29/322.21 c cleaning 9938 clauses out of 19911 with flag 85000/1036341 326.88/325.85 c cleaning 9975 clauses out of 19973 with flag 95000/1046341 330.28/329.21 c cleaning 9969 clauses out of 19998 with flag 105000/1056341 333.69/332.65 c cleaning 10008 clauses out of 20030 with flag 115001/1066342 337.09/336.06 c cleaning 10005 clauses out of 20021 with flag 125000/1076341 340.49/339.43 c cleaning 9999 clauses out of 20016 with flag 135000/1086341 343.79/342.74 c cleaning 9999 clauses out of 20017 with flag 145000/1096341 346.99/345.99 c cleaning 10000 clauses out of 20018 with flag 155000/1106341 350.19/349.15 c cleaning 9999 clauses out of 20018 with flag 165000/1116341 353.69/352.63 c cleaning 10006 clauses out of 20020 with flag 175001/1126342 356.99/355.96 c cleaning 10000 clauses out of 20013 with flag 185000/1136341 360.30/359.28 c cleaning 9997 clauses out of 20013 with flag 195000/1146341 364.30/363.21 c cleaning 9971 clauses out of 20016 with flag 205000/1156341 368.41/367.34 c cleaning 10012 clauses out of 20045 with flag 215000/1166341 372.40/371.31 c cleaning 10007 clauses out of 20035 with flag 225002/1176343 376.30/375.23 c cleaning 9985 clauses out of 20026 with flag 235000/1186341 380.52/379.49 c cleaning 10011 clauses out of 20045 with flag 245004/1196345 384.40/383.31 c cleaning 9988 clauses out of 20030 with flag 255000/1206341 387.60/386.58 c cleaning 10016 clauses out of 20042 with flag 265000/1216341 390.91/389.88 c cleaning 10004 clauses out of 20026 with flag 275000/1226341 394.41/393.31 c cleaning 10000 clauses out of 20022 with flag 285000/1236341 397.81/396.76 c cleaning 9998 clauses out of 20023 with flag 295001/1246342 401.21/400.16 c cleaning 10003 clauses out of 20025 with flag 305001/1256342 404.51/403.42 c cleaning 10005 clauses out of 20022 with flag 315001/1266342 407.71/406.68 c cleaning 9995 clauses out of 20016 with flag 325000/1276341 411.01/409.92 c cleaning 10003 clauses out of 20024 with flag 335003/1286344 414.21/413.11 c cleaning 9999 clauses out of 20018 with flag 345000/1296341 417.42/416.32 c cleaning 9993 clauses out of 20019 with flag 355000/1306341 420.62/419.54 c cleaning 10003 clauses out of 20028 with flag 365002/1316343 423.82/422.73 c cleaning 10001 clauses out of 20023 with flag 375000/1326341 427.03/425.94 c cleaning 9998 clauses out of 20025 with flag 385003/1336344 430.23/429.13 c cleaning 10006 clauses out of 20025 with flag 395001/1346342 433.53/432.48 c cleaning 10006 clauses out of 20019 with flag 405001/1356342 436.93/435.87 c cleaning 10003 clauses out of 20014 with flag 415002/1366343 439.84/438.80 c cleaning 9993 clauses out of 20009 with flag 425000/1376341 443.37/442.22 c cleaning 9990 clauses out of 20016 with flag 435000/1386341 446.46/445.31 c cleaning 10006 clauses out of 20026 with flag 445000/1396341 449.87/448.75 c cleaning 10000 clauses out of 20020 with flag 455000/1406341 453.17/452.07 c cleaning 10006 clauses out of 20020 with flag 465000/1416341 453.86/452.70 c Got one! Elapsed wall clock time (in seconds):452.585 453.86/452.70 o 41186 454.16/453.09 c cleaning 7721 clauses out of 15463 with flag 3002/1421790 455.16/454.02 c cleaning 6863 clauses out of 13741 with flag 9001/1427789 456.16/455.09 c cleaning 6931 clauses out of 13877 with flag 16000/1434788 457.58/456.46 c cleaning 7459 clauses out of 14946 with flag 24000/1442788 459.47/458.37 c cleaning 8239 clauses out of 16488 with flag 33001/1451789 462.57/461.43 c cleaning 9118 clauses out of 18248 with flag 43000/1461788 465.57/464.46 c cleaning 9557 clauses out of 19130 with flag 53000/1471788 468.58/467.51 c cleaning 9776 clauses out of 19573 with flag 63000/1481788 471.77/470.63 c cleaning 9893 clauses out of 19797 with flag 73000/1491788 475.67/474.55 c cleaning 9933 clauses out of 19904 with flag 83000/1501788 480.07/478.97 c cleaning 9978 clauses out of 19971 with flag 93000/1511788 484.18/483.09 c cleaning 9980 clauses out of 19993 with flag 103000/1521788 488.08/486.90 c cleaning 9982 clauses out of 20013 with flag 113000/1531788 491.70/490.55 c cleaning 10006 clauses out of 20031 with flag 123000/1541788 495.79/494.63 c cleaning 9969 clauses out of 20026 with flag 133001/1551789 499.29/498.20 c cleaning 10017 clauses out of 20056 with flag 143000/1561788 502.21/501.09 c cleaning 10014 clauses out of 20039 with flag 153000/1571788 505.31/504.17 c cleaning 10003 clauses out of 20026 with flag 163001/1581789 508.22/507.07 c cleaning 10004 clauses out of 20023 with flag 173001/1591789 511.21/510.02 c cleaning 10001 clauses out of 20019 with flag 183001/1601789 514.31/513.16 c cleaning 9994 clauses out of 20017 with flag 193000/1611788 517.32/516.16 c cleaning 9997 clauses out of 20023 with flag 203000/1621788 520.44/519.23 c cleaning 10003 clauses out of 20026 with flag 213000/1631788 523.42/522.25 c cleaning 9996 clauses out of 20024 with flag 223001/1641789 526.42/525.21 c cleaning 10005 clauses out of 20027 with flag 233000/1651788 529.82/528.66 c cleaning 9993 clauses out of 20022 with flag 243000/1661788 533.33/532.14 c cleaning 9987 clauses out of 20029 with flag 253000/1671788 537.53/536.30 c cleaning 10005 clauses out of 20043 with flag 263001/1681789 541.35/540.18 c cleaning 10006 clauses out of 20037 with flag 273000/1691788 545.04/543.85 c cleaning 10001 clauses out of 20031 with flag 283000/1701788 548.95/547.78 c cleaning 9984 clauses out of 20030 with flag 293000/1711788 552.84/551.60 c cleaning 10012 clauses out of 20046 with flag 303000/1721788 556.54/555.38 c cleaning 10008 clauses out of 20034 with flag 313000/1731788 560.06/558.84 c cleaning 9978 clauses out of 20026 with flag 323000/1741788 564.25/563.04 c cleaning 10000 clauses out of 20048 with flag 333000/1751788 567.66/566.50 c cleaning 10016 clauses out of 20050 with flag 343002/1761790 571.07/569.82 c cleaning 10009 clauses out of 20032 with flag 353000/1771788 574.85/573.69 c cleaning 10001 clauses out of 20023 with flag 363000/1781788 578.77/577.56 c cleaning 9995 clauses out of 20022 with flag 373000/1791788 582.36/581.18 c cleaning 9997 clauses out of 20028 with flag 383001/1801789 585.16/584.01 c cleaning 10008 clauses out of 20031 with flag 393001/1811789 588.06/586.80 c cleaning 10006 clauses out of 20024 with flag 403002/1821790 590.88/589.62 c cleaning 10002 clauses out of 20016 with flag 413000/1831788 593.67/592.41 c cleaning 10002 clauses out of 20016 with flag 423002/1841790 596.39/595.17 c cleaning 9991 clauses out of 20012 with flag 433000/1851788 599.17/597.91 c cleaning 10002 clauses out of 20024 with flag 443003/1861791 601.89/600.70 c cleaning 9999 clauses out of 20019 with flag 453000/1871788 604.77/603.55 c cleaning 10002 clauses out of 20020 with flag 463000/1881788 607.57/606.39 c cleaning 9998 clauses out of 20018 with flag 473000/1891788 610.37/609.18 c cleaning 10004 clauses out of 20021 with flag 483001/1901789 613.27/612.06 c cleaning 10003 clauses out of 20020 with flag 493004/1911792 616.19/614.94 c cleaning 9999 clauses out of 20013 with flag 503000/1921788 618.98/617.79 c cleaning 9993 clauses out of 20015 with flag 513001/1931789 621.88/620.65 c cleaning 10002 clauses out of 20021 with flag 523000/1941788 624.68/623.45 c cleaning 9999 clauses out of 20019 with flag 533000/1951788 627.48/626.28 c cleaning 10002 clauses out of 20021 with flag 543001/1961789 630.28/629.08 c cleaning 10000 clauses out of 20018 with flag 553000/1971788 633.18/631.96 c cleaning 10001 clauses out of 20018 with flag 563000/1981788 636.00/634.77 c cleaning 9999 clauses out of 20017 with flag 573000/1991788 638.78/637.51 c cleaning 10002 clauses out of 20019 with flag 583001/2001789 641.59/640.39 c cleaning 10000 clauses out of 20017 with flag 593001/2011789 644.59/643.31 c cleaning 10000 clauses out of 20018 with flag 603002/2021790 647.89/646.63 c cleaning 10005 clauses out of 20017 with flag 613001/2031789 649.60/648.38 c Got one! Elapsed wall clock time (in seconds):648.267 649.60/648.38 o 40984 650.40/649.14 c cleaning 10012 clauses out of 20036 with flag 5001/2041813 652.10/650.83 c cleaning 8005 clauses out of 16024 with flag 11001/2047813 654.72/653.48 c cleaning 7507 clauses out of 15020 with flag 18002/2054814 657.92/656.64 c cleaning 7747 clauses out of 15512 with flag 26001/2062813 660.41/659.13 c cleaning 8377 clauses out of 16765 with flag 35001/2071813 663.01/661.77 c cleaning 9184 clauses out of 18388 with flag 45001/2081813 666.91/665.62 c cleaning 9591 clauses out of 19204 with flag 55001/2091813 670.31/669.04 c cleaning 9788 clauses out of 19612 with flag 65000/2101812 673.71/672.44 c cleaning 9904 clauses out of 19831 with flag 75007/2111819 677.02/675.79 c cleaning 9953 clauses out of 19920 with flag 85000/2121812 680.42/679.11 c cleaning 9974 clauses out of 19968 with flag 95001/2131813 683.72/682.46 c cleaning 9986 clauses out of 19993 with flag 105000/2141812 687.02/685.75 c cleaning 9995 clauses out of 20007 with flag 115000/2151812 690.22/688.97 c cleaning 10003 clauses out of 20013 with flag 125001/2161813 693.73/692.47 c cleaning 10001 clauses out of 20009 with flag 135000/2171812 697.33/696.00 c cleaning 9989 clauses out of 20008 with flag 145000/2181812 700.53/699.28 c cleaning 10002 clauses out of 20019 with flag 155000/2191812 704.54/703.25 c cleaning 9996 clauses out of 20017 with flag 165000/2201812 708.24/706.94 c cleaning 10002 clauses out of 20022 with flag 175001/2211813 712.14/710.84 c cleaning 10007 clauses out of 20019 with flag 185000/2221812 715.16/713.87 c cleaning 10001 clauses out of 20013 with flag 195001/2231813 718.14/716.88 c cleaning 10000 clauses out of 20011 with flag 205000/2241812 721.34/720.05 c cleaning 9995 clauses out of 20011 with flag 215000/2251812 724.44/723.16 c cleaning 9995 clauses out of 20016 with flag 225000/2261812 727.56/726.22 c cleaning 10002 clauses out of 20022 with flag 235001/2271813 730.67/729.39 c cleaning 10002 clauses out of 20019 with flag 245000/2281812 733.56/732.27 c cleaning 10001 clauses out of 20017 with flag 255000/2291812 736.46/735.18 c cleaning 10001 clauses out of 20017 with flag 265001/2301813 739.56/738.29 c cleaning 9999 clauses out of 20017 with flag 275002/2311814 742.68/741.38 c cleaning 9991 clauses out of 20019 with flag 285003/2321815 746.46/745.15 c cleaning 10007 clauses out of 20025 with flag 295000/2331812 750.07/748.78 c cleaning 9998 clauses out of 20018 with flag 305000/2341812 753.78/752.47 c cleaning 9994 clauses out of 20020 with flag 315000/2351812 757.67/756.34 c cleaning 9983 clauses out of 20026 with flag 325000/2361812 761.27/759.96 c cleaning 10013 clauses out of 20044 with flag 335001/2371813 765.57/764.21 c cleaning 10007 clauses out of 20031 with flag 345001/2381813 769.48/768.18 c cleaning 10000 clauses out of 20023 with flag 355000/2391812 773.38/772.05 c cleaning 10002 clauses out of 20023 with flag 365000/2401812 777.08/775.70 c cleaning 10001 clauses out of 20022 with flag 375001/2411813 780.79/779.48 c cleaning 9997 clauses out of 20020 with flag 385000/2421812 784.69/783.31 c cleaning 9989 clauses out of 20023 with flag 395000/2431812 788.49/787.17 c cleaning 10006 clauses out of 20034 with flag 405000/2441812 792.39/791.09 c cleaning 9988 clauses out of 20028 with flag 415000/2451812 796.49/795.21 c cleaning 10012 clauses out of 20040 with flag 425000/2461812 800.39/799.03 c cleaning 10010 clauses out of 20029 with flag 435001/2471813 803.20/801.90 c cleaning 9991 clauses out of 20018 with flag 445000/2481812 806.19/804.84 c cleaning 10002 clauses out of 20028 with flag 455001/2491813 809.00/807.62 c cleaning 9998 clauses out of 20025 with flag 465000/2501812 811.80/810.47 c cleaning 10008 clauses out of 20027 with flag 475000/2511812 814.60/813.22 c cleaning 9998 clauses out of 20020 with flag 485001/2521813 817.40/816.01 c cleaning 10003 clauses out of 20021 with flag 495000/2531812 820.10/818.74 c cleaning 10004 clauses out of 20019 with flag 505001/2541813 822.90/821.51 c cleaning 10000 clauses out of 20016 with flag 515002/2551814 825.60/824.28 c cleaning 9998 clauses out of 20015 with flag 525001/2561813 828.40/827.02 c cleaning 9996 clauses out of 20016 with flag 535000/2571812 831.10/829.73 c cleaning 9997 clauses out of 20020 with flag 545000/2581812 833.71/832.39 c cleaning 10001 clauses out of 20023 with flag 555000/2591812 836.51/835.14 c cleaning 9999 clauses out of 20023 with flag 565001/2601813 839.21/837.81 c cleaning 10000 clauses out of 20024 with flag 575001/2611813 841.82/840.48 c cleaning 9999 clauses out of 20023 with flag 585000/2621812 844.61/843.24 c cleaning 10001 clauses out of 20024 with flag 595000/2631812 847.33/845.97 c cleaning 10002 clauses out of 20023 with flag 605000/2641812 850.01/848.69 c cleaning 9998 clauses out of 20022 with flag 615001/2651813 852.83/851.42 c cleaning 10000 clauses out of 20023 with flag 625000/2661812 855.42/854.08 c cleaning 10002 clauses out of 20024 with flag 635001/2671813 858.23/856.87 c cleaning 10002 clauses out of 20021 with flag 645000/2681812 861.12/859.79 c cleaning 10003 clauses out of 20019 with flag 655000/2691812 864.94/863.59 c cleaning 9998 clauses out of 20017 with flag 665001/2701813 868.73/867.37 c cleaning 10001 clauses out of 20020 with flag 675002/2711814 872.54/871.14 c cleaning 9966 clauses out of 20019 with flag 685002/2721814 876.33/874.91 c cleaning 10017 clauses out of 20051 with flag 695000/2731812 880.13/878.71 c cleaning 10012 clauses out of 20034 with flag 705000/2741812 883.93/882.50 c cleaning 10005 clauses out of 20023 with flag 715001/2751813 887.54/886.17 c cleaning 10000 clauses out of 20017 with flag 725000/2761812 891.25/889.91 c cleaning 9998 clauses out of 20019 with flag 735002/2771814 895.14/893.74 c cleaning 9994 clauses out of 20019 with flag 745000/2781812 899.06/897.63 c cleaning 10006 clauses out of 20027 with flag 755002/2791814 902.84/901.47 c cleaning 9990 clauses out of 20020 with flag 765001/2801813 906.66/905.21 c cleaning 9996 clauses out of 20030 with flag 775001/2811813 910.34/908.91 c cleaning 10009 clauses out of 20034 with flag 785001/2821813 914.15/912.70 c cleaning 10003 clauses out of 20024 with flag 795000/2831812 917.95/916.54 c cleaning 10000 clauses out of 20022 with flag 805001/2841813 921.65/920.28 c cleaning 9988 clauses out of 20021 with flag 815000/2851812 925.36/924.00 c cleaning 10005 clauses out of 20033 with flag 825000/2861812 929.25/927.87 c cleaning 10006 clauses out of 20029 with flag 835001/2871813 933.66/932.20 c cleaning 9996 clauses out of 20022 with flag 845000/2881812 937.66/936.28 c cleaning 10003 clauses out of 20026 with flag 855000/2891812 941.56/940.11 c cleaning 9995 clauses out of 20024 with flag 865001/2901813 945.28/943.89 c cleaning 10000 clauses out of 20028 with flag 875000/2911812 949.06/947.66 c cleaning 10000 clauses out of 20028 with flag 885000/2921812 952.88/951.46 c cleaning 10003 clauses out of 20028 with flag 895000/2931812 956.66/955.25 c cleaning 10001 clauses out of 20025 with flag 905000/2941812 960.47/959.07 c cleaning 10003 clauses out of 20024 with flag 915000/2951812 964.37/962.90 c cleaning 10002 clauses out of 20022 with flag 925001/2961813 967.87/966.49 c cleaning 9990 clauses out of 20020 with flag 935001/2971813 971.58/970.13 c cleaning 10003 clauses out of 20029 with flag 945000/2981812 975.37/973.94 c cleaning 10005 clauses out of 20026 with flag 955000/2991812 978.87/977.48 c cleaning 9996 clauses out of 20021 with flag 965000/3001812 982.78/981.33 c cleaning 9999 clauses out of 20027 with flag 975002/3011814 986.38/984.99 c cleaning 10003 clauses out of 20027 with flag 985001/3021813 989.78/988.32 c cleaning 10008 clauses out of 20025 with flag 995002/3031814 992.78/991.30 c cleaning 9998 clauses out of 20016 with flag 1005001/3041813 996.18/994.77 c cleaning 9999 clauses out of 20017 with flag 1015000/3051812 999.20/997.75 c cleaning 10002 clauses out of 20018 with flag 1025000/3061812 1002.79/1001.30 c cleaning 10000 clauses out of 20016 with flag 1035000/3071812 1006.19/1004.71 c cleaning 10001 clauses out of 20016 with flag 1045000/3081812 1009.59/1008.15 c cleaning 10001 clauses out of 20015 with flag 1055000/3091812 1013.10/1011.65 c cleaning 9990 clauses out of 20014 with flag 1065000/3101812 1016.72/1015.28 c cleaning 10007 clauses out of 20024 with flag 1075000/3111812 1020.61/1019.17 c cleaning 9999 clauses out of 20019 with flag 1085002/3121814 1024.91/1023.46 c cleaning 9991 clauses out of 20018 with flag 1095000/3131812 1029.21/1027.72 c cleaning 9997 clauses out of 20028 with flag 1105001/3141813 1033.33/1031.87 c cleaning 10005 clauses out of 20030 with flag 1115000/3151812 1036.11/1034.64 c cleaning 10008 clauses out of 20025 with flag 1125000/3161812 1038.73/1037.24 c cleaning 10002 clauses out of 20019 with flag 1135002/3171814 1041.32/1039.84 c cleaning 10000 clauses out of 20015 with flag 1145000/3181812 1043.92/1042.48 c cleaning 9991 clauses out of 20015 with flag 1155000/3191812 1046.72/1045.21 c cleaning 9994 clauses out of 20024 with flag 1165000/3201812 1049.32/1047.83 c cleaning 10004 clauses out of 20030 with flag 1175000/3211812 1051.94/1050.46 c cleaning 10004 clauses out of 20026 with flag 1185000/3221812 1055.24/1053.78 c cleaning 10002 clauses out of 20022 with flag 1195000/3231812 1058.54/1057.08 c cleaning 10006 clauses out of 20020 with flag 1205000/3241812 1061.73/1060.26 c cleaning 9997 clauses out of 20014 with flag 1215000/3251812 1064.93/1063.44 c cleaning 9995 clauses out of 20017 with flag 1225000/3261812 1068.13/1066.65 c cleaning 10007 clauses out of 20023 with flag 1235001/3271813 1071.43/1069.90 c cleaning 9999 clauses out of 20016 with flag 1245001/3281813 1074.73/1073.25 c cleaning 10002 clauses out of 20019 with flag 1255003/3291815 1078.03/1076.50 c cleaning 9998 clauses out of 20014 with flag 1265000/3301812 1081.13/1079.62 c cleaning 10004 clauses out of 20016 with flag 1275000/3311812 1084.44/1082.94 c cleaning 9991 clauses out of 20012 with flag 1285000/3321812 1087.94/1086.42 c cleaning 9999 clauses out of 20022 with flag 1295001/3331813 1091.34/1089.89 c cleaning 10001 clauses out of 20022 with flag 1305000/3341812 1095.34/1093.85 c cleaning 9997 clauses out of 20024 with flag 1315003/3351815 1098.96/1097.49 c cleaning 10007 clauses out of 20025 with flag 1325001/3361813 1102.57/1101.06 c cleaning 9987 clauses out of 20017 with flag 1335000/3371812 1105.76/1104.25 c cleaning 10001 clauses out of 20031 with flag 1345001/3381813 1109.28/1107.78 c cleaning 10007 clauses out of 20029 with flag 1355000/3391812 1112.96/1111.47 c cleaning 10003 clauses out of 20022 with flag 1365000/3401812 1116.47/1114.94 c cleaning 9999 clauses out of 20019 with flag 1375000/3411812 1120.06/1118.54 c cleaning 9991 clauses out of 20020 with flag 1385000/3421812 1123.67/1122.14 c cleaning 10007 clauses out of 20029 with flag 1395000/3431812 1127.17/1125.66 c cleaning 10001 clauses out of 20022 with flag 1405000/3441812 1130.47/1128.94 c cleaning 10000 clauses out of 20021 with flag 1415000/3451812 1133.97/1132.40 c cleaning 10004 clauses out of 20021 with flag 1425000/3461812 1136.69/1135.19 c cleaning 10002 clauses out of 20018 with flag 1435001/3471813 1139.28/1137.79 c cleaning 9993 clauses out of 20015 with flag 1445000/3481812 1142.08/1140.53 c cleaning 9999 clauses out of 20022 with flag 1455000/3491812 1142.98/1141.45 c Got one! Elapsed wall clock time (in seconds):1141.33 1142.98/1141.45 o 40921 1143.18/1141.70 c cleaning 7634 clauses out of 15283 with flag 2001/3497072 1144.20/1142.66 c cleaning 6813 clauses out of 13648 with flag 8000/3503071 1145.30/1143.78 c cleaning 6908 clauses out of 13836 with flag 15001/3510072 1146.80/1145.26 c cleaning 7459 clauses out of 14928 with flag 23001/3518072 1148.30/1146.73 c cleaning 8227 clauses out of 16468 with flag 32000/3527071 1149.91/1148.32 c cleaning 9115 clauses out of 18242 with flag 42001/3537072 1151.70/1150.15 c cleaning 9558 clauses out of 19127 with flag 52001/3547072 1153.50/1151.93 c cleaning 9777 clauses out of 19568 with flag 62000/3557071 1155.20/1153.62 c cleaning 9892 clauses out of 19792 with flag 72001/3567072 1156.81/1155.28 c cleaning 9942 clauses out of 19899 with flag 82000/3577071 1158.61/1157.02 c cleaning 9964 clauses out of 19958 with flag 92001/3587072 1160.31/1158.79 c cleaning 9984 clauses out of 19993 with flag 102000/3597071 1162.13/1160.57 c cleaning 9993 clauses out of 20009 with flag 112000/3607071 1163.81/1162.28 c cleaning 10005 clauses out of 20019 with flag 122003/3617074 1165.62/1164.01 c cleaning 9993 clauses out of 20012 with flag 132001/3627072 1167.42/1165.84 c cleaning 10000 clauses out of 20018 with flag 142000/3637071 1169.12/1167.59 c cleaning 9990 clauses out of 20018 with flag 152000/3647071 1170.94/1169.33 c cleaning 10008 clauses out of 20028 with flag 162000/3657071 1172.62/1171.05 c cleaning 9995 clauses out of 20020 with flag 172000/3667071 1174.42/1172.88 c cleaning 10005 clauses out of 20025 with flag 182000/3677071 1176.23/1174.66 c cleaning 10003 clauses out of 20021 with flag 192001/3687072 1178.13/1176.54 c cleaning 9996 clauses out of 20018 with flag 202001/3697072 1180.03/1178.42 c cleaning 10001 clauses out of 20021 with flag 212000/3707071 1181.85/1180.28 c cleaning 10003 clauses out of 20020 with flag 222000/3717071 1185.33/1183.70 c cleaning 10002 clauses out of 20018 with flag 232001/3727072 1188.55/1186.95 c cleaning 9995 clauses out of 20017 with flag 242002/3737073 1191.86/1190.27 c cleaning 10000 clauses out of 20021 with flag 252001/3747072 1195.06/1193.51 c cleaning 10005 clauses out of 20020 with flag 262000/3757071 1198.24/1196.71 c cleaning 9991 clauses out of 20015 with flag 272000/3767071 1201.66/1200.06 c cleaning 10000 clauses out of 20025 with flag 282001/3777072 1202.25/1200.67 c Got one! Elapsed wall clock time (in seconds):1200.55 1202.25/1200.67 o 40132 1202.87/1201.22 c cleaning 7904 clauses out of 15816 with flag 4001/3782863 1203.75/1202.20 c cleaning 6942 clauses out of 13912 with flag 10001/3788863 1204.97/1203.32 c cleaning 6978 clauses out of 13969 with flag 17000/3795862 1206.18/1204.56 c cleaning 7491 clauses out of 14991 with flag 25000/3803862 1207.76/1206.18 c cleaning 8238 clauses out of 16500 with flag 34000/3812862 1209.56/1207.93 c cleaning 9121 clauses out of 18262 with flag 44000/3822862 1211.16/1209.59 c cleaning 9559 clauses out of 19142 with flag 54001/3832863 1213.07/1211.46 c cleaning 9784 clauses out of 19583 with flag 64001/3842863 1214.88/1213.25 c cleaning 9893 clauses out of 19798 with flag 74000/3852862 1216.57/1214.99 c cleaning 9942 clauses out of 19906 with flag 84001/3862863 1218.37/1216.76 c cleaning 9969 clauses out of 19963 with flag 94000/3872862 1220.07/1218.48 c cleaning 9982 clauses out of 19994 with flag 104000/3882862 1221.77/1220.19 c cleaning 9994 clauses out of 20013 with flag 114001/3892863 1223.47/1221.87 c cleaning 10001 clauses out of 20018 with flag 124000/3902862 1225.17/1223.50 c cleaning 10005 clauses out of 20018 with flag 134001/3912863 1226.99/1225.32 c cleaning 9994 clauses out of 20013 with flag 144001/3922863 1228.57/1226.98 c cleaning 9998 clauses out of 20018 with flag 154000/3932862 1230.29/1228.71 c cleaning 10004 clauses out of 20021 with flag 164001/3942863 1231.98/1230.36 c cleaning 9996 clauses out of 20016 with flag 174000/3952862 1233.69/1232.04 c cleaning 10000 clauses out of 20020 with flag 184000/3962862 1235.27/1233.62 c cleaning 9998 clauses out of 20021 with flag 194001/3972863 1236.89/1235.28 c cleaning 9993 clauses out of 20022 with flag 204000/3982862 1238.57/1236.96 c cleaning 10010 clauses out of 20029 with flag 214000/3992862 1240.29/1238.67 c cleaning 10006 clauses out of 20020 with flag 224001/4002863 1241.87/1240.26 c cleaning 10001 clauses out of 20016 with flag 234003/4012865 1243.38/1241.76 c cleaning 9994 clauses out of 20012 with flag 244000/4022862 1244.88/1243.28 c cleaning 10004 clauses out of 20018 with flag 254000/4032862 1246.48/1244.80 c cleaning 9995 clauses out of 20014 with flag 264000/4042862 1248.00/1246.35 c cleaning 9998 clauses out of 20020 with flag 274001/4052863 1249.48/1247.89 c cleaning 10004 clauses out of 20021 with flag 284000/4062862 1251.08/1249.45 c cleaning 10002 clauses out of 20017 with flag 294000/4072862 1252.58/1250.98 c cleaning 10000 clauses out of 20015 with flag 304000/4082862 1254.18/1252.53 c cleaning 10001 clauses out of 20015 with flag 314000/4092862 1255.70/1254.10 c cleaning 9996 clauses out of 20014 with flag 324000/4102862 1257.48/1255.88 c cleaning 10003 clauses out of 20019 with flag 334001/4112863 1261.28/1259.68 c cleaning 9994 clauses out of 20015 with flag 344000/4122862 1264.40/1262.80 c cleaning 10001 clauses out of 20022 with flag 354001/4132863 1267.80/1266.19 c cleaning 10000 clauses out of 20021 with flag 364001/4142863 1271.10/1269.43 c cleaning 9998 clauses out of 20020 with flag 374000/4152862 1274.30/1272.68 c cleaning 10002 clauses out of 20023 with flag 384001/4162863 1277.39/1275.71 c cleaning 10005 clauses out of 20021 with flag 394001/4172863 1280.39/1278.77 c cleaning 10001 clauses out of 20015 with flag 404000/4182862 1283.50/1281.82 c cleaning 10000 clauses out of 20014 with flag 414000/4192862 1286.60/1284.95 c cleaning 10003 clauses out of 20015 with flag 424001/4202863 1289.60/1288.01 c cleaning 9991 clauses out of 20011 with flag 434000/4212862 1292.70/1291.04 c cleaning 9984 clauses out of 20020 with flag 444000/4222862 1295.70/1294.02 c cleaning 10006 clauses out of 20037 with flag 454001/4232863 1298.70/1297.08 c cleaning 10007 clauses out of 20031 with flag 464001/4242863 1301.92/1300.29 c cleaning 10001 clauses out of 20023 with flag 474000/4252862 1305.12/1303.46 c cleaning 9999 clauses out of 20022 with flag 484000/4262862 1308.42/1306.72 c cleaning 10005 clauses out of 20024 with flag 494001/4272863 1311.61/1309.92 c cleaning 9996 clauses out of 20018 with flag 504000/4282862 1314.61/1312.93 c cleaning 10000 clauses out of 20022 with flag 514000/4292862 1317.71/1316.05 c cleaning 10003 clauses out of 20022 with flag 524000/4302862 1320.71/1319.06 c cleaning 9994 clauses out of 20019 with flag 534000/4312862 1323.83/1322.12 c cleaning 10005 clauses out of 20025 with flag 544000/4322862 1326.71/1325.06 c cleaning 10004 clauses out of 20023 with flag 554003/4332865 1329.91/1328.24 c cleaning 9997 clauses out of 20017 with flag 564001/4342863 1333.02/1331.34 c cleaning 10000 clauses out of 20020 with flag 574001/4352863 1336.12/1334.47 c cleaning 9997 clauses out of 20019 with flag 584000/4362862 1339.23/1337.60 c cleaning 9998 clauses out of 20022 with flag 594000/4372862 1342.42/1340.81 c cleaning 10000 clauses out of 20025 with flag 604001/4382863 1345.52/1343.88 c cleaning 9992 clauses out of 20025 with flag 614001/4392863 1348.82/1347.12 c cleaning 10008 clauses out of 20033 with flag 624001/4402863 1351.82/1350.19 c cleaning 10006 clauses out of 20024 with flag 634000/4412862 1354.82/1353.15 c cleaning 10003 clauses out of 20018 with flag 644000/4422862 1357.82/1356.19 c cleaning 9997 clauses out of 20016 with flag 654001/4432863 1361.24/1359.52 c cleaning 10001 clauses out of 20019 with flag 664001/4442863 1364.43/1362.75 c cleaning 9988 clauses out of 20017 with flag 674000/4452862 1367.43/1365.77 c cleaning 10008 clauses out of 20030 with flag 684001/4462863 1370.43/1368.77 c cleaning 10002 clauses out of 20021 with flag 694000/4472862 1373.53/1371.86 c cleaning 9994 clauses out of 20019 with flag 704000/4482862 1376.84/1375.17 c cleaning 10004 clauses out of 20025 with flag 714000/4492862 1379.84/1378.18 c cleaning 10001 clauses out of 20023 with flag 724002/4502864 1382.94/1381.20 c cleaning 10004 clauses out of 20021 with flag 734001/4512863 1386.04/1384.31 c cleaning 10000 clauses out of 20017 with flag 744001/4522863 1389.14/1387.46 c cleaning 9996 clauses out of 20017 with flag 754001/4532863 1392.24/1390.57 c cleaning 10000 clauses out of 20020 with flag 764000/4542862 1395.36/1393.68 c cleaning 9988 clauses out of 20020 with flag 774000/4552862 1398.45/1396.74 c cleaning 10008 clauses out of 20032 with flag 784000/4562862 1401.55/1399.88 c cleaning 10005 clauses out of 20025 with flag 794001/4572863 1404.75/1403.09 c cleaning 9997 clauses out of 20020 with flag 804001/4582863 1407.95/1406.22 c cleaning 9997 clauses out of 20022 with flag 814000/4592862 1411.16/1409.45 c cleaning 9995 clauses out of 20025 with flag 824000/4602862 1414.18/1412.43 c cleaning 10010 clauses out of 20031 with flag 834001/4612863 1417.16/1415.42 c cleaning 10004 clauses out of 20020 with flag 844000/4622862 1420.17/1418.41 c cleaning 9994 clauses out of 20016 with flag 854000/4632862 1422.98/1421.28 c cleaning 10004 clauses out of 20023 with flag 864001/4642863 1425.97/1424.23 c cleaning 9990 clauses out of 20019 with flag 874001/4652863 1429.58/1427.88 c cleaning 9998 clauses out of 20028 with flag 884000/4662862 1432.67/1430.96 c cleaning 10008 clauses out of 20030 with flag 894000/4672862 1435.17/1433.41 c cleaning 9998 clauses out of 20022 with flag 904000/4682862 1437.67/1435.94 c cleaning 10000 clauses out of 20025 with flag 914001/4692863 1440.48/1438.75 c cleaning 10008 clauses out of 20026 with flag 924002/4702864 1443.57/1441.88 c cleaning 10001 clauses out of 20016 with flag 934000/4712862 1446.88/1445.17 c cleaning 10001 clauses out of 20016 with flag 944001/4722863 1450.28/1448.60 c cleaning 9995 clauses out of 20016 with flag 954002/4732864 1453.58/1451.89 c cleaning 10007 clauses out of 20019 with flag 964000/4742862 1456.68/1454.91 c cleaning 9997 clauses out of 20012 with flag 974000/4752862 1459.68/1457.91 c cleaning 10003 clauses out of 20015 with flag 984000/4762862 1462.60/1460.90 c cleaning 9998 clauses out of 20014 with flag 994002/4772864 1465.69/1463.97 c cleaning 9999 clauses out of 20014 with flag 1004000/4782862 1468.78/1467.02 c cleaning 9996 clauses out of 20017 with flag 1014002/4792864 1471.79/1470.09 c cleaning 10001 clauses out of 20020 with flag 1024001/4802863 1474.39/1472.66 c cleaning 9995 clauses out of 20018 with flag 1034000/4812862 1477.19/1475.41 c cleaning 10005 clauses out of 20023 with flag 1044000/4822862 1479.89/1478.17 c cleaning 9996 clauses out of 20018 with flag 1054000/4832862 1482.69/1480.98 c cleaning 10001 clauses out of 20022 with flag 1064000/4842862 1485.49/1483.81 c cleaning 10005 clauses out of 20021 with flag 1074000/4852862 1488.60/1486.87 c cleaning 10002 clauses out of 20016 with flag 1084000/4862862 1491.60/1489.80 c cleaning 10003 clauses out of 20014 with flag 1094000/4872862 1494.30/1492.58 c cleaning 9998 clauses out of 20012 with flag 1104001/4882863 1497.21/1495.47 c cleaning 9997 clauses out of 20013 with flag 1114000/4892862 1500.11/1498.39 c cleaning 9993 clauses out of 20016 with flag 1124000/4902862 1503.11/1501.40 c cleaning 10000 clauses out of 20023 with flag 1134000/4912862 1506.41/1504.66 c cleaning 10008 clauses out of 20024 with flag 1144001/4922863 1509.71/1507.95 c cleaning 9998 clauses out of 20015 with flag 1154000/4932862 1513.13/1511.36 c cleaning 9988 clauses out of 20017 with flag 1164000/4942862 1516.53/1514.78 c cleaning 10007 clauses out of 20029 with flag 1174000/4952862 1520.22/1518.47 c cleaning 9995 clauses out of 20022 with flag 1184000/4962862 1523.92/1522.10 c cleaning 10001 clauses out of 20028 with flag 1194001/4972863 1527.12/1525.37 c cleaning 10004 clauses out of 20027 with flag 1204001/4982863 1530.33/1528.58 c cleaning 9992 clauses out of 20022 with flag 1214000/4992862 1533.83/1532.03 c cleaning 10006 clauses out of 20030 with flag 1224000/5002862 1537.34/1535.57 c cleaning 9990 clauses out of 20024 with flag 1234000/5012862 1540.53/1538.81 c cleaning 10008 clauses out of 20035 with flag 1244001/5022863 1543.63/1541.87 c cleaning 10001 clauses out of 20026 with flag 1254000/5032862 1547.44/1545.61 c cleaning 9979 clauses out of 20025 with flag 1264000/5042862 1550.84/1549.09 c cleaning 10012 clauses out of 20046 with flag 1274000/5052862 1553.44/1551.67 c cleaning 10012 clauses out of 20034 with flag 1284000/5062862 1555.95/1554.17 c cleaning 9998 clauses out of 20022 with flag 1294000/5072862 1558.45/1556.69 c cleaning 10003 clauses out of 20024 with flag 1304000/5082862 1561.05/1559.26 c cleaning 10003 clauses out of 20022 with flag 1314001/5092863 1563.76/1561.93 c cleaning 9996 clauses out of 20018 with flag 1324000/5102862 1566.25/1564.48 c cleaning 10006 clauses out of 20023 with flag 1334001/5112863 1569.05/1567.27 c cleaning 10000 clauses out of 20016 with flag 1344000/5122862 1571.76/1569.98 c cleaning 10003 clauses out of 20017 with flag 1354001/5132863 1574.36/1572.56 c cleaning 9995 clauses out of 20014 with flag 1364001/5142863 1576.98/1575.16 c cleaning 10001 clauses out of 20018 with flag 1374000/5152862 1579.76/1577.92 c cleaning 10000 clauses out of 20017 with flag 1384000/5162862 1582.37/1580.56 c cleaning 9998 clauses out of 20017 with flag 1394000/5172862 1585.07/1583.24 c cleaning 9997 clauses out of 20019 with flag 1404000/5182862 1587.77/1585.95 c cleaning 10002 clauses out of 20022 with flag 1414000/5192862 1590.37/1588.57 c cleaning 9997 clauses out of 20020 with flag 1424000/5202862 1593.07/1591.27 c cleaning 9994 clauses out of 20024 with flag 1434001/5212863 1595.69/1593.82 c cleaning 10006 clauses out of 20030 with flag 1444001/5222863 1598.18/1596.38 c cleaning 10003 clauses out of 20025 with flag 1454002/5232864 1600.88/1599.09 c cleaning 10002 clauses out of 20020 with flag 1464000/5242862 1603.68/1601.84 c cleaning 9997 clauses out of 20018 with flag 1474000/5252862 1606.28/1604.47 c cleaning 9993 clauses out of 20021 with flag 1484000/5262862 1608.89/1607.05 c cleaning 10002 clauses out of 20028 with flag 1494000/5272862 1612.30/1610.41 c cleaning 10007 clauses out of 20026 with flag 1504000/5282862 1615.60/1613.79 c cleaning 10005 clauses out of 20020 with flag 1514001/5292863 1619.09/1617.26 c cleaning 9996 clauses out of 20014 with flag 1524000/5302862 1622.59/1620.75 c cleaning 9999 clauses out of 20018 with flag 1534000/5312862 1626.19/1624.36 c cleaning 10003 clauses out of 20019 with flag 1544000/5322862 1629.69/1627.85 c cleaning 9995 clauses out of 20016 with flag 1554000/5332862 1633.21/1631.35 c cleaning 10005 clauses out of 20021 with flag 1564000/5342862 1636.79/1634.96 c cleaning 10000 clauses out of 20017 with flag 1574001/5352863 1640.29/1638.43 c cleaning 10002 clauses out of 20017 with flag 1584001/5362863 1643.89/1642.07 c cleaning 9993 clauses out of 20014 with flag 1594000/5372862 1647.89/1646.08 c cleaning 10003 clauses out of 20021 with flag 1604000/5382862 1652.09/1650.23 c cleaning 10001 clauses out of 20020 with flag 1614002/5392864 1655.69/1653.82 c cleaning 10002 clauses out of 20017 with flag 1624000/5402862 1659.29/1657.47 c cleaning 9996 clauses out of 20015 with flag 1634000/5412862 1662.91/1661.08 c cleaning 10001 clauses out of 20019 with flag 1644000/5422862 1666.60/1664.79 c cleaning 9997 clauses out of 20019 with flag 1654001/5432863 1670.20/1668.32 c cleaning 10000 clauses out of 20021 with flag 1664000/5442862 1673.60/1671.71 c cleaning 10003 clauses out of 20021 with flag 1674000/5452862 1677.40/1675.53 c cleaning 9988 clauses out of 20018 with flag 1684000/5462862 1681.62/1679.76 c cleaning 10009 clauses out of 20031 with flag 1694001/5472863 1685.81/1683.92 c cleaning 9960 clauses out of 20021 with flag 1704000/5482862 1689.61/1687.73 c cleaning 10024 clauses out of 20062 with flag 1714001/5492863 1693.41/1691.58 c cleaning 9990 clauses out of 20037 with flag 1724000/5502862 1697.71/1695.82 c cleaning 9952 clauses out of 20047 with flag 1734000/5512862 1701.72/1699.86 c cleaning 10039 clauses out of 20097 with flag 1744002/5522864 1705.73/1703.89 c cleaning 9977 clauses out of 20056 with flag 1754000/5532862 1709.62/1707.76 c cleaning 10030 clauses out of 20079 with flag 1764000/5542862 1713.44/1711.57 c cleaning 10002 clauses out of 20049 with flag 1774000/5552862 1717.23/1715.36 c cleaning 9996 clauses out of 20049 with flag 1784002/5562864 1720.94/1719.09 c cleaning 10006 clauses out of 20051 with flag 1794000/5572862 1724.94/1723.03 c cleaning 10013 clauses out of 20045 with flag 1804000/5582862 1729.14/1727.21 c cleaning 9931 clauses out of 20032 with flag 1814000/5592862 1733.14/1731.20 c cleaning 10044 clauses out of 20101 with flag 1824000/5602862 1736.34/1734.41 c cleaning 10025 clauses out of 20058 with flag 1834001/5612863 1738.86/1736.99 c cleaning 10009 clauses out of 20033 with flag 1844001/5622863 1741.55/1739.65 c cleaning 10004 clauses out of 20023 with flag 1854000/5632862 1744.15/1742.22 c cleaning 10001 clauses out of 20019 with flag 1864000/5642862 1746.75/1744.88 c cleaning 10001 clauses out of 20019 with flag 1874001/5652863 1749.45/1747.50 c cleaning 10000 clauses out of 20017 with flag 1884000/5662862 1752.07/1750.17 c cleaning 10002 clauses out of 20018 with flag 1894001/5672863 1754.55/1752.68 c cleaning 10001 clauses out of 20015 with flag 1904000/5682862 1757.16/1755.20 c cleaning 9998 clauses out of 20015 with flag 1914001/5692863 1759.67/1757.80 c cleaning 10000 clauses out of 20018 with flag 1924002/5702864 1762.36/1760.49 c cleaning 9999 clauses out of 20016 with flag 1934000/5712862 1764.86/1762.94 c cleaning 10003 clauses out of 20019 with flag 1944002/5722864 1767.48/1765.54 c cleaning 10000 clauses out of 20015 with flag 1954001/5732863 1770.06/1768.14 c cleaning 9996 clauses out of 20014 with flag 1964000/5742862 1772.77/1770.88 c cleaning 9995 clauses out of 20018 with flag 1974000/5752862 1775.27/1773.39 c cleaning 10002 clauses out of 20024 with flag 1984001/5762863 1777.67/1775.79 c cleaning 10004 clauses out of 20022 with flag 1994001/5772863 1780.17/1778.27 c cleaning 10002 clauses out of 20018 with flag 2004001/5782863 1782.57/1780.68 c cleaning 9997 clauses out of 20016 with flag 2014001/5792863 1785.09/1783.16 c cleaning 9998 clauses out of 20018 with flag 2024000/5802862 1787.67/1785.71 c cleaning 10004 clauses out of 20022 with flag 2034002/5812864 1790.07/1788.14 c cleaning 9995 clauses out of 20016 with flag 2044000/5822862 1792.69/1790.72 c cleaning 10000 clauses out of 20021 with flag 2054000/5832862 1795.28/1793.35 c cleaning 10002 clauses out of 20022 with flag 2064001/5842863 1797.78/1795.86 c cleaning 10000 clauses out of 20019 with flag 2074000/5852862 1800.09/1798.12 c starts : 299 1800.09/1798.12 c conflicts : 5862218 1800.09/1798.12 c decisions : 32237753 1800.09/1798.12 c propagations : 7024819026 1800.09/1798.12 c inspects : 7285319940 1800.09/1798.12 c shortcuts : 0 1800.09/1798.12 c learnt literals : 0 1800.09/1798.12 c learnt binary clauses : 0 1800.09/1798.12 c learnt ternary clauses : 1 1800.09/1798.12 c learnt constraints : 5862218 1800.09/1798.12 c ignored constraints : 0 1800.09/1798.12 c root simplifications : 0 1800.09/1798.12 c removed literals (reason simplification) : 9069224 1800.09/1798.12 c reason swapping (by a shorter reason) : 0 1800.09/1798.12 c Calls to reduceDB : 598 1800.09/1798.12 c number of reductions to clauses (during analyze) : 0 1800.09/1798.12 c number of learned constraints concerned by reduction : 0 1800.09/1798.12 c number of learning phase by resolution : 0 1800.09/1798.12 c number of learning phase by cutting planes : 0 1800.09/1798.12 c speed (assignments/second) : 1.175794608948319E7 1800.09/1798.12 c non guided choices 77611 1800.09/1798.14 c learnt constraints type 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19403 1800.09/1798.14 c constraints type 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2188 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6419 1800.09/1798.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.09/1798.14 s SATISFIABLE 1800.09/1798.14 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 x4358 x4359 -x4360 1800.09/1798.15 c objective function=40132 1800.09/1798.15 c Total wall clock time (in seconds): 1798.032
OK 40132
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458543-1307157711/watcher-3458543-1307157711 -o /tmp/evaluation-result-3458543-1307157711/solver-3458543-1307157711 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458543-1307157711.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: 2.01 2.05 2.00 2/473 22934 /proc/meminfo: memFree=24017232/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 3681 0 1 0 0 0 0 0 25 0 2 0 808187063 13850947584 3383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3381579 3397 917 9 0 3372735 0 [pid=22934/tid=22935] ppid=22931 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 4531 0 1 0 0 0 0 0 25 0 2 0 808187063 13850947584 5348 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.022875 s] /proc/loadavg: 2.01 2.05 2.00 2/473 22934 /proc/meminfo: memFree=24017232/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 9174 0 1 0 0 0 0 0 25 0 2 0 808187063 13850947584 8877 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3381579 8891 917 9 0 3372735 0 [pid=22934/tid=22935] ppid=22931 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 8087 0 1 0 0 0 0 0 25 0 2 0 808187063 13850947584 8903 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13526316 [startup+0.100851 s] /proc/loadavg: 2.01 2.05 2.00 2/473 22934 /proc/meminfo: memFree=24017232/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13621752 CPUtime=0.1 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 15460 0 1 0 9 1 0 0 25 0 18 0 808187063 13948674048 15157 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3405438 15157 2093 9 0 3396172 0 [pid=22934/tid=22935] ppid=22931 vsize=13621752 CPUtime=0.08 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 13535 0 1 0 7 1 0 0 18 0 18 0 808187063 13948674048 15157 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220815932878 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621752 [startup+0.306853 s] /proc/loadavg: 2.01 2.05 2.00 2/473 22934 /proc/meminfo: memFree=24017232/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13622952 CPUtime=0.53 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 18961 0 1 0 51 2 0 0 25 0 18 0 808187063 13949902848 18370 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3405738 18371 2202 9 0 3396472 0 [pid=22934/tid=22935] ppid=22931 vsize=13622952 CPUtime=0.29 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 16073 0 1 0 28 1 0 0 18 0 18 0 808187063 13949902848 18372 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505566761 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13622952 [startup+0.700799 s] /proc/loadavg: 2.01 2.05 2.00 2/473 22934 /proc/meminfo: memFree=24017232/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13625828 CPUtime=1.42 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 25615 0 1 0 139 3 0 0 25 0 19 0 808187063 13952847872 23402 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406457 23402 2235 9 0 3397191 0 [pid=22934/tid=22935] ppid=22931 vsize=13625828 CPUtime=0.68 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 19547 0 1 0 66 2 0 0 19 0 19 0 808187063 13952847872 23403 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 47834742938451 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 13625828 [startup+1.50066 s] /proc/loadavg: 2.01 2.05 2.00 3/492 22957 /proc/meminfo: memFree=23929228/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13625828 CPUtime=2.23 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 26755 0 1 0 220 3 0 0 25 0 19 0 808187063 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406457 24541 2235 9 0 3397191 0 [pid=22934/tid=22935] ppid=22931 vsize=13625828 CPUtime=1.48 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 20683 0 1 0 146 2 0 0 20 0 19 0 808187063 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505669063 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808187066 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808187067 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808187067 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13625828 CPUtime=0.37 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3202 0 0 0 37 0 0 0 16 0 19 0 808187069 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13625828 CPUtime=0.35 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1709 0 0 0 35 0 0 0 15 0 19 0 808187069 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808187069 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13952847872 24541 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 13625828 [startup+3.10136 s] /proc/loadavg: 2.01 2.05 2.00 3/492 22957 /proc/meminfo: memFree=23925136/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13625828 CPUtime=3.83 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 27644 0 1 0 380 3 0 0 25 0 19 0 808187063 13952847872 25430 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406457 25430 2235 9 0 3397191 0 [pid=22934/tid=22935] ppid=22931 vsize=13625828 CPUtime=3.08 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 21572 0 1 0 306 2 0 0 25 0 19 0 808187063 13952847872 25430 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505763792 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25430 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 25430 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187065 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808187066 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808187067 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808187067 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13625828 CPUtime=0.37 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3202 0 0 0 37 0 0 0 16 0 19 0 808187069 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13625828 CPUtime=0.35 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1709 0 0 0 35 0 0 0 15 0 19 0 808187069 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808187069 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13952847872 25431 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 13625828 [startup+6.30075 s] /proc/loadavg: 2.01 2.05 2.00 3/492 22957 /proc/meminfo: memFree=23914224/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13625828 CPUtime=7.08 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 29668 0 1 0 705 3 0 0 25 0 19 0 808187063 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406457 27383 2261 9 0 3397191 0 [pid=22934/tid=22935] ppid=22931 vsize=13625828 CPUtime=6.23 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 21585 0 1 0 621 2 0 0 25 0 19 0 808187063 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505847919 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 29 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 19 0 808187065 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13625828 CPUtime=0.03 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 909 0 0 0 3 0 0 0 15 0 19 0 808187066 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808187067 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808187067 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13625828 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13625828 CPUtime=0.4 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3212 0 0 0 40 0 0 0 15 0 19 0 808187069 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13625828 CPUtime=0.38 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1735 0 0 0 38 0 0 0 15 0 19 0 808187069 13952847872 27383 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=22934/tid=22945] ppid=22931 vsize=13626136 CPUtime=0.26 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 507 0 0 0 26 0 0 0 15 0 19 0 808187065 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 102 0 0 0 27 0 0 0 16 0 19 0 808187065 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13626136 CPUtime=0.26 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 556 0 0 0 26 0 0 0 16 0 19 0 808187065 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13626136 CPUtime=14.03 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 3378 0 0 0 1394 9 0 0 15 0 19 0 808187066 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13626136 CPUtime=0.4 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3214 0 0 0 40 0 0 0 15 0 19 0 808187069 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13626136 CPUtime=0.47 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1802 0 0 0 47 0 0 0 15 0 19 0 808187069 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808187069 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13953163264 30999 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1724.24 Current children cumulated vsize (KiB) 13626136 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/492 23059 /proc/meminfo: memFree=24266908/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13626136 CPUtime=1784.27 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 34108 0 1 0 178409 18 0 0 25 0 19 0 808187063 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406534 31025 2262 9 0 3397268 0 [pid=22934/tid=22935] ppid=22931 vsize=13626136 CPUtime=1766.52 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 22173 0 1 0 176647 5 0 0 25 0 19 0 808187063 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505847632 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 518 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 86 0 0 0 27 0 0 0 15 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13626136 CPUtime=0.26 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 243 0 0 0 26 0 0 0 15 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13626136 CPUtime=0.25 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 156 0 0 0 25 0 0 0 15 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 92 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 508 0 0 0 27 0 0 0 16 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13626136 CPUtime=0.29 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 102 0 0 0 29 0 0 0 15 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 556 0 0 0 27 0 0 0 15 0 19 0 808187065 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13626136 CPUtime=14.62 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 3407 0 0 0 1452 10 0 0 15 0 19 0 808187066 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13626136 CPUtime=0.4 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3214 0 0 0 40 0 0 0 15 0 19 0 808187069 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13626136 CPUtime=0.47 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1802 0 0 0 47 0 0 0 15 0 19 0 808187069 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808187069 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13953163264 31025 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1784.27 Current children cumulated vsize (KiB) 13626136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.00 2.01 2.00 3/492 23059 /proc/meminfo: memFree=24266524/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13626136 CPUtime=1800.09 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 34122 0 1 0 179991 18 0 0 25 0 19 0 808187063 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406534 31031 2262 9 0 3397268 0 [pid=22934/tid=22935] ppid=22931 vsize=13626136 CPUtime=1782.17 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 22179 0 1 0 178212 5 0 0 25 0 19 0 808187063 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505824743 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 518 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 86 0 0 0 28 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 243 0 0 0 27 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13626136 CPUtime=0.25 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 156 0 0 0 25 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 92 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 508 0 0 0 27 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13626136 CPUtime=0.29 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 102 0 0 0 29 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 556 0 0 0 28 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13626136 CPUtime=14.77 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 3413 0 0 0 1467 10 0 0 15 0 19 0 808187066 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13626136 CPUtime=0.4 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3214 0 0 0 40 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13626136 CPUtime=0.47 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1802 0 0 0 47 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13626136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.1 s] /proc/loadavg: 2.00 2.01 2.00 3/492 23059 /proc/meminfo: memFree=24266524/32951124 swapFree=60476376/67111528 [pid=22934] ppid=22931 vsize=13626136 CPUtime=1800.09 cores=0,2,4,6 /proc/22934/stat : 22934 (java) S 22931 22934 19226 0 -1 4202496 34122 0 1 0 179991 18 0 0 25 0 19 0 808187063 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22934/statm: 3406534 31031 2262 9 0 3397268 0 [pid=22934/tid=22935] ppid=22931 vsize=13626136 CPUtime=1782.17 cores=0,2,4,6 /proc/22934/task/22935/stat : 22935 (java) R 22931 22934 19226 0 -1 4202560 22179 0 1 0 178212 5 0 0 25 0 19 0 808187063 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 46912505824743 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22934/tid=22938] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22938/stat : 22938 (java) S 22931 22934 19226 0 -1 4202560 518 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22940] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22940/stat : 22940 (java) S 22931 22934 19226 0 -1 4202560 86 0 0 0 28 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22941] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22941/stat : 22941 (java) S 22931 22934 19226 0 -1 4202560 243 0 0 0 27 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22943] ppid=22931 vsize=13626136 CPUtime=0.25 cores=0,2,4,6 /proc/22934/task/22943/stat : 22943 (java) S 22931 22934 19226 0 -1 4202560 156 0 0 0 25 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22944] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22944/stat : 22944 (java) S 22931 22934 19226 0 -1 4202560 92 0 0 0 28 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22945] ppid=22931 vsize=13626136 CPUtime=0.27 cores=0,2,4,6 /proc/22934/task/22945/stat : 22945 (java) S 22931 22934 19226 0 -1 4202560 508 0 0 0 27 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22947] ppid=22931 vsize=13626136 CPUtime=0.29 cores=0,2,4,6 /proc/22934/task/22947/stat : 22947 (java) S 22931 22934 19226 0 -1 4202560 102 0 0 0 29 0 0 0 16 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22948] ppid=22931 vsize=13626136 CPUtime=0.28 cores=0,2,4,6 /proc/22934/task/22948/stat : 22948 (java) S 22931 22934 19226 0 -1 4202560 556 0 0 0 28 0 0 0 15 0 19 0 808187065 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22949] ppid=22931 vsize=13626136 CPUtime=14.77 cores=0,2,4,6 /proc/22934/task/22949/stat : 22949 (java) S 22931 22934 19226 0 -1 4202560 3413 0 0 0 1467 10 0 0 15 0 19 0 808187066 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 0 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22950] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22950/stat : 22950 (java) S 22931 22934 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22951] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22951/stat : 22951 (java) S 22931 22934 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808187067 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22952] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22952/stat : 22952 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828060081 0 4 0 16800975 18446604448890986752 0 0 -1 6 0 0 0 [pid=22934/tid=22953] ppid=22931 vsize=13626136 CPUtime=0.4 cores=0,2,4,6 /proc/22934/task/22953/stat : 22953 (java) S 22931 22934 19226 0 -1 4202560 3214 0 0 0 40 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 2 0 0 0 [pid=22934/tid=22954] ppid=22931 vsize=13626136 CPUtime=0.47 cores=0,2,4,6 /proc/22934/task/22954/stat : 22954 (java) S 22931 22934 19226 0 -1 4202560 1802 0 0 0 47 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22955] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22955/stat : 22955 (java) S 22931 22934 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052377 0 4 0 16800975 18446604448890986752 0 0 -1 0 0 0 0 [pid=22934/tid=22956] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22956/stat : 22956 (java) S 22931 22934 19226 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808187069 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 [pid=22934/tid=22957] ppid=22931 vsize=13626136 CPUtime=0 cores=0,2,4,6 /proc/22934/task/22957/stat : 22957 (java) S 22931 22934 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808187103 13953163264 31031 33554432000 1073741824 1073778376 140734234106000 18446744073709551615 220828052992 0 4 0 16800975 18446604448890986752 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13626136 Child status: 143 Real time (s): 1798.17 CPU time (s): 1800.2 CPU user time (s): 1800.01 CPU system time (s): 0.19497 CPU usage (%): 100.113 Max. virtual memory (cumulated for all children) (KiB): 13626136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.19497 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34239 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53584 involuntary context switches= 24722 runsolver used 8.68868 second user time and 18.1642 second system time The end
Begin job on node147 at 2011-06-04 05:21:52 IDJOB=3458543 IDBENCH=25045 IDSOLVER=1952 FILE ID=node147/3458543-1307157711 RUNJOBID= node147-1307155508-22334 PBS_JOBID= 13508769 Free space on /tmp= 73692 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458543-1307157711/watcher-3458543-1307157711 -o /tmp/evaluation-result-3458543-1307157711/solver-3458543-1307157711 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458543-1307157711.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83920c844b074c56822148eb18b413de RANDOM SEED=278687308 node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24017520 kB Buffers: 314488 kB Cached: 1477440 kB SwapCached: 11164 kB Active: 7318468 kB Inactive: 1354664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24017520 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 520 kB Writeback: 0 kB AnonPages: 6878584 kB Mapped: 30908 kB Slab: 133224 kB PageTables: 59032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 134200692 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73696 MiB End job on node147 at 2011-06-04 05:51:52