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