(1,17) (2,9) (3,26) (4,24) (5,30) (6,11) (7,25) (8,22) (12,18) (13,15) (14,28) (19,20) (21,29) (23,27) 
nodes: 3199  conflicts: 36  modelTime: 981  solveTime: 13176  totalTime: 14168  modelSize: 72265  readTime: 11 size: 14