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