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