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