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