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