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