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