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