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