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