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