Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wbo1.6-pms_crafted-_home_maxsat_benchmarks_pms_crafted_maxclicque_random_max_clq_150-6-3129-1.clq.wcnf Job file: /home/maxsat/benchmarks/pms_crafted/maxclicque/random/max_clq_150-6-3129-1.clq.wcnf Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6 c core #1 c c c Core size: 3 Core Weight: 1 Total Weight: 1 c Current CPU time: 0.014997 s c c core #2 c c c Core size: 3 Core Weight: 1 Total Weight: 2 c Current CPU time: 0.019996 s c c core #3 c c c Core size: 3 Core Weight: 1 Total Weight: 3 c Current CPU time: 0.023996 s c c core #4 c c c Core size: 3 Core Weight: 1 Total Weight: 4 c Current CPU time: 0.027995 s c c core #5 c c c Core size: 3 Core Weight: 1 Total Weight: 5 c Current CPU time: 0.031995 s c c core #6 c c c Core size: 3 Core Weight: 1 Total Weight: 6 c Current CPU time: 0.036994 s c c core #7 c c c Core size: 3 Core Weight: 1 Total Weight: 7 c Current CPU time: 0.040993 s c c core #8 c c c Core size: 3 Core Weight: 1 Total Weight: 8 c Current CPU time: 0.044993 s c c core #9 c c c Core size: 3 Core Weight: 1 Total Weight: 9 c Current CPU time: 0.048992 s c c core #10 c c c Core size: 3 Core Weight: 1 Total Weight: 10 c Current CPU time: 0.052991 s c c core #11 c c c Core size: 3 Core Weight: 1 Total Weight: 11 c Current CPU time: 0.056991 s c c core #12 c c c Core size: 3 Core Weight: 1 Total Weight: 12 c Current CPU time: 0.06099 s c c core #13 c c c Core size: 3 Core Weight: 1 Total Weight: 13 c Current CPU time: 0.065989 s c c core #14 c c c Core size: 3 Core Weight: 1 Total Weight: 14 c Current CPU time: 0.069989 s c c core #15 c c c Core size: 3 Core Weight: 1 Total Weight: 15 c Current CPU time: 0.073988 s c c core #16 c c c Core size: 3 Core Weight: 1 Total Weight: 16 c Current CPU time: 0.077988 s c c core #17 c c c Core size: 3 Core Weight: 1 Total Weight: 17 c Current CPU time: 0.081987 s c c core #18 c c c Core size: 3 Core Weight: 1 Total Weight: 18 c Current CPU time: 0.086986 s c c core #19 c c c Core size: 3 Core Weight: 1 Total Weight: 19 c Current CPU time: 0.090986 s c c core #20 c c c Core size: 3 Core Weight: 1 Total Weight: 20 c Current CPU time: 0.094985 s c c core #21 c c c Core size: 3 Core Weight: 1 Total Weight: 21 c Current CPU time: 0.099984 s c c core #22 c c c Core size: 3 Core Weight: 1 Total Weight: 22 c Current CPU time: 0.103984 s c c core #23 c c c Core size: 3 Core Weight: 1 Total Weight: 23 c Current CPU time: 0.107983 s c c core #24 c c c Core size: 3 Core Weight: 1 Total Weight: 24 c Current CPU time: 0.112982 s c c core #25 c c c Core size: 3 Core Weight: 1 Total Weight: 25 c Current CPU time: 0.116982 s c c core #26 c c c Core size: 3 Core Weight: 1 Total Weight: 26 c Current CPU time: 0.121981 s c c core #27 c c c Core size: 3 Core Weight: 1 Total Weight: 27 c Current CPU time: 0.12598 s c c core #28 c c c Core size: 3 Core Weight: 1 Total Weight: 28 c Current CPU time: 0.12998 s c c core #29 c c c Core size: 3 Core Weight: 1 Total Weight: 29 c Current CPU time: 0.134979 s c c core #30 c c c Core size: 3 Core Weight: 1 Total Weight: 30 c Current CPU time: 0.139978 s c c core #31 c c c Core size: 3 Core Weight: 1 Total Weight: 31 c Current CPU time: 0.143978 s c c core #32 c c c Core size: 3 Core Weight: 1 Total Weight: 32 c Current CPU time: 0.148977 s c c core #33 c c c Core size: 3 Core Weight: 1 Total Weight: 33 c Current CPU time: 0.152976 s c c core #34 c c c Core size: 3 Core Weight: 1 Total Weight: 34 c Current CPU time: 0.157975 s c c core #35 c c c Core size: 3 Core Weight: 1 Total Weight: 35 c Current CPU time: 0.162975 s c c core #36 c c c Core size: 3 Core Weight: 1 Total Weight: 36 c Current CPU time: 0.166974 s c c core #37 c c c Core size: 3 Core Weight: 1 Total Weight: 37 c Current CPU time: 0.171973 s c c core #38 c c c Core size: 3 Core Weight: 1 Total Weight: 38 c Current CPU time: 0.176973 s c c core #39 c c c Core size: 3 Core Weight: 1 Total Weight: 39 c Current CPU time: 0.181972 s c c core #40 c c c Core size: 3 Core Weight: 1 Total Weight: 40 c Current CPU time: 0.185971 s c c core #41 c c c Core size: 3 Core Weight: 1 Total Weight: 41 c Current CPU time: 0.19097 s c c core #42 c c c Core size: 3 Core Weight: 1 Total Weight: 42 c Current CPU time: 0.19597 s c c core #43 c c c Core size: 3 Core Weight: 1 Total Weight: 43 c Current CPU time: 0.200969 s c c core #44 c c c Core size: 3 Core Weight: 1 Total Weight: 44 c Current CPU time: 0.205968 s c c core #45 c c c Core size: 3 Core Weight: 1 Total Weight: 45 c Current CPU time: 0.210967 s c c core #46 c c c Core size: 3 Core Weight: 1 Total Weight: 46 c Current CPU time: 0.215967 s c c core #47 c c c Core size: 3 Core Weight: 1 Total Weight: 47 c Current CPU time: 0.220966 s c c core #48 c c c Core size: 3 Core Weight: 1 Total Weight: 48 c Current CPU time: 0.225965 s c c core #49 c c c Core size: 3 Core Weight: 1 Total Weight: 49 c Current CPU time: 0.231964 s c c core #50 c c c Core size: 3 Core Weight: 1 Total Weight: 50 c Current CPU time: 0.236963 s c c core #51 c c c Core size: 3 Core Weight: 1 Total Weight: 51 c Current CPU time: 0.241963 s c c core #52 c c c Core size: 3 Core Weight: 1 Total Weight: 52 c Current CPU time: 0.247962 s c c core #53 c c c Core size: 3 Core Weight: 1 Total Weight: 53 c Current CPU time: 0.252961 s c c core #54 c c c Core size: 3 Core Weight: 1 Total Weight: 54 c Current CPU time: 0.25896 s c c core #55 c c c Core size: 3 Core Weight: 1 Total Weight: 55 c Current CPU time: 0.264959 s c c core #56 c c c Core size: 3 Core Weight: 1 Total Weight: 56 c Current CPU time: 0.269958 s c c core #57 c c c Core size: 3 Core Weight: 1 Total Weight: 57 c Current CPU time: 0.275958 s c c core #58 c c c Core size: 3 Core Weight: 1 Total Weight: 58 c Current CPU time: 0.281957 s c c core #59 c c c Core size: 3 Core Weight: 1 Total Weight: 59 c Current CPU time: 0.286956 s c c core #60 c c c Core size: 3 Core Weight: 1 Total Weight: 60 c Current CPU time: 0.292955 s c c core #61 c c c Core size: 3 Core Weight: 1 Total Weight: 61 c Current CPU time: 0.298954 s c c core #62 c c c Core size: 3 Core Weight: 1 Total Weight: 62 c Current CPU time: 0.304953 s c c core #63 c c c Core size: 3 Core Weight: 1 Total Weight: 63 c Current CPU time: 0.310952 s c c core #64 c c c Core size: 3 Core Weight: 1 Total Weight: 64 c Current CPU time: 0.316951 s c c core #65 c c c Core size: 3 Core Weight: 1 Total Weight: 65 c Current CPU time: 0.32295 s c c core #66 c c c Core size: 3 Core Weight: 1 Total Weight: 66 c Current CPU time: 0.328949 s c c core #67 c c c Core size: 3 Core Weight: 1 Total Weight: 67 c Current CPU time: 0.335948 s c c core #68 c c c Core size: 3 Core Weight: 1 Total Weight: 68 c Current CPU time: 0.341948 s c c core #69 c c c Core size: 3 Core Weight: 1 Total Weight: 69 c Current CPU time: 0.347947 s c c core #70 c c c Core size: 3 Core Weight: 1 Total Weight: 70 c Current CPU time: 0.354946 s c c core #71 c c c Core size: 3 Core Weight: 1 Total Weight: 71 c Current CPU time: 0.360945 s c c core #72 c c c Core size: 3 Core Weight: 1 Total Weight: 72 c Current CPU time: 0.367944 s c c core #73 c c c Core size: 3 Core Weight: 1 Total Weight: 73 c Current CPU time: 0.374943 s c c core #74 c c c Core size: 3 Core Weight: 1 Total Weight: 74 c Current CPU time: 0.380942 s c c core #75 c c c Core size: 7 Core Weight: 1 Total Weight: 75 c Current CPU time: 0.386941 s c c core #76 c c c Core size: 8 Core Weight: 1 Total Weight: 76 c Current CPU time: 0.39294 s c c core #77 c c c Core size: 10 Core Weight: 1 Total Weight: 77 c Current CPU time: 0.399939 s c c core #78 c c c Core size: 8 Core Weight: 1 Total Weight: 78 c Current CPU time: 0.407937 s c c core #79 c c c Core size: 8 Core Weight: 1 Total Weight: 79 c Current CPU time: 0.414936 s c c core #80 c c c Core size: 10 Core Weight: 1 Total Weight: 80 c Current CPU time: 0.422935 s c c core #81 c c c Core size: 8 Core Weight: 1 Total Weight: 81 c Current CPU time: 0.429934 s c c core #82 c c c Core size: 10 Core Weight: 1 Total Weight: 82 c Current CPU time: 0.436933 s c c core #83 c c c Core size: 10 Core Weight: 1 Total Weight: 83 c Current CPU time: 0.444932 s c c core #84 c c c Core size: 8 Core Weight: 1 Total Weight: 84 c Current CPU time: 0.451931 s c c core #85 c c c Core size: 8 Core Weight: 1 Total Weight: 85 c Current CPU time: 0.45893 s c c core #86 c c c Core size: 8 Core Weight: 1 Total Weight: 86 c Current CPU time: 0.466929 s c c core #87 c c c Core size: 10 Core Weight: 1 Total Weight: 87 c Current CPU time: 0.473927 s c c core #88 c c c Core size: 10 Core Weight: 1 Total Weight: 88 c Current CPU time: 0.480926 s c c core #89 c c c Core size: 8 Core Weight: 1 Total Weight: 89 c Current CPU time: 0.488925 s c c core #90 c c c Core size: 10 Core Weight: 1 Total Weight: 90 c Current CPU time: 0.495924 s c c core #91 c c c Core size: 8 Core Weight: 1 Total Weight: 91 c Current CPU time: 0.502923 s c c core #92 c c c Core size: 10 Core Weight: 1 Total Weight: 92 c Current CPU time: 0.509922 s c c core #93 c c c Core size: 10 Core Weight: 1 Total Weight: 93 c Current CPU time: 0.517921 s c c core #94 c c c Core size: 10 Core Weight: 1 Total Weight: 94 c Current CPU time: 0.52492 s c c core #95 c c c Core size: 10 Core Weight: 1 Total Weight: 95 c Current CPU time: 0.531919 s c c core #96 c c c Core size: 10 Core Weight: 1 Total Weight: 96 c Current CPU time: 0.539917 s c c core #97 c c c Core size: 10 Core Weight: 1 Total Weight: 97 c Current CPU time: 0.547916 s c c core #98 c c c Core size: 10 Core Weight: 1 Total Weight: 98 c Current CPU time: 0.555915 s c c core #99 c c c Core size: 10 Core Weight: 1 Total Weight: 99 c Current CPU time: 0.562914 s c c core #100 c c c Core size: 10 Core Weight: 1 Total Weight: 100 c Current CPU time: 0.570913 s c c core #101 c c c Core size: 10 Core Weight: 1 Total Weight: 101 c Current CPU time: 0.578911 s c c core #102 c c c Core size: 9 Core Weight: 1 Total Weight: 102 c Current CPU time: 0.58591 s c c core #103 c c c Core size: 10 Core Weight: 1 Total Weight: 103 c Current CPU time: 0.593909 s c c core #104 c c c Core size: 15 Core Weight: 1 Total Weight: 104 c Current CPU time: 0.601908 s c c core #105 c c c Core size: 22 Core Weight: 1 Total Weight: 105 c Current CPU time: 0.611906 s c c core #106 c c c Core size: 19 Core Weight: 1 Total Weight: 106 c Current CPU time: 0.619905 s c c core #107 c c c Core size: 18 Core Weight: 1 Total Weight: 107 c Current CPU time: 0.628904 s c c core #108 c c c Core size: 24 Core Weight: 1 Total Weight: 108 c Current CPU time: 0.638902 s c c core #109 c c c Core size: 14 Core Weight: 1 Total Weight: 109 c Current CPU time: 0.647901 s c c core #110 c c c Core size: 13 Core Weight: 1 Total Weight: 110 c Current CPU time: 0.6569 s c c core #111 c c c Core size: 18 Core Weight: 1 Total Weight: 111 c Current CPU time: 0.666898 s c c core #112 c c c Core size: 30 Core Weight: 1 Total Weight: 112 c Current CPU time: 0.674897 s c c core #113 c c c Core size: 21 Core Weight: 1 Total Weight: 113 c Current CPU time: 0.682896 s c c core #114 c c c Core size: 35 Core Weight: 1 Total Weight: 114 c Current CPU time: 0.693894 s c c core #115 c c c Core size: 33 Core Weight: 1 Total Weight: 115 c Current CPU time: 0.707892 s c c core #116 c c c Core size: 32 Core Weight: 1 Total Weight: 116 c Current CPU time: 0.71889 s c c core #117 c c c Core size: 30 Core Weight: 1 Total Weight: 117 c Current CPU time: 0.731888 s c c core #118 c c c Core size: 18 Core Weight: 1 Total Weight: 118 c Current CPU time: 0.741887 s c c core #119 c c c Core size: 25 Core Weight: 1 Total Weight: 119 c Current CPU time: 0.752885 s c c core #120 c c c Core size: 25 Core Weight: 1 Total Weight: 120 c Current CPU time: 0.767883 s c c core #121 c c c Core size: 29 Core Weight: 1 Total Weight: 121 c Current CPU time: 0.778881 s c c core #122 c c c Core size: 42 Core Weight: 1 Total Weight: 122 c Current CPU time: 0.794879 s c c core #123 c c c Core size: 100 Core Weight: 1 Total Weight: 123 c Current CPU time: 0.838872 s c c core #124 c c c Core size: 54 Core Weight: 1 Total Weight: 124 c Current CPU time: 1.34879 s c c core #125 c c c Core size: 110 Core Weight: 1 Total Weight: 125 c Current CPU time: 1.63875 s c c core #126 c c c Core size: 111 Core Weight: 1 Total Weight: 126 c Current CPU time: 11.0113 s c c core #127 c c c Core size: 151 Core Weight: 1 Total Weight: 127 c Current CPU time: 509.71 s c c #cores: 127 s UNKNOWN 1800.000u 7.475s 30:14.49 99.6% 0+0k 0+0io 0pf+0w