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