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