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