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