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_maxclicque_structured_hamming8-4.clq.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/maxclicque/structured/hamming8-4.clq.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/maxclicque/structured/hamming8-4.clq.wcnf
c reading problem ... 
c ... done. Wall clock time 0.603s.
c #vars     12288
c #constraints  11776
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11776
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.756
o 240
c cleaning 2501 clauses out of 5001 with flag 5001/5001
c cleaning 4242 clauses out of 8499 with flag 11000/11000
c cleaning 5629 clauses out of 11258 with flag 18001/18001
c cleaning 6814 clauses out of 13628 with flag 26000/26000
c cleaning 7907 clauses out of 15814 with flag 35000/35000
c cleaning 8950 clauses out of 17907 with flag 45000/45000
c cleaning 9979 clauses out of 19957 with flag 56000/56000
c cleaning 10987 clauses out of 21978 with flag 68000/68000
c cleaning 11487 clauses out of 22992 with flag 80001/80001
c cleaning 11746 clauses out of 23504 with flag 92000/92000
c cleaning 11870 clauses out of 23758 with flag 104000/104000
c cleaning 11943 clauses out of 23888 with flag 116000/116000
c cleaning 11963 clauses out of 23945 with flag 128000/128000
c cleaning 11991 clauses out of 23982 with flag 140000/140000
c cleaning 11984 clauses out of 23991 with flag 152000/152000
c cleaning 11998 clauses out of 24007 with flag 164000/164000
c cleaning 11983 clauses out of 24009 with flag 176000/176000
c cleaning 12005 clauses out of 24026 with flag 188000/188000
c cleaning 12005 clauses out of 24021 with flag 200000/200000
c cleaning 11988 clauses out of 24016 with flag 212000/212000
c cleaning 12009 clauses out of 24028 with flag 224000/224000
c cleaning 11998 clauses out of 24020 with flag 236001/236001
c cleaning 12001 clauses out of 24021 with flag 248000/248000
c cleaning 12005 clauses out of 24020 with flag 260000/260000
c cleaning 12008 clauses out of 24015 with flag 272000/272000
c cleaning 12001 clauses out of 24007 with flag 284000/284000
c cleaning 12000 clauses out of 24007 with flag 296001/296001
c cleaning 12001 clauses out of 24006 with flag 308000/308000
c cleaning 12003 clauses out of 24005 with flag 320000/320000
c cleaning 11996 clauses out of 24002 with flag 332000/332000
c cleaning 11996 clauses out of 24006 with flag 344000/344000
c cleaning 11991 clauses out of 24010 with flag 356000/356000
c cleaning 11998 clauses out of 24019 with flag 368000/368000
c cleaning 12005 clauses out of 24021 with flag 380000/380000
c cleaning 11994 clauses out of 24016 with flag 392000/392000
c cleaning 12001 clauses out of 24022 with flag 404000/404000
c cleaning 12007 clauses out of 24021 with flag 416000/416000
c cleaning 11995 clauses out of 24014 with flag 428000/428000
c cleaning 12003 clauses out of 24020 with flag 440001/440001
c cleaning 12000 clauses out of 24016 with flag 452000/452000
c cleaning 12000 clauses out of 24016 with flag 464000/464000
c cleaning 11998 clauses out of 24016 with flag 476000/476000
c cleaning 12004 clauses out of 24018 with flag 488000/488000
c cleaning 11986 clauses out of 24014 with flag 500000/500000
c cleaning 12005 clauses out of 24028 with flag 512000/512000
c cleaning 11995 clauses out of 24023 with flag 524000/524000
c cleaning 11998 clauses out of 24028 with flag 536000/536000
c cleaning 12013 clauses out of 24030 with flag 548000/548000
c cleaning 11988 clauses out of 24017 with flag 560000/560000
c cleaning 12002 clauses out of 24029 with flag 572000/572000
c cleaning 11992 clauses out of 24027 with flag 584000/584000
c cleaning 12012 clauses out of 24035 with flag 596000/596000
c cleaning 11987 clauses out of 24023 with flag 608000/608000
c cleaning 12015 clauses out of 24036 with flag 620000/620000
c cleaning 12005 clauses out of 24021 with flag 632000/632000
c cleaning 12008 clauses out of 24016 with flag 644000/644000
c cleaning 11994 clauses out of 24008 with flag 656000/656000
c cleaning 11994 clauses out of 24015 with flag 668001/668001
c cleaning 12006 clauses out of 24020 with flag 680000/680000
c cleaning 12000 clauses out of 24014 with flag 692000/692000
c cleaning 12006 clauses out of 24014 with flag 704000/704000
c cleaning 11998 clauses out of 24008 with flag 716000/716000
c cleaning 11990 clauses out of 24010 with flag 728000/728000
c cleaning 11994 clauses out of 24020 with flag 740000/740000
c cleaning 12008 clauses out of 24027 with flag 752001/752001
c cleaning 11992 clauses out of 24019 with flag 764001/764001
c cleaning 12011 clauses out of 24027 with flag 776001/776001
c cleaning 11999 clauses out of 24015 with flag 788000/788000
c cleaning 11998 clauses out of 24016 with flag 800000/800000
c cleaning 12003 clauses out of 24018 with flag 812000/812000
c cleaning 11988 clauses out of 24015 with flag 824000/824000
c cleaning 12010 clauses out of 24027 with flag 836000/836000
c cleaning 11997 clauses out of 24017 with flag 848000/848000
c cleaning 11994 clauses out of 24020 with flag 860000/860000
c cleaning 12006 clauses out of 24026 with flag 872000/872000
c cleaning 12005 clauses out of 24020 with flag 884000/884000
c cleaning 11999 clauses out of 24015 with flag 896000/896000
c cleaning 12006 clauses out of 24016 with flag 908000/908000
c cleaning 11996 clauses out of 24011 with flag 920001/920001
c cleaning 11993 clauses out of 24014 with flag 932000/932000
c cleaning 11983 clauses out of 24022 with flag 944001/944001
c cleaning 11995 clauses out of 24038 with flag 956000/956000
c cleaning 12010 clauses out of 24043 with flag 968000/968000
c cleaning 12017 clauses out of 24033 with flag 980000/980000
c cleaning 11997 clauses out of 24017 with flag 992001/992001
c cleaning 11996 clauses out of 24019 with flag 1004000/1004000
c cleaning 11993 clauses out of 24023 with flag 1016000/1016000
c cleaning 11999 clauses out of 24030 with flag 1028000/1028000
c cleaning 12008 clauses out of 24032 with flag 1040001/1040001
c cleaning 11995 clauses out of 24024 with flag 1052001/1052001
c cleaning 12006 clauses out of 24028 with flag 1064000/1064000
c cleaning 11995 clauses out of 24022 with flag 1076000/1076000
c cleaning 12006 clauses out of 24027 with flag 1088000/1088000
c cleaning 11990 clauses out of 24021 with flag 1100000/1100000
c cleaning 11994 clauses out of 24031 with flag 1112000/1112000
c cleaning 12014 clauses out of 24037 with flag 1124000/1124000
c cleaning 12001 clauses out of 24023 with flag 1136000/1136000
c cleaning 11998 clauses out of 24022 with flag 1148000/1148000
c cleaning 12008 clauses out of 24024 with flag 1160000/1160000
c cleaning 11997 clauses out of 24017 with flag 1172001/1172001
c cleaning 12009 clauses out of 24020 with flag 1184001/1184001
c cleaning 11995 clauses out of 24010 with flag 1196000/1196000
c cleaning 11994 clauses out of 24015 with flag 1208000/1208000
c cleaning 12008 clauses out of 24022 with flag 1220001/1220001
c cleaning 11995 clauses out of 24013 with flag 1232000/1232000
c cleaning 11992 clauses out of 24019 with flag 1244001/1244001
c cleaning 12001 clauses out of 24026 with flag 1256000/1256000
c cleaning 11992 clauses out of 24025 with flag 1268000/1268000
c cleaning 12002 clauses out of 24034 with flag 1280001/1280001
c cleaning 11995 clauses out of 24031 with flag 1292000/1292000
c cleaning 12011 clauses out of 24036 with flag 1304000/1304000
c cleaning 11979 clauses out of 24026 with flag 1316001/1316001
c cleaning 12008 clauses out of 24046 with flag 1328000/1328000
c cleaning 11989 clauses out of 24038 with flag 1340000/1340000
c cleaning 12018 clauses out of 24050 with flag 1352001/1352001
c cleaning 12010 clauses out of 24031 with flag 1364000/1364000
c cleaning 12001 clauses out of 24021 with flag 1376000/1376000
c cleaning 11983 clauses out of 24021 with flag 1388001/1388001
c cleaning 12004 clauses out of 24037 with flag 1400000/1400000
c cleaning 12008 clauses out of 24033 with flag 1412000/1412000
c cleaning 11974 clauses out of 24025 with flag 1424000/1424000
c cleaning 12014 clauses out of 24051 with flag 1436000/1436000
c cleaning 12002 clauses out of 24037 with flag 1448000/1448000
c cleaning 11986 clauses out of 24035 with flag 1460000/1460000
c cleaning 12006 clauses out of 24049 with flag 1472000/1472000
c cleaning 11993 clauses out of 24043 with flag 1484000/1484000
c cleaning 11996 clauses out of 24050 with flag 1496000/1496000
c cleaning 12014 clauses out of 24054 with flag 1508000/1508000
c cleaning 11998 clauses out of 24040 with flag 1520000/1520000
c cleaning 12006 clauses out of 24042 with flag 1532000/1532000
c cleaning 12011 clauses out of 24036 with flag 1544000/1544000
c cleaning 12011 clauses out of 24025 with flag 1556000/1556000
c cleaning 11998 clauses out of 24014 with flag 1568000/1568000
c cleaning 11983 clauses out of 24017 with flag 1580001/1580001
c cleaning 12012 clauses out of 24033 with flag 1592000/1592000
c cleaning 11990 clauses out of 24021 with flag 1604000/1604000
c cleaning 11986 clauses out of 24031 with flag 1616000/1616000
c cleaning 12009 clauses out of 24046 with flag 1628001/1628001
c cleaning 11989 clauses out of 24036 with flag 1640000/1640000
c cleaning 12014 clauses out of 24048 with flag 1652001/1652001
c cleaning 11995 clauses out of 24034 with flag 1664001/1664001
c cleaning 12014 clauses out of 24039 with flag 1676001/1676001
c cleaning 11993 clauses out of 24024 with flag 1688000/1688000
c cleaning 11988 clauses out of 24031 with flag 1700000/1700000
c cleaning 12015 clauses out of 24043 with flag 1712000/1712000
c cleaning 11994 clauses out of 24028 with flag 1724000/1724000
c cleaning 12010 clauses out of 24034 with flag 1736000/1736000
c cleaning 12013 clauses out of 24025 with flag 1748001/1748001
c cleaning 12000 clauses out of 24011 with flag 1760000/1760000
c cleaning 12000 clauses out of 24012 with flag 1772001/1772001
c cleaning 11984 clauses out of 24011 with flag 1784000/1784000
c cleaning 12012 clauses out of 24027 with flag 1796000/1796000
c cleaning 11993 clauses out of 24015 with flag 1808000/1808000
c cleaning 12003 clauses out of 24022 with flag 1820000/1820000
c cleaning 11981 clauses out of 24019 with flag 1832000/1832000
c cleaning 12009 clauses out of 24038 with flag 1844000/1844000
c cleaning 11991 clauses out of 24029 with flag 1856000/1856000
c cleaning 11995 clauses out of 24038 with flag 1868000/1868000
c cleaning 12013 clauses out of 24044 with flag 1880001/1880001
c cleaning 11995 clauses out of 24031 with flag 1892001/1892001
c cleaning 12014 clauses out of 24035 with flag 1904000/1904000
c cleaning 11997 clauses out of 24021 with flag 1916000/1916000
c cleaning 11998 clauses out of 24025 with flag 1928001/1928001
c cleaning 12007 clauses out of 24027 with flag 1940001/1940001
c cleaning 12000 clauses out of 24019 with flag 1952000/1952000
c cleaning 12002 clauses out of 24019 with flag 1964000/1964000
c cleaning 11994 clauses out of 24017 with flag 1976000/1976000
c cleaning 12003 clauses out of 24023 with flag 1988000/1988000
c cleaning 11994 clauses out of 24020 with flag 2000000/2000000
c cleaning 11986 clauses out of 24026 with flag 2012000/2012000
c cleaning 11976 clauses out of 24040 with flag 2024000/2024000
c cleaning 12016 clauses out of 24064 with flag 2036000/2036000
c cleaning 12002 clauses out of 24048 with flag 2048000/2048000
c cleaning 12008 clauses out of 24046 with flag 2060000/2060000
c cleaning 12006 clauses out of 24039 with flag 2072001/2072001
c cleaning 11997 clauses out of 24033 with flag 2084001/2084001
c cleaning 12005 clauses out of 24036 with flag 2096001/2096001
c cleaning 12005 clauses out of 24030 with flag 2108000/2108000
c cleaning 11990 clauses out of 24025 with flag 2120000/2120000
c cleaning 12009 clauses out of 24035 with flag 2132000/2132000
c cleaning 11992 clauses out of 24026 with flag 2144000/2144000
c cleaning 12005 clauses out of 24035 with flag 2156001/2156001
c cleaning 11992 clauses out of 24029 with flag 2168000/2168000
c cleaning 12018 clauses out of 24038 with flag 2180001/2180001
c cleaning 11987 clauses out of 24020 with flag 2192001/2192001
c cleaning 11978 clauses out of 24032 with flag 2204000/2204000
c cleaning 12013 clauses out of 24054 with flag 2216000/2216000
c cleaning 11998 clauses out of 24042 with flag 2228001/2228001
c cleaning 12017 clauses out of 24043 with flag 2240000/2240000
c cleaning 11999 clauses out of 24026 with flag 2252000/2252000
c cleaning 12000 clauses out of 24027 with flag 2264000/2264000
c cleaning 12006 clauses out of 24027 with flag 2276000/2276000
c cleaning 11996 clauses out of 24021 with flag 2288000/2288000
c cleaning 11998 clauses out of 24025 with flag 2300000/2300000
c cleaning 12003 clauses out of 24027 with flag 2312000/2312000
c cleaning 12005 clauses out of 24025 with flag 2324001/2324001
c cleaning 11992 clauses out of 24019 with flag 2336000/2336000
c cleaning 12000 clauses out of 24028 with flag 2348001/2348001
c cleaning 11986 clauses out of 24027 with flag 2360000/2360000
c cleaning 12014 clauses out of 24041 with flag 2372000/2372000
c cleaning 12001 clauses out of 24027 with flag 2384000/2384000
c cleaning 11997 clauses out of 24026 with flag 2396000/2396000
c cleaning 12002 clauses out of 24029 with flag 2408000/2408000
c cleaning 12002 clauses out of 24027 with flag 2420000/2420000
c cleaning 12002 clauses out of 24025 with flag 2432000/2432000
c cleaning 11993 clauses out of 24023 with flag 2444000/2444000
c cleaning 12004 clauses out of 24030 with flag 2456000/2456000
c cleaning 12000 clauses out of 24026 with flag 2468000/2468000
c cleaning 11997 clauses out of 24026 with flag 2480000/2480000
c cleaning 12004 clauses out of 24030 with flag 2492001/2492001
c cleaning 11984 clauses out of 24025 with flag 2504000/2504000
c cleaning 11991 clauses out of 24041 with flag 2516000/2516000
c cleaning 12002 clauses out of 24050 with flag 2528000/2528000
c cleaning 12003 clauses out of 24048 with flag 2540000/2540000
c cleaning 12017 clauses out of 24045 with flag 2552000/2552000
c cleaning 12000 clauses out of 24028 with flag 2564000/2564000
c cleaning 12011 clauses out of 24028 with flag 2576000/2576000
c cleaning 11980 clauses out of 24017 with flag 2588000/2588000
c cleaning 11996 clauses out of 24037 with flag 2600000/2600000
c cleaning 12009 clauses out of 24041 with flag 2612000/2612000
c cleaning 12013 clauses out of 24032 with flag 2624000/2624000
c cleaning 11992 clauses out of 24019 with flag 2636000/2636000
c cleaning 12000 clauses out of 24027 with flag 2648000/2648000
c cleaning 11994 clauses out of 24027 with flag 2660000/2660000
c cleaning 12006 clauses out of 24033 with flag 2672000/2672000
c cleaning 11995 clauses out of 24027 with flag 2684000/2684000
c cleaning 12005 clauses out of 24033 with flag 2696001/2696001
c cleaning 11992 clauses out of 24027 with flag 2708000/2708000
c cleaning 11996 clauses out of 24035 with flag 2720000/2720000
c cleaning 12002 clauses out of 24039 with flag 2732000/2732000
c cleaning 12014 clauses out of 24037 with flag 2744000/2744000
c cleaning 12003 clauses out of 24023 with flag 2756000/2756000
c cleaning 11992 clauses out of 24021 with flag 2768001/2768001
c cleaning 11993 clauses out of 24028 with flag 2780000/2780000
c cleaning 12015 clauses out of 24035 with flag 2792000/2792000
c cleaning 11983 clauses out of 24020 with flag 2804000/2804000
c cleaning 12005 clauses out of 24037 with flag 2816000/2816000
c cleaning 12011 clauses out of 24032 with flag 2828000/2828000
c cleaning 11987 clauses out of 24022 with flag 2840001/2840001
c cleaning 11989 clauses out of 24034 with flag 2852000/2852000
c cleaning 12005 clauses out of 24045 with flag 2864000/2864000
c cleaning 11994 clauses out of 24041 with flag 2876001/2876001
c cleaning 12003 clauses out of 24046 with flag 2888000/2888000
c cleaning 12001 clauses out of 24043 with flag 2900000/2900000
c cleaning 12011 clauses out of 24042 with flag 2912000/2912000
c cleaning 12002 clauses out of 24032 with flag 2924001/2924001
c cleaning 12006 clauses out of 24029 with flag 2936000/2936000
c cleaning 12005 clauses out of 24024 with flag 2948001/2948001
c cleaning 12002 clauses out of 24018 with flag 2960000/2960000
c cleaning 11991 clauses out of 24016 with flag 2972000/2972000
c cleaning 12005 clauses out of 24025 with flag 2984000/2984000
c cleaning 11990 clauses out of 24020 with flag 2996000/2996000
c cleaning 11976 clauses out of 24030 with flag 3008000/3008000
c cleaning 12002 clauses out of 24055 with flag 3020001/3020001
c cleaning 12001 clauses out of 24053 with flag 3032001/3032001
c cleaning 12020 clauses out of 24051 with flag 3044000/3044000
c cleaning 12009 clauses out of 24032 with flag 3056001/3056001
c cleaning 12004 clauses out of 24022 with flag 3068000/3068000
c cleaning 11985 clauses out of 24018 with flag 3080000/3080000
c cleaning 12010 clauses out of 24033 with flag 3092000/3092000
c cleaning 11982 clauses out of 24023 with flag 3104000/3104000
c cleaning 12016 clauses out of 24041 with flag 3116000/3116000
c cleaning 11998 clauses out of 24025 with flag 3128000/3128000
c cleaning 12003 clauses out of 24027 with flag 3140000/3140000
c cleaning 11998 clauses out of 24024 with flag 3152000/3152000
c cleaning 11989 clauses out of 24026 with flag 3164000/3164000
c cleaning 12007 clauses out of 24037 with flag 3176000/3176000
c cleaning 12000 clauses out of 24030 with flag 3188000/3188000
c cleaning 11986 clauses out of 24030 with flag 3200000/3200000
c cleaning 11984 clauses out of 24045 with flag 3212001/3212001
c cleaning 12023 clauses out of 24060 with flag 3224000/3224000
c cleaning 11988 clauses out of 24038 with flag 3236001/3236001
c cleaning 11999 clauses out of 24049 with flag 3248000/3248000
c cleaning 12008 clauses out of 24050 with flag 3260000/3260000
c cleaning 12015 clauses out of 24043 with flag 3272001/3272001
c cleaning 11994 clauses out of 24027 with flag 3284000/3284000
c cleaning 11996 clauses out of 24034 with flag 3296001/3296001
c cleaning 11995 clauses out of 24038 with flag 3308001/3308001
c cleaning 12019 clauses out of 24043 with flag 3320001/3320001
c cleaning 11998 clauses out of 24023 with flag 3332000/3332000
c cleaning 11995 clauses out of 24026 with flag 3344001/3344001
c cleaning 12006 clauses out of 24030 with flag 3356000/3356000
c cleaning 12005 clauses out of 24024 with flag 3368000/3368000
c cleaning 11989 clauses out of 24019 with flag 3380000/3380000
c cleaning 12000 clauses out of 24030 with flag 3392000/3392000
c cleaning 12003 clauses out of 24030 with flag 3404000/3404000
c cleaning 11993 clauses out of 24027 with flag 3416000/3416000
c cleaning 12007 clauses out of 24034 with flag 3428000/3428000
c cleaning 11996 clauses out of 24027 with flag 3440000/3440000
c cleaning 11999 clauses out of 24031 with flag 3452000/3452000
c cleaning 12002 clauses out of 24032 with flag 3464000/3464000
c cleaning 12015 clauses out of 24031 with flag 3476001/3476001
c cleaning 11997 clauses out of 24015 with flag 3488000/3488000
c cleaning 11994 clauses out of 24018 with flag 3500000/3500000
c cleaning 11974 clauses out of 24024 with flag 3512000/3512000
c cleaning 12023 clauses out of 24051 with flag 3524001/3524001
c cleaning 12013 clauses out of 24027 with flag 3536000/3536000
c cleaning 11998 clauses out of 24014 with flag 3548000/3548000
c cleaning 11999 clauses out of 24017 with flag 3560001/3560001
c cleaning 11998 clauses out of 24017 with flag 3572000/3572000
c cleaning 11990 clauses out of 24019 with flag 3584000/3584000
c cleaning 12008 clauses out of 24030 with flag 3596001/3596001
c cleaning 12002 clauses out of 24022 with flag 3608001/3608001
c cleaning 11986 clauses out of 24019 with flag 3620000/3620000
c cleaning 12010 clauses out of 24033 with flag 3632000/3632000
c cleaning 12003 clauses out of 24023 with flag 3644000/3644000
c cleaning 11999 clauses out of 24020 with flag 3656000/3656000
c cleaning 11992 clauses out of 24021 with flag 3668000/3668000
c cleaning 11999 clauses out of 24029 with flag 3680000/3680000
c cleaning 12011 clauses out of 24030 with flag 3692000/3692000
c cleaning 11979 clauses out of 24019 with flag 3704000/3704000
c cleaning 11999 clauses out of 24041 with flag 3716001/3716001
c cleaning 12004 clauses out of 24041 with flag 3728000/3728000
c cleaning 12008 clauses out of 24037 with flag 3740000/3740000
c cleaning 11990 clauses out of 24029 with flag 3752000/3752000
c cleaning 12014 clauses out of 24040 with flag 3764001/3764001
Killed
1979.746u 0.352s 33:08.99 99.5%	0+0k 0+0io 1pf+0w