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