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