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