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