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