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