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