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