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