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