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