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