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