(1,27) (2,11) (3,6) (4,14) (5,26) (7,20) (8,13) (9,28) (10,16) (12,22) (15,18) (17,25) (19,30) (21,29) (23,24) 
nodes: 624502  conflicts: 9  modelTime: 1370  solveTime: 3250206  totalTime: 3251602  modelSize: 72264  readTime: 26 size: 15