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