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