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