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