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