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