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