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