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