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