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