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