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