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