(1,28) (2,8) (4,11) (5,21) (7,12) (9,20) (10,18) (13,14) (15,23) (16,27) (17,22) (19,25) (24,29) (26,30) 
nodes: 3969  conflicts: 68  modelTime: 1030  solveTime: 11619  totalTime: 12661  modelSize: 72269  readTime: 12 size: 14