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