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