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