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