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