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