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