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