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