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