(1,13) (2,16) (3,8) (4,10) (5,28) (6,15) (7,29) (9,19) (11,27) (12,24) (14,20) (17,25) (18,22) (21,30) (23,26) 
nodes: 258924  conflicts: 33  modelTime: 1709  solveTime: 1147904  totalTime: 1149631  modelSize: 72268  readTime: 18 size: 15