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