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