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