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