(1,13) (2,20) (3,16) (4,11) (5,23) (6,21) (7,19) (8,10) (12,15) (14,18) (22,25) (24,26) (27,28) (29,30) 
nodes: 119694  conflicts: 56  modelTime: 1702  solveTime: 458746  totalTime: 460467  modelSize: 72264  readTime: 19 size: 14