(1,14) (2,8) (3,24) (4,5) (6,27) (7,28) (9,11) (10,15) (12,13) (16,18) (17,29) (19,20) (23,25) (26,30) 
nodes: 30861  conflicts: 24  modelTime: 1176  solveTime: 145856  totalTime: 147050  modelSize: 72264  readTime: 18 size: 14