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