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