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