(1,23) (2,21) (4,22) (5,17) (6,24) (7,27) (8,26) (9,30) (10,18) (12,28) (13,16) (14,20) (15,29) 
nodes: 2142  conflicts: 32  modelTime: 666  solveTime: 3284  totalTime: 3957  modelSize: 41298  readTime: 6 size: 13