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