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