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