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