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