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