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