(1,17) (2,28) (3,30) (4,19) (5,11) (6,9) (7,23) (8,14) (10,15) (12,21) (13,22) (16,18) (20,25) (24,29) (26,27) 
nodes: 303136  conflicts: 31  modelTime: 964  solveTime: 1428069  totalTime: 1429044  modelSize: 72285  readTime: 11 size: 15