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