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