(1,4) (2,28) (3,9) (5,23) (6,14) (8,19) (10,26) (11,29) (12,21) (13,25) (15,17) (16,24) (20,22) (27,30) 
nodes: 36833  conflicts: 49  modelTime: 961  solveTime: 141751  totalTime: 142724  modelSize: 72264  readTime: 12 size: 14