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