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