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