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