(2,18) (3,28) (4,19) (5,24) (6,22) (7,26) (8,27) (9,29) (10,16) (11,25) (13,20) (14,21) (15,30) 
nodes: 1464  conflicts: 40  modelTime: 1204  solveTime: 3450  totalTime: 4663  modelSize: 41293  readTime: 9 size: 13