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