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