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