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