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