(1,5) (2,18) (3,15) (4,10) (6,20) (7,14) (8,19) (9,13) (12,29) (17,21) (22,24) (23,25) (26,30) (27,28) 
nodes: 16707  conflicts: 26  modelTime: 925  solveTime: 37888  totalTime: 38825  modelSize: 72263  readTime: 12 size: 14