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