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