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