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