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