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