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