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