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