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