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