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