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