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