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