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