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