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