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