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