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