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