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