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