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