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