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