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