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