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