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