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