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