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