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