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