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