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