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