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