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