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