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