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