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