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