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