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