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