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