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