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