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