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