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