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