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