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