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