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