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