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