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