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