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