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