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