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