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