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