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