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