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