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