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