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