(1,15) (2,8) (3,19) (4,6) (5,26) (7,27) (9,29) (10,20) (11,16) (12,30) (13,28) (14,25) (17,22) (18,24) (21,23) 
nodes: 708649  conflicts: 41  modelTime: 1720  solveTime: 2725683  totalTime: 2727423  modelSize: 72263  readTime: 20 size: 15