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