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