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