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