Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-sat4j-maxsat-pms_crafted-_home_maxsat_benchmarks_pms_crafted_maxone_3sat_cnf3.150.400.921280.cnf.wcnf Job file: /home/maxsat/benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921280.cnf.wcnf Job solver: /home/maxsat/solvers/sat4j-maxsat/sat4j-maxsat c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre c This is free software under the dual EPL/GNU LGPL licenses. c See www.sat4j.org for details. c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. c version 2.3.0.v20110327 c java.runtime.name Java(TM) SE Runtime Environment c java.vm.name Java HotSpot(TM) 64-Bit Server VM c java.vm.version 11.3-b02 c java.vm.vendor Sun Microsystems Inc. c sun.arch.data.model 64 c java.version 1.6.0_13 c os.name Linux c os.version 2.6.18-128.1.14.el5 c os.arch amd64 c Free memory 403233816 c Max memory 405471232 c Total memory 405471232 c Number of processors 2 c --- Begin Solver configuration --- c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@6bdd46f7 c Learn all clauses as in MiniSAT c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function c Expensive reason simplification c Armin Biere (Picosat) restarts strategy c Glucose learned constraints deletion strategy c timeout=2147483s c DB Simplification allowed=false c --- End Solver configuration --- c solving /home/maxsat/benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921280.cnf.wcnf c reading problem ... c ... done. Wall clock time 0.122s. c #vars 700 c #constraints 400 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 400 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.139 o 52 c Got one! Elapsed wall clock time (in seconds):0.202 o 49 c Got one! Elapsed wall clock time (in seconds):0.289 o 48 c Got one! Elapsed wall clock time (in seconds):0.403 o 46 c Got one! Elapsed wall clock time (in seconds):0.551 o 44 c Got one! Elapsed wall clock time (in seconds):0.737 o 42 c Got one! Elapsed wall clock time (in seconds):0.817 o 41 c Got one! Elapsed wall clock time (in seconds):0.997 o 39 c Got one! Elapsed wall clock time (in seconds):1.147 o 38 c Got one! Elapsed wall clock time (in seconds):1.47 o 37 c cleaning 4569 clauses out of 9139 with flag 2000/9139 c Got one! Elapsed wall clock time (in seconds):1.87 o 36 c cleaning 4914 clauses out of 9833 with flag 5000/14402 c Got one! Elapsed wall clock time (in seconds):2.636 o 34 c cleaning 5443 clauses out of 10905 with flag 4000/20388 c cleaning 5725 clauses out of 11466 with flag 10004/26392 c cleaning 6368 clauses out of 12737 with flag 17000/33388 c Got one! Elapsed wall clock time (in seconds):5.108 o 33 c cleaning 6099 clauses out of 12209 with flag 1001/39228 c cleaning 6045 clauses out of 12109 with flag 7000/45227 c cleaning 6524 clauses out of 13064 with flag 14000/52227 c cleaning 7259 clauses out of 14540 with flag 22000/60227 c cleaning 8130 clauses out of 16281 with flag 31000/69227 c cleaning 9065 clauses out of 18152 with flag 41001/79228 c cleaning 9526 clauses out of 19086 with flag 51000/89227 c cleaning 9769 clauses out of 19560 with flag 61000/99227 c cleaning 9891 clauses out of 19791 with flag 71000/109227 c cleaning 9939 clauses out of 19900 with flag 81000/119227 c cleaning 9970 clauses out of 19962 with flag 91001/129228 c cleaning 9986 clauses out of 19991 with flag 101000/139227 c cleaning 9990 clauses out of 20006 with flag 111001/149228 c cleaning 10001 clauses out of 20015 with flag 121000/159227 c cleaning 9993 clauses out of 20014 with flag 131000/169227 c cleaning 10004 clauses out of 20021 with flag 141000/179227 c cleaning 10003 clauses out of 20017 with flag 151000/189227 c cleaning 9999 clauses out of 20014 with flag 161000/199227 c cleaning 9999 clauses out of 20015 with flag 171000/209227 c cleaning 9992 clauses out of 20016 with flag 181000/219227 c cleaning 10010 clauses out of 20025 with flag 191001/229228 c cleaning 9998 clauses out of 20015 with flag 201001/239228 c cleaning 9997 clauses out of 20016 with flag 211000/249227 c cleaning 9997 clauses out of 20019 with flag 221000/259227 c cleaning 10005 clauses out of 20022 with flag 231000/269227 c cleaning 10000 clauses out of 20018 with flag 241001/279228 c cleaning 10000 clauses out of 20017 with flag 251000/289227 c cleaning 10006 clauses out of 20017 with flag 261000/299227 c cleaning 9993 clauses out of 20012 with flag 271001/309228 c cleaning 10004 clauses out of 20019 with flag 281001/319228 c cleaning 10003 clauses out of 20016 with flag 291002/329229 c cleaning 9997 clauses out of 20011 with flag 301000/339227 c cleaning 9993 clauses out of 20014 with flag 311000/349227 c cleaning 9999 clauses out of 20021 with flag 321000/359227 c cleaning 9997 clauses out of 20024 with flag 331002/369229 c cleaning 10002 clauses out of 20025 with flag 341000/379227 c cleaning 10004 clauses out of 20024 with flag 351001/389228 c cleaning 10005 clauses out of 20019 with flag 361000/399227 c cleaning 10002 clauses out of 20014 with flag 371000/409227 c cleaning 9996 clauses out of 20013 with flag 381001/419228 c cleaning 9999 clauses out of 20016 with flag 391000/429227 c cleaning 10004 clauses out of 20019 with flag 401002/439229 c cleaning 9986 clauses out of 20013 with flag 411000/449227 c cleaning 10000 clauses out of 20027 with flag 421000/459227 c cleaning 10001 clauses out of 20027 with flag 431000/469227 c cleaning 9997 clauses out of 20027 with flag 441001/479228 c cleaning 10006 clauses out of 20029 with flag 451000/489227 c cleaning 9999 clauses out of 20023 with flag 461000/499227 c cleaning 9999 clauses out of 20026 with flag 471002/509229 c cleaning 10000 clauses out of 20025 with flag 481000/519227 c cleaning 10003 clauses out of 20026 with flag 491001/529228 c cleaning 9996 clauses out of 20022 with flag 501000/539227 c cleaning 10002 clauses out of 20027 with flag 511001/549228 c cleaning 9995 clauses out of 20024 with flag 521000/559227 c Got one! Elapsed wall clock time (in seconds):80.492 o 32 c cleaning 11346 clauses out of 22704 with flag 5002/571902 c Got one! Elapsed wall clock time (in seconds):81.888 o 31 c Got one! Elapsed wall clock time (in seconds):82.483 o 30 c cleaning 8846 clauses out of 17703 with flag 2000/578247 c cleaning 7417 clauses out of 14857 with flag 8000/584247 c cleaning 7210 clauses out of 14441 with flag 15001/591248 c cleaning 7606 clauses out of 15230 with flag 23000/599247 c cleaning 8304 clauses out of 16625 with flag 32001/608248 c cleaning 9150 clauses out of 18321 with flag 42001/618248 c cleaning 9577 clauses out of 19170 with flag 52000/628247 c cleaning 9787 clauses out of 19593 with flag 62000/638247 c cleaning 9896 clauses out of 19809 with flag 72003/648250 c cleaning 9948 clauses out of 19910 with flag 82000/658247 c cleaning 9968 clauses out of 19962 with flag 92000/668247 c cleaning 9985 clauses out of 19995 with flag 102001/678248 c cleaning 9995 clauses out of 20009 with flag 112000/688247 c cleaning 10001 clauses out of 20014 with flag 122000/698247 c cleaning 10001 clauses out of 20013 with flag 132000/708247 c cleaning 9997 clauses out of 20013 with flag 142001/718248 c cleaning 9999 clauses out of 20015 with flag 152000/728247 c cleaning 10002 clauses out of 20016 with flag 162000/738247 c cleaning 10003 clauses out of 20017 with flag 172003/748250 c cleaning 9993 clauses out of 20012 with flag 182001/758248 c cleaning 10001 clauses out of 20018 with flag 192000/768247 c cleaning 10005 clauses out of 20018 with flag 202001/778248 c cleaning 9993 clauses out of 20013 with flag 212001/788248 c cleaning 10000 clauses out of 20019 with flag 222000/798247 c cleaning 9998 clauses out of 20019 with flag 232000/808247 c cleaning 10006 clauses out of 20023 with flag 242002/818249 c cleaning 9998 clauses out of 20015 with flag 252000/828247 c cleaning 10000 clauses out of 20018 with flag 262001/838248 c cleaning 9993 clauses out of 20019 with flag 272002/848249 c cleaning 9995 clauses out of 20025 with flag 282001/858248 c cleaning 10004 clauses out of 20030 with flag 292001/868248 c cleaning 9995 clauses out of 20026 with flag 302001/878248 c cleaning 10005 clauses out of 20031 with flag 312001/888248 c cleaning 9994 clauses out of 20026 with flag 322001/898248 c cleaning 10004 clauses out of 20031 with flag 332000/908247 c cleaning 10006 clauses out of 20028 with flag 342001/918248 c cleaning 9999 clauses out of 20021 with flag 352000/928247 c cleaning 10007 clauses out of 20022 with flag 362000/938247 c cleaning 10002 clauses out of 20016 with flag 372001/948248 c cleaning 9994 clauses out of 20014 with flag 382001/958248 c cleaning 9997 clauses out of 20019 with flag 392000/968247 c cleaning 10002 clauses out of 20022 with flag 402000/978247 c cleaning 9995 clauses out of 20020 with flag 412000/988247 c cleaning 10001 clauses out of 20026 with flag 422001/998248 c cleaning 10004 clauses out of 20024 with flag 432000/1008247 c cleaning 9995 clauses out of 20020 with flag 442000/1018247 c cleaning 9999 clauses out of 20025 with flag 452000/1028247 c cleaning 9998 clauses out of 20027 with flag 462001/1038248 c cleaning 10004 clauses out of 20028 with flag 472000/1048247 c cleaning 10003 clauses out of 20026 with flag 482002/1058249 c cleaning 10005 clauses out of 20021 with flag 492000/1068247 c cleaning 10003 clauses out of 20017 with flag 502001/1078248 c cleaning 10004 clauses out of 20014 with flag 512001/1088248 c cleaning 9996 clauses out of 20010 with flag 522001/1098248 c cleaning 9995 clauses out of 20013 with flag 532000/1108247 c cleaning 9994 clauses out of 20018 with flag 542000/1118247 c cleaning 10003 clauses out of 20024 with flag 552000/1128247 c cleaning 10010 clauses out of 20022 with flag 562001/1138248 c cleaning 9994 clauses out of 20011 with flag 572000/1148247 c cleaning 9998 clauses out of 20019 with flag 582002/1158249 c cleaning 9995 clauses out of 20019 with flag 592000/1168247 c cleaning 10001 clauses out of 20025 with flag 602001/1178248 c cleaning 10009 clauses out of 20023 with flag 612000/1188247 c cleaning 9996 clauses out of 20014 with flag 622000/1198247 c cleaning 9996 clauses out of 20018 with flag 632000/1208247 c cleaning 10004 clauses out of 20022 with flag 642000/1218247 c cleaning 9995 clauses out of 20018 with flag 652000/1228247 c cleaning 10004 clauses out of 20024 with flag 662001/1238248 c cleaning 9998 clauses out of 20020 with flag 672001/1248248 c cleaning 9999 clauses out of 20021 with flag 682000/1258247 c cleaning 10006 clauses out of 20022 with flag 692000/1268247 c cleaning 9997 clauses out of 20016 with flag 702000/1278247 c cleaning 10003 clauses out of 20021 with flag 712002/1288249 c cleaning 9997 clauses out of 20017 with flag 722001/1298248 c cleaning 10000 clauses out of 20020 with flag 732001/1308248 c cleaning 9997 clauses out of 20020 with flag 742001/1318248 c cleaning 10008 clauses out of 20025 with flag 752003/1328250 c cleaning 9998 clauses out of 20015 with flag 762001/1338248 c cleaning 9993 clauses out of 20017 with flag 772001/1348248 c cleaning 10002 clauses out of 20023 with flag 782000/1358247 c cleaning 10005 clauses out of 20023 with flag 792002/1368249 c cleaning 10001 clauses out of 20017 with flag 802001/1378248 c cleaning 9999 clauses out of 20016 with flag 812001/1388248 c cleaning 10004 clauses out of 20017 with flag 822001/1398248 c cleaning 9996 clauses out of 20012 with flag 832000/1408247 c cleaning 9999 clauses out of 20016 with flag 842000/1418247 c cleaning 10003 clauses out of 20021 with flag 852004/1428251 c cleaning 9999 clauses out of 20014 with flag 862000/1438247 c cleaning 10003 clauses out of 20015 with flag 872000/1448247 c cleaning 9993 clauses out of 20013 with flag 882001/1458248 c cleaning 10004 clauses out of 20019 with flag 892000/1468247 c cleaning 10001 clauses out of 20015 with flag 902000/1478247 c cleaning 9997 clauses out of 20015 with flag 912001/1488248 c cleaning 9999 clauses out of 20018 with flag 922001/1498248 c cleaning 9998 clauses out of 20019 with flag 932001/1508248 c cleaning 10001 clauses out of 20022 with flag 942002/1518249 c cleaning 9999 clauses out of 20019 with flag 952000/1528247 c cleaning 9998 clauses out of 20020 with flag 962000/1538247 c cleaning 9996 clauses out of 20022 with flag 972000/1548247 c cleaning 9999 clauses out of 20029 with flag 982003/1558250 c cleaning 10002 clauses out of 20027 with flag 992000/1568247 c cleaning 10008 clauses out of 20025 with flag 1002000/1578247 c cleaning 9998 clauses out of 20018 with flag 1012001/1588248 c cleaning 9998 clauses out of 20021 with flag 1022002/1598249 c cleaning 10000 clauses out of 20021 with flag 1032000/1608247 c cleaning 10000 clauses out of 20021 with flag 1042000/1618247 c cleaning 9997 clauses out of 20022 with flag 1052001/1628248 c cleaning 10002 clauses out of 20024 with flag 1062000/1638247 c cleaning 9998 clauses out of 20022 with flag 1072000/1648247 c cleaning 10003 clauses out of 20024 with flag 1082000/1658247 c cleaning 10001 clauses out of 20022 with flag 1092001/1668248 c cleaning 10001 clauses out of 20021 with flag 1102001/1678248 c cleaning 9994 clauses out of 20020 with flag 1112001/1688248 c cleaning 9997 clauses out of 20027 with flag 1122002/1698249 c cleaning 10001 clauses out of 20028 with flag 1132000/1708247 c cleaning 10000 clauses out of 20027 with flag 1142000/1718247 c cleaning 10000 clauses out of 20027 with flag 1152000/1728247 c cleaning 10007 clauses out of 20029 with flag 1162002/1738249 c cleaning 10000 clauses out of 20021 with flag 1172001/1748248 c cleaning 10003 clauses out of 20022 with flag 1182002/1758249 c cleaning 10007 clauses out of 20020 with flag 1192003/1768250 c cleaning 9994 clauses out of 20010 with flag 1202000/1778247 c cleaning 9993 clauses out of 20017 with flag 1212001/1788248 c cleaning 9995 clauses out of 20024 with flag 1222001/1798248 c cleaning 9996 clauses out of 20028 with flag 1232000/1808247 c cleaning 9997 clauses out of 20032 with flag 1242000/1818247 c cleaning 10009 clauses out of 20035 with flag 1252000/1828247 c cleaning 10007 clauses out of 20028 with flag 1262002/1838249 c cleaning 9995 clauses out of 20019 with flag 1272000/1848247 c cleaning 10003 clauses out of 20025 with flag 1282001/1858248 c cleaning 10005 clauses out of 20021 with flag 1292000/1868247 c cleaning 9999 clauses out of 20016 with flag 1302000/1878247 c cleaning 9999 clauses out of 20018 with flag 1312001/1888248 c cleaning 9995 clauses out of 20019 with flag 1322001/1898248 c cleaning 10001 clauses out of 20024 with flag 1332001/1908248 c cleaning 9999 clauses out of 20023 with flag 1342001/1918248 c cleaning 10000 clauses out of 20024 with flag 1352001/1928248 c cleaning 9997 clauses out of 20024 with flag 1362001/1938248 c cleaning 9995 clauses out of 20026 with flag 1372000/1948247 c cleaning 10008 clauses out of 20032 with flag 1382001/1958248 c cleaning 10005 clauses out of 20024 with flag 1392001/1968248 c cleaning 10002 clauses out of 20018 with flag 1402000/1978247 c cleaning 10004 clauses out of 20016 with flag 1412000/1988247 c cleaning 10004 clauses out of 20012 with flag 1422000/1998247 c cleaning 9990 clauses out of 20008 with flag 1432000/2008247 c cleaning 10002 clauses out of 20018 with flag 1442000/2018247 c cleaning 9997 clauses out of 20016 with flag 1452000/2028247 c cleaning 9998 clauses out of 20019 with flag 1462000/2038247 c cleaning 10001 clauses out of 20021 with flag 1472000/2048247 c cleaning 10000 clauses out of 20020 with flag 1482000/2058247 c cleaning 9998 clauses out of 20021 with flag 1492001/2068248 c cleaning 9998 clauses out of 20023 with flag 1502001/2078248 c cleaning 10004 clauses out of 20027 with flag 1512003/2088250 c cleaning 9998 clauses out of 20020 with flag 1522000/2098247 c cleaning 10004 clauses out of 20022 with flag 1532000/2108247 c cleaning 9995 clauses out of 20018 with flag 1542000/2118247 c cleaning 10000 clauses out of 20023 with flag 1552000/2128247 c cleaning 9999 clauses out of 20023 with flag 1562000/2138247 c cleaning 9996 clauses out of 20024 with flag 1572000/2148247 c cleaning 10002 clauses out of 20028 with flag 1582000/2158247 c cleaning 10008 clauses out of 20026 with flag 1592000/2168247 c cleaning 10004 clauses out of 20019 with flag 1602001/2178248 c cleaning 10001 clauses out of 20014 with flag 1612000/2188247 c cleaning 10002 clauses out of 20013 with flag 1622000/2198247 c cleaning 9998 clauses out of 20013 with flag 1632002/2208249 c cleaning 9994 clauses out of 20014 with flag 1642001/2218248 c cleaning 9999 clauses out of 20019 with flag 1652000/2228247 c cleaning 10001 clauses out of 20021 with flag 1662001/2238248 c cleaning 9995 clauses out of 20019 with flag 1672000/2248247 c cleaning 10004 clauses out of 20025 with flag 1682001/2258248 c cleaning 9996 clauses out of 20020 with flag 1692000/2268247 c cleaning 10000 clauses out of 20024 with flag 1702000/2278247 c cleaning 9999 clauses out of 20024 with flag 1712000/2288247 c cleaning 9997 clauses out of 20026 with flag 1722001/2298248 c cleaning 10007 clauses out of 20028 with flag 1732000/2308247 c cleaning 9996 clauses out of 20023 with flag 1742002/2318249 c cleaning 10003 clauses out of 20026 with flag 1752001/2328248 c cleaning 10002 clauses out of 20023 with flag 1762001/2338248 c cleaning 10002 clauses out of 20020 with flag 1772000/2348247 c cleaning 9998 clauses out of 20019 with flag 1782001/2358248 c cleaning 9993 clauses out of 20020 with flag 1792000/2368247 c cleaning 10011 clauses out of 20028 with flag 1802001/2378248 c cleaning 10000 clauses out of 20016 with flag 1812000/2388247 c cleaning 10000 clauses out of 20016 with flag 1822000/2398247 c cleaning 10004 clauses out of 20016 with flag 1832000/2408247 c cleaning 9987 clauses out of 20012 with flag 1842000/2418247 c cleaning 10006 clauses out of 20025 with flag 1852000/2428247 c cleaning 9999 clauses out of 20020 with flag 1862001/2438248 c cleaning 10006 clauses out of 20020 with flag 1872000/2448247 c cleaning 9995 clauses out of 20016 with flag 1882002/2458249 c cleaning 10004 clauses out of 20019 with flag 1892000/2468247 c cleaning 10004 clauses out of 20015 with flag 1902000/2478247 c cleaning 9992 clauses out of 20012 with flag 1912001/2488248 c cleaning 10000 clauses out of 20019 with flag 1922000/2498247 c cleaning 10002 clauses out of 20020 with flag 1932001/2508248 c cleaning 9998 clauses out of 20020 with flag 1942003/2518250 c cleaning 9996 clauses out of 20019 with flag 1952000/2528247 c cleaning 10005 clauses out of 20023 with flag 1962000/2538247 c cleaning 10000 clauses out of 20019 with flag 1972001/2548248 c cleaning 9997 clauses out of 20018 with flag 1982000/2558247 c cleaning 10004 clauses out of 20021 with flag 1992000/2568247 c cleaning 9999 clauses out of 20017 with flag 2002000/2578247 c cleaning 9996 clauses out of 20019 with flag 2012001/2588248 c cleaning 10006 clauses out of 20023 with flag 2022001/2598248 c cleaning 10003 clauses out of 20016 with flag 2032000/2608247 c cleaning 9996 clauses out of 20013 with flag 2042000/2618247 c cleaning 9999 clauses out of 20018 with flag 2052001/2628248 c cleaning 9999 clauses out of 20019 with flag 2062001/2638248 c cleaning 9996 clauses out of 20019 with flag 2072000/2648247 c cleaning 10001 clauses out of 20023 with flag 2082000/2658247 c cleaning 10007 clauses out of 20022 with flag 2092000/2668247 c cleaning 10002 clauses out of 20016 with flag 2102001/2678248 c cleaning 10004 clauses out of 20014 with flag 2112001/2688248 c cleaning 9989 clauses out of 20008 with flag 2122000/2698247 c cleaning 10004 clauses out of 20020 with flag 2132001/2708248 c cleaning 10003 clauses out of 20015 with flag 2142000/2718247 c cleaning 10001 clauses out of 20014 with flag 2152002/2728249 c cleaning 9999 clauses out of 20011 with flag 2162000/2738247 c cleaning 10001 clauses out of 20012 with flag 2172000/2748247 c cleaning 10002 clauses out of 20011 with flag 2182000/2758247 c cleaning 10000 clauses out of 20008 with flag 2192000/2768247 c cleaning 9994 clauses out of 20008 with flag 2202000/2778247 c cleaning 9995 clauses out of 20014 with flag 2212000/2788247 c cleaning 10003 clauses out of 20019 with flag 2222000/2798247 c cleaning 9998 clauses out of 20017 with flag 2232001/2808248 c cleaning 10006 clauses out of 20018 with flag 2242000/2818247 c cleaning 10002 clauses out of 20011 with flag 2252000/2828247 c starts : 246 c conflicts : 2836213 c decisions : 3678858 c propagations : 32598238 c inspects : 1238746197 c shortcuts : 0 c learnt literals : 17 c learnt binary clauses : 143 c learnt ternary clauses : 582 c learnt constraints : 2836195 c ignored constraints : 0 c root simplifications : 0 c removed literals (reason simplification) : 16563304 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 287 c number of reductions to clauses (during analyze) : 0 c number of learned constraints concerned by reduction : 0 c number of learning phase by resolution : 0 c number of learning phase by cutting planes : 0 c speed (assignments/second) : 109959.4140128248 c non guided choices 1 c learnt constraints type c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 400 c org.sat4j.minisat.constraints.card.MinWatchCard => 0 s OPTIMUM FOUND v 1 2 -3 -4 5 6 7 -8 -9 10 11 12 13 14 15 16 17 18 19 -20 21 22 23 24 25 -26 27 28 29 30 31 32 33 -34 35 36 37 38 39 -40 41 42 -43 44 -45 46 47 48 -49 50 51 52 53 54 55 56 57 58 59 60 61 -62 63 64 65 66 67 68 69 -70 71 72 -73 74 75 76 77 78 79 -80 -81 -82 -83 84 85 -86 87 -88 89 90 91 92 93 94 95 96 97 98 99 -100 101 102 103 104 -105 106 107 108 109 -110 111 112 113 114 115 116 117 118 -119 120 121 122 123 124 125 -126 127 128 -129 -130 131 132 133 -134 -135 136 -137 138 139 140 141 142 143 144 145 146 147 148 149 150 0 c objective function=30 c Total wall clock time (in seconds): 378.944 377.099u 0.250s 6:19.66 99.3% 0+0k 0+0io 1pf+0w