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