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