Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-sat4j-maxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_5.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_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf c reading problem ... c ... done. Wall clock time 0.249s. c #vars 2650 c #constraints 2500 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2350 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 150 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.725 o 557 c Got one! Elapsed wall clock time (in seconds):0.881 o 526 c Got one! Elapsed wall clock time (in seconds):0.99 o 521 c Got one! Elapsed wall clock time (in seconds):1.393 o 520 c Got one! Elapsed wall clock time (in seconds):1.585 o 516 c Got one! Elapsed wall clock time (in seconds):1.73 o 515 c cleaning 2549 clauses out of 5098 with flag 5000/5100 c cleaning 4268 clauses out of 8550 with flag 11001/11101 c cleaning 5639 clauses out of 11281 with flag 18000/18100 c cleaning 6817 clauses out of 13642 with flag 26000/26100 c cleaning 7910 clauses out of 15826 with flag 35001/35101 c cleaning 8958 clauses out of 17915 with flag 45000/45100 c cleaning 9474 clauses out of 18958 with flag 55001/55101 c cleaning 9736 clauses out of 19483 with flag 65000/65100 c cleaning 9874 clauses out of 19748 with flag 75001/75101 c cleaning 9927 clauses out of 19873 with flag 85000/85100 c cleaning 9967 clauses out of 19947 with flag 95001/95101 c cleaning 9986 clauses out of 19980 with flag 105001/105101 c cleaning 9992 clauses out of 19993 with flag 115000/115100 c cleaning 10000 clauses out of 20003 with flag 125002/125102 c cleaning 9996 clauses out of 20002 with flag 135001/135101 c cleaning 9996 clauses out of 20005 with flag 145000/145100 c cleaning 10001 clauses out of 20009 with flag 155000/155100 c cleaning 9998 clauses out of 20009 with flag 165001/165101 c cleaning 9999 clauses out of 20010 with flag 175000/175100 c cleaning 10003 clauses out of 20011 with flag 185000/185100 c cleaning 9999 clauses out of 20009 with flag 195001/195101 c cleaning 9999 clauses out of 20009 with flag 205000/205100 c cleaning 10002 clauses out of 20011 with flag 215001/215101 c cleaning 10002 clauses out of 20009 with flag 225001/225101 c cleaning 9996 clauses out of 20008 with flag 235002/235102 c cleaning 9997 clauses out of 20010 with flag 245000/245100 c cleaning 9996 clauses out of 20013 with flag 255000/255100 c cleaning 10003 clauses out of 20016 with flag 265000/265100 c cleaning 9999 clauses out of 20013 with flag 275000/275100 c cleaning 10004 clauses out of 20014 with flag 285000/285100 c cleaning 9998 clauses out of 20010 with flag 295000/295100 c cleaning 9999 clauses out of 20013 with flag 305001/305101 c cleaning 10003 clauses out of 20013 with flag 315000/315100 c cleaning 9998 clauses out of 20011 with flag 325001/325101 c cleaning 10001 clauses out of 20012 with flag 335000/335100 c cleaning 9998 clauses out of 20011 with flag 345000/345100 c cleaning 10003 clauses out of 20014 with flag 355001/355101 c cleaning 10000 clauses out of 20011 with flag 365001/365101 c cleaning 9999 clauses out of 20010 with flag 375000/375100 c cleaning 10002 clauses out of 20011 with flag 385000/385100 c cleaning 9998 clauses out of 20009 with flag 395000/395100 c cleaning 9999 clauses out of 20011 with flag 405000/405100 c cleaning 9999 clauses out of 20013 with flag 415001/415101 c cleaning 9998 clauses out of 20014 with flag 425001/425101 c cleaning 10001 clauses out of 20015 with flag 435000/435100 c cleaning 10002 clauses out of 20016 with flag 445002/445102 c cleaning 9996 clauses out of 20013 with flag 455001/455101 c cleaning 10002 clauses out of 20016 with flag 465000/465100 c cleaning 9999 clauses out of 20016 with flag 475002/475102 c cleaning 10005 clauses out of 20015 with flag 485000/485100 c cleaning 10003 clauses out of 20010 with flag 495000/495100 c cleaning 10003 clauses out of 20008 with flag 505001/505101 c cleaning 10001 clauses out of 20005 with flag 515001/515101 c cleaning 9996 clauses out of 20004 with flag 525001/525101 c cleaning 9995 clauses out of 20007 with flag 535000/535100 c cleaning 10000 clauses out of 20012 with flag 545000/545100 c cleaning 9998 clauses out of 20012 with flag 555000/555100 c cleaning 10000 clauses out of 20015 with flag 565001/565101 c cleaning 9998 clauses out of 20014 with flag 575000/575100 c cleaning 10007 clauses out of 20016 with flag 585000/585100 c cleaning 10003 clauses out of 20009 with flag 595000/595100 c cleaning 9997 clauses out of 20007 with flag 605001/605101 c cleaning 10000 clauses out of 20009 with flag 615000/615100 c cleaning 9998 clauses out of 20010 with flag 625001/625101 c cleaning 10002 clauses out of 20013 with flag 635002/635102 c cleaning 9998 clauses out of 20009 with flag 645000/645100 c cleaning 9999 clauses out of 20011 with flag 655000/655100 c cleaning 9999 clauses out of 20012 with flag 665000/665100 c cleaning 10005 clauses out of 20014 with flag 675001/675101 c cleaning 9999 clauses out of 20009 with flag 685001/685101 c cleaning 9996 clauses out of 20010 with flag 695001/695101 c cleaning 9999 clauses out of 20013 with flag 705000/705100 c cleaning 9999 clauses out of 20014 with flag 715000/715100 c cleaning 10002 clauses out of 20016 with flag 725001/725101 c cleaning 9996 clauses out of 20013 with flag 735000/735100 c cleaning 9999 clauses out of 20017 with flag 745000/745100 c cleaning 10002 clauses out of 20018 with flag 755000/755100 c cleaning 10002 clauses out of 20016 with flag 765000/765100 c cleaning 10003 clauses out of 20015 with flag 775001/775101 c cleaning 10002 clauses out of 20011 with flag 785000/785100 c cleaning 9999 clauses out of 20009 with flag 795000/795100 c cleaning 9993 clauses out of 20010 with flag 805000/805100 c cleaning 10003 clauses out of 20017 with flag 815000/815100 c cleaning 10002 clauses out of 20015 with flag 825001/825101 c cleaning 9998 clauses out of 20012 with flag 835000/835100 c cleaning 9999 clauses out of 20015 with flag 845001/845101 c cleaning 10002 clauses out of 20017 with flag 855002/855102 c cleaning 9998 clauses out of 20013 with flag 865000/865100 c cleaning 9999 clauses out of 20015 with flag 875000/875100 c cleaning 10006 clauses out of 20016 with flag 885000/885100 c cleaning 10002 clauses out of 20011 with flag 895001/895101 c cleaning 9999 clauses out of 20009 with flag 905001/905101 c cleaning 9998 clauses out of 20009 with flag 915000/915100 c cleaning 10002 clauses out of 20012 with flag 925001/925101 c cleaning 9996 clauses out of 20009 with flag 935000/935100 c cleaning 10003 clauses out of 20013 with flag 945000/945100 c cleaning 10001 clauses out of 20011 with flag 955001/955101 c cleaning 9998 clauses out of 20011 with flag 965002/965102 c cleaning 9996 clauses out of 20012 with flag 975001/975101 c cleaning 9998 clauses out of 20016 with flag 985001/985101 c cleaning 10001 clauses out of 20017 with flag 995000/995100 c cleaning 10003 clauses out of 20018 with flag 1005002/1005102 c cleaning 10001 clauses out of 20013 with flag 1015000/1015100 c cleaning 9998 clauses out of 20012 with flag 1025000/1025100 c cleaning 9998 clauses out of 20014 with flag 1035000/1035100 c cleaning 9999 clauses out of 20016 with flag 1045000/1045100 c cleaning 10000 clauses out of 20018 with flag 1055001/1055101 c cleaning 10000 clauses out of 20017 with flag 1065000/1065100 c cleaning 10000 clauses out of 20017 with flag 1075000/1075100 c cleaning 10006 clauses out of 20017 with flag 1085000/1085100 c cleaning 9998 clauses out of 20012 with flag 1095001/1095101 c cleaning 9999 clauses out of 20014 with flag 1105001/1105101 c cleaning 9996 clauses out of 20014 with flag 1115000/1115100 c cleaning 10003 clauses out of 20019 with flag 1125001/1125101 c cleaning 10000 clauses out of 20015 with flag 1135000/1135100 c cleaning 9999 clauses out of 20017 with flag 1145002/1145102 c cleaning 9999 clauses out of 20016 with flag 1155000/1155100 c cleaning 10003 clauses out of 20017 with flag 1165000/1165100 c cleaning 9999 clauses out of 20016 with flag 1175002/1175102 c cleaning 10002 clauses out of 20015 with flag 1185000/1185100 c cleaning 10000 clauses out of 20014 with flag 1195001/1195101 c cleaning 10005 clauses out of 20013 with flag 1205000/1205100 c cleaning 9998 clauses out of 20009 with flag 1215001/1215101 c cleaning 10001 clauses out of 20011 with flag 1225001/1225101 c cleaning 9997 clauses out of 20009 with flag 1235000/1235100 c cleaning 10001 clauses out of 20012 with flag 1245000/1245100 c cleaning 9999 clauses out of 20011 with flag 1255000/1255100 c cleaning 9999 clauses out of 20013 with flag 1265001/1265101 c cleaning 10000 clauses out of 20013 with flag 1275000/1275100 c cleaning 9999 clauses out of 20013 with flag 1285000/1285100 c cleaning 9999 clauses out of 20015 with flag 1295001/1295101 c cleaning 10002 clauses out of 20016 with flag 1305001/1305101 c cleaning 9999 clauses out of 20014 with flag 1315001/1315101 c cleaning 10000 clauses out of 20014 with flag 1325000/1325100 c cleaning 10007 clauses out of 20017 with flag 1335003/1335103 c cleaning 9999 clauses out of 20008 with flag 1345001/1345101 c cleaning 9998 clauses out of 20008 with flag 1355000/1355100 c cleaning 10000 clauses out of 20011 with flag 1365001/1365101 c cleaning 10002 clauses out of 20011 with flag 1375001/1375101 c cleaning 9997 clauses out of 20008 with flag 1385000/1385100 c cleaning 9999 clauses out of 20011 with flag 1395000/1395100 c cleaning 10004 clauses out of 20013 with flag 1405001/1405101 c cleaning 9996 clauses out of 20008 with flag 1415000/1415100 c cleaning 9999 clauses out of 20012 with flag 1425000/1425100 c cleaning 10001 clauses out of 20014 with flag 1435001/1435101 c cleaning 10001 clauses out of 20013 with flag 1445001/1445101 c cleaning 9993 clauses out of 20011 with flag 1455000/1455100 c cleaning 10002 clauses out of 20018 with flag 1465000/1465100 c cleaning 10003 clauses out of 20017 with flag 1475001/1475101 c cleaning 10000 clauses out of 20013 with flag 1485000/1485100 c cleaning 10001 clauses out of 20013 with flag 1495000/1495100 c cleaning 9999 clauses out of 20012 with flag 1505000/1505100 c cleaning 9997 clauses out of 20013 with flag 1515000/1515100 c cleaning 10005 clauses out of 20017 with flag 1525001/1525101 c cleaning 9998 clauses out of 20011 with flag 1535000/1535100 c cleaning 9998 clauses out of 20014 with flag 1545001/1545101 c cleaning 9999 clauses out of 20015 with flag 1555000/1555100 c cleaning 10001 clauses out of 20016 with flag 1565000/1565100 c cleaning 9997 clauses out of 20015 with flag 1575000/1575100 c cleaning 10003 clauses out of 20018 with flag 1585000/1585100 c cleaning 9999 clauses out of 20016 with flag 1595001/1595101 c cleaning 10000 clauses out of 20017 with flag 1605001/1605101 c cleaning 9999 clauses out of 20017 with flag 1615001/1615101 c cleaning 10004 clauses out of 20017 with flag 1625000/1625100 c cleaning 9999 clauses out of 20015 with flag 1635002/1635102 c cleaning 9998 clauses out of 20014 with flag 1645000/1645100 c cleaning 10000 clauses out of 20017 with flag 1655001/1655101 c cleaning 10001 clauses out of 20016 with flag 1665000/1665100 c cleaning 10002 clauses out of 20016 with flag 1675001/1675101 c cleaning 10003 clauses out of 20013 with flag 1685000/1685100 c cleaning 9997 clauses out of 20010 with flag 1695000/1695100 c cleaning 9998 clauses out of 20014 with flag 1705001/1705101 c cleaning 9998 clauses out of 20016 with flag 1715001/1715101 c cleaning 10002 clauses out of 20017 with flag 1725000/1725100 c cleaning 10002 clauses out of 20017 with flag 1735002/1735102 c cleaning 9998 clauses out of 20014 with flag 1745001/1745101 c cleaning 10002 clauses out of 20016 with flag 1755001/1755101 c cleaning 9999 clauses out of 20014 with flag 1765001/1765101 c cleaning 10000 clauses out of 20014 with flag 1775000/1775100 c cleaning 10006 clauses out of 20015 with flag 1785001/1785101 c cleaning 10000 clauses out of 20008 with flag 1795000/1795100 c cleaning 9996 clauses out of 20008 with flag 1805000/1805100 c cleaning 9999 clauses out of 20012 with flag 1815000/1815100 c cleaning 10003 clauses out of 20013 with flag 1825000/1825100 c cleaning 9999 clauses out of 20010 with flag 1835000/1835100 c cleaning 9999 clauses out of 20013 with flag 1845002/1845102 c cleaning 9994 clauses out of 20012 with flag 1855000/1855100 c cleaning 10002 clauses out of 20018 with flag 1865000/1865100 c cleaning 9999 clauses out of 20017 with flag 1875001/1875101 c cleaning 9999 clauses out of 20017 with flag 1885000/1885100 c cleaning 10002 clauses out of 20018 with flag 1895000/1895100 c cleaning 10004 clauses out of 20018 with flag 1905002/1905102 c cleaning 10000 clauses out of 20012 with flag 1915000/1915100 c cleaning 10001 clauses out of 20013 with flag 1925001/1925101 c cleaning 9995 clauses out of 20012 with flag 1935001/1935101 c cleaning 9996 clauses out of 20017 with flag 1945001/1945101 c cleaning 10004 clauses out of 20021 with flag 1955001/1955101 c cleaning 10000 clauses out of 20017 with flag 1965001/1965101 c cleaning 10001 clauses out of 20016 with flag 1975000/1975100 c cleaning 10001 clauses out of 20016 with flag 1985001/1985101 c Got one! Elapsed wall clock time (in seconds):1278.91 o 514 c cleaning 12400 clauses out of 24812 with flag 5001/1999898 c cleaning 9202 clauses out of 18411 with flag 11000/2005897 c cleaning 8098 clauses out of 16211 with flag 18002/2012899 c Got one! Elapsed wall clock time (in seconds):1293.719 o 513 c cleaning 9279 clauses out of 18569 with flag 5000/2023355 c cleaning 7639 clauses out of 15291 with flag 11001/2029356 c cleaning 7319 clauses out of 14651 with flag 18000/2036355 c cleaning 7662 clauses out of 15333 with flag 26001/2044356 c cleaning 8330 clauses out of 16671 with flag 35001/2053356 c cleaning 9165 clauses out of 18341 with flag 45001/2063356 c cleaning 9584 clauses out of 19176 with flag 55001/2073356 c cleaning 9796 clauses out of 19591 with flag 65000/2083355 c cleaning 9891 clauses out of 19795 with flag 75000/2093355 c cleaning 9944 clauses out of 19905 with flag 85001/2103356 c cleaning 9976 clauses out of 19963 with flag 95003/2113358 c cleaning 9988 clauses out of 19985 with flag 105001/2123356 c cleaning 9998 clauses out of 19997 with flag 115001/2133356 c cleaning 9998 clauses out of 19998 with flag 125000/2143355 c cleaning 10001 clauses out of 20001 with flag 135001/2153356 c cleaning 10000 clauses out of 20001 with flag 145002/2163357 c cleaning 9999 clauses out of 20000 with flag 155001/2173356 c cleaning 9999 clauses out of 20001 with flag 165001/2183356 c cleaning 9993 clauses out of 20001 with flag 175000/2193355 c cleaning 10001 clauses out of 20009 with flag 185001/2203356 c cleaning 9996 clauses out of 20008 with flag 195001/2213356 c cleaning 10000 clauses out of 20012 with flag 205001/2223356 c cleaning 10000 clauses out of 20012 with flag 215001/2233356 c cleaning 9999 clauses out of 20011 with flag 225000/2243355 c cleaning 9999 clauses out of 20013 with flag 235001/2253356 c cleaning 9998 clauses out of 20013 with flag 245000/2263355 c cleaning 10000 clauses out of 20015 with flag 255000/2273355 c cleaning 10000 clauses out of 20015 with flag 265000/2283355 c cleaning 10001 clauses out of 20015 with flag 275000/2293355 c cleaning 10002 clauses out of 20015 with flag 285001/2303356 c cleaning 10002 clauses out of 20014 with flag 295002/2313357 c cleaning 10001 clauses out of 20012 with flag 305002/2323357 c cleaning 9998 clauses out of 20009 with flag 315000/2333355 c cleaning 9998 clauses out of 20011 with flag 325000/2343355 c cleaning 10000 clauses out of 20014 with flag 335001/2353356 c cleaning 9996 clauses out of 20013 with flag 345000/2363355 c cleaning 10002 clauses out of 20018 with flag 355001/2373356 c cleaning 10003 clauses out of 20016 with flag 365001/2383356 c cleaning 10001 clauses out of 20013 with flag 375001/2393356 c cleaning 10000 clauses out of 20011 with flag 385000/2403355 c cleaning 10002 clauses out of 20012 with flag 395001/2413356 c cleaning 9995 clauses out of 20009 with flag 405000/2423355 c cleaning 10002 clauses out of 20014 with flag 415000/2433355 c cleaning 9999 clauses out of 20013 with flag 425001/2443356 c cleaning 9997 clauses out of 20013 with flag 435000/2453355 c cleaning 9996 clauses out of 20018 with flag 445002/2463357 c cleaning 10001 clauses out of 20022 with flag 455002/2473357 c cleaning 10000 clauses out of 20019 with flag 465000/2483355 c cleaning 9999 clauses out of 20020 with flag 475001/2493356 c cleaning 10001 clauses out of 20021 with flag 485001/2503356 c cleaning 9999 clauses out of 20019 with flag 495000/2513355 c cleaning 10006 clauses out of 20021 with flag 505001/2523356 c cleaning 9996 clauses out of 20014 with flag 515000/2533355 c cleaning 9996 clauses out of 20018 with flag 525000/2543355 c cleaning 10004 clauses out of 20024 with flag 535002/2553357 c cleaning 10000 clauses out of 20018 with flag 545000/2563355 c cleaning 9995 clauses out of 20018 with flag 555000/2573355 c cleaning 9998 clauses out of 20023 with flag 565000/2583355 c cleaning 10000 clauses out of 20025 with flag 575000/2593355 c cleaning 10007 clauses out of 20027 with flag 585002/2603357 c cleaning 10003 clauses out of 20019 with flag 595001/2613356 c cleaning 9999 clauses out of 20015 with flag 605000/2623355 c cleaning 10002 clauses out of 20016 with flag 615000/2633355 c cleaning 9996 clauses out of 20014 with flag 625000/2643355 c cleaning 10000 clauses out of 20019 with flag 635001/2653356 c Got one! Elapsed wall clock time (in seconds):1703.331 o 511 c cleaning 7570 clauses out of 15143 with flag 1000/2658480 c cleaning 6780 clauses out of 13574 with flag 7001/2664481 c cleaning 6893 clauses out of 13793 with flag 14000/2671480 c cleaning 7448 clauses out of 14902 with flag 22002/2679482 c cleaning 8226 clauses out of 16452 with flag 31000/2688480 c cleaning 9111 clauses out of 18227 with flag 41001/2698481 c cleaning 9558 clauses out of 19116 with flag 51001/2708481 c cleaning 9775 clauses out of 19557 with flag 61000/2718480 c cleaning 9887 clauses out of 19782 with flag 71000/2728480 c cleaning 9942 clauses out of 19896 with flag 81001/2738481 c cleaning 9972 clauses out of 19954 with flag 91001/2748481 c cleaning 9985 clauses out of 19983 with flag 101002/2758482 c cleaning 9992 clauses out of 19996 with flag 111000/2768480 c cleaning 9997 clauses out of 20004 with flag 121000/2778480 c cleaning 9996 clauses out of 20008 with flag 131001/2788481 c cleaning 9997 clauses out of 20011 with flag 141000/2798480 c cleaning 10000 clauses out of 20015 with flag 151001/2808481 c cleaning 10002 clauses out of 20015 with flag 161001/2818481 c cleaning 10000 clauses out of 20012 with flag 171000/2828480 c cleaning 9999 clauses out of 20012 with flag 181000/2838480 c cleaning 10001 clauses out of 20014 with flag 191001/2848481 c cleaning 10003 clauses out of 20012 with flag 201000/2858480 c cleaning 10001 clauses out of 20010 with flag 211001/2868481 c cleaning 9995 clauses out of 20009 with flag 221001/2878481 c cleaning 10003 clauses out of 20013 with flag 231000/2888480 c cleaning 10001 clauses out of 20011 with flag 241001/2898481 c cleaning 9999 clauses out of 20010 with flag 251001/2908481 c cleaning 10000 clauses out of 20011 with flag 261001/2918481 c cleaning 9996 clauses out of 20011 with flag 271001/2928481 c cleaning 9998 clauses out of 20014 with flag 281000/2938480 c cleaning 10000 clauses out of 20016 with flag 291000/2948480 c cleaning 10000 clauses out of 20018 with flag 301002/2958482 c cleaning 10000 clauses out of 20017 with flag 311001/2968481 c cleaning 10001 clauses out of 20016 with flag 321000/2978480 c cleaning 10001 clauses out of 20017 with flag 331002/2988482 c cleaning 10004 clauses out of 20014 with flag 341000/2998480 c cleaning 10001 clauses out of 20010 with flag 351000/3008480 c cleaning 9999 clauses out of 20010 with flag 361001/3018481 c cleaning 10000 clauses out of 20010 with flag 371000/3028480 c cleaning 9998 clauses out of 20010 with flag 381000/3038480 c cleaning 10001 clauses out of 20012 with flag 391000/3048480 c cleaning 10000 clauses out of 20011 with flag 401000/3058480 c cleaning 9996 clauses out of 20011 with flag 411000/3068480 Killed 1979.747u 0.340s 33:00.45 99.9% 0+0k 0+0io 1pf+0w