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