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