(1,11) (3,28) (4,18) (5,23) (6,17) (7,8) (9,10) (12,24) (13,26) (14,27) (15,21) (16,20) (22,29) (25,30) 
nodes: 101402  conflicts: 30  modelTime: 974  solveTime: 488313  totalTime: 489297  modelSize: 72268  readTime: 10 size: 14