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