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