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