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