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