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