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