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