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