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