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