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