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