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