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