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