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