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