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