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